llvm/test/CodeGen/RISCV/GlobalISel/regbankselect/fp-arith.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=riscv32 -mattr=+d -run-pass=regbankselect \
   3 # RUN:   -simplify-mir -verify-machineinstrs %s \
   4 # RUN:   -o - | FileCheck %s
   5 # RUN: llc -mtriple=riscv64 -mattr=+d -run-pass=regbankselect \
   6 # RUN:   -simplify-mir -verify-machineinstrs %s \
   7 # RUN:   -o - | FileCheck %s
   8
   9 ---
  10 name:            fadd_f32
  11 legalized:       true
  12 tracksRegLiveness: true
  13 body:             |
  14   bb.0:
  15     liveins: $f10_f, $f11_f
  16
  17     ; CHECK-LABEL: name: fadd_f32
  18     ; CHECK: liveins: $f10_f, $f11_f
  19     ; CHECK-NEXT: {{  $}}
  20     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
  21     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
  22     ; CHECK-NEXT: [[FADD:%[0-9]+]]:fprb(s32) = G_FADD [[COPY]], [[COPY1]]
  23     ; CHECK-NEXT: $f10_f = COPY [[FADD]](s32)
  24     ; CHECK-NEXT: PseudoRET implicit $f10_f
  25     %0:_(s32) = COPY $f10_f
  26     %1:_(s32) = COPY $f11_f
  27     %2:_(s32) = G_FADD %0, %1
  28     $f10_f = COPY %2(s32)
  29     PseudoRET implicit $f10_f
  30
  31 ...
  32 ---
  33 name:            fsub_f32
  34 legalized:       true
  35 tracksRegLiveness: true
  36 body:             |
  37   bb.0:
  38     liveins: $f10_f, $f11_f
  39
  40     ; CHECK-LABEL: name: fsub_f32
  41     ; CHECK: liveins: $f10_f, $f11_f
  42     ; CHECK-NEXT: {{  $}}
  43     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
  44     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
  45     ; CHECK-NEXT: [[FSUB:%[0-9]+]]:fprb(s32) = G_FSUB [[COPY]], [[COPY1]]
  46     ; CHECK-NEXT: $f10_f = COPY [[FSUB]](s32)
  47     ; CHECK-NEXT: PseudoRET implicit $f10_f
  48     %0:_(s32) = COPY $f10_f
  49     %1:_(s32) = COPY $f11_f
  50     %2:_(s32) = G_FSUB %0, %1
  51     $f10_f = COPY %2(s32)
  52     PseudoRET implicit $f10_f
  53
  54 ...
  55 ---
  56 name:            fmul_f32
  57 legalized:       true
  58 tracksRegLiveness: true
  59 body:             |
  60   bb.0:
  61     liveins: $f10_f, $f11_f
  62
  63     ; CHECK-LABEL: name: fmul_f32
  64     ; CHECK: liveins: $f10_f, $f11_f
  65     ; CHECK-NEXT: {{  $}}
  66     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
  67     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
  68     ; CHECK-NEXT: [[FMUL:%[0-9]+]]:fprb(s32) = G_FMUL [[COPY]], [[COPY1]]
  69     ; CHECK-NEXT: $f10_f = COPY [[FMUL]](s32)
  70     ; CHECK-NEXT: PseudoRET implicit $f10_f
  71     %0:_(s32) = COPY $f10_f
  72     %1:_(s32) = COPY $f11_f
  73     %2:_(s32) = G_FMUL %0, %1
  74     $f10_f = COPY %2(s32)
  75     PseudoRET implicit $f10_f
  76
  77 ...
  78 ---
  79 name:            fdiv_f32
  80 legalized:       true
  81 tracksRegLiveness: true
  82 body:             |
  83   bb.0:
  84     liveins: $f10_f, $f11_f
  85
  86     ; CHECK-LABEL: name: fdiv_f32
  87     ; CHECK: liveins: $f10_f, $f11_f
  88     ; CHECK-NEXT: {{  $}}
  89     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
  90     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
  91     ; CHECK-NEXT: [[FDIV:%[0-9]+]]:fprb(s32) = G_FDIV [[COPY]], [[COPY1]]
  92     ; CHECK-NEXT: $f10_f = COPY [[FDIV]](s32)
  93     ; CHECK-NEXT: PseudoRET implicit $f10_f
  94     %0:_(s32) = COPY $f10_f
  95     %1:_(s32) = COPY $f11_f
  96     %2:_(s32) = G_FDIV %0, %1
  97     $f10_f = COPY %2(s32)
  98     PseudoRET implicit $f10_f
  99
 100 ...
 101 ---
 102 name:            fma_f32
 103 legalized:       true
 104 tracksRegLiveness: true
 105 body:             |
 106   bb.0:
 107     liveins: $f10_f, $f11_f, $f12_f
 108
 109     ; CHECK-LABEL: name: fma_f32
 110     ; CHECK: liveins: $f10_f, $f11_f, $f12_f
 111     ; CHECK-NEXT: {{  $}}
 112     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
 113     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
 114     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:fprb(s32) = COPY $f12_f
 115     ; CHECK-NEXT: [[FMA:%[0-9]+]]:fprb(s32) = G_FMA [[COPY]], [[COPY1]], [[COPY2]]
 116     ; CHECK-NEXT: $f10_f = COPY [[FMA]](s32)
 117     ; CHECK-NEXT: PseudoRET implicit $f10_f
 118     %0:_(s32) = COPY $f10_f
 119     %1:_(s32) = COPY $f11_f
 120     %2:_(s32) = COPY $f12_f
 121     %3:_(s32) = G_FMA %0, %1, %2
 122     $f10_f = COPY %3(s32)
 123     PseudoRET implicit $f10_f
 124
 125 ...
 126 ---
 127 name:            fneg_f32
 128 legalized:       true
 129 tracksRegLiveness: true
 130 body:             |
 131   bb.0:
 132     liveins: $f10_f
 133
 134     ; CHECK-LABEL: name: fneg_f32
 135     ; CHECK: liveins: $f10_f
 136     ; CHECK-NEXT: {{  $}}
 137     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
 138     ; CHECK-NEXT: [[FNEG:%[0-9]+]]:fprb(s32) = G_FNEG [[COPY]]
 139     ; CHECK-NEXT: $f10_f = COPY [[FNEG]](s32)
 140     ; CHECK-NEXT: PseudoRET implicit $f10_f
 141     %0:_(s32) = COPY $f10_f
 142     %1:_(s32) = G_FNEG %0
 143     $f10_f = COPY %1(s32)
 144     PseudoRET implicit $f10_f
 145
 146 ...
 147 ---
 148 name:            fabs_f32
 149 legalized:       true
 150 tracksRegLiveness: true
 151 body:             |
 152   bb.0:
 153     liveins: $f10_f
 154
 155     ; CHECK-LABEL: name: fabs_f32
 156     ; CHECK: liveins: $f10_f
 157     ; CHECK-NEXT: {{  $}}
 158     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
 159     ; CHECK-NEXT: [[FABS:%[0-9]+]]:fprb(s32) = G_FABS [[COPY]]
 160     ; CHECK-NEXT: $f10_f = COPY [[FABS]](s32)
 161     ; CHECK-NEXT: PseudoRET implicit $f10_f
 162     %0:_(s32) = COPY $f10_f
 163     %1:_(s32) = G_FABS %0
 164     $f10_f = COPY %1(s32)
 165     PseudoRET implicit $f10_f
 166
 167 ...
 168 ---
 169 name:            fsqrt_f32
 170 legalized:       true
 171 tracksRegLiveness: true
 172 body:             |
 173   bb.0:
 174     liveins: $f10_f
 175
 176     ; CHECK-LABEL: name: fsqrt_f32
 177     ; CHECK: liveins: $f10_f
 178     ; CHECK-NEXT: {{  $}}
 179     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
 180     ; CHECK-NEXT: [[FSQRT:%[0-9]+]]:fprb(s32) = G_FSQRT [[COPY]]
 181     ; CHECK-NEXT: $f10_f = COPY [[FSQRT]](s32)
 182     ; CHECK-NEXT: PseudoRET implicit $f10_f
 183     %0:_(s32) = COPY $f10_f
 184     %1:_(s32) = G_FSQRT %0
 185     $f10_f = COPY %1(s32)
 186     PseudoRET implicit $f10_f
 187
 188 ...
 189 ---
 190 name:            fmaxnum_f32
 191 legalized:       true
 192 tracksRegLiveness: true
 193 body:             |
 194   bb.0:
 195     liveins: $f10_f, $f11_f
 196
 197     ; CHECK-LABEL: name: fmaxnum_f32
 198     ; CHECK: liveins: $f10_f, $f11_f
 199     ; CHECK-NEXT: {{  $}}
 200     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
 201     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
 202     ; CHECK-NEXT: [[FMAXNUM:%[0-9]+]]:fprb(s32) = G_FMAXNUM [[COPY]], [[COPY1]]
 203     ; CHECK-NEXT: $f10_f = COPY [[FMAXNUM]](s32)
 204     ; CHECK-NEXT: PseudoRET implicit $f10_f
 205     %0:_(s32) = COPY $f10_f
 206     %1:_(s32) = COPY $f11_f
 207     %2:_(s32) = G_FMAXNUM %0, %1
 208     $f10_f = COPY %2(s32)
 209     PseudoRET implicit $f10_f
 210
 211 ...
 212 ---
 213 name:            fminnum_f32
 214 legalized:       true
 215 tracksRegLiveness: true
 216 body:             |
 217   bb.0:
 218     liveins: $f10_f, $f11_f
 219
 220     ; CHECK-LABEL: name: fminnum_f32
 221     ; CHECK: liveins: $f10_f, $f11_f
 222     ; CHECK-NEXT: {{  $}}
 223     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
 224     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
 225     ; CHECK-NEXT: [[FMINNUM:%[0-9]+]]:fprb(s32) = G_FMINNUM [[COPY]], [[COPY1]]
 226     ; CHECK-NEXT: $f10_f = COPY [[FMINNUM]](s32)
 227     ; CHECK-NEXT: PseudoRET implicit $f10_f
 228     %0:_(s32) = COPY $f10_f
 229     %1:_(s32) = COPY $f11_f
 230     %2:_(s32) = G_FMINNUM %0, %1
 231     $f10_f = COPY %2(s32)
 232     PseudoRET implicit $f10_f
 233
 234 ...
 235 ---
 236 name:            fadd_f64
 237 legalized:       true
 238 tracksRegLiveness: true
 239 body:             |
 240   bb.0:
 241     liveins: $f10_d, $f11_d
 242
 243     ; CHECK-LABEL: name: fadd_f64
 244     ; CHECK: liveins: $f10_d, $f11_d
 245     ; CHECK-NEXT: {{  $}}
 246     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 247     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 248     ; CHECK-NEXT: [[FADD:%[0-9]+]]:fprb(s64) = G_FADD [[COPY]], [[COPY1]]
 249     ; CHECK-NEXT: $f10_d = COPY [[FADD]](s64)
 250     ; CHECK-NEXT: PseudoRET implicit $f10_d
 251     %0:_(s64) = COPY $f10_d
 252     %1:_(s64) = COPY $f11_d
 253     %2:_(s64) = G_FADD %0, %1
 254     $f10_d = COPY %2(s64)
 255     PseudoRET implicit $f10_d
 256
 257 ...
 258 ---
 259 name:            fsub_f64
 260 legalized:       true
 261 tracksRegLiveness: true
 262 body:             |
 263   bb.0:
 264     liveins: $f10_d, $f11_d
 265
 266     ; CHECK-LABEL: name: fsub_f64
 267     ; CHECK: liveins: $f10_d, $f11_d
 268     ; CHECK-NEXT: {{  $}}
 269     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 270     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 271     ; CHECK-NEXT: [[FSUB:%[0-9]+]]:fprb(s64) = G_FSUB [[COPY]], [[COPY1]]
 272     ; CHECK-NEXT: $f10_d = COPY [[FSUB]](s64)
 273     ; CHECK-NEXT: PseudoRET implicit $f10_d
 274     %0:_(s64) = COPY $f10_d
 275     %1:_(s64) = COPY $f11_d
 276     %2:_(s64) = G_FSUB %0, %1
 277     $f10_d = COPY %2(s64)
 278     PseudoRET implicit $f10_d
 279
 280 ...
 281 ---
 282 name:            fmul_f64
 283 legalized:       true
 284 tracksRegLiveness: true
 285 body:             |
 286   bb.0:
 287     liveins: $f10_d, $f11_d
 288
 289     ; CHECK-LABEL: name: fmul_f64
 290     ; CHECK: liveins: $f10_d, $f11_d
 291     ; CHECK-NEXT: {{  $}}
 292     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 293     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 294     ; CHECK-NEXT: [[FMUL:%[0-9]+]]:fprb(s64) = G_FMUL [[COPY]], [[COPY1]]
 295     ; CHECK-NEXT: $f10_d = COPY [[FMUL]](s64)
 296     ; CHECK-NEXT: PseudoRET implicit $f10_d
 297     %0:_(s64) = COPY $f10_d
 298     %1:_(s64) = COPY $f11_d
 299     %2:_(s64) = G_FMUL %0, %1
 300     $f10_d = COPY %2(s64)
 301     PseudoRET implicit $f10_d
 302
 303 ...
 304 ---
 305 name:            fdiv_f64
 306 legalized:       true
 307 tracksRegLiveness: true
 308 body:             |
 309   bb.0:
 310     liveins: $f10_d, $f11_d
 311
 312     ; CHECK-LABEL: name: fdiv_f64
 313     ; CHECK: liveins: $f10_d, $f11_d
 314     ; CHECK-NEXT: {{  $}}
 315     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 316     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 317     ; CHECK-NEXT: [[FDIV:%[0-9]+]]:fprb(s64) = G_FDIV [[COPY]], [[COPY1]]
 318     ; CHECK-NEXT: $f10_d = COPY [[FDIV]](s64)
 319     ; CHECK-NEXT: PseudoRET implicit $f10_d
 320     %0:_(s64) = COPY $f10_d
 321     %1:_(s64) = COPY $f11_d
 322     %2:_(s64) = G_FDIV %0, %1
 323     $f10_d = COPY %2(s64)
 324     PseudoRET implicit $f10_d
 325
 326 ...
 327 ---
 328 name:            fma_f64
 329 legalized:       true
 330 tracksRegLiveness: true
 331 body:             |
 332   bb.0:
 333     liveins: $f10_d, $f11_d, $f12_d
 334
 335     ; CHECK-LABEL: name: fma_f64
 336     ; CHECK: liveins: $f10_d, $f11_d, $f12_d
 337     ; CHECK-NEXT: {{  $}}
 338     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 339     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 340     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:fprb(s64) = COPY $f12_d
 341     ; CHECK-NEXT: [[FMA:%[0-9]+]]:fprb(s64) = G_FMA [[COPY]], [[COPY1]], [[COPY2]]
 342     ; CHECK-NEXT: $f10_d = COPY [[FMA]](s64)
 343     ; CHECK-NEXT: PseudoRET implicit $f10_d
 344     %0:_(s64) = COPY $f10_d
 345     %1:_(s64) = COPY $f11_d
 346     %2:_(s64) = COPY $f12_d
 347     %3:_(s64) = G_FMA %0, %1, %2
 348     $f10_d = COPY %3(s64)
 349     PseudoRET implicit $f10_d
 350
 351 ...
 352 ---
 353 name:            fneg_f64
 354 legalized:       true
 355 tracksRegLiveness: true
 356 body:             |
 357   bb.0:
 358     liveins: $f10_d
 359
 360     ; CHECK-LABEL: name: fneg_f64
 361     ; CHECK: liveins: $f10_d
 362     ; CHECK-NEXT: {{  $}}
 363     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 364     ; CHECK-NEXT: [[FNEG:%[0-9]+]]:fprb(s64) = G_FNEG [[COPY]]
 365     ; CHECK-NEXT: $f10_d = COPY [[FNEG]](s64)
 366     ; CHECK-NEXT: PseudoRET implicit $f10_d
 367     %0:_(s64) = COPY $f10_d
 368     %1:_(s64) = G_FNEG %0
 369     $f10_d = COPY %1(s64)
 370     PseudoRET implicit $f10_d
 371
 372 ...
 373 ---
 374 name:            fabs_f64
 375 legalized:       true
 376 tracksRegLiveness: true
 377 body:             |
 378   bb.0:
 379     liveins: $f10_d
 380
 381     ; CHECK-LABEL: name: fabs_f64
 382     ; CHECK: liveins: $f10_d
 383     ; CHECK-NEXT: {{  $}}
 384     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 385     ; CHECK-NEXT: [[FABS:%[0-9]+]]:fprb(s64) = G_FABS [[COPY]]
 386     ; CHECK-NEXT: $f10_d = COPY [[FABS]](s64)
 387     ; CHECK-NEXT: PseudoRET implicit $f10_d
 388     %0:_(s64) = COPY $f10_d
 389     %1:_(s64) = G_FABS %0
 390     $f10_d = COPY %1(s64)
 391     PseudoRET implicit $f10_d
 392
 393 ...
 394 ---
 395 name:            fsqrt_f64
 396 legalized:       true
 397 tracksRegLiveness: true
 398 body:             |
 399   bb.0:
 400     liveins: $f10_d
 401
 402     ; CHECK-LABEL: name: fsqrt_f64
 403     ; CHECK: liveins: $f10_d
 404     ; CHECK-NEXT: {{  $}}
 405     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 406     ; CHECK-NEXT: [[FSQRT:%[0-9]+]]:fprb(s64) = G_FSQRT [[COPY]]
 407     ; CHECK-NEXT: $f10_d = COPY [[FSQRT]](s64)
 408     ; CHECK-NEXT: PseudoRET implicit $f10_d
 409     %0:_(s64) = COPY $f10_d
 410     %1:_(s64) = G_FSQRT %0
 411     $f10_d = COPY %1(s64)
 412     PseudoRET implicit $f10_d
 413
 414 ...
 415 ---
 416 name:            fmaxnum_f64
 417 legalized:       true
 418 tracksRegLiveness: true
 419 body:             |
 420   bb.0:
 421     liveins: $f10_d, $f11_d
 422
 423     ; CHECK-LABEL: name: fmaxnum_f64
 424     ; CHECK: liveins: $f10_d, $f11_d
 425     ; CHECK-NEXT: {{  $}}
 426     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 427     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 428     ; CHECK-NEXT: [[FMAXNUM:%[0-9]+]]:fprb(s64) = G_FMAXNUM [[COPY]], [[COPY1]]
 429     ; CHECK-NEXT: $f10_d = COPY [[FMAXNUM]](s64)
 430     ; CHECK-NEXT: PseudoRET implicit $f10_d
 431     %0:_(s64) = COPY $f10_d
 432     %1:_(s64) = COPY $f11_d
 433     %2:_(s64) = G_FMAXNUM %0, %1
 434     $f10_d = COPY %2(s64)
 435     PseudoRET implicit $f10_d
 436
 437 ...
 438 ---
 439 name:            fminnum_f64
 440 legalized:       true
 441 tracksRegLiveness: true
 442 body:             |
 443   bb.0:
 444     liveins: $f10_d, $f11_d
 445
 446     ; CHECK-LABEL: name: fminnum_f64
 447     ; CHECK: liveins: $f10_d, $f11_d
 448     ; CHECK-NEXT: {{  $}}
 449     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 450     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 451     ; CHECK-NEXT: [[FMINNUM:%[0-9]+]]:fprb(s64) = G_FMINNUM [[COPY]], [[COPY1]]
 452     ; CHECK-NEXT: $f10_d = COPY [[FMINNUM]](s64)
 453     ; CHECK-NEXT: PseudoRET implicit $f10_d
 454     %0:_(s64) = COPY $f10_d
 455     %1:_(s64) = COPY $f11_d
 456     %2:_(s64) = G_FMINNUM %0, %1
 457     $f10_d = COPY %2(s64)
 458     PseudoRET implicit $f10_d
 459
 460 ...