1define <4 x float> @_Z4castIDv4_iDv4_fET0_T_(<4 x i32> %a) {
2entry:
3  %0 = sitofp <4 x i32> %a to <4 x float>
4  ret <4 x float> %0
5}
6
7define <4 x i32> @_Z4castIDv4_fDv4_iET0_T_(<4 x float> %a) {
8entry:
9  %0 = fptosi <4 x float> %a to <4 x i32>
10  ret <4 x i32> %0
11}
12
13define <4 x float> @_Z4castIDv4_jDv4_fET0_T_(<4 x i32> %a) {
14entry:
15  %0 = uitofp <4 x i32> %a to <4 x float>
16  ret <4 x float> %0
17}
18
19define <4 x i32> @_Z4castIDv4_fDv4_jET0_T_(<4 x float> %a) {
20entry:
21  %0 = fptoui <4 x float> %a to <4 x i32>
22  ret <4 x i32> %0
23}
24