1 ; RUN: llc < %s -march=x86-64 -mattr=+sse4.2 | FileCheck %s
4 define float @extractFloat1() nounwind {
7 %tmp0 = bitcast <1 x double> <double 0x000000003F800000> to <2 x float>
8 %tmp1 = extractelement <2 x float> %tmp0, i32 0
12 define float @extractFloat2() nounwind {
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
20 define i32 @extractInt2() nounwind {
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