From d28c8c801e03dbc890a51e0b8d4fbf6aeb96f194 Mon Sep 17 00:00:00 2001 From: "Vikram S. Adve" Date: Sat, 28 Sep 2002 18:09:05 +0000 Subject: [PATCH] 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 --- test/CodeGen/Generic/badFoldGEP.ll | 27 +++++++++++++++++++++++++++ test/LLC/badFoldGEP.ll | 27 +++++++++++++++++++++++++++ 2 files changed, 54 insertions(+) create mode 100644 test/CodeGen/Generic/badFoldGEP.ll create mode 100644 test/LLC/badFoldGEP.ll 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 +} -- 2.34.1