test/Integer/basictest_bt.ll

   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 }