Rewrite the main DSE loop to be written in terms of reasoning
[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 }