; 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)...
;
-define void "void"(i39, i39) ; Def %0, %1
-begin
- add i39 0, 0 ; Def 2
- sub i39 0, 4 ; Def 3
- br label %1
+define void @void(i39, i39) {
+ add i39 0, 0 ; <i39>:3 [#uses=2]
+ sub i39 0, 4 ; <i39>:4 [#uses=2]
+ br label %5
-; <label>:1 ; preds = %1, %0
- add i39 %0, %1 ; Def 4
- sub i39 %4, %3 ; Def 5
- icmp sle i39 %5, %2 ; Def 0 - i1 plane
- br i1 %0, label %2, label %1
+; <label>:5 ; preds = %5, %2
+ add i39 %0, %1 ; <i39>:6 [#uses=2]
+ sub i39 %6, %4 ; <i39>:7 [#uses=1]
+ icmp sle i39 %7, %3 ; <i1>:8 [#uses=1]
+ br i1 %8, label %9, label %5
-; <label>:2 ; preds = %1
- add i39 %0, %1 ; Def 6
- sub i39 %4, %3 ; Def 7
- icmp sle i39 %7, %2 ; Def 1 - i1 plane
+; <label>:9 ; preds = %5
+ add i39 %0, %1 ; <i39>:10 [#uses=0]
+ sub i39 %6, %4 ; <i39>:11 [#uses=1]
+ icmp sle i39 %11, %3 ; <i1>:12 [#uses=0]
ret void
-end
+}
; This function always returns zero
-define i39 "zarro"()
-begin
+define i39 @zarro() {
Startup:
ret i39 0
-end
+}