2006-12-02 05:23:10 +01:00
|
|
|
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
|
2004-11-07 07:08:43 +01:00
|
|
|
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
|
|
|
|
; RUN: diff %t1.ll %t2.ll
|
|
|
|
|
2001-06-06 22:29:01 +02:00
|
|
|
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
|
2002-05-02 23:52:35 +02:00
|
|
|
add int 0, 0 ; Def 2
|
|
|
|
sub int 0, 4 ; Def 3
|
2002-01-31 01:25:00 +01:00
|
|
|
br label %1
|
|
|
|
|
2001-06-06 22:29:01 +02:00
|
|
|
add int %0, %1 ; Def 4
|
|
|
|
sub int %4, %3 ; Def 5
|
|
|
|
setle int %5, %2 ; Def 0 - bool plane
|
2002-01-31 01:25:00 +01:00
|
|
|
br bool %0, label %2, label %1
|
2001-06-06 22:29:01 +02:00
|
|
|
|
|
|
|
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:
|
2002-05-02 23:52:35 +02:00
|
|
|
ret int 0
|
2001-06-06 22:29:01 +02:00
|
|
|
end
|