1; RUN: opt -S -instcombine -o - %s | FileCheck %s
2target datalayout = "e-p:32:32:32-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v24:32:32-v32:32:32-v64:64:64-v128:128:128-a0:0:64"
3
4
5
6; Cases that should be bitcast
7
8; Test cast between scalars with same bit sizes
9@alias_i32_to_f32 = alias bitcast (i32 (i32)* @func_i32 to float (float)*)
10
11; Test cast between vectors with same number of elements and bit sizes
12@alias_v2i32_to_v2f32 = alias bitcast (<2 x i32> (<2 x i32>)* @func_v2i32 to <2 x float> (<2 x float>)*)
13
14; Test cast from vector to scalar with same number of bits
15@alias_v2f32_to_i64 = alias bitcast (i64 (i64)* @func_i64 to <2 x float> (<2 x float>)*)
16
17; Test cast from scalar to vector with same number of bits
18@alias_i64_to_v2f32 = alias bitcast (<2 x float> (<2 x float>)* @func_v2f32 to i64 (i64)*)
19
20; Test cast between vectors of pointers
21@alias_v2i32p_to_v2i64p = alias bitcast (<2 x i32*> (<2 x i32*>)* @func_v2i32p to <2 x i64*> (<2 x i64*>)*)
22
23
24; Cases that should be invalid and unchanged
25
26; Test cast between scalars with different bit sizes
27@alias_i64_to_f32 = alias bitcast (i64 (i64)* @func_i64 to float (float)*)
28
29; Test cast between vectors with different bit sizes but the
30; same number of elements
31@alias_v2i64_to_v2f32 = alias bitcast (<2 x i64> (<2 x i64>)* @func_v2i64 to <2 x float> (<2 x float>)*)
32
33; Test cast between vectors with same number of bits and different
34; numbers of elements
35@alias_v2i32_to_v4f32 = alias bitcast (<2 x i32> (<2 x i32>)* @func_v2i32 to <4 x float> (<4 x float>)*)
36
37; Test cast between scalar and vector with different number of bits
38@alias_i64_to_v4f32 = alias bitcast (<4 x float> (<4 x float>)* @func_v4f32 to i64 (i64)*)
39
40; Test cast between vector and scalar with different number of bits
41@alias_v4f32_to_i64 = alias bitcast (i64 (i64)* @func_i64 to <4 x float> (<4 x float>)*)
42
43; Test cast from scalar to vector of pointers with same number of bits
44; We don't know the pointer size at this point, so this can't be done
45@alias_i64_to_v2i32p = alias bitcast (<2 x i32*> (<2 x i32*>)* @func_v2i32p to i64 (i64)*)
46
47; Test cast between vector of pointers and scalar with different number of bits
48@alias_v4i32p_to_i64 = alias bitcast (i64 (i64)* @func_i64 to <4 x i32*> (<4 x i32*>)*)
49
50
51
52define internal <2 x i32> @func_v2i32(<2 x i32> %v) noinline nounwind {
53entry:
54  ret <2 x i32> %v
55}
56
57define internal <2 x float> @func_v2f32(<2 x float> %v) noinline nounwind {
58entry:
59  ret <2 x float> %v
60}
61
62define internal <4 x float> @func_v4f32(<4 x float> %v) noinline nounwind {
63entry:
64  ret <4 x float> %v
65}
66
67define internal i32 @func_i32(i32 %v) noinline nounwind {
68entry:
69  ret i32 %v
70}
71
72define internal i64 @func_i64(i64 %v) noinline nounwind {
73entry:
74  ret i64 %v
75}
76
77define internal <2 x i64> @func_v2i64(<2 x i64> %v) noinline nounwind {
78entry:
79  ret <2 x i64> %v
80}
81
82define internal <2 x i32*> @func_v2i32p(<2 x i32*> %v) noinline nounwind {
83entry:
84  ret <2 x i32*> %v
85}
86
87; Valid cases, only bitcast for argument / return type and call underlying function
88
89; Sizes match, should only bitcast
90define void @bitcast_alias_scalar(float* noalias %source, float* noalias %dest) nounwind {
91entry:
92; CHECK-LABEL: @bitcast_alias_scalar
93; CHECK: bitcast float* %source to i32*
94; CHECK: load i32*
95; CHECK-NOT: fptoui
96; CHECK-NOT: uitofp
97; CHECK: bitcast float* %dest to i32*
98; CHECK: store i32
99  %tmp = load float* %source, align 8
100  %call = call float @alias_i32_to_f32(float %tmp) nounwind
101  store float %call, float* %dest, align 8
102  ret void
103}
104
105; Sizes match, should only bitcast
106define void @bitcast_alias_vector(<2 x float>* noalias %source, <2 x float>* noalias %dest) nounwind {
107entry:
108; CHECK-LABEL: @bitcast_alias_vector
109; CHECK: bitcast <2 x float>* %source to <2 x i32>*
110; CHECK: load <2 x i32>*
111; CHECK-NOT: fptoui
112; CHECK-NOT: uitofp
113; CHECK: bitcast <2 x float>* %dest to <2 x i32>*
114; CHECK: store <2 x i32>
115  %tmp = load <2 x float>* %source, align 8
116  %call = call <2 x float> @alias_v2i32_to_v2f32(<2 x float> %tmp) nounwind
117  store <2 x float> %call, <2 x float>* %dest, align 8
118  ret void
119}
120
121; Sizes match, should only bitcast
122define void @bitcast_alias_vector_scalar_same_size(<2 x float>* noalias %source, <2 x float>* noalias %dest) nounwind {
123entry:
124; CHECK-LABEL: @bitcast_alias_vector_scalar_same_size
125; CHECK: bitcast <2 x float>* %source to i64*
126; CHECK: load i64*
127; CHECK: %call = call i64 @func_i64
128; CHECK: bitcast <2 x float>* %dest to i64*
129; CHECK: store i64
130  %tmp = load <2 x float>* %source, align 8
131  %call = call <2 x float> @alias_v2f32_to_i64(<2 x float> %tmp) nounwind
132  store <2 x float> %call, <2 x float>* %dest, align 8
133  ret void
134}
135
136define void @bitcast_alias_scalar_vector_same_size(i64* noalias %source, i64* noalias %dest) nounwind {
137entry:
138; CHECK-LABEL: @bitcast_alias_scalar_vector_same_size
139; CHECK: bitcast i64* %source to <2 x float>*
140; CHECK: load <2 x float>*
141; CHECK: call <2 x float> @func_v2f32
142; CHECK: bitcast i64* %dest to <2 x float>*
143; CHECK: store <2 x float>
144  %tmp = load i64* %source, align 8
145  %call = call i64 @alias_i64_to_v2f32(i64 %tmp) nounwind
146  store i64 %call, i64* %dest, align 8
147  ret void
148}
149
150define void @bitcast_alias_vector_ptrs_same_size(<2 x i64*>* noalias %source, <2 x i64*>* noalias %dest) nounwind {
151entry:
152; CHECK-LABEL: @bitcast_alias_vector_ptrs_same_size
153; CHECK: bitcast <2 x i64*>* %source to <2 x i32*>*
154; CHECK: load <2 x i32*>*
155; CHECK: call <2 x i32*> @func_v2i32p
156; CHECK: bitcast <2 x i64*>* %dest to <2 x i32*>*
157; CHECK: store <2 x i32*>
158  %tmp = load <2 x i64*>* %source, align 8
159  %call = call <2 x i64*> @alias_v2i32p_to_v2i64p(<2 x i64*> %tmp) nounwind
160  store <2 x i64*> %call, <2 x i64*>* %dest, align 8
161  ret void
162}
163
164; Invalid cases:
165
166define void @bitcast_alias_mismatch_scalar_size(float* noalias %source, float* noalias %dest) nounwind {
167entry:
168; CHECK-LABEL: @bitcast_alias_mismatch_scalar_size
169; CHECK-NOT: fptoui
170; CHECK: @alias_i64_to_f32
171; CHECK-NOT: uitofp
172  %tmp = load float* %source, align 8
173  %call = call float @alias_i64_to_f32(float %tmp) nounwind
174  store float %call, float* %dest, align 8
175  ret void
176}
177
178define void @bitcast_alias_mismatch_vector_element_and_bit_size(<2 x float>* noalias %source, <2 x float>* noalias %dest) nounwind {
179entry:
180; CHECK-LABEL: @bitcast_alias_mismatch_vector_element_and_bit_size
181; CHECK-NOT: fptoui <2 x float> %tmp to <2 x i64>
182; CHECK: @alias_v2i64_to_v2f32
183; CHECK-NOT: uitofp <2 x i64> %call to <2 x float>
184  %tmp = load <2 x float>* %source, align 8
185  %call = call <2 x float> @alias_v2i64_to_v2f32(<2 x float> %tmp) nounwind
186  store <2 x float> %call, <2 x float>* %dest, align 8
187  ret void
188}
189
190define void @bitcast_alias_vector_mismatched_number_elements(<4 x float>* noalias %source, <4 x float>* noalias %dest) nounwind {
191entry:
192; CHECK-LABEL: @bitcast_alias_vector_mismatched_number_elements
193; CHECK:  %call = call <4 x float> @alias_v2i32_to_v4f32
194  %tmp = load <4 x float>* %source, align 8
195  %call = call <4 x float> @alias_v2i32_to_v4f32(<4 x float> %tmp) nounwind
196  store <4 x float> %call, <4 x float>* %dest, align 8
197  ret void
198}
199
200define void @bitcast_alias_vector_scalar_mismatched_bit_size(<4 x float>* noalias %source, <4 x float>* noalias %dest) nounwind {
201entry:
202; CHECK-LABEL: @bitcast_alias_vector_scalar_mismatched_bit_size
203; CHECK:  %call = call <4 x float> @alias_v4f32_to_i64
204  %tmp = load <4 x float>* %source, align 8
205  %call = call <4 x float> @alias_v4f32_to_i64(<4 x float> %tmp) nounwind
206  store <4 x float> %call, <4 x float>* %dest, align 8
207  ret void
208}
209
210define void @bitcast_alias_vector_ptrs_scalar_mismatched_bit_size(<4 x i32*>* noalias %source, <4 x i32*>* noalias %dest) nounwind {
211entry:
212; CHECK-LABEL: @bitcast_alias_vector_ptrs_scalar_mismatched_bit_size
213; CHECK: @alias_v4i32p_to_i64
214  %tmp = load <4 x i32*>* %source, align 8
215  %call = call <4 x i32*> @alias_v4i32p_to_i64(<4 x i32*> %tmp) nounwind
216  store <4 x i32*> %call, <4 x i32*>* %dest, align 8
217  ret void
218}
219
220define void @bitcast_alias_scalar_vector_ptrs_same_size(i64* noalias %source, i64* noalias %dest) nounwind {
221entry:
222; CHECK-LABEL: @bitcast_alias_scalar_vector_ptrs_same_size
223; CHECK: @alias_i64_to_v2i32p
224  %tmp = load i64* %source, align 8
225  %call = call i64 @alias_i64_to_v2i32p(i64 %tmp) nounwind
226  store i64 %call, i64* %dest, align 8
227  ret void
228}
229
230define void @bitcast_alias_scalar_vector_mismatched_bit_size(i64* noalias %source, i64* noalias %dest) nounwind {
231entry:
232; CHECK-LABEL: @bitcast_alias_scalar_vector_mismatched_bit_size
233; CHECK: call i64 @alias_i64_to_v4f32
234  %tmp = load i64* %source, align 8
235  %call = call i64 @alias_i64_to_v4f32(i64 %tmp) nounwind
236  store i64 %call, i64* %dest, align 8
237  ret void
238}
239
240