summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/2009-07-02-MaskedIntVector.ll
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2009-07-02 16:04:08 +0000
committerChris Lattner <sabre@nondot.org>2009-07-02 16:04:08 +0000
commit0dabb0b177089202dae485d085ed15bd41ef29e6 (patch)
treef6af608c67c6d32df015a1e0ba928622193886ad /test/Transforms/InstCombine/2009-07-02-MaskedIntVector.ll
parent62c762f329cb16783f19b075bb2fefe35b5d5879 (diff)
downloadllvm-0dabb0b177089202dae485d085ed15bd41ef29e6.tar.gz
llvm-0dabb0b177089202dae485d085ed15bd41ef29e6.tar.bz2
llvm-0dabb0b177089202dae485d085ed15bd41ef29e6.tar.xz
do not try to analyze bitcasts from i64 to <2 x i32> in ComputedMaskedBits. While
we could do this, doing so requires adjusting the demanded mask and the code isn't doing that yet. This fixes PR4495 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74699 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/2009-07-02-MaskedIntVector.ll')
-rw-r--r--test/Transforms/InstCombine/2009-07-02-MaskedIntVector.ll15
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2009-07-02-MaskedIntVector.ll b/test/Transforms/InstCombine/2009-07-02-MaskedIntVector.ll
new file mode 100644
index 0000000000..7505de17a7
--- /dev/null
+++ b/test/Transforms/InstCombine/2009-07-02-MaskedIntVector.ll
@@ -0,0 +1,15 @@
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis
+; PR4495
+
+define i32 @test(i64 %test) {
+entry:
+ %0 = bitcast <4 x i32> undef to <16 x i8> ; <<16 x i8>> [#uses=1]
+ %t12 = shufflevector <16 x i8> %0, <16 x i8> zeroinitializer, <16 x i32> <i32 0, i32 16, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0> ; <<16 x i8>> [#uses=1]
+ %t11 = bitcast <16 x i8> %t12 to <2 x i64> ; <<2 x i64>> [#uses=1]
+ %t9 = extractelement <2 x i64> %t11, i32 0 ; <i64> [#uses=1]
+ %t10 = bitcast i64 %t9 to <2 x i32> ; <<2 x i32>> [#uses=1]
+ %t7 = bitcast i64 %test to <2 x i32> ; <<2 x i32>> [#uses=1]
+ %t6 = xor <2 x i32> %t10, %t7 ; <<2 x i32>> [#uses=1]
+ %t1 = extractelement <2 x i32> %t6, i32 0 ; <i32> [#uses=1]
+ ret i32 %t1
+}