define <4 x float> @x(<4 x float> %a, <4 x float> %b) {
start:
  %c = fcmp ole <4 x float> %a, %b
  %.v.i = select <4 x i1> %c, <4 x float> %a, <4 x float> %b
  ret <4 x float> %.v.i
}