[SimplifyCFG] Make the value type of the hole check bitmask a power-of-2.
[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 }