1 ; RUN: llc < %s -mtriple armv8 -mattr=+neon,+fp-armv8 -enable-unsafe-fp-math -enable-no-nans-fp-math | FileCheck %s 2 3 ; scalars 4 5 define float @fp-armv8_vminnm_o(float %a, float %b) { 6 ; CHECK-LABEL: "fp-armv8_vminnm_o": 7 ; CHECK-NOT: vcmp 8 ; CHECK: vminnm.f32 9 %cmp = fcmp fast olt float %a, %b 10 %cond = select i1 %cmp, float %a, float %b 11 ret float %cond 12 } 13 14 define double @fp-armv8_vminnm_ole(double %a, double %b) { 15 ; CHECK-LABEL: "fp-armv8_vminnm_ole": 16 ; CHECK-NOT: vcmp 17 ; CHECK: vminnm.f64 18 %cmp = fcmp fast ole double %a, %b 19 %cond = select i1 %cmp, double %a, double %b 20 ret double %cond 21 } 22 23 define float @fp-armv8_vminnm_o_rev(float %a, float %b) { 24 ; CHECK-LABEL: "fp-armv8_vminnm_o_rev": 25 ; CHECK-NOT: vcmp 26 ; CHECK: vminnm.f32 27 %cmp = fcmp fast ogt float %a, %b 28 %cond = select i1 %cmp, float %b, float %a 29 ret float %cond 30 } 31 32 define double @fp-armv8_vminnm_oge_rev(double %a, double %b) { 33 ; CHECK-LABEL: "fp-armv8_vminnm_oge_rev": 34 ; CHECK-NOT: vcmp 35 ; CHECK: vminnm.f64 36 %cmp = fcmp fast oge double %a, %b 37 %cond = select i1 %cmp, double %b, double %a 38 ret double %cond 39 } 40 41 define float @fp-armv8_vminnm_u(float %a, float %b) { 42 ; CHECK-LABEL: "fp-armv8_vminnm_u": 43 ; CHECK-NOT: vcmp 44 ; CHECK: vminnm.f32 45 %cmp = fcmp fast ult float %a, %b 46 %cond = select i1 %cmp, float %a, float %b 47 ret float %cond 48 } 49 50 define float @fp-armv8_vminnm_ule(float %a, float %b) { 51 ; CHECK-LABEL: "fp-armv8_vminnm_ule": 52 ; CHECK-NOT: vcmp 53 ; CHECK: vminnm.f32 54 %cmp = fcmp fast ule float %a, %b 55 %cond = select i1 %cmp, float %a, float %b 56 ret float %cond 57 } 58 59 define float @fp-armv8_vminnm_u_rev(float %a, float %b) { 60 ; CHECK-LABEL: "fp-armv8_vminnm_u_rev": 61 ; CHECK-NOT: vcmp 62 ; CHECK: vminnm.f32 63 %cmp = fcmp fast ugt float %a, %b 64 %cond = select i1 %cmp, float %b, float %a 65 ret float %cond 66 } 67 68 define double @fp-armv8_vminnm_uge_rev(double %a, double %b) { 69 ; CHECK-LABEL: "fp-armv8_vminnm_uge_rev": 70 ; CHECK-NOT: vcmp 71 ; CHECK: vminnm.f64 72 %cmp = fcmp fast uge double %a, %b 73 %cond = select i1 %cmp, double %b, double %a 74 ret double %cond 75 } 76 77 define float @fp-armv8_vmaxnm_o(float %a, float %b) { 78 ; CHECK-LABEL: "fp-armv8_vmaxnm_o": 79 ; CHECK-NOT: vcmp 80 ; CHECK: vmaxnm.f32 81 %cmp = fcmp fast ogt float %a, %b 82 %cond = select i1 %cmp, float %a, float %b 83 ret float %cond 84 } 85 86 define float @fp-armv8_vmaxnm_oge(float %a, float %b) { 87 ; CHECK-LABEL: "fp-armv8_vmaxnm_oge": 88 ; CHECK-NOT: vcmp 89 ; CHECK: vmaxnm.f32 90 %cmp = fcmp fast oge float %a, %b 91 %cond = select i1 %cmp, float %a, float %b 92 ret float %cond 93 } 94 95 define float @fp-armv8_vmaxnm_o_rev(float %a, float %b) { 96 ; CHECK-LABEL: "fp-armv8_vmaxnm_o_rev": 97 ; CHECK-NOT: vcmp 98 ; CHECK: vmaxnm.f32 99 %cmp = fcmp fast olt float %a, %b 100 %cond = select i1 %cmp, float %b, float %a 101 ret float %cond 102 } 103 104 define float @fp-armv8_vmaxnm_ole_rev(float %a, float %b) { 105 ; CHECK-LABEL: "fp-armv8_vmaxnm_ole_rev": 106 ; CHECK-NOT: vcmp 107 ; CHECK: vmaxnm.f32 108 %cmp = fcmp fast ole float %a, %b 109 %cond = select i1 %cmp, float %b, float %a 110 ret float %cond 111 } 112 113 define float @fp-armv8_vmaxnm_u(float %a, float %b) { 114 ; CHECK-LABEL: "fp-armv8_vmaxnm_u": 115 ; CHECK-NOT: vcmp 116 ; CHECK: vmaxnm.f32 117 %cmp = fcmp fast ugt float %a, %b 118 %cond = select i1 %cmp, float %a, float %b 119 ret float %cond 120 } 121 122 define float @fp-armv8_vmaxnm_uge(float %a, float %b) { 123 ; CHECK-LABEL: "fp-armv8_vmaxnm_uge": 124 ; CHECK-NOT: vcmp 125 ; CHECK: vmaxnm.f32 126 %cmp = fcmp fast uge float %a, %b 127 %cond = select i1 %cmp, float %a, float %b 128 ret float %cond 129 } 130 131 define float @fp-armv8_vmaxnm_u_rev(float %a, float %b) { 132 ; CHECK-LABEL: "fp-armv8_vmaxnm_u_rev": 133 ; CHECK-NOT: vcmp 134 ; CHECK: vmaxnm.f32 135 %cmp = fcmp fast ult float %a, %b 136 %cond = select i1 %cmp, float %b, float %a 137 ret float %cond 138 } 139 140 define double @fp-armv8_vmaxnm_ule_rev(double %a, double %b) { 141 ; CHECK-LABEL: "fp-armv8_vmaxnm_ule_rev": 142 ; CHECK-NOT: vcmp 143 ; CHECK: vmaxnm.f64 144 %cmp = fcmp fast ule double %a, %b 145 %cond = select i1 %cmp, double %b, double %a 146 ret double %cond 147 } 148 149 ; known non-NaNs 150 151 define float @fp-armv8_vminnm_NNNo(float %a) { 152 ; CHECK-LABEL: "fp-armv8_vminnm_NNNo": 153 ; CHECK: vminnm.f32 154 ; CHECK: vminnm.f32 155 %cmp1 = fcmp fast olt float %a, 12. 156 %cond1 = select i1 %cmp1, float %a, float 12. 157 %cmp2 = fcmp fast olt float 34., %cond1 158 %cond2 = select i1 %cmp2, float 34., float %cond1 159 ret float %cond2 160 } 161 162 define double @fp-armv8_vminnm_NNNole(double %a) { 163 ; CHECK-LABEL: "fp-armv8_vminnm_NNNole": 164 ; CHECK: vminnm.f64 165 ; CHECK: vminnm.f64 166 %cmp1 = fcmp fast ole double %a, 34. 167 %cond1 = select i1 %cmp1, double %a, double 34. 168 %cmp2 = fcmp fast ole double 56., %cond1 169 %cond2 = select i1 %cmp2, double 56., double %cond1 170 ret double %cond2 171 } 172 173 define float @fp-armv8_vminnm_NNNo_rev(float %a) { 174 ; CHECK-LABEL: "fp-armv8_vminnm_NNNo_rev": 175 ; CHECK: vminnm.f32 176 ; CHECK: vminnm.f32 177 %cmp1 = fcmp fast ogt float %a, 56. 178 %cond1 = select i1 %cmp1, float 56., float %a 179 %cmp2 = fcmp fast ogt float 78., %cond1 180 %cond2 = select i1 %cmp2, float %cond1, float 78. 181 ret float %cond2 182 } 183 184 define double @fp-armv8_vminnm_NNNoge_rev(double %a) { 185 ; CHECK-LABEL: "fp-armv8_vminnm_NNNoge_rev": 186 ; CHECK: vminnm.f64 187 ; CHECK: vminnm.f64 188 %cmp1 = fcmp fast oge double %a, 78. 189 %cond1 = select i1 %cmp1, double 78., double %a 190 %cmp2 = fcmp fast oge double 90., %cond1 191 %cond2 = select i1 %cmp2, double %cond1, double 90. 192 ret double %cond2 193 } 194 195 define float @fp-armv8_vminnm_NNNu(float %b) { 196 ; CHECK-LABEL: "fp-armv8_vminnm_NNNu": 197 ; CHECK: vminnm.f32 198 ; CHECK: vminnm.f32 199 %cmp1 = fcmp fast ult float 12., %b 200 %cond1 = select i1 %cmp1, float 12., float %b 201 %cmp2 = fcmp fast ult float %cond1, 34. 202 %cond2 = select i1 %cmp2, float %cond1, float 34. 203 ret float %cond2 204 } 205 206 define float @fp-armv8_vminnm_NNNule(float %b) { 207 ; CHECK-LABEL: "fp-armv8_vminnm_NNNule": 208 ; CHECK: vminnm.f32 209 ; CHECK: vminnm.f32 210 %cmp1 = fcmp fast ule float 34., %b 211 %cond1 = select i1 %cmp1, float 34., float %b 212 %cmp2 = fcmp fast ule float %cond1, 56. 213 %cond2 = select i1 %cmp2, float %cond1, float 56. 214 ret float %cond2 215 } 216 217 define float @fp-armv8_vminnm_NNNu_rev(float %b) { 218 ; CHECK-LABEL: "fp-armv8_vminnm_NNNu_rev": 219 ; CHECK: vminnm.f32 220 ; CHECK: vminnm.f32 221 %cmp1 = fcmp fast ugt float 56., %b 222 %cond1 = select i1 %cmp1, float %b, float 56. 223 %cmp2 = fcmp fast ugt float %cond1, 78. 224 %cond2 = select i1 %cmp2, float 78., float %cond1 225 ret float %cond2 226 } 227 228 define double @fp-armv8_vminnm_NNNuge_rev(double %b) { 229 ; CHECK-LABEL: "fp-armv8_vminnm_NNNuge_rev": 230 ; CHECK: vminnm.f64 231 ; CHECK: vminnm.f64 232 %cmp1 = fcmp fast uge double 78., %b 233 %cond1 = select i1 %cmp1, double %b, double 78. 234 %cmp2 = fcmp fast uge double %cond1, 90. 235 %cond2 = select i1 %cmp2, double 90., double %cond1 236 ret double %cond2 237 } 238 239 define float @fp-armv8_vmaxnm_NNNo(float %a) { 240 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNo": 241 ; CHECK: vmaxnm.f32 242 ; CHECK: vmaxnm.f32 243 %cmp1 = fcmp fast ogt float %a, 12. 244 %cond1 = select i1 %cmp1, float %a, float 12. 245 %cmp2 = fcmp fast ogt float 34., %cond1 246 %cond2 = select i1 %cmp2, float 34., float %cond1 247 ret float %cond2 248 } 249 250 define float @fp-armv8_vmaxnm_NNNoge(float %a) { 251 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNoge": 252 ; CHECK: vmaxnm.f32 253 ; CHECK: vmaxnm.f32 254 %cmp1 = fcmp fast oge float %a, 34. 255 %cond1 = select i1 %cmp1, float %a, float 34. 256 %cmp2 = fcmp fast oge float 56., %cond1 257 %cond2 = select i1 %cmp2, float 56., float %cond1 258 ret float %cond2 259 } 260 261 define float @fp-armv8_vmaxnm_NNNo_rev(float %a) { 262 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNo_rev": 263 ; CHECK: vmaxnm.f32 264 ; CHECK: vmaxnm.f32 265 %cmp1 = fcmp fast olt float %a, 56. 266 %cond1 = select i1 %cmp1, float 56., float %a 267 %cmp2 = fcmp fast olt float 78., %cond1 268 %cond2 = select i1 %cmp2, float %cond1, float 78. 269 ret float %cond2 270 } 271 272 define float @fp-armv8_vmaxnm_NNNole_rev(float %a) { 273 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNole_rev": 274 ; CHECK: vmaxnm.f32 275 ; CHECK: vmaxnm.f32 276 %cmp1 = fcmp fast ole float %a, 78. 277 %cond1 = select i1 %cmp1, float 78., float %a 278 %cmp2 = fcmp fast ole float 90., %cond1 279 %cond2 = select i1 %cmp2, float %cond1, float 90. 280 ret float %cond2 281 } 282 283 define float @fp-armv8_vmaxnm_NNNu(float %b) { 284 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNu": 285 ; CHECK: vmaxnm.f32 286 ; CHECK: vmaxnm.f32 287 %cmp1 = fcmp fast ugt float 12., %b 288 %cond1 = select i1 %cmp1, float 12., float %b 289 %cmp2 = fcmp fast ugt float %cond1, 34. 290 %cond2 = select i1 %cmp2, float %cond1, float 34. 291 ret float %cond2 292 } 293 294 define float @fp-armv8_vmaxnm_NNNuge(float %b) { 295 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNuge": 296 ; CHECK: vmaxnm.f32 297 ; CHECK: vmaxnm.f32 298 %cmp1 = fcmp fast uge float 34., %b 299 %cond1 = select i1 %cmp1, float 34., float %b 300 %cmp2 = fcmp fast uge float %cond1, 56. 301 %cond2 = select i1 %cmp2, float %cond1, float 56. 302 ret float %cond2 303 } 304 305 define float @fp-armv8_vmaxnm_NNNu_rev(float %b) { 306 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNu_rev": 307 ; CHECK: vmaxnm.f32 308 ; CHECK: vmaxnm.f32 309 %cmp1 = fcmp fast ult float 56., %b 310 %cond1 = select i1 %cmp1, float %b, float 56. 311 %cmp2 = fcmp fast ult float %cond1, 78. 312 %cond2 = select i1 %cmp2, float 78., float %cond1 313 ret float %cond2 314 } 315 316 define double @fp-armv8_vmaxnm_NNNule_rev( double %b) { 317 ; CHECK-LABEL: "fp-armv8_vmaxnm_NNNule_rev": 318 ; CHECK: vmaxnm.f64 319 ; CHECK: vmaxnm.f64 320 %cmp1 = fcmp fast ule double 78., %b 321 %cond1 = select i1 %cmp1, double %b, double 78. 322 %cmp2 = fcmp fast ule double %cond1, 90. 323 %cond2 = select i1 %cmp2, double 90., double %cond1 324 ret double %cond2 325 } 326 327 define float @fp-armv8_vminmaxnm_0(float %a) { 328 ; CHECK-LABEL: "fp-armv8_vminmaxnm_0": 329 ; CHECK-NOT: vcmp 330 ; CHECK: vminnm.f32 331 ; CHECK: vmaxnm.f32 332 %cmp1 = fcmp fast olt float %a, 0. 333 %cond1 = select i1 %cmp1, float %a, float 0. 334 %cmp2 = fcmp fast ogt float %cond1, 0. 335 %cond2 = select i1 %cmp2, float %cond1, float 0. 336 ret float %cond2 337 } 338 339 define float @fp-armv8_vminmaxnm_neg0(float %a) { 340 ; CHECK-LABEL: "fp-armv8_vminmaxnm_neg0": 341 ; CHECK-NOT: vcmp 342 ; CHECK: vminnm.f32 343 ; CHECK: vmaxnm.f32 344 %cmp1 = fcmp fast olt float %a, -0. 345 %cond1 = select i1 %cmp1, float %a, float -0. 346 %cmp2 = fcmp fast ugt float %cond1, -0. 347 %cond2 = select i1 %cmp2, float %cond1, float -0. 348 ret float %cond2 349 } 350 351 define float @fp-armv8_vminmaxnm_e_0(float %a) { 352 ; CHECK-LABEL: "fp-armv8_vminmaxnm_e_0": 353 ; CHECK-NOT: vcmp 354 ; CHECK: vminnm.f32 355 ; CHECK: vmaxnm.f32 356 %cmp1 = fcmp fast ule float 0., %a 357 %cond1 = select i1 %cmp1, float 0., float %a 358 %cmp2 = fcmp fast uge float 0., %cond1 359 %cond2 = select i1 %cmp2, float 0., float %cond1 360 ret float %cond2 361 } 362 363 define float @fp-armv8_vminmaxnm_e_neg0(float %a) { 364 ; CHECK-LABEL: "fp-armv8_vminmaxnm_e_neg0": 365 ; CHECK-NOT: vcmp 366 ; CHECK: vminnm.f32 367 ; CHECK: vmaxnm.f32 368 %cmp1 = fcmp fast ule float -0., %a 369 %cond1 = select i1 %cmp1, float -0., float %a 370 %cmp2 = fcmp fast oge float -0., %cond1 371 %cond2 = select i1 %cmp2, float -0., float %cond1 372 ret float %cond2 373 } 374 375 declare <4 x float> @llvm.arm.neon.vminnm.v4f32(<4 x float>, <4 x float>) nounwind readnone 376 declare <2 x float> @llvm.arm.neon.vminnm.v2f32(<2 x float>, <2 x float>) nounwind readnone 377 declare <4 x float> @llvm.arm.neon.vmaxnm.v4f32(<4 x float>, <4 x float>) nounwind readnone 378 declare <2 x float> @llvm.arm.neon.vmaxnm.v2f32(<2 x float>, <2 x float>) nounwind readnone 379
