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