1; RUN: llc < %s -march=x86-64 -mattr=+sse4.2 |  FileCheck %s
2
3
4define float @extractFloat1() nounwind {
5entry:
6  ; CHECK: 1065353216
7  %tmp0 = bitcast <1 x double> <double 0x000000003F800000> to <2 x float>
8  %tmp1 = extractelement <2 x float> %tmp0, i32 0
9  ret float %tmp1
10}
11
12define float @extractFloat2() nounwind {
13entry:
14  ; CHECK: xorps	%xmm0, %xmm0
15  %tmp4 = bitcast <1 x double> <double 0x000000003F800000> to <2 x float>
16  %tmp5 = extractelement <2 x float> %tmp4, i32 1
17  ret float %tmp5
18}
19
20define i32 @extractInt2() nounwind {
21entry:
22  ; CHECK: xorl	%eax, %eax
23  %tmp4 = bitcast <1 x i64> <i64 256> to <2 x i32>
24  %tmp5 = extractelement <2 x i32> %tmp4, i32 1
25  ret i32 %tmp5
26}
27
28