test/Feature/basictest.ll

   1 implementation
   2
   3 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
   4 ; format looks anyways (except for negative vs positive offsets)...
   5 ;
   6 void "void"(int, int)   ; Def %0, %1
   7         const int 0          ; Def 2
   8         const int -4         ; Def 3
   9 begin
  10         add int %0, %1    ; Def 4
  11         sub int %4, %3    ; Def 5
  12         setle int %5, %2  ; Def 0 - bool plane
  13         br bool %0, label %1, label %0
  14
  15         add int %0, %1    ; Def 6
  16         sub int %4, %3    ; Def 7
  17         setle int %7, %2  ; Def 1 - bool plane
  18         ret void
  19 end
  20
  21 ; This function always returns zero
  22 int "zarro"()
  23         const uint 4000000000        ; Def 0 - uint plane
  24         const int 0                  ; Def 0 - int plane
  25 begin
  26 Startup:
  27         ret int %0
  28 end
  29