X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fbasictest.ll;h=2303b593ffeae2844d2f2ec5dd3234967faf18a7;hb=3ee48e0c0a09a36db6d2e568848c2a91a8c4a4d8;hp=0a2fd3e951874d6da6596186e6f8f20342215475;hpb=a6b1f53451ecd5e59c25e2f562c39fe7935507d6;p=oota-llvm.git

diff --git a/test/Feature/basictest.ll b/test/Feature/basictest.ll
index 0a2fd3e9518..2303b593ffe 100644
--- a/test/Feature/basictest.ll
+++ b/test/Feature/basictest.ll
@@ -1,53 +1,31 @@
-implementation
-
-void "test function"(int %i0, int %j0)
-	%x = int 1
-begin
-Startup:                               ; Basic block #0
-	%i1 = add int %i0, 1
-	%j1 = add int %j0, 1
-	%x = setle int %i1, %j1
-	br bool %x, label %Increment, label %Decrement
-
-Merge:                                 ; Basic block #3
-	%i4 = phi int [%i2, %Increment], [%i3,%Decrement] ; Forward ref vars...
-	%j2 = add int %j1, %i4
-	ret void
-
-Increment:                             ; Basic block #1
-	%i2 = add int %i1, 1
-	br label %Merge
-
-Decrement:                             ; Basic block #2
-	%i3 = sub int %i1, %x
-	br label %Merge
-end
-
+; RUN: llvm-as < %s | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
 
 ; 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
-	int 0          ; Def 2
-	int -4         ; Def 3
-begin
-	add int %0, %1    ; Def 4
-	sub int %4, %3    ; Def 5
-	setle int %5, %2  ; Def 0 - bool plane
-	br bool %0, label %1, label %0
 
-	add int %0, %1    ; Def 6
-	sub int %4, %3    ; Def 7
-	setle int %7, %2  ; Def 1 - bool plane
-	ret void
-end
+define void @void(i32, i32) {
+        add i32 0, 0            ; <i32>:3 [#uses=2]
+        sub i32 0, 4            ; <i32>:4 [#uses=2]
+        br label %5
+
+; <label>:5             ; preds = %5, %2
+        add i32 %0, %1          ; <i32>:6 [#uses=2]
+        sub i32 %6, %4          ; <i32>:7 [#uses=1]
+        icmp sle i32 %7, %3             ; <i1>:8 [#uses=1]
+        br i1 %8, label %9, label %5
+
+; <label>:9             ; preds = %5
+        add i32 %0, %1          ; <i32>:10 [#uses=0]
+        sub i32 %6, %4          ; <i32>:11 [#uses=1]
+        icmp sle i32 %11, %3            ; <i1>:12 [#uses=0]
+        ret void
+}
 
 ; This function always returns zero
-int "zarro"()
-	uint 4000000000        ; Def 0 - uint plane
-	int 0                  ; Def 0 - int plane
-begin
+define i32 @zarro() {
 Startup:
-	ret int %0
-end
-
+        ret i32 0
+}