1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 ; Bitcasts between vectors and scalars are valid.
5 define i32 @test1(i64 %a) {
6 %t1 = bitcast i64 %a to <2 x i32>
7 %t2 = bitcast i64 %a to <2 x i32>
8 %t3 = xor <2 x i32> %t1, %t2
9 %t4 = extractelement <2 x i32> %t3, i32 0
16 ; Optimize bitcasts that are extracting low element of vector. This happens
19 define float @test2(<2 x float> %A, <2 x i32> %B) {
20 %tmp28 = bitcast <2 x float> %A to i64 ; <i64> [#uses=2]
21 %tmp23 = trunc i64 %tmp28 to i32 ; <i32> [#uses=1]
22 %tmp24 = bitcast i32 %tmp23 to float ; <float> [#uses=1]
24 %tmp = bitcast <2 x i32> %B to i64
25 %tmp2 = trunc i64 %tmp to i32 ; <i32> [#uses=1]
26 %tmp4 = bitcast i32 %tmp2 to float ; <float> [#uses=1]
28 %add = fadd float %tmp24, %tmp4
32 ; CHECK-NEXT: %tmp24 = extractelement <2 x float> %A, i32 0
33 ; CHECK-NEXT: bitcast <2 x i32> %B to <2 x float>
34 ; CHECK-NEXT: %tmp4 = extractelement <2 x float> {{.*}}, i32 0
35 ; CHECK-NEXT: %add = fadd float %tmp24, %tmp4
36 ; CHECK-NEXT: ret float %add
39 ; Optimize bitcasts that are extracting other elements of a vector. This
40 ; happens because of SRoA.
42 define float @test3(<2 x float> %A, <2 x i64> %B) {
43 %tmp28 = bitcast <2 x float> %A to i64
44 %tmp29 = lshr i64 %tmp28, 32
45 %tmp23 = trunc i64 %tmp29 to i32
46 %tmp24 = bitcast i32 %tmp23 to float
48 %tmp = bitcast <2 x i64> %B to i128
49 %tmp1 = lshr i128 %tmp, 64
50 %tmp2 = trunc i128 %tmp1 to i32
51 %tmp4 = bitcast i32 %tmp2 to float
53 %add = fadd float %tmp24, %tmp4
57 ; CHECK-NEXT: %tmp24 = extractelement <2 x float> %A, i32 1
58 ; CHECK-NEXT: bitcast <2 x i64> %B to <4 x float>
59 ; CHECK-NEXT: %tmp4 = extractelement <4 x float> {{.*}}, i32 2
60 ; CHECK-NEXT: %add = fadd float %tmp24, %tmp4
61 ; CHECK-NEXT: ret float %add