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 begin
   8         add int 0, 0      ; Def 2
   9         sub int 0, 4      ; Def 3
  10         br label %1
  11
  12         add int %0, %1    ; Def 4
  13         sub int %4, %3    ; Def 5
  14         setle int %5, %2  ; Def 0 - bool plane
  15         br bool %0, label %2, label %1
  16
  17         add int %0, %1    ; Def 6
  18         sub int %4, %3    ; Def 7
  19         setle int %7, %2  ; Def 1 - bool plane
  20         ret void
  21 end
  22
  23 ; This function always returns zero
  24 int "zarro"()
  25 begin
  26 Startup:
  27         ret int 0
  28 end
  29