When folding away a (shl (shr)) pair, we need to check that the bits that will BECOME...
[oota-llvm.git] / test / Transforms / InstCombine / 2009-07-02-MaskedIntVector.ll
1 ; RUN: opt < %s -instcombine | llvm-dis
2 ; PR4495
3
4 define i32 @test(i64 %test) {
5 entry:
6         %0 = bitcast <4 x i32> undef to <16 x i8>               ; <<16 x i8>> [#uses=1]
7         %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]
8         %t11 = bitcast <16 x i8> %t12 to <2 x i64>              ; <<2 x i64>> [#uses=1]
9         %t9 = extractelement <2 x i64> %t11, i32 0              ; <i64> [#uses=1]
10         %t10 = bitcast i64 %t9 to <2 x i32>             ; <<2 x i32>> [#uses=1]
11         %t7 = bitcast i64 %test to <2 x i32>            ; <<2 x i32>> [#uses=1]
12         %t6 = xor <2 x i32> %t10, %t7           ; <<2 x i32>> [#uses=1]
13         %t1 = extractelement <2 x i32> %t6, i32 0               ; <i32> [#uses=1]
14         ret i32 %t1
15 }