test/Feature/basictest.ll

; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

implementation

; Test "stripped" format where nothing is symbolic... this is how the bytecode
; format looks anyways (except for negative vs positive offsets)...
;
void "void"(int, int)   ; Def %0, %1
begin
	add int 0, 0      ; Def 2
	sub int 0, 4      ; Def 3
	br label %1

	add int %0, %1    ; Def 4
	sub int %4, %3    ; Def 5
	setle int %5, %2  ; Def 0 - bool plane
	br bool %0, label %2, label %1

	add int %0, %1    ; Def 6
	sub int %4, %3    ; Def 7
	setle int %7, %2  ; Def 1 - bool plane
	ret void
end

; This function always returns zero
int "zarro"()
begin
Startup:
	ret int 0
end