Improved tracking of value number kills. VN kills are now represented
[oota-llvm.git] / test / Integer / testalloca_bt.ll
index 12e880fcff4758a22b0886140aa08afffca81b36..e8e73c50878d2b9d80d366d271a6a83113f65b3e 100644 (file)
@@ -1,27 +1,26 @@
 ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
 ; RUN: diff %t1.ll %t2.ll
-; XFAIL: *
+
 
 %inners = type {float, {i8 } }
 %struct = type { i33 , {float, {i8 } } , i64 }
 
-implementation
 
-define i33 %testfunction(i33 %i0, i33 %j0)
+define i33 @testfunction(i33 %i0, i33 %j0)
 begin
-    alloca i8, i33 5
+    alloca i8, i32 5
     %ptr = alloca i33                       ; yields {i33*}:ptr
     store i33 3, i33* %ptr                  ; yields {void}
     %val = load i33* %ptr                   ; yields {i33}:val = i33 %3
 
     %sptr = alloca %struct                  ; yields {%struct*}:sptr
-    %nsptr = getelementptr %struct * %sptr, i64 0, i33 1  ; yields {inners*}:nsptr
-    %ubsptr = getelementptr %inners * %nsptr, i64 0, i33 1  ; yields {{i8}*}:ubsptr
-    %idx = getelementptr {i8} * %ubsptr, i64 0, i33 0
+    %nsptr = getelementptr %struct * %sptr, i64 0, i32 1  ; yields {inners*}:nsptr
+    %ubsptr = getelementptr %inners * %nsptr, i64 0, i32 1  ; yields {{i8}*}:ubsptr
+    %idx = getelementptr {i8} * %ubsptr, i64 0, i32 0
     store i8 4, i8* %idx
     
-    %fptr = getelementptr %struct * %sptr, i64 0, i33 1, i33 0  ; yields {float*}:fptr
+    %fptr = getelementptr %struct * %sptr, i64 0, i32 1, i32 0  ; yields {float*}:fptr
     store float 4.0, float * %fptr
     
     ret i33 3