test/Feature/basictest.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
   2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
   3 ; RUN: diff %t1.ll %t2.ll
   4
   5 implementation
   6
   7 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
   8 ; format looks anyways (except for negative vs positive offsets)...
   9 ;
  10 void "void"(int, int)   ; Def %0, %1
  11 begin
  12         add int 0, 0      ; Def 2
  13         sub int 0, 4      ; Def 3
  14         br label %1
  15
  16         add int %0, %1    ; Def 4
  17         sub int %4, %3    ; Def 5
  18         setle int %5, %2  ; Def 0 - bool plane
  19         br bool %0, label %2, label %1
  20
  21         add int %0, %1    ; Def 6
  22         sub int %4, %3    ; Def 7
  23         setle int %7, %2  ; Def 1 - bool plane
  24         ret void
  25 end
  26
  27 ; This function always returns zero
  28 int "zarro"()
  29 begin
  30 Startup:
  31         ret int 0
  32 end