Tighten the verifier check for catchblock.

[oota-llvm.git] / test / Feature / testalloca.ll

diff --git a/test/Feature/testalloca.ll b/test/Feature/testalloca.ll
index cb867c06bafbac10130f59ac89ea6615d6fc5e6c..0405320e41ac12d62bbf831116e696f06a354482 100644 (file)
--- a/test/Feature/testalloca.ll
+++ b/test/Feature/testalloca.ll
@@ -1,23 +1,22 @@
-%inners = type {float, {ubyte } }
-%struct = type { int , {float, {ubyte } } , ulong }
+; RUN: llvm-as < %s | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
 
-implementation
+        %inners = type { float, { i8 } }
+        %struct = type { i32, %inners, i64 }
 
-int "test function"(int %i0, int %j0)
-begin
-    alloca [ubyte], uint 5
-    %ptr = alloca int                       ; yields {int*}:ptr
-    store int 3, int* %ptr                  ; yields {void}
-    %val = load int* %ptr                   ; yields {int}:val = int %3
-
-    %sptr = alloca %struct                  ; yields {%struct*}:sptr
-    %nsptr = getelementptr %struct * %sptr, ubyte 1  ; yields {inners*}:nsptr
-    %ubsptr = getelementptr %inners * %nsptr, ubyte 1  ; yields {{ubyte}*}:ubsptr
-    store ubyte 4, {ubyte} * %ubsptr, ubyte 0
-    
-    %fptr = getelementptr %struct * %sptr, ubyte 1, ubyte 0  ; yields {float*}:fptr
-    store float 4.0, float * %fptr
-    
-    ret int 3
-end
+define i32 @testfunction(i32 %i0, i32 %j0) {
+        alloca i8, i32 5                ; <i8*>:1 [#uses=0]
+        %ptr = alloca i32               ; <i32*> [#uses=2]
+        store i32 3, i32* %ptr
+        %val = load i32, i32* %ptr           ; <i32> [#uses=0]
+        %sptr = alloca %struct          ; <%struct*> [#uses=2]
+        %nsptr = getelementptr %struct, %struct* %sptr, i64 0, i32 1             ; <%inners*> [#uses=1]
+        %ubsptr = getelementptr %inners, %inners* %nsptr, i64 0, i32 1           ; <{ i8 }*> [#uses=1]
+        %idx = getelementptr { i8 }, { i8 }* %ubsptr, i64 0, i32 0              ; <i8*> [#uses=1]
+        store i8 4, i8* %idx
+        %fptr = getelementptr %struct, %struct* %sptr, i64 0, i32 1, i32 0               ; <float*> [#uses=1]
+        store float 4.000000e+00, float* %fptr
+        ret i32 3
+}