Teach basicaa that x|c == x+c when the c bits of x are clear. This
[oota-llvm.git] / test / Analysis / BasicAA / 2004-12-08-BasicAACrash2.ll
index d5d16d872f91225d24d825913f41ba552e1dc3dc..0e03db330c0461e5a464d377a971cddf61a7036a 100644 (file)
@@ -1,20 +1,18 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -dse
+; RUN: opt < %s -dse
 
-"java/lang/Object" = type { %struct.llvm_java_object_base }
-       "java/lang/StringBuffer" = type { "java/lang/Object", int, { "java/lang/Object", uint, [0 x ushort] }*, bool }
-       %struct.llvm_java_object_base = type opaque
+%"java/lang/Object" = type { %struct.llvm_java_object_base }
+%"java/lang/StringBuffer" = type { "java/lang/Object", i32, { "java/lang/Object", i32, [0 x i8] }*, i1 }
+%struct.llvm_java_object_base = type opaque
 
-implementation   ; Functions:
-
-void "java/lang/StringBuffer/ensureCapacity_unsynchronized(I)V"() {
+define void @"java/lang/StringBuffer/ensureCapacity_unsynchronized(I)V"() {
 bc0:
-       %tmp = getelementptr "java/lang/StringBuffer"* null, int 0, uint 3              ; <bool*> [#uses=1]
-       br bool false, label %bc16, label %bc7
+       %tmp = getelementptr %"java/lang/StringBuffer"* null, i32 0, i32 3              ; <i1*> [#uses=1]
+       br i1 false, label %bc16, label %bc7
 
 bc16:          ; preds = %bc0
-       %tmp91 = getelementptr "java/lang/StringBuffer"* null, int 0, uint 2            ; <{ "java/lang/Object", uint, [0 x ushort] }**> [#uses=1]
-       store { "java/lang/Object", uint, [0 x ushort] }* null, { "java/lang/Object", uint, [0 x ushort] }** %tmp91
-       store bool false, bool* %tmp
+       %tmp91 = getelementptr %"java/lang/StringBuffer"* null, i32 0, i32 2            ; <{ "java/lang/Object", i32, [0 x i8] }**> [#uses=1]
+       store { %"java/lang/Object", i32, [0 x i8] }* null, { %"java/lang/Object", i32, [0 x i8] }** %tmp91
+       store i1 false, i1* %tmp
        ret void
 
 bc7:           ; preds = %bc0