From 7bd79da17abb69c8f33466d24862e120ddf2f549 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 14 Jan 2008 02:09:12 +0000 Subject: Fix the miscompilation of MiBench/consumer-lame that was exposed by Evan's byval work. This miscompilation is due to the program indexing an array out of range and us doing a transformation that broke this. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45949 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/GlobalOpt/2008-01-13-OutOfRangeSROA.ll | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 test/Transforms/GlobalOpt/2008-01-13-OutOfRangeSROA.ll (limited to 'test/Transforms/GlobalOpt') diff --git a/test/Transforms/GlobalOpt/2008-01-13-OutOfRangeSROA.ll b/test/Transforms/GlobalOpt/2008-01-13-OutOfRangeSROA.ll new file mode 100644 index 0000000..aace346 --- /dev/null +++ b/test/Transforms/GlobalOpt/2008-01-13-OutOfRangeSROA.ll @@ -0,0 +1,16 @@ +; RUN: llvm-as < %s | opt -globalopt | llvm-dis | grep {16 x .31 x double.. zeroinitializer} + +; The 'X' indices could be larger than 31. Do not SROA the outer indices of this array. +@mm = internal global [16 x [31 x double]] zeroinitializer, align 32 + +define void @test(i32 %X) { + %P = getelementptr [16 x [31 x double]]* @mm, i32 0, i32 0, i32 %X + store double 1.0, double* %P + ret void +} + +define double @get(i32 %X) { + %P = getelementptr [16 x [31 x double]]* @mm, i32 0, i32 0, i32 %X + %V = load double* %P + ret double %V +} -- cgit v1.1