3 more bugs from the SPEC codes and from richards_benchmark.c
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6458 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/CodeGen/Generic/2003-05-30-BadFoldGEP.ll b/test/CodeGen/Generic/2003-05-30-BadFoldGEP.ll
new file mode 100644
index 0000000..47caabb
--- /dev/null
+++ b/test/CodeGen/Generic/2003-05-30-BadFoldGEP.ll
@@ -0,0 +1,48 @@
+;; Date: May 28, 2003.
+;; From: test/Programs/External/SPEC/CINT2000/254.gap.llvm.bc
+;; Function: int %OpenOutput(sbyte* %filename.1)
+;;
+;; Error: A sequence of GEPs is folded incorrectly by llc during selection
+;; causing an assertion about a dynamic casting error.
+;; This code sequence was produced (correctly) by preselection
+;; from a nested pair of ConstantExpr getelementptrs.
+;; The code below is the output of preselection.
+;; The original ConstantExprs are included in a comment.
+;;
+;; Cause: FoldGetElemChain() was inserting an extra leading 0 even though
+;; the first instruction in the sequence contributes no indices.
+;; The next instruction contributes a leading non-zero so another
+;; zero should not be added before it!
+;;
+
+
+%FileType = type { int, [256 x sbyte], int, int, int, int }
+%OutputFiles = uninitialized global [16 x %FileType]
+%Output = internal global %FileType* null
+
+
+implementation; Functions:
+
+internal int %OpenOutput(sbyte* %filename.1) {
+entry:
+ %tmp.0 = load %FileType** %Output
+ %tmp.4 = getelementptr %FileType* %tmp.0, long 1
+
+ ;;------ Original instruction in 254.gap.llvm.bc:
+ ;; %tmp.10 = seteq { int, [256 x sbyte], int, int, int, int }* %tmp.4, getelementptr ([16 x { int, [256 x sbyte], int, int, int, int }]* getelementptr ([16 x { int, [256 x sbyte], int, int, int, int }]* %OutputFiles, long 1), long 0, long 0)
+
+ ;;------ Code sequence produced by preselection phase for above instr:
+ ;; This code sequence is folded incorrectly by llc during selection
+ ;; causing an assertion about a dynamic casting error.
+ %addrOfGlobal = getelementptr [16 x %FileType]* %OutputFiles, long 0
+ %constantGEP = getelementptr [16 x %FileType]* %addrOfGlobal, long 1
+ %constantGEP = getelementptr [16 x %FileType]* %constantGEP, long 0, long 0
+ %tmp.10 = seteq %FileType* %tmp.4, %constantGEP
+ br bool %tmp.10, label %return, label %endif.0
+
+endif.0:
+ ret int 0
+
+return:
+ ret int 1
+}