1 ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll 2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll 3 ; RUN: diff %t1.ll %t2.ll 4 5 6 ; Test "stripped" format where nothing is symbolic... this is how the bytecode 7 ; format looks anyways (except for negative vs positive offsets)... 8 ; 9 define void @void(i39, i39) { 10 add i39 0, 0 ; <i39>:3 [#uses=2] 11 sub i39 0, 4 ; <i39>:4 [#uses=2] 12 br label %5 13 14 ; <label>:5 ; preds = %5, %2 15 add i39 %0, %1 ; <i39>:6 [#uses=2] 16 sub i39 %6, %4 ; <i39>:7 [#uses=1] 17 icmp sle i39 %7, %3 ; <i1>:8 [#uses=1] 18 br i1 %8, label %9, label %5 19 20 ; <label>:9 ; preds = %5 21 add i39 %0, %1 ; <i39>:10 [#uses=0] 22 sub i39 %6, %4 ; <i39>:11 [#uses=1] 23 icmp sle i39 %11, %3 ; <i1>:12 [#uses=0] 24 ret void 25 } 26 27 ; This function always returns zero 28 define i39 @zarro() { 29 Startup: 30 ret i39 0 31 } 32
