1; RUN: llc < %s
2
3define float @test1()
4{
5	ret float extractelement (<2 x float> bitcast (<1 x double> <double 0x3f800000> to <2 x float>), i32 1);
6}
7