diff options
| author | Cameron Zwarich <zwarich@apple.com> | 2011-10-23 07:02:10 +0000 |
|---|---|---|
| committer | Cameron Zwarich <zwarich@apple.com> | 2011-10-23 07:02:10 +0000 |
| commit | 90747e34e6ca7162eaf8dde032649071045f161d (patch) | |
| tree | 3845880746f6435db460b54e981f4ea1c5c29b5e /test/Transforms/ScalarRepl | |
| parent | 4fea38f7732bccd1781390aedcef2bbf87e25990 (diff) | |
The element insertion code in scalar replacement doesn't handle incorrect
element types, even though the element extraction code does. It is surprising
that this bug has been here for so long. Fixes <rdar://problem/10318778>.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142740 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/ScalarRepl')
| -rw-r--r-- | test/Transforms/ScalarRepl/2011-10-22-VectorCrash.ll | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Transforms/ScalarRepl/2011-10-22-VectorCrash.ll b/test/Transforms/ScalarRepl/2011-10-22-VectorCrash.ll new file mode 100644 index 0000000000..cd21ff5f0b --- /dev/null +++ b/test/Transforms/ScalarRepl/2011-10-22-VectorCrash.ll @@ -0,0 +1,19 @@ +; RUN: opt < %s -S -scalarrepl | FileCheck %s +target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32-S32" +target triple = "thumbv7-apple-ios5.0.0" + +%union.anon = type { <4 x float> } + +; CHECK: @test +; CHECK-NOT: alloca + +define void @test() nounwind { +entry: + %u = alloca %union.anon, align 16 + %u164 = bitcast %union.anon* %u to [4 x i32]* + %arrayidx165 = getelementptr inbounds [4 x i32]* %u164, i32 0, i32 0 + store i32 undef, i32* %arrayidx165, align 4 + %v186 = bitcast %union.anon* %u to <4 x float>* + store <4 x float> undef, <4 x float>* %v186, align 16 + ret void +} |