[mlir][scf]: Add value bound between scf for loop yield and result (#123200)
[llvm-project.git] / llvm / test / CodeGen / AArch64 / sve2-bf16-converts.ll
blobe5d4e1e9bc7da66118c87985d95d09fc4114ad98
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2 ; RUN: llc -mattr=+sve2                          < %s | FileCheck %s --check-prefixes=NOBF16
3 ; RUN: llc -mattr=+sve2 --enable-no-nans-fp-math < %s | FileCheck %s --check-prefixes=NOBF16NNAN
4 ; RUN: llc -mattr=+sve2,+bf16                    < %s | FileCheck %s --check-prefixes=BF16
5 ; RUN: llc -mattr=+sme -force-streaming          < %s | FileCheck %s --check-prefixes=BF16
7 target triple = "aarch64-unknown-linux-gnu"
9 define <vscale x 2 x bfloat> @fptrunc_nxv2f64_to_nxv2bf16(<vscale x 2 x double> %a) {
10 ; NOBF16-LABEL: fptrunc_nxv2f64_to_nxv2bf16:
11 ; NOBF16:       // %bb.0:
12 ; NOBF16-NEXT:    ptrue p0.d
13 ; NOBF16-NEXT:    mov z1.s, #32767 // =0x7fff
14 ; NOBF16-NEXT:    fcvtx z0.s, p0/m, z0.d
15 ; NOBF16-NEXT:    lsr z2.s, z0.s, #16
16 ; NOBF16-NEXT:    add z1.s, z0.s, z1.s
17 ; NOBF16-NEXT:    fcmuo p0.s, p0/z, z0.s, z0.s
18 ; NOBF16-NEXT:    orr z0.s, z0.s, #0x400000
19 ; NOBF16-NEXT:    and z2.s, z2.s, #0x1
20 ; NOBF16-NEXT:    add z1.s, z2.s, z1.s
21 ; NOBF16-NEXT:    sel z0.s, p0, z0.s, z1.s
22 ; NOBF16-NEXT:    lsr z0.s, z0.s, #16
23 ; NOBF16-NEXT:    ret
25 ; NOBF16NNAN-LABEL: fptrunc_nxv2f64_to_nxv2bf16:
26 ; NOBF16NNAN:       // %bb.0:
27 ; NOBF16NNAN-NEXT:    ptrue p0.d
28 ; NOBF16NNAN-NEXT:    mov z1.s, #32767 // =0x7fff
29 ; NOBF16NNAN-NEXT:    fcvtx z0.s, p0/m, z0.d
30 ; NOBF16NNAN-NEXT:    lsr z2.s, z0.s, #16
31 ; NOBF16NNAN-NEXT:    add z0.s, z0.s, z1.s
32 ; NOBF16NNAN-NEXT:    and z2.s, z2.s, #0x1
33 ; NOBF16NNAN-NEXT:    add z0.s, z2.s, z0.s
34 ; NOBF16NNAN-NEXT:    lsr z0.s, z0.s, #16
35 ; NOBF16NNAN-NEXT:    ret
37 ; BF16-LABEL: fptrunc_nxv2f64_to_nxv2bf16:
38 ; BF16:       // %bb.0:
39 ; BF16-NEXT:    ptrue p0.d
40 ; BF16-NEXT:    fcvtx z0.s, p0/m, z0.d
41 ; BF16-NEXT:    bfcvt z0.h, p0/m, z0.s
42 ; BF16-NEXT:    ret
43   %res = fptrunc <vscale x 2 x double> %a to <vscale x 2 x bfloat>
44   ret <vscale x 2 x bfloat> %res
47 define <vscale x 4 x bfloat> @fptrunc_nxv4f64_to_nxv4bf16(<vscale x 4 x double> %a) {
48 ; NOBF16-LABEL: fptrunc_nxv4f64_to_nxv4bf16:
49 ; NOBF16:       // %bb.0:
50 ; NOBF16-NEXT:    ptrue p0.d
51 ; NOBF16-NEXT:    mov z2.s, #32767 // =0x7fff
52 ; NOBF16-NEXT:    fcvtx z1.s, p0/m, z1.d
53 ; NOBF16-NEXT:    fcvtx z0.s, p0/m, z0.d
54 ; NOBF16-NEXT:    lsr z3.s, z1.s, #16
55 ; NOBF16-NEXT:    lsr z4.s, z0.s, #16
56 ; NOBF16-NEXT:    add z5.s, z1.s, z2.s
57 ; NOBF16-NEXT:    add z2.s, z0.s, z2.s
58 ; NOBF16-NEXT:    fcmuo p1.s, p0/z, z1.s, z1.s
59 ; NOBF16-NEXT:    fcmuo p0.s, p0/z, z0.s, z0.s
60 ; NOBF16-NEXT:    orr z1.s, z1.s, #0x400000
61 ; NOBF16-NEXT:    orr z0.s, z0.s, #0x400000
62 ; NOBF16-NEXT:    and z3.s, z3.s, #0x1
63 ; NOBF16-NEXT:    and z4.s, z4.s, #0x1
64 ; NOBF16-NEXT:    add z3.s, z3.s, z5.s
65 ; NOBF16-NEXT:    add z2.s, z4.s, z2.s
66 ; NOBF16-NEXT:    sel z1.s, p1, z1.s, z3.s
67 ; NOBF16-NEXT:    sel z0.s, p0, z0.s, z2.s
68 ; NOBF16-NEXT:    lsr z1.s, z1.s, #16
69 ; NOBF16-NEXT:    lsr z0.s, z0.s, #16
70 ; NOBF16-NEXT:    uzp1 z0.s, z0.s, z1.s
71 ; NOBF16-NEXT:    ret
73 ; NOBF16NNAN-LABEL: fptrunc_nxv4f64_to_nxv4bf16:
74 ; NOBF16NNAN:       // %bb.0:
75 ; NOBF16NNAN-NEXT:    ptrue p0.d
76 ; NOBF16NNAN-NEXT:    mov z2.s, #32767 // =0x7fff
77 ; NOBF16NNAN-NEXT:    fcvtx z1.s, p0/m, z1.d
78 ; NOBF16NNAN-NEXT:    fcvtx z0.s, p0/m, z0.d
79 ; NOBF16NNAN-NEXT:    lsr z3.s, z1.s, #16
80 ; NOBF16NNAN-NEXT:    lsr z4.s, z0.s, #16
81 ; NOBF16NNAN-NEXT:    add z1.s, z1.s, z2.s
82 ; NOBF16NNAN-NEXT:    add z0.s, z0.s, z2.s
83 ; NOBF16NNAN-NEXT:    and z3.s, z3.s, #0x1
84 ; NOBF16NNAN-NEXT:    and z4.s, z4.s, #0x1
85 ; NOBF16NNAN-NEXT:    add z1.s, z3.s, z1.s
86 ; NOBF16NNAN-NEXT:    add z0.s, z4.s, z0.s
87 ; NOBF16NNAN-NEXT:    lsr z1.s, z1.s, #16
88 ; NOBF16NNAN-NEXT:    lsr z0.s, z0.s, #16
89 ; NOBF16NNAN-NEXT:    uzp1 z0.s, z0.s, z1.s
90 ; NOBF16NNAN-NEXT:    ret
92 ; BF16-LABEL: fptrunc_nxv4f64_to_nxv4bf16:
93 ; BF16:       // %bb.0:
94 ; BF16-NEXT:    ptrue p0.d
95 ; BF16-NEXT:    fcvtx z1.s, p0/m, z1.d
96 ; BF16-NEXT:    fcvtx z0.s, p0/m, z0.d
97 ; BF16-NEXT:    bfcvt z1.h, p0/m, z1.s
98 ; BF16-NEXT:    bfcvt z0.h, p0/m, z0.s
99 ; BF16-NEXT:    uzp1 z0.s, z0.s, z1.s
100 ; BF16-NEXT:    ret
101   %res = fptrunc <vscale x 4 x double> %a to <vscale x 4 x bfloat>
102   ret <vscale x 4 x bfloat> %res
105 define <vscale x 8 x bfloat> @fptrunc_nxv8f64_to_nxv8bf16(<vscale x 8 x double> %a) {
106 ; NOBF16-LABEL: fptrunc_nxv8f64_to_nxv8bf16:
107 ; NOBF16:       // %bb.0:
108 ; NOBF16-NEXT:    ptrue p0.d
109 ; NOBF16-NEXT:    mov z4.s, #32767 // =0x7fff
110 ; NOBF16-NEXT:    fcvtx z3.s, p0/m, z3.d
111 ; NOBF16-NEXT:    fcvtx z2.s, p0/m, z2.d
112 ; NOBF16-NEXT:    fcvtx z1.s, p0/m, z1.d
113 ; NOBF16-NEXT:    fcvtx z0.s, p0/m, z0.d
114 ; NOBF16-NEXT:    lsr z5.s, z3.s, #16
115 ; NOBF16-NEXT:    lsr z6.s, z2.s, #16
116 ; NOBF16-NEXT:    lsr z7.s, z1.s, #16
117 ; NOBF16-NEXT:    lsr z24.s, z0.s, #16
118 ; NOBF16-NEXT:    add z25.s, z3.s, z4.s
119 ; NOBF16-NEXT:    add z26.s, z2.s, z4.s
120 ; NOBF16-NEXT:    add z27.s, z1.s, z4.s
121 ; NOBF16-NEXT:    add z4.s, z0.s, z4.s
122 ; NOBF16-NEXT:    fcmuo p1.s, p0/z, z3.s, z3.s
123 ; NOBF16-NEXT:    and z5.s, z5.s, #0x1
124 ; NOBF16-NEXT:    and z6.s, z6.s, #0x1
125 ; NOBF16-NEXT:    and z7.s, z7.s, #0x1
126 ; NOBF16-NEXT:    and z24.s, z24.s, #0x1
127 ; NOBF16-NEXT:    fcmuo p2.s, p0/z, z2.s, z2.s
128 ; NOBF16-NEXT:    fcmuo p3.s, p0/z, z1.s, z1.s
129 ; NOBF16-NEXT:    fcmuo p0.s, p0/z, z0.s, z0.s
130 ; NOBF16-NEXT:    orr z3.s, z3.s, #0x400000
131 ; NOBF16-NEXT:    orr z2.s, z2.s, #0x400000
132 ; NOBF16-NEXT:    add z5.s, z5.s, z25.s
133 ; NOBF16-NEXT:    add z6.s, z6.s, z26.s
134 ; NOBF16-NEXT:    add z7.s, z7.s, z27.s
135 ; NOBF16-NEXT:    add z4.s, z24.s, z4.s
136 ; NOBF16-NEXT:    orr z1.s, z1.s, #0x400000
137 ; NOBF16-NEXT:    orr z0.s, z0.s, #0x400000
138 ; NOBF16-NEXT:    sel z3.s, p1, z3.s, z5.s
139 ; NOBF16-NEXT:    sel z2.s, p2, z2.s, z6.s
140 ; NOBF16-NEXT:    sel z1.s, p3, z1.s, z7.s
141 ; NOBF16-NEXT:    sel z0.s, p0, z0.s, z4.s
142 ; NOBF16-NEXT:    lsr z3.s, z3.s, #16
143 ; NOBF16-NEXT:    lsr z2.s, z2.s, #16
144 ; NOBF16-NEXT:    lsr z1.s, z1.s, #16
145 ; NOBF16-NEXT:    lsr z0.s, z0.s, #16
146 ; NOBF16-NEXT:    uzp1 z2.s, z2.s, z3.s
147 ; NOBF16-NEXT:    uzp1 z0.s, z0.s, z1.s
148 ; NOBF16-NEXT:    uzp1 z0.h, z0.h, z2.h
149 ; NOBF16-NEXT:    ret
151 ; NOBF16NNAN-LABEL: fptrunc_nxv8f64_to_nxv8bf16:
152 ; NOBF16NNAN:       // %bb.0:
153 ; NOBF16NNAN-NEXT:    ptrue p0.d
154 ; NOBF16NNAN-NEXT:    mov z4.s, #32767 // =0x7fff
155 ; NOBF16NNAN-NEXT:    fcvtx z3.s, p0/m, z3.d
156 ; NOBF16NNAN-NEXT:    fcvtx z2.s, p0/m, z2.d
157 ; NOBF16NNAN-NEXT:    fcvtx z1.s, p0/m, z1.d
158 ; NOBF16NNAN-NEXT:    fcvtx z0.s, p0/m, z0.d
159 ; NOBF16NNAN-NEXT:    lsr z5.s, z3.s, #16
160 ; NOBF16NNAN-NEXT:    lsr z6.s, z2.s, #16
161 ; NOBF16NNAN-NEXT:    lsr z7.s, z1.s, #16
162 ; NOBF16NNAN-NEXT:    lsr z24.s, z0.s, #16
163 ; NOBF16NNAN-NEXT:    add z3.s, z3.s, z4.s
164 ; NOBF16NNAN-NEXT:    add z2.s, z2.s, z4.s
165 ; NOBF16NNAN-NEXT:    add z1.s, z1.s, z4.s
166 ; NOBF16NNAN-NEXT:    add z0.s, z0.s, z4.s
167 ; NOBF16NNAN-NEXT:    and z5.s, z5.s, #0x1
168 ; NOBF16NNAN-NEXT:    and z6.s, z6.s, #0x1
169 ; NOBF16NNAN-NEXT:    and z7.s, z7.s, #0x1
170 ; NOBF16NNAN-NEXT:    and z24.s, z24.s, #0x1
171 ; NOBF16NNAN-NEXT:    add z3.s, z5.s, z3.s
172 ; NOBF16NNAN-NEXT:    add z2.s, z6.s, z2.s
173 ; NOBF16NNAN-NEXT:    add z1.s, z7.s, z1.s
174 ; NOBF16NNAN-NEXT:    add z0.s, z24.s, z0.s
175 ; NOBF16NNAN-NEXT:    lsr z3.s, z3.s, #16
176 ; NOBF16NNAN-NEXT:    lsr z2.s, z2.s, #16
177 ; NOBF16NNAN-NEXT:    lsr z1.s, z1.s, #16
178 ; NOBF16NNAN-NEXT:    lsr z0.s, z0.s, #16
179 ; NOBF16NNAN-NEXT:    uzp1 z2.s, z2.s, z3.s
180 ; NOBF16NNAN-NEXT:    uzp1 z0.s, z0.s, z1.s
181 ; NOBF16NNAN-NEXT:    uzp1 z0.h, z0.h, z2.h
182 ; NOBF16NNAN-NEXT:    ret
184 ; BF16-LABEL: fptrunc_nxv8f64_to_nxv8bf16:
185 ; BF16:       // %bb.0:
186 ; BF16-NEXT:    ptrue p0.d
187 ; BF16-NEXT:    fcvtx z3.s, p0/m, z3.d
188 ; BF16-NEXT:    fcvtx z2.s, p0/m, z2.d
189 ; BF16-NEXT:    fcvtx z1.s, p0/m, z1.d
190 ; BF16-NEXT:    fcvtx z0.s, p0/m, z0.d
191 ; BF16-NEXT:    bfcvt z3.h, p0/m, z3.s
192 ; BF16-NEXT:    bfcvt z2.h, p0/m, z2.s
193 ; BF16-NEXT:    bfcvt z1.h, p0/m, z1.s
194 ; BF16-NEXT:    bfcvt z0.h, p0/m, z0.s
195 ; BF16-NEXT:    uzp1 z2.s, z2.s, z3.s
196 ; BF16-NEXT:    uzp1 z0.s, z0.s, z1.s
197 ; BF16-NEXT:    uzp1 z0.h, z0.h, z2.h
198 ; BF16-NEXT:    ret
199   %res = fptrunc <vscale x 8 x double> %a to <vscale x 8 x bfloat>
200   ret <vscale x 8 x bfloat> %res