1; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s
2; RUN: llc -verify-machineinstrs < %s -mtriple=arm64-apple-ios7.0 -O0
3
4; (The O0 test is to make sure FastISel still constrains its operands properly
5; and the verifier doesn't trigger).
6
7@var32 = global i32 0
8@var64 = global i64 0
9
10define void @test_fcvtzs(float %flt, double %dbl) {
11; CHECK-LABEL: test_fcvtzs:
12
13  %fix1 = fmul float %flt, 128.0
14  %cvt1 = fptosi float %fix1 to i32
15; CHECK: fcvtzs {{w[0-9]+}}, {{s[0-9]+}}, #7
16  store volatile i32 %cvt1, i32* @var32
17
18  %fix2 = fmul float %flt, 4294967296.0
19  %cvt2 = fptosi float %fix2 to i32
20; CHECK: fcvtzs {{w[0-9]+}}, {{s[0-9]+}}, #32
21  store volatile i32 %cvt2, i32* @var32
22
23  %fix3 = fmul float %flt, 128.0
24  %cvt3 = fptosi float %fix3 to i64
25; CHECK: fcvtzs {{x[0-9]+}}, {{s[0-9]+}}, #7
26  store volatile i64 %cvt3, i64* @var64
27
28  %fix4 = fmul float %flt, 18446744073709551616.0
29  %cvt4 = fptosi float %fix4 to i64
30; CHECK: fcvtzs {{x[0-9]+}}, {{s[0-9]+}}, #64
31  store volatile i64 %cvt4, i64* @var64
32
33  %fix5 = fmul double %dbl, 128.0
34  %cvt5 = fptosi double %fix5 to i32
35; CHECK: fcvtzs {{w[0-9]+}}, {{d[0-9]+}}, #7
36  store volatile i32 %cvt5, i32* @var32
37
38  %fix6 = fmul double %dbl, 4294967296.0
39  %cvt6 = fptosi double %fix6 to i32
40; CHECK: fcvtzs {{w[0-9]+}}, {{d[0-9]+}}, #32
41  store volatile i32 %cvt6, i32* @var32
42
43  %fix7 = fmul double %dbl, 128.0
44  %cvt7 = fptosi double %fix7 to i64
45; CHECK: fcvtzs {{x[0-9]+}}, {{d[0-9]+}}, #7
46  store volatile i64 %cvt7, i64* @var64
47
48  %fix8 = fmul double %dbl, 18446744073709551616.0
49  %cvt8 = fptosi double %fix8 to i64
50; CHECK: fcvtzs {{x[0-9]+}}, {{d[0-9]+}}, #64
51  store volatile i64 %cvt8, i64* @var64
52
53  ret void
54}
55
56define void @test_fcvtzu(float %flt, double %dbl) {
57; CHECK-LABEL: test_fcvtzu:
58
59  %fix1 = fmul float %flt, 128.0
60  %cvt1 = fptoui float %fix1 to i32
61; CHECK: fcvtzu {{w[0-9]+}}, {{s[0-9]+}}, #7
62  store volatile i32 %cvt1, i32* @var32
63
64  %fix2 = fmul float %flt, 4294967296.0
65  %cvt2 = fptoui float %fix2 to i32
66; CHECK: fcvtzu {{w[0-9]+}}, {{s[0-9]+}}, #32
67  store volatile i32 %cvt2, i32* @var32
68
69  %fix3 = fmul float %flt, 128.0
70  %cvt3 = fptoui float %fix3 to i64
71; CHECK: fcvtzu {{x[0-9]+}}, {{s[0-9]+}}, #7
72  store volatile i64 %cvt3, i64* @var64
73
74  %fix4 = fmul float %flt, 18446744073709551616.0
75  %cvt4 = fptoui float %fix4 to i64
76; CHECK: fcvtzu {{x[0-9]+}}, {{s[0-9]+}}, #64
77  store volatile i64 %cvt4, i64* @var64
78
79  %fix5 = fmul double %dbl, 128.0
80  %cvt5 = fptoui double %fix5 to i32
81; CHECK: fcvtzu {{w[0-9]+}}, {{d[0-9]+}}, #7
82  store volatile i32 %cvt5, i32* @var32
83
84  %fix6 = fmul double %dbl, 4294967296.0
85  %cvt6 = fptoui double %fix6 to i32
86; CHECK: fcvtzu {{w[0-9]+}}, {{d[0-9]+}}, #32
87  store volatile i32 %cvt6, i32* @var32
88
89  %fix7 = fmul double %dbl, 128.0
90  %cvt7 = fptoui double %fix7 to i64
91; CHECK: fcvtzu {{x[0-9]+}}, {{d[0-9]+}}, #7
92  store volatile i64 %cvt7, i64* @var64
93
94  %fix8 = fmul double %dbl, 18446744073709551616.0
95  %cvt8 = fptoui double %fix8 to i64
96; CHECK: fcvtzu {{x[0-9]+}}, {{d[0-9]+}}, #64
97  store volatile i64 %cvt8, i64* @var64
98
99  ret void
100}
101
102@varfloat = global float 0.0
103@vardouble = global double 0.0
104
105define void @test_scvtf(i32 %int, i64 %long) {
106; CHECK-LABEL: test_scvtf:
107
108  %cvt1 = sitofp i32 %int to float
109  %fix1 = fdiv float %cvt1, 128.0
110; CHECK: scvtf {{s[0-9]+}}, {{w[0-9]+}}, #7
111  store volatile float %fix1, float* @varfloat
112
113  %cvt2 = sitofp i32 %int to float
114  %fix2 = fdiv float %cvt2, 4294967296.0
115; CHECK: scvtf {{s[0-9]+}}, {{w[0-9]+}}, #32
116  store volatile float %fix2, float* @varfloat
117
118  %cvt3 = sitofp i64 %long to float
119  %fix3 = fdiv float %cvt3, 128.0
120; CHECK: scvtf {{s[0-9]+}}, {{x[0-9]+}}, #7
121  store volatile float %fix3, float* @varfloat
122
123  %cvt4 = sitofp i64 %long to float
124  %fix4 = fdiv float %cvt4, 18446744073709551616.0
125; CHECK: scvtf {{s[0-9]+}}, {{x[0-9]+}}, #64
126  store volatile float %fix4, float* @varfloat
127
128  %cvt5 = sitofp i32 %int to double
129  %fix5 = fdiv double %cvt5, 128.0
130; CHECK: scvtf {{d[0-9]+}}, {{w[0-9]+}}, #7
131  store volatile double %fix5, double* @vardouble
132
133  %cvt6 = sitofp i32 %int to double
134  %fix6 = fdiv double %cvt6, 4294967296.0
135; CHECK: scvtf {{d[0-9]+}}, {{w[0-9]+}}, #32
136  store volatile double %fix6, double* @vardouble
137
138  %cvt7 = sitofp i64 %long to double
139  %fix7 = fdiv double %cvt7, 128.0
140; CHECK: scvtf {{d[0-9]+}}, {{x[0-9]+}}, #7
141  store volatile double %fix7, double* @vardouble
142
143  %cvt8 = sitofp i64 %long to double
144  %fix8 = fdiv double %cvt8, 18446744073709551616.0
145; CHECK: scvtf {{d[0-9]+}}, {{x[0-9]+}}, #64
146  store volatile double %fix8, double* @vardouble
147
148  ret void
149}
150
151define void @test_ucvtf(i32 %int, i64 %long) {
152; CHECK-LABEL: test_ucvtf:
153
154  %cvt1 = uitofp i32 %int to float
155  %fix1 = fdiv float %cvt1, 128.0
156; CHECK: ucvtf {{s[0-9]+}}, {{w[0-9]+}}, #7
157  store volatile float %fix1, float* @varfloat
158
159  %cvt2 = uitofp i32 %int to float
160  %fix2 = fdiv float %cvt2, 4294967296.0
161; CHECK: ucvtf {{s[0-9]+}}, {{w[0-9]+}}, #32
162  store volatile float %fix2, float* @varfloat
163
164  %cvt3 = uitofp i64 %long to float
165  %fix3 = fdiv float %cvt3, 128.0
166; CHECK: ucvtf {{s[0-9]+}}, {{x[0-9]+}}, #7
167  store volatile float %fix3, float* @varfloat
168
169  %cvt4 = uitofp i64 %long to float
170  %fix4 = fdiv float %cvt4, 18446744073709551616.0
171; CHECK: ucvtf {{s[0-9]+}}, {{x[0-9]+}}, #64
172  store volatile float %fix4, float* @varfloat
173
174  %cvt5 = uitofp i32 %int to double
175  %fix5 = fdiv double %cvt5, 128.0
176; CHECK: ucvtf {{d[0-9]+}}, {{w[0-9]+}}, #7
177  store volatile double %fix5, double* @vardouble
178
179  %cvt6 = uitofp i32 %int to double
180  %fix6 = fdiv double %cvt6, 4294967296.0
181; CHECK: ucvtf {{d[0-9]+}}, {{w[0-9]+}}, #32
182  store volatile double %fix6, double* @vardouble
183
184  %cvt7 = uitofp i64 %long to double
185  %fix7 = fdiv double %cvt7, 128.0
186; CHECK: ucvtf {{d[0-9]+}}, {{x[0-9]+}}, #7
187  store volatile double %fix7, double* @vardouble
188
189  %cvt8 = uitofp i64 %long to double
190  %fix8 = fdiv double %cvt8, 18446744073709551616.0
191; CHECK: ucvtf {{d[0-9]+}}, {{x[0-9]+}}, #64
192  store volatile double %fix8, double* @vardouble
193
194  ret void
195}
196