|
150
|
1 ; RUN: llvm-as < %s | llvm-dis > %t1.ll
|
|
|
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
|
|
|
3 ; RUN: diff %t1.ll %t2.ll
|
|
|
4
|
|
|
5 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
|
|
|
6 ; format looks anyways (except for negative vs positive offsets)...
|
|
|
7 ;
|
|
|
8
|
|
|
9 define void @void(i32, i32) {
|
|
|
10 add i32 0, 0 ; <i32>:3 [#uses=2]
|
|
|
11 sub i32 0, 4 ; <i32>:4 [#uses=2]
|
|
|
12 br label %5
|
|
|
13
|
|
|
14 ; <label>:5 ; preds = %5, %2
|
|
|
15 add i32 %0, %1 ; <i32>:6 [#uses=2]
|
|
|
16 sub i32 %6, %4 ; <i32>:7 [#uses=1]
|
|
|
17 icmp sle i32 %7, %3 ; <i1>:8 [#uses=1]
|
|
|
18 br i1 %8, label %9, label %5
|
|
|
19
|
|
|
20 ; <label>:9 ; preds = %5
|
|
|
21 add i32 %0, %1 ; <i32>:10 [#uses=0]
|
|
|
22 sub i32 %6, %4 ; <i32>:11 [#uses=1]
|
|
|
23 icmp sle i32 %11, %3 ; <i1>:12 [#uses=0]
|
|
|
24 ret void
|
|
|
25 }
|
|
|
26
|
|
|
27 ; This function always returns zero
|
|
|
28 define i32 @zarro() {
|
|
|
29 Startup:
|
|
|
30 ret i32 0
|
|
|
31 }
|
