From: Vikram S. Adve <vadve@cs.uiuc.edu>
Date: Sat, 28 Sep 2002 18:09:05 +0000 (+0000)
Subject: Regression test for llc bug that was folding two getelementptrs illegally.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d28c8c801e03dbc890a51e0b8d4fbf6aeb96f194;p=oota-llvm.git

Regression test for llc bug that was folding two getelementptrs illegally.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3971 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/CodeGen/Generic/badFoldGEP.ll b/test/CodeGen/Generic/badFoldGEP.ll
new file mode 100644
index 00000000000..8d8a2871a74
--- /dev/null
+++ b/test/CodeGen/Generic/badFoldGEP.ll
@@ -0,0 +1,27 @@
+;; GetMemInstArgs() folded the two getElementPtr instructions together,
+;; producing an illegal getElementPtr.  That's because the type generated
+;; by the last index for the first one is a structure field, not an array
+;; element, and the second one indexes off that structure field.
+;; The code is legal but not type-safe and the two GEPs should not be folded.
+;; 
+;; This code fragment is from Spec/CINT2000/197.parser/197.parser.bc,
+;; file post_process.c, function build_domain().
+;; (Modified to replace store with load and return load value.)
+;; 
+
+%Domain = type { sbyte*, int, int*, int, int, int*, %Domain* }
+%domain_array = internal uninitialized global [497 x %Domain] 
+
+implementation; Functions:
+
+declare void %opaque([497 x %Domain]*)
+
+int %main(int %argc, sbyte** %argv) {
+bb0:					;[#uses=0]
+	call void %opaque([497 x %Domain]* %domain_array)
+	%cann-indvar-idxcast = cast int %argc to long
+        %reg841 = getelementptr [497 x %Domain]* %domain_array, long 0, long %cann-indvar-idxcast, ubyte 3
+        %reg846 = getelementptr int* %reg841, long 1
+        %reg820 = load int* %reg846
+	ret int %reg820
+}
diff --git a/test/LLC/badFoldGEP.ll b/test/LLC/badFoldGEP.ll
new file mode 100644
index 00000000000..8d8a2871a74
--- /dev/null
+++ b/test/LLC/badFoldGEP.ll
@@ -0,0 +1,27 @@
+;; GetMemInstArgs() folded the two getElementPtr instructions together,
+;; producing an illegal getElementPtr.  That's because the type generated
+;; by the last index for the first one is a structure field, not an array
+;; element, and the second one indexes off that structure field.
+;; The code is legal but not type-safe and the two GEPs should not be folded.
+;; 
+;; This code fragment is from Spec/CINT2000/197.parser/197.parser.bc,
+;; file post_process.c, function build_domain().
+;; (Modified to replace store with load and return load value.)
+;; 
+
+%Domain = type { sbyte*, int, int*, int, int, int*, %Domain* }
+%domain_array = internal uninitialized global [497 x %Domain] 
+
+implementation; Functions:
+
+declare void %opaque([497 x %Domain]*)
+
+int %main(int %argc, sbyte** %argv) {
+bb0:					;[#uses=0]
+	call void %opaque([497 x %Domain]* %domain_array)
+	%cann-indvar-idxcast = cast int %argc to long
+        %reg841 = getelementptr [497 x %Domain]* %domain_array, long 0, long %cann-indvar-idxcast, ubyte 3
+        %reg846 = getelementptr int* %reg841, long 1
+        %reg820 = load int* %reg846
+	ret int %reg820
+}