llvm/test/CodeGen/AArch64/select_const.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64-- | FileCheck %s
   3
   4 ; Select of constants: control flow / conditional moves can always be replaced by logic+math (but may not be worth it?).
   5 ; Test the zeroext/signext variants of each pattern to see if that makes a difference.
   6
   7 ; select Cond, 0, 1 --> zext (!Cond)
   8
   9 define i32 @select_0_or_1(i1 %cond) {
  10 ; CHECK-LABEL: select_0_or_1:
  11 ; CHECK:       // %bb.0:
  12 ; CHECK-NEXT:    mov w8, #1 // =0x1
  13 ; CHECK-NEXT:    bic w0, w8, w0
  14 ; CHECK-NEXT:    ret
  15   %sel = select i1 %cond, i32 0, i32 1
  16   ret i32 %sel
  17 }
  18
  19 define i32 @select_0_or_1_zeroext(i1 zeroext %cond) {
  20 ; CHECK-LABEL: select_0_or_1_zeroext:
  21 ; CHECK:       // %bb.0:
  22 ; CHECK-NEXT:    eor w0, w0, #0x1
  23 ; CHECK-NEXT:    ret
  24   %sel = select i1 %cond, i32 0, i32 1
  25   ret i32 %sel
  26 }
  27
  28 define i32 @select_0_or_1_signext(i1 signext %cond) {
  29 ; CHECK-LABEL: select_0_or_1_signext:
  30 ; CHECK:       // %bb.0:
  31 ; CHECK-NEXT:    mov w8, #1 // =0x1
  32 ; CHECK-NEXT:    bic w0, w8, w0
  33 ; CHECK-NEXT:    ret
  34   %sel = select i1 %cond, i32 0, i32 1
  35   ret i32 %sel
  36 }
  37
  38 ; select Cond, 1, 0 --> zext (Cond)
  39
  40 define i32 @select_1_or_0(i1 %cond) {
  41 ; CHECK-LABEL: select_1_or_0:
  42 ; CHECK:       // %bb.0:
  43 ; CHECK-NEXT:    and w0, w0, #0x1
  44 ; CHECK-NEXT:    ret
  45   %sel = select i1 %cond, i32 1, i32 0
  46   ret i32 %sel
  47 }
  48
  49 define i32 @select_1_or_0_zeroext(i1 zeroext %cond) {
  50 ; CHECK-LABEL: select_1_or_0_zeroext:
  51 ; CHECK:       // %bb.0:
  52 ; CHECK-NEXT:    ret
  53   %sel = select i1 %cond, i32 1, i32 0
  54   ret i32 %sel
  55 }
  56
  57 define i32 @select_1_or_0_signext(i1 signext %cond) {
  58 ; CHECK-LABEL: select_1_or_0_signext:
  59 ; CHECK:       // %bb.0:
  60 ; CHECK-NEXT:    and w0, w0, #0x1
  61 ; CHECK-NEXT:    ret
  62   %sel = select i1 %cond, i32 1, i32 0
  63   ret i32 %sel
  64 }
  65
  66 ; select Cond, 0, -1 --> sext (!Cond)
  67
  68 define i32 @select_0_or_neg1(i1 %cond) {
  69 ; CHECK-LABEL: select_0_or_neg1:
  70 ; CHECK:       // %bb.0:
  71 ; CHECK-NEXT:    and w8, w0, #0x1
  72 ; CHECK-NEXT:    sub w0, w8, #1
  73 ; CHECK-NEXT:    ret
  74   %sel = select i1 %cond, i32 0, i32 -1
  75   ret i32 %sel
  76 }
  77
  78 define i32 @select_0_or_neg1_zeroext(i1 zeroext %cond) {
  79 ; CHECK-LABEL: select_0_or_neg1_zeroext:
  80 ; CHECK:       // %bb.0:
  81 ; CHECK-NEXT:    sub w0, w0, #1
  82 ; CHECK-NEXT:    ret
  83   %sel = select i1 %cond, i32 0, i32 -1
  84   ret i32 %sel
  85 }
  86
  87 define i32 @select_0_or_neg1_signext(i1 signext %cond) {
  88 ; CHECK-LABEL: select_0_or_neg1_signext:
  89 ; CHECK:       // %bb.0:
  90 ; CHECK-NEXT:    mvn w0, w0
  91 ; CHECK-NEXT:    ret
  92   %sel = select i1 %cond, i32 0, i32 -1
  93   ret i32 %sel
  94 }
  95
  96 ; select Cond, -1, 0 --> sext (Cond)
  97
  98 define i32 @select_neg1_or_0(i1 %cond) {
  99 ; CHECK-LABEL: select_neg1_or_0:
 100 ; CHECK:       // %bb.0:
 101 ; CHECK-NEXT:    sbfx w0, w0, #0, #1
 102 ; CHECK-NEXT:    ret
 103   %sel = select i1 %cond, i32 -1, i32 0
 104   ret i32 %sel
 105 }
 106
 107 define i32 @select_neg1_or_0_zeroext(i1 zeroext %cond) {
 108 ; CHECK-LABEL: select_neg1_or_0_zeroext:
 109 ; CHECK:       // %bb.0:
 110 ; CHECK-NEXT:    sbfx w0, w0, #0, #1
 111 ; CHECK-NEXT:    ret
 112   %sel = select i1 %cond, i32 -1, i32 0
 113   ret i32 %sel
 114 }
 115
 116 define i32 @select_neg1_or_0_signext(i1 signext %cond) {
 117 ; CHECK-LABEL: select_neg1_or_0_signext:
 118 ; CHECK:       // %bb.0:
 119 ; CHECK-NEXT:    ret
 120   %sel = select i1 %cond, i32 -1, i32 0
 121   ret i32 %sel
 122 }
 123
 124 ; select Cond, C+1, C --> add (zext Cond), C
 125
 126 define i32 @select_Cplus1_C(i1 %cond) {
 127 ; CHECK-LABEL: select_Cplus1_C:
 128 ; CHECK:       // %bb.0:
 129 ; CHECK-NEXT:    mov w8, #41 // =0x29
 130 ; CHECK-NEXT:    tst w0, #0x1
 131 ; CHECK-NEXT:    cinc w0, w8, ne
 132 ; CHECK-NEXT:    ret
 133   %sel = select i1 %cond, i32 42, i32 41
 134   ret i32 %sel
 135 }
 136
 137 define i32 @select_Cplus1_C_zeroext(i1 zeroext %cond) {
 138 ; CHECK-LABEL: select_Cplus1_C_zeroext:
 139 ; CHECK:       // %bb.0:
 140 ; CHECK-NEXT:    mov w8, #41 // =0x29
 141 ; CHECK-NEXT:    cmp w0, #0
 142 ; CHECK-NEXT:    cinc w0, w8, ne
 143 ; CHECK-NEXT:    ret
 144   %sel = select i1 %cond, i32 42, i32 41
 145   ret i32 %sel
 146 }
 147
 148 define i32 @select_Cplus1_C_signext(i1 signext %cond) {
 149 ; CHECK-LABEL: select_Cplus1_C_signext:
 150 ; CHECK:       // %bb.0:
 151 ; CHECK-NEXT:    mov w8, #41 // =0x29
 152 ; CHECK-NEXT:    tst w0, #0x1
 153 ; CHECK-NEXT:    cinc w0, w8, ne
 154 ; CHECK-NEXT:    ret
 155   %sel = select i1 %cond, i32 42, i32 41
 156   ret i32 %sel
 157 }
 158
 159 ; select Cond, C, C+1 --> add (sext Cond), C
 160
 161 define i32 @select_C_Cplus1(i1 %cond) {
 162 ; CHECK-LABEL: select_C_Cplus1:
 163 ; CHECK:       // %bb.0:
 164 ; CHECK-NEXT:    mov w8, #41 // =0x29
 165 ; CHECK-NEXT:    tst w0, #0x1
 166 ; CHECK-NEXT:    cinc w0, w8, eq
 167 ; CHECK-NEXT:    ret
 168   %sel = select i1 %cond, i32 41, i32 42
 169   ret i32 %sel
 170 }
 171
 172 define i32 @select_C_Cplus1_zeroext(i1 zeroext %cond) {
 173 ; CHECK-LABEL: select_C_Cplus1_zeroext:
 174 ; CHECK:       // %bb.0:
 175 ; CHECK-NEXT:    mov w8, #41 // =0x29
 176 ; CHECK-NEXT:    cmp w0, #0
 177 ; CHECK-NEXT:    cinc w0, w8, eq
 178 ; CHECK-NEXT:    ret
 179   %sel = select i1 %cond, i32 41, i32 42
 180   ret i32 %sel
 181 }
 182
 183 define i32 @select_C_Cplus1_signext(i1 signext %cond) {
 184 ; CHECK-LABEL: select_C_Cplus1_signext:
 185 ; CHECK:       // %bb.0:
 186 ; CHECK-NEXT:    mov w8, #41 // =0x29
 187 ; CHECK-NEXT:    tst w0, #0x1
 188 ; CHECK-NEXT:    cinc w0, w8, eq
 189 ; CHECK-NEXT:    ret
 190   %sel = select i1 %cond, i32 41, i32 42
 191   ret i32 %sel
 192 }
 193
 194 ; In general, select of 2 constants could be:
 195 ; select Cond, C1, C2 --> add (mul (zext Cond), C1-C2), C2 --> add (and (sext Cond), C1-C2), C2
 196
 197 define i32 @select_C1_C2(i1 %cond) {
 198 ; CHECK-LABEL: select_C1_C2:
 199 ; CHECK:       // %bb.0:
 200 ; CHECK-NEXT:    mov w8, #42 // =0x2a
 201 ; CHECK-NEXT:    tst w0, #0x1
 202 ; CHECK-NEXT:    mov w9, #421 // =0x1a5
 203 ; CHECK-NEXT:    csel w0, w9, w8, ne
 204 ; CHECK-NEXT:    ret
 205   %sel = select i1 %cond, i32 421, i32 42
 206   ret i32 %sel
 207 }
 208
 209 define i32 @select_C1_C2_zeroext(i1 zeroext %cond) {
 210 ; CHECK-LABEL: select_C1_C2_zeroext:
 211 ; CHECK:       // %bb.0:
 212 ; CHECK-NEXT:    mov w8, #42 // =0x2a
 213 ; CHECK-NEXT:    cmp w0, #0
 214 ; CHECK-NEXT:    mov w9, #421 // =0x1a5
 215 ; CHECK-NEXT:    csel w0, w9, w8, ne
 216 ; CHECK-NEXT:    ret
 217   %sel = select i1 %cond, i32 421, i32 42
 218   ret i32 %sel
 219 }
 220
 221 define i32 @select_C1_C2_signext(i1 signext %cond) {
 222 ; CHECK-LABEL: select_C1_C2_signext:
 223 ; CHECK:       // %bb.0:
 224 ; CHECK-NEXT:    mov w8, #42 // =0x2a
 225 ; CHECK-NEXT:    tst w0, #0x1
 226 ; CHECK-NEXT:    mov w9, #421 // =0x1a5
 227 ; CHECK-NEXT:    csel w0, w9, w8, ne
 228 ; CHECK-NEXT:    ret
 229   %sel = select i1 %cond, i32 421, i32 42
 230   ret i32 %sel
 231 }
 232
 233 ; A binary operator with constant after the select should always get folded into the select.
 234
 235 define i8 @sel_constants_add_constant(i1 %cond) {
 236 ; CHECK-LABEL: sel_constants_add_constant:
 237 ; CHECK:       // %bb.0:
 238 ; CHECK-NEXT:    mov w8, #28 // =0x1c
 239 ; CHECK-NEXT:    tst w0, #0x1
 240 ; CHECK-NEXT:    csinc w0, w8, wzr, eq
 241 ; CHECK-NEXT:    ret
 242   %sel = select i1 %cond, i8 -4, i8 23
 243   %bo = add i8 %sel, 5
 244   ret i8 %bo
 245 }
 246
 247 define i8 @sel_constants_sub_constant(i1 %cond) {
 248 ; CHECK-LABEL: sel_constants_sub_constant:
 249 ; CHECK:       // %bb.0:
 250 ; CHECK-NEXT:    mov w8, #18 // =0x12
 251 ; CHECK-NEXT:    tst w0, #0x1
 252 ; CHECK-NEXT:    mov w9, #-9 // =0xfffffff7
 253 ; CHECK-NEXT:    csel w0, w9, w8, ne
 254 ; CHECK-NEXT:    ret
 255   %sel = select i1 %cond, i8 -4, i8 23
 256   %bo = sub i8 %sel, 5
 257   ret i8 %bo
 258 }
 259
 260 define i8 @sel_constants_sub_constant_sel_constants(i1 %cond) {
 261 ; CHECK-LABEL: sel_constants_sub_constant_sel_constants:
 262 ; CHECK:       // %bb.0:
 263 ; CHECK-NEXT:    mov w8, #2 // =0x2
 264 ; CHECK-NEXT:    tst w0, #0x1
 265 ; CHECK-NEXT:    mov w9, #9 // =0x9
 266 ; CHECK-NEXT:    csel w0, w9, w8, ne
 267 ; CHECK-NEXT:    ret
 268   %sel = select i1 %cond, i8 -4, i8 3
 269   %bo = sub i8 5, %sel
 270   ret i8 %bo
 271 }
 272
 273 define i8 @sel_constants_mul_constant(i1 %cond) {
 274 ; CHECK-LABEL: sel_constants_mul_constant:
 275 ; CHECK:       // %bb.0:
 276 ; CHECK-NEXT:    mov w8, #115 // =0x73
 277 ; CHECK-NEXT:    tst w0, #0x1
 278 ; CHECK-NEXT:    mov w9, #-20 // =0xffffffec
 279 ; CHECK-NEXT:    csel w0, w9, w8, ne
 280 ; CHECK-NEXT:    ret
 281   %sel = select i1 %cond, i8 -4, i8 23
 282   %bo = mul i8 %sel, 5
 283   ret i8 %bo
 284 }
 285
 286 define i8 @sel_constants_sdiv_constant(i1 %cond) {
 287 ; CHECK-LABEL: sel_constants_sdiv_constant:
 288 ; CHECK:       // %bb.0:
 289 ; CHECK-NEXT:    mov w8, #4 // =0x4
 290 ; CHECK-NEXT:    tst w0, #0x1
 291 ; CHECK-NEXT:    csel w0, wzr, w8, ne
 292 ; CHECK-NEXT:    ret
 293   %sel = select i1 %cond, i8 -4, i8 23
 294   %bo = sdiv i8 %sel, 5
 295   ret i8 %bo
 296 }
 297
 298 define i8 @sdiv_constant_sel_constants(i1 %cond) {
 299 ; CHECK-LABEL: sdiv_constant_sel_constants:
 300 ; CHECK:       // %bb.0:
 301 ; CHECK-NEXT:    mov w8, #5 // =0x5
 302 ; CHECK-NEXT:    tst w0, #0x1
 303 ; CHECK-NEXT:    csel w0, wzr, w8, ne
 304 ; CHECK-NEXT:    ret
 305   %sel = select i1 %cond, i8 121, i8 23
 306   %bo = sdiv i8 120, %sel
 307   ret i8 %bo
 308 }
 309
 310 define i8 @sel_constants_udiv_constant(i1 %cond) {
 311 ; CHECK-LABEL: sel_constants_udiv_constant:
 312 ; CHECK:       // %bb.0:
 313 ; CHECK-NEXT:    mov w8, #4 // =0x4
 314 ; CHECK-NEXT:    tst w0, #0x1
 315 ; CHECK-NEXT:    mov w9, #50 // =0x32
 316 ; CHECK-NEXT:    csel w0, w9, w8, ne
 317 ; CHECK-NEXT:    ret
 318   %sel = select i1 %cond, i8 -4, i8 23
 319   %bo = udiv i8 %sel, 5
 320   ret i8 %bo
 321 }
 322
 323 define i8 @udiv_constant_sel_constants(i1 %cond) {
 324 ; CHECK-LABEL: udiv_constant_sel_constants:
 325 ; CHECK:       // %bb.0:
 326 ; CHECK-NEXT:    mov w8, #5 // =0x5
 327 ; CHECK-NEXT:    tst w0, #0x1
 328 ; CHECK-NEXT:    csel w0, wzr, w8, ne
 329 ; CHECK-NEXT:    ret
 330   %sel = select i1 %cond, i8 -4, i8 23
 331   %bo = udiv i8 120, %sel
 332   ret i8 %bo
 333 }
 334
 335 define i8 @sel_constants_srem_constant(i1 %cond) {
 336 ; CHECK-LABEL: sel_constants_srem_constant:
 337 ; CHECK:       // %bb.0:
 338 ; CHECK-NEXT:    mov w8, #-4 // =0xfffffffc
 339 ; CHECK-NEXT:    tst w0, #0x1
 340 ; CHECK-NEXT:    cinv w0, w8, eq
 341 ; CHECK-NEXT:    ret
 342   %sel = select i1 %cond, i8 -4, i8 23
 343   %bo = srem i8 %sel, 5
 344   ret i8 %bo
 345 }
 346
 347 define i8 @srem_constant_sel_constants(i1 %cond) {
 348 ; CHECK-LABEL: srem_constant_sel_constants:
 349 ; CHECK:       // %bb.0:
 350 ; CHECK-NEXT:    mov w8, #5 // =0x5
 351 ; CHECK-NEXT:    tst w0, #0x1
 352 ; CHECK-NEXT:    mov w9, #120 // =0x78
 353 ; CHECK-NEXT:    csel w0, w9, w8, ne
 354 ; CHECK-NEXT:    ret
 355   %sel = select i1 %cond, i8 121, i8 23
 356   %bo = srem i8 120, %sel
 357   ret i8 %bo
 358 }
 359
 360 define i8 @sel_constants_urem_constant(i1 %cond) {
 361 ; CHECK-LABEL: sel_constants_urem_constant:
 362 ; CHECK:       // %bb.0:
 363 ; CHECK-NEXT:    mov w8, #2 // =0x2
 364 ; CHECK-NEXT:    tst w0, #0x1
 365 ; CHECK-NEXT:    cinc w0, w8, eq
 366 ; CHECK-NEXT:    ret
 367   %sel = select i1 %cond, i8 -4, i8 23
 368   %bo = urem i8 %sel, 5
 369   ret i8 %bo
 370 }
 371
 372 define i8 @urem_constant_sel_constants(i1 %cond) {
 373 ; CHECK-LABEL: urem_constant_sel_constants:
 374 ; CHECK:       // %bb.0:
 375 ; CHECK-NEXT:    mov w8, #5 // =0x5
 376 ; CHECK-NEXT:    tst w0, #0x1
 377 ; CHECK-NEXT:    mov w9, #120 // =0x78
 378 ; CHECK-NEXT:    csel w0, w9, w8, ne
 379 ; CHECK-NEXT:    ret
 380   %sel = select i1 %cond, i8 -4, i8 23
 381   %bo = urem i8 120, %sel
 382   ret i8 %bo
 383 }
 384
 385 define i8 @sel_constants_and_constant(i1 %cond) {
 386 ; CHECK-LABEL: sel_constants_and_constant:
 387 ; CHECK:       // %bb.0:
 388 ; CHECK-NEXT:    mov w8, #4 // =0x4
 389 ; CHECK-NEXT:    tst w0, #0x1
 390 ; CHECK-NEXT:    cinc w0, w8, eq
 391 ; CHECK-NEXT:    ret
 392   %sel = select i1 %cond, i8 -4, i8 23
 393   %bo = and i8 %sel, 5
 394   ret i8 %bo
 395 }
 396
 397 define i8 @sel_constants_or_constant(i1 %cond) {
 398 ; CHECK-LABEL: sel_constants_or_constant:
 399 ; CHECK:       // %bb.0:
 400 ; CHECK-NEXT:    mov w8, #23 // =0x17
 401 ; CHECK-NEXT:    tst w0, #0x1
 402 ; CHECK-NEXT:    mov w9, #-3 // =0xfffffffd
 403 ; CHECK-NEXT:    csel w0, w9, w8, ne
 404 ; CHECK-NEXT:    ret
 405   %sel = select i1 %cond, i8 -4, i8 23
 406   %bo = or i8 %sel, 5
 407   ret i8 %bo
 408 }
 409
 410 define i8 @sel_constants_xor_constant(i1 %cond) {
 411 ; CHECK-LABEL: sel_constants_xor_constant:
 412 ; CHECK:       // %bb.0:
 413 ; CHECK-NEXT:    mov w8, #18 // =0x12
 414 ; CHECK-NEXT:    tst w0, #0x1
 415 ; CHECK-NEXT:    mov w9, #-7 // =0xfffffff9
 416 ; CHECK-NEXT:    csel w0, w9, w8, ne
 417 ; CHECK-NEXT:    ret
 418   %sel = select i1 %cond, i8 -4, i8 23
 419   %bo = xor i8 %sel, 5
 420   ret i8 %bo
 421 }
 422
 423 define i8 @sel_constants_shl_constant(i1 %cond) {
 424 ; CHECK-LABEL: sel_constants_shl_constant:
 425 ; CHECK:       // %bb.0:
 426 ; CHECK-NEXT:    mov w8, #-32 // =0xffffffe0
 427 ; CHECK-NEXT:    tst w0, #0x1
 428 ; CHECK-NEXT:    mov w9, #-128 // =0xffffff80
 429 ; CHECK-NEXT:    csel w0, w9, w8, ne
 430 ; CHECK-NEXT:    ret
 431   %sel = select i1 %cond, i8 -4, i8 23
 432   %bo = shl i8 %sel, 5
 433   ret i8 %bo
 434 }
 435
 436 define i8 @shl_constant_sel_constants(i1 %cond) {
 437 ; CHECK-LABEL: shl_constant_sel_constants:
 438 ; CHECK:       // %bb.0:
 439 ; CHECK-NEXT:    mov w8, #8 // =0x8
 440 ; CHECK-NEXT:    tst w0, #0x1
 441 ; CHECK-NEXT:    mov w9, #4 // =0x4
 442 ; CHECK-NEXT:    csel w0, w9, w8, ne
 443 ; CHECK-NEXT:    ret
 444   %sel = select i1 %cond, i8 2, i8 3
 445   %bo = shl i8 1, %sel
 446   ret i8 %bo
 447 }
 448
 449 define i8 @sel_constants_lshr_constant(i1 %cond) {
 450 ; CHECK-LABEL: sel_constants_lshr_constant:
 451 ; CHECK:       // %bb.0:
 452 ; CHECK-NEXT:    mov w8, #7 // =0x7
 453 ; CHECK-NEXT:    tst w0, #0x1
 454 ; CHECK-NEXT:    csel w0, w8, wzr, ne
 455 ; CHECK-NEXT:    ret
 456   %sel = select i1 %cond, i8 -4, i8 23
 457   %bo = lshr i8 %sel, 5
 458   ret i8 %bo
 459 }
 460
 461 define i8 @lshr_constant_sel_constants(i1 %cond) {
 462 ; CHECK-LABEL: lshr_constant_sel_constants:
 463 ; CHECK:       // %bb.0:
 464 ; CHECK-NEXT:    mov w8, #8 // =0x8
 465 ; CHECK-NEXT:    tst w0, #0x1
 466 ; CHECK-NEXT:    mov w9, #16 // =0x10
 467 ; CHECK-NEXT:    csel w0, w9, w8, ne
 468 ; CHECK-NEXT:    ret
 469   %sel = select i1 %cond, i8 2, i8 3
 470   %bo = lshr i8 64, %sel
 471   ret i8 %bo
 472 }
 473
 474
 475 define i8 @sel_constants_ashr_constant(i1 %cond) {
 476 ; CHECK-LABEL: sel_constants_ashr_constant:
 477 ; CHECK:       // %bb.0:
 478 ; CHECK-NEXT:    sbfx w0, w0, #0, #1
 479 ; CHECK-NEXT:    ret
 480   %sel = select i1 %cond, i8 -4, i8 23
 481   %bo = ashr i8 %sel, 5
 482   ret i8 %bo
 483 }
 484
 485 define i8 @ashr_constant_sel_constants(i1 %cond) {
 486 ; CHECK-LABEL: ashr_constant_sel_constants:
 487 ; CHECK:       // %bb.0:
 488 ; CHECK-NEXT:    mov w8, #-16 // =0xfffffff0
 489 ; CHECK-NEXT:    tst w0, #0x1
 490 ; CHECK-NEXT:    mov w9, #-32 // =0xffffffe0
 491 ; CHECK-NEXT:    csel w0, w9, w8, ne
 492 ; CHECK-NEXT:    ret
 493   %sel = select i1 %cond, i8 2, i8 3
 494   %bo = ashr i8 128, %sel
 495   ret i8 %bo
 496 }
 497
 498 define double @sel_constants_fadd_constant(i1 %cond) {
 499 ; CHECK-LABEL: sel_constants_fadd_constant:
 500 ; CHECK:       // %bb.0:
 501 ; CHECK-NEXT:    mov x9, #7378697629483820646 // =0x6666666666666666
 502 ; CHECK-NEXT:    adrp x8, .LCPI42_0
 503 ; CHECK-NEXT:    tst w0, #0x1
 504 ; CHECK-NEXT:    movk x9, #16444, lsl #48
 505 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI42_0]
 506 ; CHECK-NEXT:    fmov d1, x9
 507 ; CHECK-NEXT:    fcsel d0, d0, d1, ne
 508 ; CHECK-NEXT:    ret
 509   %sel = select i1 %cond, double -4.0, double 23.3
 510   %bo = fadd double %sel, 5.1
 511   ret double %bo
 512 }
 513
 514 define double @sel_constants_fsub_constant(i1 %cond) {
 515 ; CHECK-LABEL: sel_constants_fsub_constant:
 516 ; CHECK:       // %bb.0:
 517 ; CHECK-NEXT:    adrp x8, .LCPI43_0
 518 ; CHECK-NEXT:    tst w0, #0x1
 519 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI43_0]
 520 ; CHECK-NEXT:    mov x8, #3689348814741910323 // =0x3333333333333333
 521 ; CHECK-NEXT:    movk x8, #49186, lsl #48
 522 ; CHECK-NEXT:    fmov d1, x8
 523 ; CHECK-NEXT:    fcsel d0, d1, d0, ne
 524 ; CHECK-NEXT:    ret
 525   %sel = select i1 %cond, double -4.0, double 23.3
 526   %bo = fsub double %sel, 5.1
 527   ret double %bo
 528 }
 529
 530 define double @fsub_constant_sel_constants(i1 %cond) {
 531 ; CHECK-LABEL: fsub_constant_sel_constants:
 532 ; CHECK:       // %bb.0:
 533 ; CHECK-NEXT:    adrp x8, .LCPI44_0
 534 ; CHECK-NEXT:    tst w0, #0x1
 535 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI44_0]
 536 ; CHECK-NEXT:    mov x8, #3689348814741910323 // =0x3333333333333333
 537 ; CHECK-NEXT:    movk x8, #16418, lsl #48
 538 ; CHECK-NEXT:    fmov d1, x8
 539 ; CHECK-NEXT:    fcsel d0, d1, d0, ne
 540 ; CHECK-NEXT:    ret
 541   %sel = select i1 %cond, double -4.0, double 23.3
 542   %bo = fsub double 5.1, %sel
 543   ret double %bo
 544 }
 545
 546 define double @sel_constants_fmul_constant(i1 %cond) {
 547 ; CHECK-LABEL: sel_constants_fmul_constant:
 548 ; CHECK:       // %bb.0:
 549 ; CHECK-NEXT:    adrp x8, .LCPI45_0
 550 ; CHECK-NEXT:    tst w0, #0x1
 551 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI45_0]
 552 ; CHECK-NEXT:    mov x8, #7378697629483820646 // =0x6666666666666666
 553 ; CHECK-NEXT:    movk x8, #49204, lsl #48
 554 ; CHECK-NEXT:    fmov d1, x8
 555 ; CHECK-NEXT:    fcsel d0, d1, d0, ne
 556 ; CHECK-NEXT:    ret
 557   %sel = select i1 %cond, double -4.0, double 23.3
 558   %bo = fmul double %sel, 5.1
 559   ret double %bo
 560 }
 561
 562 define double @sel_constants_fdiv_constant(i1 %cond) {
 563 ; CHECK-LABEL: sel_constants_fdiv_constant:
 564 ; CHECK:       // %bb.0:
 565 ; CHECK-NEXT:    adrp x8, .LCPI46_0
 566 ; CHECK-NEXT:    adrp x9, .LCPI46_1
 567 ; CHECK-NEXT:    tst w0, #0x1
 568 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI46_0]
 569 ; CHECK-NEXT:    ldr d1, [x9, :lo12:.LCPI46_1]
 570 ; CHECK-NEXT:    fcsel d0, d1, d0, ne
 571 ; CHECK-NEXT:    ret
 572   %sel = select i1 %cond, double -4.0, double 23.3
 573   %bo = fdiv double %sel, 5.1
 574   ret double %bo
 575 }
 576
 577 define double @fdiv_constant_sel_constants(i1 %cond) {
 578 ; CHECK-LABEL: fdiv_constant_sel_constants:
 579 ; CHECK:       // %bb.0:
 580 ; CHECK-NEXT:    adrp x8, .LCPI47_0
 581 ; CHECK-NEXT:    tst w0, #0x1
 582 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI47_0]
 583 ; CHECK-NEXT:    mov x8, #7378697629483820646 // =0x6666666666666666
 584 ; CHECK-NEXT:    movk x8, #49140, lsl #48
 585 ; CHECK-NEXT:    fmov d1, x8
 586 ; CHECK-NEXT:    fcsel d0, d1, d0, ne
 587 ; CHECK-NEXT:    ret
 588   %sel = select i1 %cond, double -4.0, double 23.3
 589   %bo = fdiv double 5.1, %sel
 590   ret double %bo
 591 }
 592
 593 define double @sel_constants_frem_constant(i1 %cond) {
 594 ; CHECK-LABEL: sel_constants_frem_constant:
 595 ; CHECK:       // %bb.0:
 596 ; CHECK-NEXT:    adrp x8, .LCPI48_0
 597 ; CHECK-NEXT:    fmov d0, #-4.00000000
 598 ; CHECK-NEXT:    tst w0, #0x1
 599 ; CHECK-NEXT:    ldr d1, [x8, :lo12:.LCPI48_0]
 600 ; CHECK-NEXT:    fcsel d0, d0, d1, ne
 601 ; CHECK-NEXT:    ret
 602   %sel = select i1 %cond, double -4.0, double 23.3
 603   %bo = frem double %sel, 5.1
 604   ret double %bo
 605 }
 606
 607 define double @frem_constant_sel_constants(i1 %cond) {
 608 ; CHECK-LABEL: frem_constant_sel_constants:
 609 ; CHECK:       // %bb.0:
 610 ; CHECK-NEXT:    mov x9, #7378697629483820646 // =0x6666666666666666
 611 ; CHECK-NEXT:    adrp x8, .LCPI49_0
 612 ; CHECK-NEXT:    tst w0, #0x1
 613 ; CHECK-NEXT:    movk x9, #16404, lsl #48
 614 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI49_0]
 615 ; CHECK-NEXT:    fmov d1, x9
 616 ; CHECK-NEXT:    fcsel d0, d0, d1, ne
 617 ; CHECK-NEXT:    ret
 618   %sel = select i1 %cond, double -4.0, double 23.3
 619   %bo = frem double 5.1, %sel
 620   ret double %bo
 621 }