suck a bunch more gep tests into getelementptr.ll and filecheckize them all.
authorChris Lattner <sabre@nondot.org>
Sun, 30 Aug 2009 21:31:34 +0000 (21:31 +0000)
committerChris Lattner <sabre@nondot.org>
Sun, 30 Aug 2009 21:31:34 +0000 (21:31 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80517 91177308-0d34-0410-b5e6-96231b3b80d8

19 files changed:
test/Transforms/InstCombine/2002-09-17-GetElementPtrCrash.ll [deleted file]
test/Transforms/InstCombine/2003-06-22-ConstantExprCrash.ll [deleted file]
test/Transforms/InstCombine/2003-10-23-InstcombineNullFail.ll [deleted file]
test/Transforms/InstCombine/2004-12-08-InstCombineCrash.ll [deleted file]
test/Transforms/InstCombine/2006-02-07-SextZextCrash.ll [deleted file]
test/Transforms/InstCombine/2006-06-28-infloop.ll [deleted file]
test/Transforms/InstCombine/2006-09-11-EmptyStructCrash.ll [deleted file]
test/Transforms/InstCombine/2006-12-10-ICmp-GEP-GEP.ll [deleted file]
test/Transforms/InstCombine/2007-03-31-InfiniteLoop.ll [deleted file]
test/Transforms/InstCombine/2007-09-05-EqualGEP.ll [deleted file]
test/Transforms/InstCombine/2007-10-28-EmptyField.ll [deleted file]
test/Transforms/InstCombine/2008-02-04-GEPIdxBug.ll [deleted file]
test/Transforms/InstCombine/2009-03-02-VarLengthArrayGEP.ll [deleted file]
test/Transforms/InstCombine/2009-04-06-GEP-Index-Crash.ll [deleted file]
test/Transforms/InstCombine/GEPIdxCanon.ll [deleted file]
test/Transforms/InstCombine/bitcast-gep.ll [deleted file]
test/Transforms/InstCombine/cast-store-gep.ll [deleted file]
test/Transforms/InstCombine/constant-fold-gep-overindex.ll [deleted file]
test/Transforms/InstCombine/getelementptr.ll

diff --git a/test/Transforms/InstCombine/2002-09-17-GetElementPtrCrash.ll b/test/Transforms/InstCombine/2002-09-17-GetElementPtrCrash.ll
deleted file mode 100644 (file)
index 5b127d7..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine
-
-        %bob = type { i32 }
-
-define i32 @alias() {
-        %pbob1 = alloca %bob            ; <%bob*> [#uses=1]
-        %pbob2 = getelementptr %bob* %pbob1             ; <%bob*> [#uses=1]
-        %pbobel = getelementptr %bob* %pbob2, i64 0, i32 0              ; <i32*> [#uses=1]
-        %rval = load i32* %pbobel               ; <i32> [#uses=1]
-        ret i32 %rval
-}
-
diff --git a/test/Transforms/InstCombine/2003-06-22-ConstantExprCrash.ll b/test/Transforms/InstCombine/2003-06-22-ConstantExprCrash.ll
deleted file mode 100644 (file)
index d6cacec..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-; This is a bug in the VMcode library, not instcombine, it's just convenient 
-; to expose it here.
-
-; RUN: llvm-as < %s | opt -instcombine -disable-output
-
-@A = global i32 1               ; <i32*> [#uses=1]
-@B = global i32 2               ; <i32*> [#uses=1]
-
-define i1 @test() {
-        %C = icmp ult i32* getelementptr (i32* @A, i64 1), getelementptr (i32* @B, i64 2) ; <i1> [#uses=1]
-        ret i1 %C
-}
-
diff --git a/test/Transforms/InstCombine/2003-10-23-InstcombineNullFail.ll b/test/Transforms/InstCombine/2003-10-23-InstcombineNullFail.ll
deleted file mode 100644 (file)
index 7daf7cb..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep false
-;
-; This actually looks like a constant propagation bug
-
-%X = type { [10 x i32], float }
-
-define i1 @test() {
-        %A = getelementptr %X* null, i64 0, i32 0, i64 0                ; <i32*> [#uses=1]
-        %B = icmp ne i32* %A, null              ; <i1> [#uses=1]
-        ret i1 %B
-}
-
diff --git a/test/Transforms/InstCombine/2004-12-08-InstCombineCrash.ll b/test/Transforms/InstCombine/2004-12-08-InstCombineCrash.ll
deleted file mode 100644 (file)
index 5908205..0000000
+++ /dev/null
@@ -1,14 +0,0 @@
-; RUN: llvm-as %s -o - | opt -instcombine
-
-
-%"java/lang/Object" = type { %struct.llvm_java_object_base }
-%"java/lang/StringBuffer" = type { %"java/lang/Object", i32, { %"java/lang/Object", i32, [0 x i16] }*, i1 }
-%struct.llvm_java_object_base = type opaque
-
-define void @"java/lang/StringBuffer/append(Ljava/lang/String;)Ljava/lang/StringBuffer;"() {
-bc0:
-        %tmp53 = getelementptr %"java/lang/StringBuffer"* null, i32 0, i32 1            ; <i32*> [#uses=1]
-        store i32 0, i32* %tmp53
-        ret void
-}
-
diff --git a/test/Transforms/InstCombine/2006-02-07-SextZextCrash.ll b/test/Transforms/InstCombine/2006-02-07-SextZextCrash.ll
deleted file mode 100644 (file)
index d7df5a0..0000000
+++ /dev/null
@@ -1,21 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine -disable-output 
-
-        %struct.rtx_const = type { i32, { %union.real_extract } }
-        %struct.rtx_def = type { i32, [1 x %union.rtunion_def] }
-        %union.real_extract = type { double }
-        %union.rtunion_def = type { i32 }
-
-define fastcc void @decode_rtx_const(%struct.rtx_def* %x, %struct.rtx_const* %value) {
-        %tmp.54 = getelementptr %struct.rtx_const* %value, i32 0, i32 0         ; <i32*> [#uses=1]
-        %tmp.56 = getelementptr %struct.rtx_def* %x, i32 0, i32 0               ; <i32*> [#uses=1]
-        %tmp.57 = load i32* %tmp.56             ; <i32> [#uses=1]
-        %tmp.58 = shl i32 %tmp.57, 8            ; <i32> [#uses=1]
-        %tmp.59 = ashr i32 %tmp.58, 24          ; <i32> [#uses=1]
-        %tmp.60 = trunc i32 %tmp.59 to i16              ; <i16> [#uses=1]
-        %tmp.61 = zext i16 %tmp.60 to i32               ; <i32> [#uses=1]
-        %tmp.62 = shl i32 %tmp.61, 16           ; <i32> [#uses=1]
-        %tmp.65 = or i32 0, %tmp.62             ; <i32> [#uses=1]
-        store i32 %tmp.65, i32* %tmp.54
-        ret void
-}
-
diff --git a/test/Transforms/InstCombine/2006-06-28-infloop.ll b/test/Transforms/InstCombine/2006-06-28-infloop.ll
deleted file mode 100644 (file)
index 84e7510..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine -disable-output
-
-target datalayout = "E-p:32:32"
-target triple = "powerpc-apple-darwin8"
-
-define void @test() {
-entry:
-        %tmp = getelementptr { i64, i64, i64, i64 }* null, i32 0, i32 3         ; <i64*> [#uses=1]
-        %tmp.upgrd.1 = load i64* %tmp           ; <i64> [#uses=1]
-        %tmp8.ui = load i64* null               ; <i64> [#uses=1]
-        %tmp8 = bitcast i64 %tmp8.ui to i64             ; <i64> [#uses=1]
-        %tmp9 = and i64 %tmp8, %tmp.upgrd.1             ; <i64> [#uses=1]
-        %sext = trunc i64 %tmp9 to i32          ; <i32> [#uses=1]
-        %tmp27.i = sext i32 %sext to i64                ; <i64> [#uses=1]
-        tail call void @foo( i32 0, i64 %tmp27.i )
-        unreachable
-}
-
-declare void @foo(i32, i64)
-
diff --git a/test/Transforms/InstCombine/2006-09-11-EmptyStructCrash.ll b/test/Transforms/InstCombine/2006-09-11-EmptyStructCrash.ll
deleted file mode 100644 (file)
index bf9252a..0000000
+++ /dev/null
@@ -1,46 +0,0 @@
-; PR905
-; RUN: llvm-as < %s | opt -instcombine -disable-output
-; END.
-       
-%RPYTHON_EXCEPTION = type { %RPYTHON_EXCEPTION_VTABLE* }
-%RPYTHON_EXCEPTION_VTABLE = type { %RPYTHON_EXCEPTION_VTABLE*, i32, i32, %RPyOpaque_RuntimeTypeInfo*, %arraytype_Char*, %functiontype_12* }
-%RPyOpaque_RuntimeTypeInfo = type opaque*
-%arraytype_Char = type { i32, [0 x i8] }
-%fixarray_array1019 = type [1019 x i8*]
-%functiontype_12 = type %RPYTHON_EXCEPTION* ()
-%functiontype_14 = type void (%structtype_pypy.rpython.memory.gc.MarkSweepGC*)
-%structtype_AddressLinkedListChunk = type { %structtype_AddressLinkedListChunk*, i32, %fixarray_array1019 }
-%structtype_exceptions.Exception = type { %RPYTHON_EXCEPTION }
-%structtype_gc_pool = type {  }
-%structtype_gc_pool_node = type { %structtype_header*, %structtype_gc_pool_node* }
-%structtype_header = type { i32, %structtype_header* }
-%structtype_pypy.rpython.memory.gc.MarkSweepGC = type { %structtype_exceptions.Exception, i32, i32, i1, %structtype_gc_pool*, i32, %structtype_header*, %structtype_header*, %structtype_gc_pool_node*, double, double }
-
-define fastcc void @pypy_MarkSweepGC.collect() {
-block0:
-       %v1221 = load %structtype_AddressLinkedListChunk** null         ; <%structtype_AddressLinkedListChunk*> [#uses=1]
-       %v1222 = icmp ne %structtype_AddressLinkedListChunk* %v1221, null               ; <i1> [#uses=1]
-       br i1 %v1222, label %block79, label %block4
-
-block4:                ; preds = %block0
-       ret void
-
-block22:               ; preds = %block79
-       ret void
-
-block67:               ; preds = %block79
-       %v1459 = load %structtype_gc_pool** null                ; <%structtype_gc_pool*> [#uses=1]
-       %v1460 = bitcast %structtype_gc_pool* %v1459 to i8*             ; <i8*> [#uses=1]
-       %tmp_873 = ptrtoint i8* %v1460 to i32           ; <i32> [#uses=1]
-       %tmp_874 = sub i32 %tmp_873, 0          ; <i32> [#uses=1]
-       %v1461 = inttoptr i32 %tmp_874 to i8*           ; <i8*> [#uses=1]
-       %v1462 = bitcast i8* %v1461 to %structtype_header*              ; <%structtype_header*> [#uses=1]
-       %tmp_876 = getelementptr %structtype_header* %v1462, i32 0, i32 0               ; <i32*> [#uses=1]
-       store i32 0, i32* %tmp_876
-       ret void
-
-block79:               ; preds = %block0
-       %v1291 = load %structtype_gc_pool** null                ; <%structtype_gc_pool*> [#uses=1]
-       %v1292 = icmp ne %structtype_gc_pool* %v1291, null              ; <i1> [#uses=1]
-       br i1 %v1292, label %block67, label %block22
-}
diff --git a/test/Transforms/InstCombine/2006-12-10-ICmp-GEP-GEP.ll b/test/Transforms/InstCombine/2006-12-10-ICmp-GEP-GEP.ll
deleted file mode 100644 (file)
index 15f7362..0000000
+++ /dev/null
@@ -1,162 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
-; RUN:    grep -v {icmp ult i32}
-; END.
-
-target datalayout = "e-p:32:32"
-target triple = "i686-pc-linux-gnu"
-       %struct.edgeBox = type { i16, i16, i16, i16, i16, i16 }
-@qsz = external global i32             ; <i32*> [#uses=12]
-@thresh = external global i32          ; <i32*> [#uses=2]
-@mthresh = external global i32         ; <i32*> [#uses=1]
-
-define i32 @qsorte(i8* %base, i32 %n, i32 %size) {
-entry:
-       %tmp = icmp sgt i32 %n, 1               ; <i1> [#uses=1]
-       br i1 %tmp, label %cond_next, label %return
-
-cond_next:             ; preds = %entry
-       store i32 %size, i32* @qsz
-       %tmp3 = shl i32 %size, 2                ; <i32> [#uses=1]
-       store i32 %tmp3, i32* @thresh
-       %tmp4 = load i32* @qsz          ; <i32> [#uses=1]
-       %tmp5 = mul i32 %tmp4, 6                ; <i32> [#uses=1]
-       store i32 %tmp5, i32* @mthresh
-       %tmp6 = load i32* @qsz          ; <i32> [#uses=1]
-       %tmp8 = mul i32 %tmp6, %n               ; <i32> [#uses=1]
-       %tmp9 = getelementptr i8* %base, i32 %tmp8              ; <i8*> [#uses=3]
-       %tmp11 = icmp sgt i32 %n, 3             ; <i1> [#uses=1]
-       br i1 %tmp11, label %cond_true12, label %bb30
-
-cond_true12:           ; preds = %cond_next
-       %tmp156 = call i32 @qste( i8* %base, i8* %tmp9 )                ; <i32> [#uses=0]
-       %tmp16 = load i32* @thresh              ; <i32> [#uses=1]
-       %tmp18 = getelementptr i8* %base, i32 %tmp16            ; <i8*> [#uses=2]
-       %tmp3117 = load i32* @qsz               ; <i32> [#uses=1]
-       %tmp3318 = getelementptr i8* %base, i32 %tmp3117                ; <i8*> [#uses=2]
-       %tmp3621 = icmp ult i8* %tmp3318, %tmp18                ; <i1> [#uses=1]
-       br i1 %tmp3621, label %bb, label %bb37
-
-bb:            ; preds = %bb30, %cond_true12
-       %hi.0.0 = phi i8* [ %tmp18, %cond_true12 ], [ %hi.0, %bb30 ]            ; <i8*> [#uses=4]
-       %j.1.0 = phi i8* [ %base, %cond_true12 ], [ %j.1, %bb30 ]               ; <i8*> [#uses=4]
-       %tmp33.0 = phi i8* [ %tmp3318, %cond_true12 ], [ %tmp33, %bb30 ]                ; <i8*> [#uses=6]
-       %tmp3.upgrd.1 = bitcast i8* %j.1.0 to %struct.edgeBox*          ; <%struct.edgeBox*> [#uses=1]
-       %tmp4.upgrd.2 = bitcast i8* %tmp33.0 to %struct.edgeBox*                ; <%struct.edgeBox*> [#uses=1]
-       %tmp255 = call i32 @comparee( %struct.edgeBox* %tmp3.upgrd.1, %struct.edgeBox* %tmp4.upgrd.2 )          ; <i32> [#uses=1]
-       %tmp26 = icmp sgt i32 %tmp255, 0                ; <i1> [#uses=1]
-       br i1 %tmp26, label %cond_true27, label %bb30
-
-cond_true27:           ; preds = %bb
-       br label %bb30
-
-bb30:          ; preds = %cond_true27, %bb, %cond_next
-       %hi.0.3 = phi i8* [ %hi.0.0, %cond_true27 ], [ %hi.0.0, %bb ], [ undef, %cond_next ]            ; <i8*> [#uses=0]
-       %j.1.3 = phi i8* [ %j.1.0, %cond_true27 ], [ %j.1.0, %bb ], [ undef, %cond_next ]               ; <i8*> [#uses=0]
-       %tmp33.3 = phi i8* [ %tmp33.0, %cond_true27 ], [ %tmp33.0, %bb ], [ undef, %cond_next ]         ; <i8*> [#uses=0]
-       %hi.0 = phi i8* [ %tmp9, %cond_next ], [ %hi.0.0, %bb ], [ %hi.0.0, %cond_true27 ]              ; <i8*> [#uses=2]
-       %lo.1 = phi i8* [ %tmp33.0, %cond_true27 ], [ %tmp33.0, %bb ], [ %base, %cond_next ]            ; <i8*> [#uses=1]
-       %j.1 = phi i8* [ %tmp33.0, %cond_true27 ], [ %j.1.0, %bb ], [ %base, %cond_next ]               ; <i8*> [#uses=2]
-       %tmp31 = load i32* @qsz         ; <i32> [#uses=1]
-       %tmp33 = getelementptr i8* %lo.1, i32 %tmp31            ; <i8*> [#uses=2]
-       %tmp36 = icmp ult i8* %tmp33, %hi.0             ; <i1> [#uses=1]
-       br i1 %tmp36, label %bb, label %bb37
-
-bb37:          ; preds = %bb30, %cond_true12
-       %j.1.1 = phi i8* [ %j.1, %bb30 ], [ %base, %cond_true12 ]               ; <i8*> [#uses=4]
-       %tmp40 = icmp eq i8* %j.1.1, %base              ; <i1> [#uses=1]
-       br i1 %tmp40, label %bb115, label %cond_true41
-
-cond_true41:           ; preds = %bb37
-       %tmp43 = load i32* @qsz         ; <i32> [#uses=1]
-       %tmp45 = getelementptr i8* %base, i32 %tmp43            ; <i8*> [#uses=2]
-       %tmp6030 = icmp ult i8* %base, %tmp45           ; <i1> [#uses=1]
-       br i1 %tmp6030, label %bb46, label %bb115
-
-bb46:          ; preds = %bb46, %cond_true41
-       %j.2.0 = phi i8* [ %j.1.1, %cond_true41 ], [ %tmp52, %bb46 ]            ; <i8*> [#uses=3]
-       %i.2.0 = phi i8* [ %base, %cond_true41 ], [ %tmp56, %bb46 ]             ; <i8*> [#uses=3]
-       %tmp.upgrd.3 = load i8* %j.2.0          ; <i8> [#uses=2]
-       %tmp49 = load i8* %i.2.0                ; <i8> [#uses=1]
-       store i8 %tmp49, i8* %j.2.0
-       %tmp52 = getelementptr i8* %j.2.0, i32 1                ; <i8*> [#uses=2]
-       store i8 %tmp.upgrd.3, i8* %i.2.0
-       %tmp56 = getelementptr i8* %i.2.0, i32 1                ; <i8*> [#uses=3]
-       %tmp60 = icmp ult i8* %tmp56, %tmp45            ; <i1> [#uses=1]
-       br i1 %tmp60, label %bb46, label %bb115
-
-bb66:          ; preds = %bb115, %bb66
-       %hi.3 = phi i8* [ %tmp118, %bb115 ], [ %tmp70, %bb66 ]          ; <i8*> [#uses=2]
-       %tmp67 = load i32* @qsz         ; <i32> [#uses=2]
-       %tmp68 = sub i32 0, %tmp67              ; <i32> [#uses=1]
-       %tmp70 = getelementptr i8* %hi.3, i32 %tmp68            ; <i8*> [#uses=2]
-       %tmp.upgrd.4 = bitcast i8* %tmp70 to %struct.edgeBox*           ; <%struct.edgeBox*> [#uses=1]
-       %tmp1 = bitcast i8* %tmp118 to %struct.edgeBox*         ; <%struct.edgeBox*> [#uses=1]
-       %tmp732 = call i32 @comparee( %struct.edgeBox* %tmp.upgrd.4, %struct.edgeBox* %tmp1 )           ; <i32> [#uses=1]
-       %tmp74 = icmp sgt i32 %tmp732, 0                ; <i1> [#uses=1]
-       br i1 %tmp74, label %bb66, label %bb75
-
-bb75:          ; preds = %bb66
-       %tmp76 = load i32* @qsz         ; <i32> [#uses=1]
-       %tmp70.sum = sub i32 %tmp76, %tmp67             ; <i32> [#uses=1]
-       %tmp78 = getelementptr i8* %hi.3, i32 %tmp70.sum                ; <i8*> [#uses=3]
-       %tmp81 = icmp eq i8* %tmp78, %tmp118            ; <i1> [#uses=1]
-       br i1 %tmp81, label %bb115, label %cond_true82
-
-cond_true82:           ; preds = %bb75
-       %tmp83 = load i32* @qsz         ; <i32> [#uses=1]
-       %tmp118.sum = add i32 %tmp116, %tmp83           ; <i32> [#uses=1]
-       %tmp85 = getelementptr i8* %min.1, i32 %tmp118.sum              ; <i8*> [#uses=1]
-       %tmp10937 = getelementptr i8* %tmp85, i32 -1            ; <i8*> [#uses=3]
-       %tmp11239 = icmp ult i8* %tmp10937, %tmp118             ; <i1> [#uses=1]
-       br i1 %tmp11239, label %bb115, label %bb86
-
-bb86:          ; preds = %bb104, %cond_true82
-       %tmp109.0 = phi i8* [ %tmp10937, %cond_true82 ], [ %tmp109, %bb104 ]            ; <i8*> [#uses=5]
-       %i.5.2 = phi i8* [ %i.5.3, %cond_true82 ], [ %i.5.1, %bb104 ]           ; <i8*> [#uses=0]
-       %tmp100.2 = phi i8* [ %tmp100.3, %cond_true82 ], [ %tmp100.1, %bb104 ]          ; <i8*> [#uses=0]
-       %tmp88 = load i8* %tmp109.0             ; <i8> [#uses=2]
-       %tmp9746 = load i32* @qsz               ; <i32> [#uses=1]
-       %tmp9847 = sub i32 0, %tmp9746          ; <i32> [#uses=1]
-       %tmp10048 = getelementptr i8* %tmp109.0, i32 %tmp9847           ; <i8*> [#uses=3]
-       %tmp10350 = icmp ult i8* %tmp10048, %tmp78              ; <i1> [#uses=1]
-       br i1 %tmp10350, label %bb104, label %bb91
-
-bb91:          ; preds = %bb91, %bb86
-       %i.5.0 = phi i8* [ %tmp109.0, %bb86 ], [ %tmp100.0, %bb91 ]             ; <i8*> [#uses=1]
-       %tmp100.0 = phi i8* [ %tmp10048, %bb86 ], [ %tmp100, %bb91 ]            ; <i8*> [#uses=4]
-       %tmp93 = load i8* %tmp100.0             ; <i8> [#uses=1]
-       store i8 %tmp93, i8* %i.5.0
-       %tmp97 = load i32* @qsz         ; <i32> [#uses=1]
-       %tmp98 = sub i32 0, %tmp97              ; <i32> [#uses=1]
-       %tmp100 = getelementptr i8* %tmp100.0, i32 %tmp98               ; <i8*> [#uses=3]
-       %tmp103 = icmp ult i8* %tmp100, %tmp78          ; <i1> [#uses=1]
-       br i1 %tmp103, label %bb104, label %bb91
-
-bb104:         ; preds = %bb91, %bb86
-       %i.5.1 = phi i8* [ %tmp109.0, %bb86 ], [ %tmp100.0, %bb91 ]             ; <i8*> [#uses=4]
-       %tmp100.1 = phi i8* [ %tmp10048, %bb86 ], [ %tmp100, %bb91 ]            ; <i8*> [#uses=3]
-       store i8 %tmp88, i8* %i.5.1
-       %tmp109 = getelementptr i8* %tmp109.0, i32 -1           ; <i8*> [#uses=3]
-       %tmp112 = icmp ult i8* %tmp109, %tmp118         ; <i1> [#uses=1]
-       br i1 %tmp112, label %bb115, label %bb86
-
-bb115:         ; preds = %bb104, %cond_true82, %bb75, %bb46, %cond_true41, %bb37
-       %tmp109.1 = phi i8* [ undef, %bb37 ], [ %tmp109.1, %bb75 ], [ %tmp10937, %cond_true82 ], [ %tmp109, %bb104 ], [ undef, %bb46 ], [ undef, %cond_true41 ]         ; <i8*> [#uses=1]
-       %i.5.3 = phi i8* [ undef, %bb37 ], [ %i.5.3, %bb75 ], [ %i.5.3, %cond_true82 ], [ %i.5.1, %bb104 ], [ undef, %bb46 ], [ undef, %cond_true41 ]           ; <i8*> [#uses=3]
-       %tmp100.3 = phi i8* [ undef, %bb37 ], [ %tmp100.3, %bb75 ], [ %tmp100.3, %cond_true82 ], [ %tmp100.1, %bb104 ], [ undef, %bb46 ], [ undef, %cond_true41 ]               ; <i8*> [#uses=3]
-       %min.1 = phi i8* [ %tmp118, %bb104 ], [ %tmp118, %bb75 ], [ %base, %bb37 ], [ %base, %bb46 ], [ %base, %cond_true41 ], [ %tmp118, %cond_true82 ]                ; <i8*> [#uses=2]
-       %j.5 = phi i8* [ %tmp100.1, %bb104 ], [ %j.5, %bb75 ], [ %tmp52, %bb46 ], [ %j.1.1, %bb37 ], [ %j.1.1, %cond_true41 ], [ %j.5, %cond_true82 ]           ; <i8*> [#uses=2]
-       %i.4 = phi i8* [ %i.5.1, %bb104 ], [ %i.4, %bb75 ], [ %tmp56, %bb46 ], [ undef, %bb37 ], [ %base, %cond_true41 ], [ %i.4, %cond_true82 ]                ; <i8*> [#uses=2]
-       %c.4 = phi i8 [ %tmp88, %bb104 ], [ %c.4, %bb75 ], [ %tmp.upgrd.3, %bb46 ], [ undef, %bb37 ], [ undef, %cond_true41 ], [ %c.4, %cond_true82 ]           ; <i8> [#uses=2]
-       %tmp116 = load i32* @qsz                ; <i32> [#uses=2]
-       %tmp118 = getelementptr i8* %min.1, i32 %tmp116         ; <i8*> [#uses=9]
-       %tmp122 = icmp ult i8* %tmp118, %tmp9           ; <i1> [#uses=1]
-       br i1 %tmp122, label %bb66, label %return
-
-return:                ; preds = %bb115, %entry
-       ret i32 undef
-}
-
-declare i32 @qste(i8*, i8*)
-
-declare i32 @comparee(%struct.edgeBox*, %struct.edgeBox*)
diff --git a/test/Transforms/InstCombine/2007-03-31-InfiniteLoop.ll b/test/Transforms/InstCombine/2007-03-31-InfiniteLoop.ll
deleted file mode 100644 (file)
index 640f6d5..0000000
+++ /dev/null
@@ -1,302 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine -disable-output
-; END.
-
-target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
-target triple = "i686-apple-darwin8"
-       %struct.ZZIP_FILE = type { %struct.zzip_dir*, i32, i32, i32, i32, i32, i32, i64, i8*, i64, %struct.z_stream, %struct.zzip_plugin_io* }
-       %struct.anon = type { %struct.ZZIP_FILE*, i8* }
-       %struct.internal_state = type { i32 }
-       %struct.z_stream = type { i8*, i32, i32, i8*, i32, i32, i8*, %struct.internal_state*, i8* (i8*, i32, i32)*, void (i8*, i8*)*, i8*, i32, i32, i32 }
-       %struct.zzip_dir = type { i32, i32, i32, %struct.anon, %struct.zzip_dir_hdr*, %struct.zzip_dir_hdr*, %struct.ZZIP_FILE*, %struct.zzip_dirent, i8*, i8*, i8**, %struct.zzip_plugin_io* }
-       %struct.zzip_dir_hdr = type { i32, i32, i32, i32, i16, i16, i8, i16, [1 x i8] }
-       %struct.zzip_dirent = type { i32, i32, i32, i16, i8*, i32, i32 }
-       %struct.zzip_plugin_io = type { i32 (i8*, i32, ...)*, i32 (i32)*, i32 (i32, i8*, i32)*, i64 (i32, i64, i32)*, i64 (i32)*, i32 }
-
-define %struct.ZZIP_FILE* @zzip_open_shared_io(%struct.ZZIP_FILE* %stream, i8* %filename, i32 %o_flags, i32 %o_modes, i8** %ext, %struct.zzip_plugin_io* %io) {
-entry:
-       %basename = alloca [1024 x i8], align 16                ; <[1024 x i8]*> [#uses=5]
-       %e = alloca i32, align 4                ; <i32*> [#uses=4]
-       icmp eq %struct.ZZIP_FILE* %stream, null                ; <i1>:0 [#uses=1]
-       br i1 %0, label %cond_next22, label %cond_true
-
-cond_true:             ; preds = %entry
-       %tmp3 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0          ; <%struct.zzip_dir**> [#uses=1]
-       %tmp4 = load %struct.zzip_dir** %tmp3           ; <%struct.zzip_dir*> [#uses=1]
-       icmp eq %struct.zzip_dir* %tmp4, null           ; <i1>:1 [#uses=1]
-       br i1 %1, label %cond_next22, label %cond_true5
-
-cond_true5:            ; preds = %cond_true
-       icmp eq i8** %ext, null         ; <i1>:2 [#uses=1]
-       br i1 %2, label %cond_true7, label %cond_next
-
-cond_true7:            ; preds = %cond_true5
-       %tmp9 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0          ; <%struct.zzip_dir**> [#uses=1]
-       %tmp10 = load %struct.zzip_dir** %tmp9          ; <%struct.zzip_dir*> [#uses=1]
-       %tmp11 = getelementptr %struct.zzip_dir* %tmp10, i32 0, i32 10          ; <i8***> [#uses=1]
-       %tmp12 = load i8*** %tmp11              ; <i8**> [#uses=1]
-       br label %cond_next
-
-cond_next:             ; preds = %cond_true7, %cond_true5
-       %ext_addr.0 = phi i8** [ %ext, %cond_true5 ], [ %tmp12, %cond_true7 ]           ; <i8**> [#uses=2]
-       icmp eq %struct.zzip_plugin_io* %io, null               ; <i1>:3 [#uses=1]
-       br i1 %3, label %cond_true14, label %cond_next22
-
-cond_true14:           ; preds = %cond_next
-       %tmp16 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0         ; <%struct.zzip_dir**> [#uses=1]
-       %tmp17 = load %struct.zzip_dir** %tmp16         ; <%struct.zzip_dir*> [#uses=1]
-       %tmp18 = getelementptr %struct.zzip_dir* %tmp17, i32 0, i32 11          ; <%struct.zzip_plugin_io**> [#uses=1]
-       %tmp19 = load %struct.zzip_plugin_io** %tmp18           ; <%struct.zzip_plugin_io*> [#uses=1]
-       br label %cond_next22
-
-cond_next22:           ; preds = %cond_true14, %cond_next, %cond_true, %entry
-       %io_addr.0 = phi %struct.zzip_plugin_io* [ %io, %entry ], [ %io, %cond_true ], [ %io, %cond_next ], [ %tmp19, %cond_true14 ]            ; <%struct.zzip_plugin_io*> [#uses=2]
-       %ext_addr.1 = phi i8** [ %ext, %entry ], [ %ext, %cond_true ], [ %ext_addr.0, %cond_next ], [ %ext_addr.0, %cond_true14 ]               ; <i8**> [#uses=2]
-       icmp eq %struct.zzip_plugin_io* %io_addr.0, null                ; <i1>:4 [#uses=1]
-       br i1 %4, label %cond_true24, label %cond_next26
-
-cond_true24:           ; preds = %cond_next22
-       %tmp25 = call %struct.zzip_plugin_io* @zzip_get_default_io( )           ; <%struct.zzip_plugin_io*> [#uses=1]
-       br label %cond_next26
-
-cond_next26:           ; preds = %cond_true24, %cond_next22
-       %io_addr.1 = phi %struct.zzip_plugin_io* [ %io_addr.0, %cond_next22 ], [ %tmp25, %cond_true24 ]         ; <%struct.zzip_plugin_io*> [#uses=4]
-       %tmp28 = and i32 %o_modes, 81920                ; <i32> [#uses=1]
-       icmp eq i32 %tmp28, 0           ; <i1>:5 [#uses=1]
-       br i1 %5, label %try_real, label %try_zzip
-
-try_real:              ; preds = %bb223, %cond_next26
-       %fd160.2 = phi i32 [ undef, %cond_next26 ], [ %fd160.0, %bb223 ]                ; <i32> [#uses=1]
-       %len.2 = phi i32 [ undef, %cond_next26 ], [ %len.0, %bb223 ]            ; <i32> [#uses=1]
-       %o_flags_addr.1 = phi i32 [ %o_flags, %cond_next26 ], [ %o_flags_addr.0, %bb223 ]               ; <i32> [#uses=2]
-       %tmp33348 = and i32 %o_modes, 262144            ; <i32> [#uses=1]
-       icmp eq i32 %tmp33348, 0                ; <i1>:6 [#uses=1]
-       br i1 %6, label %cond_next38, label %cond_true35
-
-cond_true35:           ; preds = %try_real
-       %tmp36 = call %struct.zzip_plugin_io* @zzip_get_default_io( )           ; <%struct.zzip_plugin_io*> [#uses=1]
-       br label %cond_next38
-
-cond_next38:           ; preds = %cond_true35, %try_real
-       %iftmp.21.0 = phi %struct.zzip_plugin_io* [ %tmp36, %cond_true35 ], [ %io_addr.1, %try_real ]           ; <%struct.zzip_plugin_io*> [#uses=3]
-       %tmp41 = getelementptr %struct.zzip_plugin_io* %iftmp.21.0, i32 0, i32 0                ; <i32 (i8*, i32, ...)**> [#uses=1]
-       %tmp42 = load i32 (i8*, i32, ...)** %tmp41              ; <i32 (i8*, i32, ...)*> [#uses=1]
-       %tmp45 = call i32 (i8*, i32, ...)* %tmp42( i8* %filename, i32 %o_flags_addr.1 )         ; <i32> [#uses=3]
-       icmp eq i32 %tmp45, -1          ; <i1>:7 [#uses=1]
-       br i1 %7, label %cond_next67, label %cond_true47
-
-cond_true47:           ; preds = %cond_next38
-       %tmp48 = call i8* @cli_calloc( i32 1, i32 108 )         ; <i8*> [#uses=2]
-       %tmp4849 = bitcast i8* %tmp48 to %struct.ZZIP_FILE*             ; <%struct.ZZIP_FILE*> [#uses=3]
-       icmp eq i8* %tmp48, null                ; <i1>:8 [#uses=1]
-       br i1 %8, label %cond_true51, label %cond_next58
-
-cond_true51:           ; preds = %cond_true47
-       %tmp53 = getelementptr %struct.zzip_plugin_io* %iftmp.21.0, i32 0, i32 1                ; <i32 (i32)**> [#uses=1]
-       %tmp54 = load i32 (i32)** %tmp53                ; <i32 (i32)*> [#uses=1]
-       %tmp56 = call i32 %tmp54( i32 %tmp45 )          ; <i32> [#uses=0]
-       ret %struct.ZZIP_FILE* null
-
-cond_next58:           ; preds = %cond_true47
-       %tmp60 = getelementptr %struct.ZZIP_FILE* %tmp4849, i32 0, i32 1                ; <i32*> [#uses=1]
-       store i32 %tmp45, i32* %tmp60
-       %tmp63 = getelementptr %struct.ZZIP_FILE* %tmp4849, i32 0, i32 11               ; <%struct.zzip_plugin_io**> [#uses=1]
-       store %struct.zzip_plugin_io* %iftmp.21.0, %struct.zzip_plugin_io** %tmp63
-       ret %struct.ZZIP_FILE* %tmp4849
-
-cond_next67:           ; preds = %cond_next38
-       %tmp70716 = and i32 %o_modes, 16384             ; <i32> [#uses=1]
-       icmp eq i32 %tmp70716, 0                ; <i1>:9 [#uses=1]
-       br i1 %9, label %try_zzip, label %return
-
-try_zzip:              ; preds = %cond_next67, %cond_next26
-       %fd160.3 = phi i32 [ %fd160.2, %cond_next67 ], [ undef, %cond_next26 ]          ; <i32> [#uses=6]
-       %len.3 = phi i32 [ %len.2, %cond_next67 ], [ undef, %cond_next26 ]              ; <i32> [#uses=3]
-       %o_flags_addr.3 = phi i32 [ %o_flags_addr.1, %cond_next67 ], [ %o_flags, %cond_next26 ]         ; <i32> [#uses=4]
-       %tmp76 = and i32 %o_flags_addr.3, 513           ; <i32> [#uses=1]
-       icmp eq i32 %tmp76, 0           ; <i1>:10 [#uses=1]
-       br i1 %10, label %cond_next80, label %cond_true77
-
-cond_true77:           ; preds = %try_zzip
-       %tmp78 = call i32* @__error( )          ; <i32*> [#uses=1]
-       store i32 22, i32* %tmp78
-       ret %struct.ZZIP_FILE* null
-
-cond_next80:           ; preds = %try_zzip
-       %tmp83844 = and i32 %o_flags_addr.3, 2          ; <i32> [#uses=1]
-       icmp eq i32 %tmp83844, 0                ; <i1>:11 [#uses=1]
-       %tmp87 = xor i32 %o_flags_addr.3, 2             ; <i32> [#uses=1]
-       %o_flags_addr.0 = select i1 %11, i32 %o_flags_addr.3, i32 %tmp87                ; <i32> [#uses=2]
-       %basename90 = getelementptr [1024 x i8]* %basename, i32 0, i32 0                ; <i8*> [#uses=1]
-       %tmp92 = call i8* @strcpy( i8* %basename90, i8* %filename )             ; <i8*> [#uses=0]
-       icmp eq %struct.ZZIP_FILE* %stream, null                ; <i1>:12 [#uses=1]
-       br i1 %12, label %bb219, label %cond_true94
-
-cond_true94:           ; preds = %cond_next80
-       %tmp96 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0         ; <%struct.zzip_dir**> [#uses=1]
-       %tmp97 = load %struct.zzip_dir** %tmp96         ; <%struct.zzip_dir*> [#uses=1]
-       icmp eq %struct.zzip_dir* %tmp97, null          ; <i1>:13 [#uses=1]
-       br i1 %13, label %bb219, label %cond_true98
-
-cond_true98:           ; preds = %cond_true94
-       %tmp100 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0                ; <%struct.zzip_dir**> [#uses=1]
-       %tmp101 = load %struct.zzip_dir** %tmp100               ; <%struct.zzip_dir*> [#uses=1]
-       %tmp102 = getelementptr %struct.zzip_dir* %tmp101, i32 0, i32 9         ; <i8**> [#uses=1]
-       %tmp103 = load i8** %tmp102             ; <i8*> [#uses=1]
-       icmp eq i8* %tmp103, null               ; <i1>:14 [#uses=1]
-       br i1 %14, label %bb219, label %cond_true104
-
-cond_true104:          ; preds = %cond_true98
-       %tmp106 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0                ; <%struct.zzip_dir**> [#uses=1]
-       %tmp107 = load %struct.zzip_dir** %tmp106               ; <%struct.zzip_dir*> [#uses=1]
-       %tmp108 = getelementptr %struct.zzip_dir* %tmp107, i32 0, i32 9         ; <i8**> [#uses=1]
-       %tmp109 = load i8** %tmp108             ; <i8*> [#uses=1]
-       %tmp110 = call i32 @strlen( i8* %tmp109 )               ; <i32> [#uses=7]
-       %tmp112 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0                ; <%struct.zzip_dir**> [#uses=1]
-       %tmp113 = load %struct.zzip_dir** %tmp112               ; <%struct.zzip_dir*> [#uses=1]
-       %tmp114 = getelementptr %struct.zzip_dir* %tmp113, i32 0, i32 9         ; <i8**> [#uses=1]
-       %tmp115 = load i8** %tmp114             ; <i8*> [#uses=1]
-       %tmp118 = call i32 @memcmp( i8* %filename, i8* %tmp115, i32 %tmp110 )           ; <i32> [#uses=1]
-       icmp eq i32 %tmp118, 0          ; <i1>:15 [#uses=1]
-       br i1 %15, label %cond_true119, label %bb219
-
-cond_true119:          ; preds = %cond_true104
-       %tmp122 = getelementptr i8* %filename, i32 %tmp110              ; <i8*> [#uses=1]
-       %tmp123 = load i8* %tmp122              ; <i8> [#uses=1]
-       icmp eq i8 %tmp123, 47          ; <i1>:16 [#uses=1]
-       br i1 %16, label %cond_true124, label %bb219
-
-cond_true124:          ; preds = %cond_true119
-       %tmp126 = add i32 %tmp110, 1            ; <i32> [#uses=1]
-       %tmp128 = getelementptr i8* %filename, i32 %tmp126              ; <i8*> [#uses=1]
-       %tmp129 = load i8* %tmp128              ; <i8> [#uses=1]
-       icmp eq i8 %tmp129, 0           ; <i1>:17 [#uses=1]
-       br i1 %17, label %bb219, label %cond_true130
-
-cond_true130:          ; preds = %cond_true124
-       %tmp134.sum = add i32 %tmp110, 1                ; <i32> [#uses=1]
-       %tmp135 = getelementptr i8* %filename, i32 %tmp134.sum          ; <i8*> [#uses=1]
-       %tmp137 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0                ; <%struct.zzip_dir**> [#uses=1]
-       %tmp138 = load %struct.zzip_dir** %tmp137               ; <%struct.zzip_dir*> [#uses=1]
-       %tmp140 = call %struct.ZZIP_FILE* @zzip_file_open( %struct.zzip_dir* %tmp138, i8* %tmp135, i32 %o_modes, i32 -1 )               ; <%struct.ZZIP_FILE*> [#uses=3]
-       icmp eq %struct.ZZIP_FILE* %tmp140, null                ; <i1>:18 [#uses=1]
-       br i1 %18, label %cond_true142, label %return
-
-cond_true142:          ; preds = %cond_true130
-       %tmp144 = getelementptr %struct.ZZIP_FILE* %stream, i32 0, i32 0                ; <%struct.zzip_dir**> [#uses=1]
-       %tmp145 = load %struct.zzip_dir** %tmp144               ; <%struct.zzip_dir*> [#uses=1]
-       %tmp146 = getelementptr %struct.zzip_dir* %tmp145, i32 0, i32 1         ; <i32*> [#uses=1]
-       %tmp147 = load i32* %tmp146             ; <i32> [#uses=1]
-       %tmp148 = call i32 @zzip_errno( i32 %tmp147 )           ; <i32> [#uses=1]
-       %tmp149 = call i32* @__error( )         ; <i32*> [#uses=1]
-       store i32 %tmp148, i32* %tmp149
-       ret %struct.ZZIP_FILE* %tmp140
-
-bb:            ; preds = %bb219
-       store i32 0, i32* %e
-       store i8 0, i8* %tmp221
-       %basename162 = getelementptr [1024 x i8]* %basename, i32 0, i32 0               ; <i8*> [#uses=1]
-       %tmp166 = call i32 @__zzip_try_open( i8* %basename162, i32 %o_flags_addr.0, i8** %ext_addr.1, %struct.zzip_plugin_io* %io_addr.1 )              ; <i32> [#uses=4]
-       icmp eq i32 %tmp166, -1         ; <i1>:19 [#uses=1]
-       br i1 %19, label %bb219, label %cond_next169
-
-cond_next169:          ; preds = %bb
-       %tmp173 = call %struct.zzip_dir* @zzip_dir_fdopen_ext_io( i32 %tmp166, i32* %e, i8** %ext_addr.1, %struct.zzip_plugin_io* %io_addr.1 )          ; <%struct.zzip_dir*> [#uses=7]
-       %tmp174 = load i32* %e          ; <i32> [#uses=1]
-       icmp eq i32 %tmp174, 0          ; <i1>:20 [#uses=1]
-       br i1 %20, label %cond_next185, label %cond_true175
-
-cond_true175:          ; preds = %cond_next169
-       %tmp176 = load i32* %e          ; <i32> [#uses=1]
-       %tmp177 = call i32 @zzip_errno( i32 %tmp176 )           ; <i32> [#uses=1]
-       %tmp178 = call i32* @__error( )         ; <i32*> [#uses=1]
-       store i32 %tmp177, i32* %tmp178
-       %tmp180 = getelementptr %struct.zzip_plugin_io* %io_addr.1, i32 0, i32 1                ; <i32 (i32)**> [#uses=1]
-       %tmp181 = load i32 (i32)** %tmp180              ; <i32 (i32)*> [#uses=1]
-       %tmp183 = call i32 %tmp181( i32 %tmp166 )               ; <i32> [#uses=0]
-       ret %struct.ZZIP_FILE* null
-
-cond_next185:          ; preds = %cond_next169
-       %tmp186187 = ptrtoint i8* %tmp221 to i32                ; <i32> [#uses=1]
-       %basename188189 = ptrtoint [1024 x i8]* %basename to i32                ; <i32> [#uses=1]
-       %tmp190 = sub i32 %tmp186187, %basename188189           ; <i32> [#uses=1]
-       %tmp192.sum = add i32 %tmp190, 1                ; <i32> [#uses=1]
-       %tmp193 = getelementptr i8* %filename, i32 %tmp192.sum          ; <i8*> [#uses=1]
-       %tmp196 = call %struct.ZZIP_FILE* @zzip_file_open( %struct.zzip_dir* %tmp173, i8* %tmp193, i32 %o_modes, i32 -1 )               ; <%struct.ZZIP_FILE*> [#uses=4]
-       icmp eq %struct.ZZIP_FILE* %tmp196, null                ; <i1>:21 [#uses=1]
-       br i1 %21, label %cond_true198, label %cond_false204
-
-cond_true198:          ; preds = %cond_next185
-       %tmp200 = getelementptr %struct.zzip_dir* %tmp173, i32 0, i32 1         ; <i32*> [#uses=1]
-       %tmp201 = load i32* %tmp200             ; <i32> [#uses=1]
-       %tmp202 = call i32 @zzip_errno( i32 %tmp201 )           ; <i32> [#uses=1]
-       %tmp203 = call i32* @__error( )         ; <i32*> [#uses=1]
-       store i32 %tmp202, i32* %tmp203
-       %tmp2169 = call i32 @zzip_dir_close( %struct.zzip_dir* %tmp173 )                ; <i32> [#uses=0]
-       ret %struct.ZZIP_FILE* %tmp196
-
-cond_false204:         ; preds = %cond_next185
-       %tmp206 = getelementptr %struct.zzip_dir* %tmp173, i32 0, i32 9         ; <i8**> [#uses=1]
-       %tmp207 = load i8** %tmp206             ; <i8*> [#uses=1]
-       icmp eq i8* %tmp207, null               ; <i1>:22 [#uses=1]
-       br i1 %22, label %cond_true208, label %cond_next214
-
-cond_true208:          ; preds = %cond_false204
-       %basename209 = getelementptr [1024 x i8]* %basename, i32 0, i32 0               ; <i8*> [#uses=1]
-       %tmp210 = call i8* @strdup( i8* %basename209 )          ; <i8*> [#uses=1]
-       %tmp212 = getelementptr %struct.zzip_dir* %tmp173, i32 0, i32 9         ; <i8**> [#uses=1]
-       store i8* %tmp210, i8** %tmp212
-       %tmp21610 = call i32 @zzip_dir_close( %struct.zzip_dir* %tmp173 )               ; <i32> [#uses=0]
-       ret %struct.ZZIP_FILE* %tmp196
-
-cond_next214:          ; preds = %cond_false204
-       %tmp216 = call i32 @zzip_dir_close( %struct.zzip_dir* %tmp173 )         ; <i32> [#uses=0]
-       ret %struct.ZZIP_FILE* %tmp196
-
-bb219:         ; preds = %bb, %cond_true124, %cond_true119, %cond_true104, %cond_true98, %cond_true94, %cond_next80
-       %fd160.0 = phi i32 [ %fd160.3, %cond_next80 ], [ %tmp166, %bb ], [ %fd160.3, %cond_true94 ], [ %fd160.3, %cond_true98 ], [ %fd160.3, %cond_true104 ], [ %fd160.3, %cond_true119 ], [ %fd160.3, %cond_true124 ]          ; <i32> [#uses=1]
-       %len.0 = phi i32 [ %len.3, %cond_next80 ], [ %len.0, %bb ], [ %len.3, %cond_true94 ], [ %len.3, %cond_true98 ], [ %tmp110, %cond_true104 ], [ %tmp110, %cond_true119 ], [ %tmp110, %cond_true124 ]              ; <i32> [#uses=2]
-       %basename220 = getelementptr [1024 x i8]* %basename, i32 0, i32 0               ; <i8*> [#uses=1]
-       %tmp221 = call i8* @strrchr( i8* %basename220, i32 47 )         ; <i8*> [#uses=3]
-       icmp eq i8* %tmp221, null               ; <i1>:23 [#uses=1]
-       br i1 %23, label %bb223, label %bb
-
-bb223:         ; preds = %bb219
-       %tmp2262272 = and i32 %o_modes, 16384           ; <i32> [#uses=1]
-       icmp eq i32 %tmp2262272, 0              ; <i1>:24 [#uses=1]
-       br i1 %24, label %cond_next229, label %try_real
-
-cond_next229:          ; preds = %bb223
-       %tmp230 = call i32* @__error( )         ; <i32*> [#uses=1]
-       store i32 2, i32* %tmp230
-       ret %struct.ZZIP_FILE* null
-
-return:                ; preds = %cond_true130, %cond_next67
-       %retval.0 = phi %struct.ZZIP_FILE* [ null, %cond_next67 ], [ %tmp140, %cond_true130 ]           ; <%struct.ZZIP_FILE*> [#uses=1]
-       ret %struct.ZZIP_FILE* %retval.0
-}
-
-declare i32 @zzip_dir_close(%struct.zzip_dir*)
-
-declare i8* @strrchr(i8*, i32)
-
-declare %struct.ZZIP_FILE* @zzip_file_open(%struct.zzip_dir*, i8*, i32, i32)
-
-declare i8* @cli_calloc(i32, i32)
-
-declare i32 @zzip_errno(i32)
-
-declare i32* @__error()
-
-declare %struct.zzip_plugin_io* @zzip_get_default_io()
-
-declare i8* @strcpy(i8*, i8*)
-
-declare i32 @strlen(i8*)
-
-declare i32 @memcmp(i8*, i8*, i32)
-
-declare i32 @__zzip_try_open(i8*, i32, i8**, %struct.zzip_plugin_io*)
-
-declare %struct.zzip_dir* @zzip_dir_fdopen_ext_io(i32, i32*, i8**, %struct.zzip_plugin_io*)
-
-declare i8* @strdup(i8*)
diff --git a/test/Transforms/InstCombine/2007-09-05-EqualGEP.ll b/test/Transforms/InstCombine/2007-09-05-EqualGEP.ll
deleted file mode 100644 (file)
index 77bae78..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i1 true}
-; PR1637
-
-define i1 @f(i8* %arr) {
-        %X = getelementptr i8* %arr, i32 1
-        %Y = getelementptr i8* %arr, i32 1
-        %test = icmp uge i8* %X, %Y
-        ret i1 %test
-}
-
diff --git a/test/Transforms/InstCombine/2007-10-28-EmptyField.ll b/test/Transforms/InstCombine/2007-10-28-EmptyField.ll
deleted file mode 100644 (file)
index 31ae985..0000000
+++ /dev/null
@@ -1,24 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine -disable-output
-; PR1749
-
-target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
-target triple = "x86_64-unknown-linux-gnu"
-       %struct.__large_struct = type { [100 x i64] }
-       %struct.compat_siginfo = type { i32, i32, i32, { [29 x i32] } }
-       %struct.siginfo_t = type { i32, i32, i32, { { i32, i32, [0 x i8], %struct.sigval_t, i32 }, [88 x i8] } }
-       %struct.sigval_t = type { i8* }
-
-define i32 @copy_siginfo_to_user32(%struct.compat_siginfo* %to, %struct.siginfo_t* %from) {
-entry:
-       %from_addr = alloca %struct.siginfo_t*          ; <%struct.siginfo_t**> [#uses=1]
-       %tmp344 = load %struct.siginfo_t** %from_addr, align 8          ; <%struct.siginfo_t*> [#uses=1]
-       %tmp345 = getelementptr %struct.siginfo_t* %tmp344, i32 0, i32 3                ; <{ { i32, i32, [0 x i8], %struct.sigval_t, i32 }, [88 x i8] }*> [#uses=1]
-       %tmp346 = getelementptr { { i32, i32, [0 x i8], %struct.sigval_t, i32 }, [88 x i8] }* %tmp345, i32 0, i32 0             ; <{ i32, i32, [0 x i8], %struct.sigval_t, i32 }*> [#uses=1]
-       %tmp346347 = bitcast { i32, i32, [0 x i8], %struct.sigval_t, i32 }* %tmp346 to { i32, i32, %struct.sigval_t }*          ; <{ i32, i32, %struct.sigval_t }*> [#uses=1]
-       %tmp348 = getelementptr { i32, i32, %struct.sigval_t }* %tmp346347, i32 0, i32 2                ; <%struct.sigval_t*> [#uses=1]
-       %tmp349 = getelementptr %struct.sigval_t* %tmp348, i32 0, i32 0         ; <i8**> [#uses=1]
-       %tmp349350 = bitcast i8** %tmp349 to i32*               ; <i32*> [#uses=1]
-       %tmp351 = load i32* %tmp349350, align 8         ; <i32> [#uses=1]
-       %tmp360 = call i32 asm sideeffect "1:\09movl ${1:k},$2\0A2:\0A.section .fixup,\22ax\22\0A3:\09mov $3,$0\0A\09jmp 2b\0A.previous\0A.section __ex_table,\22a\22\0A\09.align 8\0A\09.quad 1b,3b\0A.previous", "=r,ir,*m,i,0,~{dirflag},~{fpsr},~{flags}"( i32 %tmp351, %struct.__large_struct* null, i32 -14, i32 0 )              ; <i32> [#uses=0]
-       unreachable
-}
diff --git a/test/Transforms/InstCombine/2008-02-04-GEPIdxBug.ll b/test/Transforms/InstCombine/2008-02-04-GEPIdxBug.ll
deleted file mode 100644 (file)
index 064fbd1..0000000
+++ /dev/null
@@ -1,33 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {icmp eq i32 %indvar, 0}
-; PR1978
-target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
-target triple = "i686-apple-darwin8"
-       %struct.x = type <{ i8 }>
-@.str = internal constant [6 x i8] c"Main!\00"         ; <[6 x i8]*> [#uses=1]
-@.str1 = internal constant [12 x i8] c"destroy %p\0A\00"               ; <[12 x i8]*> [#uses=1]
-
-define i32 @main() nounwind  {
-entry:
-       %orientations = alloca [1 x [1 x %struct.x]]            ; <[1 x [1 x %struct.x]]*> [#uses=2]
-       %tmp3 = call i32 @puts( i8* getelementptr ([6 x i8]* @.str, i32 0, i32 0) ) nounwind            ; <i32> [#uses=0]
-       %tmp45 = getelementptr inbounds [1 x [1 x %struct.x]]* %orientations, i32 1, i32 0, i32 0               ; <%struct.x*> [#uses=1]
-       %orientations62 = getelementptr [1 x [1 x %struct.x]]* %orientations, i32 0, i32 0, i32 0               ; <%struct.x*> [#uses=1]
-       br label %bb10
-
-bb10:          ; preds = %bb10, %entry
-       %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %bb10 ]                ; <i32> [#uses=2]
-       %tmp.0.reg2mem.0.rec = mul i32 %indvar, -1              ; <i32> [#uses=1]
-       %tmp12.rec = add i32 %tmp.0.reg2mem.0.rec, -1           ; <i32> [#uses=1]
-       %tmp12 = getelementptr inbounds %struct.x* %tmp45, i32 %tmp12.rec               ; <%struct.x*> [#uses=2]
-       %tmp16 = call i32 (i8*, ...)* @printf( i8* getelementptr ([12 x i8]* @.str1, i32 0, i32 0), %struct.x* %tmp12 ) nounwind                ; <i32> [#uses=0]
-       %tmp84 = icmp eq %struct.x* %tmp12, %orientations62             ; <i1> [#uses=1]
-       %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=1]
-       br i1 %tmp84, label %bb17, label %bb10
-
-bb17:          ; preds = %bb10
-       ret i32 0
-}
-
-declare i32 @puts(i8*)
-
-declare i32 @printf(i8*, ...)
diff --git a/test/Transforms/InstCombine/2009-03-02-VarLengthArrayGEP.ll b/test/Transforms/InstCombine/2009-03-02-VarLengthArrayGEP.ll
deleted file mode 100644 (file)
index 1e136f5..0000000
+++ /dev/null
@@ -1,14 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {getelementptr i32}
-; PR3694
-
-define i32 @e(i32 %m, i32 %n) nounwind {
-entry:
-       %0 = alloca i32, i32 %n, align 4                ; <i32*> [#uses=2]
-       %1 = bitcast i32* %0 to [0 x i32]*              ; <[0 x i32]*> [#uses=1]
-       call void @f(i32* %0) nounwind
-       %2 = getelementptr [0 x i32]* %1, i32 0, i32 %m         ; <i32*> [#uses=1]
-       %3 = load i32* %2, align 4              ; <i32> [#uses=1]
-       ret i32 %3
-}
-
-declare void @f(i32*)
diff --git a/test/Transforms/InstCombine/2009-04-06-GEP-Index-Crash.ll b/test/Transforms/InstCombine/2009-04-06-GEP-Index-Crash.ll
deleted file mode 100644 (file)
index 49e1f0a..0000000
+++ /dev/null
@@ -1,24 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis
-; rdar://6762290
-
-target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
-target triple = "i386-apple-darwin9"
-       %T = type <{ i64, i64, i64 }>
-
-define i32 @test(i8* %start, i32 %X) nounwind {
-entry:
-       %tmp3 = load i64* null          ; <i64> [#uses=1]
-       %add.ptr = getelementptr i8* %start, i64 %tmp3          ; <i8*> [#uses=1]
-       %tmp158 = load i32* null                ; <i32> [#uses=1]
-       %add.ptr159 = getelementptr %T* null, i32 %tmp158
-       %add.ptr209 = getelementptr i8* %start, i64 0           ; <i8*> [#uses=1]
-       %add.ptr212 = getelementptr i8* %add.ptr209, i32 %X             ; <i8*> [#uses=1]
-       %cmp214 = icmp ugt i8* %add.ptr212, %add.ptr            ; <i1> [#uses=1]
-       br i1 %cmp214, label %if.then216, label %if.end363
-
-if.then216:            ; preds = %for.body162
-       ret i32 1
-
-if.end363:             ; preds = %for.body162
-       ret i32 0
-}
diff --git a/test/Transforms/InstCombine/GEPIdxCanon.ll b/test/Transforms/InstCombine/GEPIdxCanon.ll
deleted file mode 100644 (file)
index f2e5e67..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine -gvn -instcombine | \
-; RUN:    llvm-dis | not grep getelementptr
-
-define i1 @test(i32* %A) {
-        %B = getelementptr i32* %A, i32 1               ; <i32*> [#uses=1]
-        %C = getelementptr i32* %A, i64 1               ; <i32*> [#uses=1]
-        %V = icmp eq i32* %B, %C                ; <i1> [#uses=1]
-        ret i1 %V
-}
-
diff --git a/test/Transforms/InstCombine/bitcast-gep.ll b/test/Transforms/InstCombine/bitcast-gep.ll
deleted file mode 100644 (file)
index 2e1f769..0000000
+++ /dev/null
@@ -1,30 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep bitcast
-; RUN: llvm-as < %s | opt -instcombine -scalarrepl | llvm-dis | grep {ret i8. %v}
-; PR1345
-
-target datalayout = "E-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
-target triple = "powerpc-apple-darwin8.8.0"
-
-define i8* @test(i8* %v) {
-       %A = alloca [4 x i8*], align 16         ; <[4 x i8*]*> [#uses=3]
-       %B = getelementptr [4 x i8*]* %A, i32 0, i32 0          ; <i8**> [#uses=1]
-       store i8* null, i8** %B
-       %C = bitcast [4 x i8*]* %A to { [16 x i8] }*            ; <{ [16 x i8] }*> [#uses=1]
-       %D = getelementptr { [16 x i8] }* %C, i32 0, i32 0, i32 8               ; <i8*> [#uses=1]
-       %E = bitcast i8* %D to i8**             ; <i8**> [#uses=1]
-       store i8* %v, i8** %E
-       %F = getelementptr [4 x i8*]* %A, i32 0, i32 2          ; <i8**> [#uses=1]
-       %G = load i8** %F               ; <i8*> [#uses=1]
-       ret i8* %G
-}
-
-; PR3290
-%struct.Key = type { { i32, i32 } }
-%struct.anon = type <{ i8, [3 x i8], i32 }>
-
-define i32 *@test2(%struct.Key *%A) {
-       %B = bitcast %struct.Key* %A to %struct.anon*
-        %C = getelementptr %struct.anon* %B, i32 0, i32 2 
-       ret i32 *%C
-}
-
diff --git a/test/Transforms/InstCombine/cast-store-gep.ll b/test/Transforms/InstCombine/cast-store-gep.ll
deleted file mode 100644 (file)
index 95a069d..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep inttoptr
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep alloca
-
-target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
-target triple = "x86_64-apple-darwin10.0"
-       %T = type { i8*, i8 }
-
-define i8* @test(i8* %Val, i64 %V) nounwind {
-entry:
-       %A = alloca %T, align 8 
-       %mrv_gep = bitcast %T* %A to i64*               ; <i64*> [#uses=1]
-       %B = getelementptr %T* %A, i64 0, i32 0         ; <i8**> [#uses=1]
-        
-       store i64 %V, i64* %mrv_gep
-       %C = load i8** %B, align 8              ; <i8*> [#uses=1]
-       ret i8* %C
-}
diff --git a/test/Transforms/InstCombine/constant-fold-gep-overindex.ll b/test/Transforms/InstCombine/constant-fold-gep-overindex.ll
deleted file mode 100644 (file)
index 954cccb..0000000
+++ /dev/null
@@ -1,33 +0,0 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | FileCheck %s
-
-target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
-target triple = "i386-apple-darwin10.0"
-
-%0 = type { i8*, [19 x i8] }
-%1 = type { i8*, [0 x i8] }
-
-@array = external global [11 x i8]
-
-@s = external global %0                           ; <%0*> [#uses=1]
-@"\01LC8" = external constant [17 x i8]           ; <[17 x i8]*> [#uses=1]
-
-; Instcombine should be able to fold this getelementptr.
-
-define i32 @main() nounwind {
-; CHECK: call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([17 x i8]* @"\01LC8", i32 0, i32 0), i8* undef, i8* bitcast (i8** getelementptr (%1* bitcast (%0* @s to %1*), i32 1, i32 0) to i8*)) nounwind
-
-  call i32 (i8*, ...)* @printf(i8* getelementptr ([17 x i8]* @"\01LC8", i32 0, i32 0), i8* undef, i8* getelementptr (%1* bitcast (%0* @s to %1*), i32 0, i32 1, i32 0)) nounwind ; <i32> [#uses=0]
-  ret i32 0
-}
-
-; Instcombine should constant-fold the GEP so that indices that have
-; static array extents are within bounds of those array extents.
-; In the below, -1 is not in the range [0,11). After the transformation,
-; the same address is computed, but 3 is in the range of [0,11).
-
-define i8* @foo() nounwind {
-; CHECK: ret i8* getelementptr ([11 x i8]* @array, i32 390451572, i32 3)
-  ret i8* getelementptr ([11 x i8]* @array, i32 0, i64 -1)
-}
-
-declare i32 @printf(i8*, ...) nounwind
index 3953ee3b3838668ab6cb24aec1f75c88071b2507..7bc08d0466ff8e3f47f22093b6f4c6d40f4c8577 100644 (file)
@@ -1,7 +1,7 @@
 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | FileCheck %s
 
 target datalayout = "e-p:64:64"
-
+%intstruct = type { i32 }
 %pair = type { i32, i32 }
 %struct.B = type { double }
 %struct.A = type { %struct.B, i32, i32 }
@@ -40,7 +40,7 @@ define i32* @test4({ i32 }* %I) {
         %B = getelementptr { i32 }* %A, i64 0, i32 0
         ret i32* %B
 ; CHECK: @test4
-; CHECK: getelementptr %0* %I, i64 1, i32 0
+; CHECK: getelementptr %intstruct* %I, i64 1, i32 0
 }
 
 define void @test5(i8 %B) {
@@ -62,8 +62,8 @@ define i32* @test6() {
 }
 
 define i32* @test7(i32* %I, i64 %C, i64 %D) {
-        %A = getelementptr i32* %I, i64 %C              ; <i32*> [#uses=1]
-        %B = getelementptr i32* %A, i64 %D              ; <i32*> [#uses=1]
+        %A = getelementptr i32* %I, i64 %C 
+        %B = getelementptr i32* %A, i64 %D 
         ret i32* %B
 ; CHECK: @test7
 ; CHECK: %A.sum = add i64 %C, %D
@@ -72,34 +72,34 @@ define i32* @test7(i32* %I, i64 %C, i64 %D) {
 
 define i8* @test8([10 x i32]* %X) {
         ;; Fold into the cast.
-        %A = getelementptr [10 x i32]* %X, i64 0, i64 0         ; <i32*> [#uses=1]
-        %B = bitcast i32* %A to i8*             ; <i8*> [#uses=1]
+        %A = getelementptr [10 x i32]* %X, i64 0, i64 0 
+        %B = bitcast i32* %A to i8*     
         ret i8* %B
 ; CHECK: @test8
 ; CHECK: bitcast [10 x i32]* %X to i8*
 }
 
 define i32 @test9() {
-        %A = getelementptr { i32, double }* null, i32 0, i32 1          ; <double*> [#uses=1]
-        %B = ptrtoint double* %A to i32         ; <i32> [#uses=1]
+        %A = getelementptr { i32, double }* null, i32 0, i32 1
+        %B = ptrtoint double* %A to i32        
         ret i32 %B
 ; CHECK: @test9
 ; CHECK: ret i32 8
 }
 
 define i1 @test10({ i32, i32 }* %x, { i32, i32 }* %y) {
-        %tmp.1 = getelementptr { i32, i32 }* %x, i32 0, i32 1           ; <i32*> [#uses=1]
-        %tmp.3 = getelementptr { i32, i32 }* %y, i32 0, i32 1           ; <i32*> [#uses=1]
+        %tmp.1 = getelementptr { i32, i32 }* %x, i32 0, i32 1
+        %tmp.3 = getelementptr { i32, i32 }* %y, i32 0, i32 1
         ;; seteq x, y
-        %tmp.4 = icmp eq i32* %tmp.1, %tmp.3            ; <i1> [#uses=1]
+        %tmp.4 = icmp eq i32* %tmp.1, %tmp.3       
         ret i1 %tmp.4
 ; CHECK: @test10
 ; CHECK: icmp eq %pair* %x, %y
 }
 
 define i1 @test11({ i32, i32 }* %X) {
-        %P = getelementptr { i32, i32 }* %X, i32 0, i32 0               ; <i32*> [#uses=1]
-        %Q = icmp eq i32* %P, null              ; <i1> [#uses=1]
+        %P = getelementptr { i32, i32 }* %X, i32 0, i32 0 
+        %Q = icmp eq i32* %P, null             
         ret i1 %Q
 ; CHECK: @test11
 ; CHECK: icmp eq %pair* %X, null
@@ -138,9 +138,9 @@ define i1 @test13(i64 %X, %S* %P) {
 }
 
 
-@G = external global [3 x i8]           ; <[3 x i8]*> [#uses=1]
+@G = external global [3 x i8]      
 define i8* @test14(i32 %Idx) {
-        %idx = zext i32 %Idx to i64             ; <i64> [#uses=1]
+        %idx = zext i32 %Idx to i64
         %tmp = getelementptr i8* getelementptr ([3 x i8]* @G, i32 0, i32 0), i64 %idx
         ret i8* %tmp
 ; CHECK: @test14
@@ -149,7 +149,7 @@ define i8* @test14(i32 %Idx) {
 
 
 ; Test folding of constantexpr geps into normal geps.
-@Array = external global [40 x i32]             ; <[40 x i32]*> [#uses=2]
+@Array = external global [40 x i32]
 define i32 *@test15(i64 %X) {
         %A = getelementptr i32* getelementptr ([40 x i32]* @Array, i64 0, i64 0), i64 %X
         ret i32* %A
@@ -203,4 +203,259 @@ define i32 @test20(i32* %P, i32 %A, i32 %B) {
 }
 
 
+define i32 @test21() {
+        %pbob1 = alloca %intstruct
+        %pbob2 = getelementptr %intstruct* %pbob1
+        %pbobel = getelementptr %intstruct* %pbob2, i64 0, i32 0
+        %rval = load i32* %pbobel
+        ret i32 %rval
+; CHECK: @test21
+; CHECK: getelementptr %intstruct* %pbob1, i64 0, i32 0
+}
+
+
+@A = global i32 1               ; <i32*> [#uses=1]
+@B = global i32 2               ; <i32*> [#uses=1]
+
+define i1 @test22() {
+        %C = icmp ult i32* getelementptr (i32* @A, i64 1), 
+                           getelementptr (i32* @B, i64 2) 
+        ret i1 %C
+; CHECK: @test22
+; CHECK: icmp ult (i32* getelementptr (i32* @A, i64 1), i32* getelementptr (i32* @B, i64 2))
+}
+
+
+%X = type { [10 x i32], float }
+
+define i1 @test23() {
+        %A = getelementptr %X* null, i64 0, i32 0, i64 0                ; <i32*> [#uses=1]
+        %B = icmp ne i32* %A, null              ; <i1> [#uses=1]
+        ret i1 %B
+; CHECK: @test23
+; CHECK: ret i1 false
+}
+
+%"java/lang/Object" = type { %struct.llvm_java_object_base }
+%"java/lang/StringBuffer" = type { %"java/lang/Object", i32, { %"java/lang/Object", i32, [0 x i16] }*, i1 }
+%struct.llvm_java_object_base = type opaque
+
+define void @test24() {
+bc0:
+        %tmp53 = getelementptr %"java/lang/StringBuffer"* null, i32 0, i32 1            ; <i32*> [#uses=1]
+        store i32 0, i32* %tmp53
+        ret void
+; CHECK: @test24
+; CHECK: store i32 0, i32* getelementptr (%"java/lang/StringBuffer"* null, i32 0, i32 1)
+}
+
+define void @test25() {
+entry:
+        %tmp = getelementptr { i64, i64, i64, i64 }* null, i32 0, i32 3         ; <i64*> [#uses=1]
+        %tmp.upgrd.1 = load i64* %tmp           ; <i64> [#uses=1]
+        %tmp8.ui = load i64* null               ; <i64> [#uses=1]
+        %tmp8 = bitcast i64 %tmp8.ui to i64             ; <i64> [#uses=1]
+        %tmp9 = and i64 %tmp8, %tmp.upgrd.1             ; <i64> [#uses=1]
+        %sext = trunc i64 %tmp9 to i32          ; <i32> [#uses=1]
+        %tmp27.i = sext i32 %sext to i64                ; <i64> [#uses=1]
+        tail call void @foo25( i32 0, i64 %tmp27.i )
+        unreachable
+; CHECK: @test25
+}
+
+declare void @foo25(i32, i64)
+
+
+; PR1637
+define i1 @test26(i8* %arr) {
+        %X = getelementptr i8* %arr, i32 1
+        %Y = getelementptr i8* %arr, i32 1
+        %test = icmp uge i8* %X, %Y
+        ret i1 %test
+; CHECK: @test26
+; CHECK: ret i1 true
+}
+
+       %struct.__large_struct = type { [100 x i64] }
+       %struct.compat_siginfo = type { i32, i32, i32, { [29 x i32] } }
+       %struct.siginfo_t = type { i32, i32, i32, { { i32, i32, [0 x i8], %struct.sigval_t, i32 }, [88 x i8] } }
+       %struct.sigval_t = type { i8* }
+
+define i32 @test27(%struct.compat_siginfo* %to, %struct.siginfo_t* %from) {
+entry:
+       %from_addr = alloca %struct.siginfo_t*  
+       %tmp344 = load %struct.siginfo_t** %from_addr, align 8  
+       %tmp345 = getelementptr %struct.siginfo_t* %tmp344, i32 0, i32 3
+       %tmp346 = getelementptr { { i32, i32, [0 x i8], %struct.sigval_t, i32 }, [88 x i8] }* %tmp345, i32 0, i32 0
+       %tmp346347 = bitcast { i32, i32, [0 x i8], %struct.sigval_t, i32 }* %tmp346 to { i32, i32, %struct.sigval_t }*  
+       %tmp348 = getelementptr { i32, i32, %struct.sigval_t }* %tmp346347, i32 0, i32 2
+       %tmp349 = getelementptr %struct.sigval_t* %tmp348, i32 0, i32 0
+       %tmp349350 = bitcast i8** %tmp349 to i32*
+       %tmp351 = load i32* %tmp349350, align 8 
+       %tmp360 = call i32 asm sideeffect "...",
+        "=r,ir,*m,i,0,~{dirflag},~{fpsr},~{flags}"( i32 %tmp351,
+         %struct.__large_struct* null, i32 -14, i32 0 )
+       unreachable
+; CHECK: @test27
+}
+
+; PR1978
+       %struct.x = type <{ i8 }>
+@.str = internal constant [6 x i8] c"Main!\00" 
+@.str1 = internal constant [12 x i8] c"destroy %p\0A\00"       
+
+define i32 @test28() nounwind  {
+entry:
+       %orientations = alloca [1 x [1 x %struct.x]]
+       %tmp3 = call i32 @puts( i8* getelementptr ([6 x i8]* @.str, i32 0, i32 0) ) nounwind 
+       %tmp45 = getelementptr inbounds [1 x [1 x %struct.x]]* %orientations, i32 1, i32 0, i32 0
+       %orientations62 = getelementptr [1 x [1 x %struct.x]]* %orientations, i32 0, i32 0, i32 0
+       br label %bb10
+
+bb10:
+       %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %bb10 ]
+       %tmp.0.reg2mem.0.rec = mul i32 %indvar, -1      
+       %tmp12.rec = add i32 %tmp.0.reg2mem.0.rec, -1   
+       %tmp12 = getelementptr inbounds %struct.x* %tmp45, i32 %tmp12.rec
+       %tmp16 = call i32 (i8*, ...)* @printf( i8* getelementptr ([12 x i8]* @.str1, i32 0, i32 0), %struct.x* %tmp12 ) nounwind
+       %tmp84 = icmp eq %struct.x* %tmp12, %orientations62
+       %indvar.next = add i32 %indvar, 1
+       br i1 %tmp84, label %bb17, label %bb10
+
+bb17:  
+       ret i32 0
+; CHECK: @test28
+; CHECK: icmp eq i32 %indvar, 0
+}
+
+declare i32 @puts(i8*)
+
+declare i32 @printf(i8*, ...)
+
+
+
+
+; rdar://6762290
+       %T = type <{ i64, i64, i64 }>
+define i32 @test29(i8* %start, i32 %X) nounwind {
+entry:
+       %tmp3 = load i64* null          
+       %add.ptr = getelementptr i8* %start, i64 %tmp3
+       %tmp158 = load i32* null
+       %add.ptr159 = getelementptr %T* null, i32 %tmp158
+       %add.ptr209 = getelementptr i8* %start, i64 0
+       %add.ptr212 = getelementptr i8* %add.ptr209, i32 %X
+       %cmp214 = icmp ugt i8* %add.ptr212, %add.ptr
+       br i1 %cmp214, label %if.then216, label %if.end363
+
+if.then216:
+       ret i32 1
+
+if.end363:
+       ret i32 0
+; CHECK: @test29
+}
+
+
+; PR3694
+define i32 @test30(i32 %m, i32 %n) nounwind {
+entry:
+       %0 = alloca i32, i32 %n, align 4
+       %1 = bitcast i32* %0 to [0 x i32]*
+       call void @test30f(i32* %0) nounwind
+       %2 = getelementptr [0 x i32]* %1, i32 0, i32 %m
+       %3 = load i32* %2, align 4
+       ret i32 %3
+; CHECK: @test30
+; CHECK: getelementptr i32
+}
+
+declare void @test30f(i32*)
+
+
+
+define i1 @test31(i32* %A) {
+        %B = getelementptr i32* %A, i32 1
+        %C = getelementptr i32* %A, i64 1
+        %V = icmp eq i32* %B, %C 
+        ret i1 %V
+; CHECK: @test31
+; CHECK: ret i1 true
+}
+
+
+; PR1345
+define i8* @test32(i8* %v) {
+       %A = alloca [4 x i8*], align 16
+       %B = getelementptr [4 x i8*]* %A, i32 0, i32 0
+       store i8* null, i8** %B
+       %C = bitcast [4 x i8*]* %A to { [16 x i8] }*
+       %D = getelementptr { [16 x i8] }* %C, i32 0, i32 0, i32 8
+       %E = bitcast i8* %D to i8**
+       store i8* %v, i8** %E
+       %F = getelementptr [4 x i8*]* %A, i32 0, i32 2  
+       %G = load i8** %F
+       ret i8* %G
+; CHECK: @test32
+; CHECK: %D = getelementptr [4 x i8*]* %A, i64 0, i64 1
+; CHECK: %F = getelementptr [4 x i8*]* %A, i64 0, i64 2
+}
+
+; PR3290
+%struct.Key = type { { i32, i32 } }
+%struct.anon = type <{ i8, [3 x i8], i32 }>
+
+define i32 *@test33(%struct.Key *%A) {
+       %B = bitcast %struct.Key* %A to %struct.anon*
+        %C = getelementptr %struct.anon* %B, i32 0, i32 2 
+       ret i32 *%C
+; CHECK: @test33
+; CHECK: getelementptr %struct.Key* %A, i64 0, i32 0, i32 1
+}
+
+
+
+       %T2 = type { i8*, i8 }
+define i8* @test34(i8* %Val, i64 %V) nounwind {
+entry:
+       %A = alloca %T2, align 8        
+       %mrv_gep = bitcast %T2* %A to i64*
+       %B = getelementptr %T2* %A, i64 0, i32 0
+        
+       store i64 %V, i64* %mrv_gep
+       %C = load i8** %B, align 8
+       ret i8* %C
+; CHECK: @test34
+; CHECK: %V.c = inttoptr i64 %V to i8*
+; CHECK: ret i8* %V.c
+}
+
+%t0 = type { i8*, [19 x i8] }
+%t1 = type { i8*, [0 x i8] }
+
+@array = external global [11 x i8]
+
+@s = external global %t0
+@"\01LC8" = external constant [17 x i8]
+
+; Instcombine should be able to fold this getelementptr.
+
+define i32 @test35() nounwind {
+  call i32 (i8*, ...)* @printf(i8* getelementptr ([17 x i8]* @"\01LC8", i32 0, i32 0),
+             i8* getelementptr (%t1* bitcast (%t0* @s to %t1*), i32 0, i32 1, i32 0)) nounwind
+  ret i32 0
+; CHECK: @test35
+; CHECK: call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([17 x i8]* @"\01LC8", i64 0, i64 0), i8* bitcast (i8** getelementptr (%t1* bitcast (%t0* @s to %t1*), i64 1, i32 0) to i8*)) nounwind
+}
+
+; Instcombine should constant-fold the GEP so that indices that have
+; static array extents are within bounds of those array extents.
+; In the below, -1 is not in the range [0,11). After the transformation,
+; the same address is computed, but 3 is in the range of [0,11).
+
+define i8* @test36() nounwind {
+  ret i8* getelementptr ([11 x i8]* @array, i32 0, i64 -1)
+; CHECK: @test36
+; CHECK: ret i8* getelementptr ([11 x i8]* @array, i64 1676976733973595601, i64 4)
+}