diff options
author | Cameron Zwarich <zwarich@apple.com> | 2011-06-09 01:45:33 +0000 |
---|---|---|
committer | Cameron Zwarich <zwarich@apple.com> | 2011-06-09 01:45:33 +0000 |
commit | 96cc1d0dfbcf9c7ffffc65f0aa008ff532d444f4 (patch) | |
tree | 977db1c3a32badee87361b9606b556a72cdc0f33 /test | |
parent | efe12907dd58d1d34ab10b0bd2ae9a099b996f53 (diff) | |
download | external_llvm-96cc1d0dfbcf9c7ffffc65f0aa008ff532d444f4.zip external_llvm-96cc1d0dfbcf9c7ffffc65f0aa008ff532d444f4.tar.gz external_llvm-96cc1d0dfbcf9c7ffffc65f0aa008ff532d444f4.tar.bz2 |
Fix PR10104 by adding a bounds check on a vector element access check. It was
assuming that all offsets are legal vector accesses, and thus trying to access
the float member of { <2 x float>, float } as the 3rd element of the first
member.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132766 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/ScalarRepl/2011-06-08-VectorExtractValue.ll | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/Transforms/ScalarRepl/2011-06-08-VectorExtractValue.ll b/test/Transforms/ScalarRepl/2011-06-08-VectorExtractValue.ll index 0b008f4..32e67fb 100644 --- a/test/Transforms/ScalarRepl/2011-06-08-VectorExtractValue.ll +++ b/test/Transforms/ScalarRepl/2011-06-08-VectorExtractValue.ll @@ -41,9 +41,11 @@ entry: ; CHECK: test2 ; CHECK-NOT: alloca -; CHECK: insertelement <2 x float> zeroinitializer -; CHECK: extractelement <2 x float> %tmp2 -; CHECK: extractelement <2 x float> %tmp2 +; CHECK: and i128 +; CHECK: or i128 +; CHECK: trunc i128 +; CHECK-NOT: insertelement +; CHECK-NOT: extractelement define float @test2() uwtable ssp { entry: |