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