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

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=riscv32 -mattr=+zfh,+d -run-pass=regbankselect \
   3 # RUN:   -simplify-mir -verify-machineinstrs %s \
   4 # RUN:   -o - | FileCheck %s
   5 # RUN: llc -mtriple=riscv64 -mattr=+zfh,+d -run-pass=regbankselect \
   6 # RUN:   -simplify-mir -verify-machineinstrs %s \
   7 # RUN:   -o - | FileCheck %s
   8
   9 ---
  10 name:            fadd_f16
  11 legalized:       true
  12 tracksRegLiveness: true
  13 body:             |
  14   bb.0:
  15     liveins: $f10_h, $f11_h
  16
  17     ; CHECK-LABEL: name: fadd_f16
  18     ; CHECK: liveins: $f10_h, $f11_h
  19     ; CHECK-NEXT: {{  $}}
  20     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
  21     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
  22     ; CHECK-NEXT: [[FADD:%[0-9]+]]:fprb(s16) = G_FADD [[COPY]], [[COPY1]]
  23     ; CHECK-NEXT: $f10_h = COPY [[FADD]](s16)
  24     ; CHECK-NEXT: PseudoRET implicit $f10_h
  25     %0:_(s16) = COPY $f10_h
  26     %1:_(s16) = COPY $f11_h
  27     %2:_(s16) = G_FADD %0, %1
  28     $f10_h = COPY %2(s16)
  29     PseudoRET implicit $f10_h
  30
  31 ...
  32 ---
  33 name:            fsub_f16
  34 legalized:       true
  35 tracksRegLiveness: true
  36 body:             |
  37   bb.0:
  38     liveins: $f10_h, $f11_h
  39
  40     ; CHECK-LABEL: name: fsub_f16
  41     ; CHECK: liveins: $f10_h, $f11_h
  42     ; CHECK-NEXT: {{  $}}
  43     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
  44     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
  45     ; CHECK-NEXT: [[FSUB:%[0-9]+]]:fprb(s16) = G_FSUB [[COPY]], [[COPY1]]
  46     ; CHECK-NEXT: $f10_h = COPY [[FSUB]](s16)
  47     ; CHECK-NEXT: PseudoRET implicit $f10_h
  48     %0:_(s16) = COPY $f10_h
  49     %1:_(s16) = COPY $f11_h
  50     %2:_(s16) = G_FSUB %0, %1
  51     $f10_h = COPY %2(s16)
  52     PseudoRET implicit $f10_h
  53
  54 ...
  55 ---
  56 name:            fmul_f16
  57 legalized:       true
  58 tracksRegLiveness: true
  59 body:             |
  60   bb.0:
  61     liveins: $f10_h, $f11_h
  62
  63     ; CHECK-LABEL: name: fmul_f16
  64     ; CHECK: liveins: $f10_h, $f11_h
  65     ; CHECK-NEXT: {{  $}}
  66     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
  67     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
  68     ; CHECK-NEXT: [[FMUL:%[0-9]+]]:fprb(s16) = G_FMUL [[COPY]], [[COPY1]]
  69     ; CHECK-NEXT: $f10_h = COPY [[FMUL]](s16)
  70     ; CHECK-NEXT: PseudoRET implicit $f10_h
  71     %0:_(s16) = COPY $f10_h
  72     %1:_(s16) = COPY $f11_h
  73     %2:_(s16) = G_FMUL %0, %1
  74     $f10_h = COPY %2(s16)
  75     PseudoRET implicit $f10_h
  76
  77 ...
  78 ---
  79 name:            fdiv_f16
  80 legalized:       true
  81 tracksRegLiveness: true
  82 body:             |
  83   bb.0:
  84     liveins: $f10_h, $f11_h
  85
  86     ; CHECK-LABEL: name: fdiv_f16
  87     ; CHECK: liveins: $f10_h, $f11_h
  88     ; CHECK-NEXT: {{  $}}
  89     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
  90     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
  91     ; CHECK-NEXT: [[FDIV:%[0-9]+]]:fprb(s16) = G_FDIV [[COPY]], [[COPY1]]
  92     ; CHECK-NEXT: $f10_h = COPY [[FDIV]](s16)
  93     ; CHECK-NEXT: PseudoRET implicit $f10_h
  94     %0:_(s16) = COPY $f10_h
  95     %1:_(s16) = COPY $f11_h
  96     %2:_(s16) = G_FDIV %0, %1
  97     $f10_h = COPY %2(s16)
  98     PseudoRET implicit $f10_h
  99
 100 ...
 101 ---
 102 name:            fma_f16
 103 legalized:       true
 104 tracksRegLiveness: true
 105 body:             |
 106   bb.0:
 107     liveins: $f10_h, $f11_h, $f12_h
 108
 109     ; CHECK-LABEL: name: fma_f16
 110     ; CHECK: liveins: $f10_h, $f11_h, $f12_h
 111     ; CHECK-NEXT: {{  $}}
 112     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 113     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
 114     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:fprb(s16) = COPY $f12_h
 115     ; CHECK-NEXT: [[FMA:%[0-9]+]]:fprb(s16) = G_FMA [[COPY]], [[COPY1]], [[COPY2]]
 116     ; CHECK-NEXT: $f10_h = COPY [[FMA]](s16)
 117     ; CHECK-NEXT: PseudoRET implicit $f10_h
 118     %0:_(s16) = COPY $f10_h
 119     %1:_(s16) = COPY $f11_h
 120     %2:_(s16) = COPY $f12_h
 121     %3:_(s16) = G_FMA %0, %1, %2
 122     $f10_h = COPY %3(s16)
 123     PseudoRET implicit $f10_h
 124
 125 ...
 126 ---
 127 name:            fneg_f16
 128 legalized:       true
 129 tracksRegLiveness: true
 130 body:             |
 131   bb.0:
 132     liveins: $f10_h
 133
 134     ; CHECK-LABEL: name: fneg_f16
 135     ; CHECK: liveins: $f10_h
 136     ; CHECK-NEXT: {{  $}}
 137     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 138     ; CHECK-NEXT: [[FNEG:%[0-9]+]]:fprb(s16) = G_FNEG [[COPY]]
 139     ; CHECK-NEXT: $f10_h = COPY [[FNEG]](s16)
 140     ; CHECK-NEXT: PseudoRET implicit $f10_h
 141     %0:_(s16) = COPY $f10_h
 142     %1:_(s16) = G_FNEG %0
 143     $f10_h = COPY %1(s16)
 144     PseudoRET implicit $f10_h
 145
 146 ...
 147 ---
 148 name:            fabs_f16
 149 legalized:       true
 150 tracksRegLiveness: true
 151 body:             |
 152   bb.0:
 153     liveins: $f10_h
 154
 155     ; CHECK-LABEL: name: fabs_f16
 156     ; CHECK: liveins: $f10_h
 157     ; CHECK-NEXT: {{  $}}
 158     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 159     ; CHECK-NEXT: [[FABS:%[0-9]+]]:fprb(s16) = G_FABS [[COPY]]
 160     ; CHECK-NEXT: $f10_h = COPY [[FABS]](s16)
 161     ; CHECK-NEXT: PseudoRET implicit $f10_h
 162     %0:_(s16) = COPY $f10_h
 163     %1:_(s16) = G_FABS %0
 164     $f10_h = COPY %1(s16)
 165     PseudoRET implicit $f10_h
 166
 167 ...
 168 ---
 169 name:            fsqrt_f16
 170 legalized:       true
 171 tracksRegLiveness: true
 172 body:             |
 173   bb.0:
 174     liveins: $f10_h
 175
 176     ; CHECK-LABEL: name: fsqrt_f16
 177     ; CHECK: liveins: $f10_h
 178     ; CHECK-NEXT: {{  $}}
 179     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 180     ; CHECK-NEXT: [[FSQRT:%[0-9]+]]:fprb(s16) = G_FSQRT [[COPY]]
 181     ; CHECK-NEXT: $f10_h = COPY [[FSQRT]](s16)
 182     ; CHECK-NEXT: PseudoRET implicit $f10_h
 183     %0:_(s16) = COPY $f10_h
 184     %1:_(s16) = G_FSQRT %0
 185     $f10_h = COPY %1(s16)
 186     PseudoRET implicit $f10_h
 187
 188 ...
 189 ---
 190 name:            fmaxnum_f16
 191 legalized:       true
 192 tracksRegLiveness: true
 193 body:             |
 194   bb.0:
 195     liveins: $f10_h, $f11_h
 196
 197     ; CHECK-LABEL: name: fmaxnum_f16
 198     ; CHECK: liveins: $f10_h, $f11_h
 199     ; CHECK-NEXT: {{  $}}
 200     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 201     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
 202     ; CHECK-NEXT: [[FMAXNUM:%[0-9]+]]:fprb(s16) = G_FMAXNUM [[COPY]], [[COPY1]]
 203     ; CHECK-NEXT: $f10_h = COPY [[FMAXNUM]](s16)
 204     ; CHECK-NEXT: PseudoRET implicit $f10_h
 205     %0:_(s16) = COPY $f10_h
 206     %1:_(s16) = COPY $f11_h
 207     %2:_(s16) = G_FMAXNUM %0, %1
 208     $f10_h = COPY %2(s16)
 209     PseudoRET implicit $f10_h
 210
 211 ...
 212 ---
 213 name:            fminnum_f16
 214 legalized:       true
 215 tracksRegLiveness: true
 216 body:             |
 217   bb.0:
 218     liveins: $f10_h, $f11_h
 219
 220     ; CHECK-LABEL: name: fminnum_f16
 221     ; CHECK: liveins: $f10_h, $f11_h
 222     ; CHECK-NEXT: {{  $}}
 223     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 224     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
 225     ; CHECK-NEXT: [[FMINNUM:%[0-9]+]]:fprb(s16) = G_FMINNUM [[COPY]], [[COPY1]]
 226     ; CHECK-NEXT: $f10_h = COPY [[FMINNUM]](s16)
 227     ; CHECK-NEXT: PseudoRET implicit $f10_h
 228     %0:_(s16) = COPY $f10_h
 229     %1:_(s16) = COPY $f11_h
 230     %2:_(s16) = G_FMINNUM %0, %1
 231     $f10_h = COPY %2(s16)
 232     PseudoRET implicit $f10_h
 233
 234 ...
 235 ---
 236 name:            fcopysign_f16_f16
 237 legalized:       true
 238 tracksRegLiveness: true
 239 body:             |
 240   bb.0:
 241     liveins: $f10_h, $f11_h
 242
 243     ; CHECK-LABEL: name: fcopysign_f16_f16
 244     ; CHECK: liveins: $f10_h, $f11_h
 245     ; CHECK-NEXT: {{  $}}
 246     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 247     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
 248     ; CHECK-NEXT: [[FCOPYSIGN:%[0-9]+]]:fprb(s16) = G_FCOPYSIGN [[COPY]], [[COPY1]](s16)
 249     ; CHECK-NEXT: $f10_h = COPY [[FCOPYSIGN]](s16)
 250     ; CHECK-NEXT: PseudoRET implicit $f10_h
 251     %0:_(s16) = COPY $f10_h
 252     %1:_(s16) = COPY $f11_h
 253     %2:_(s16) = G_FCOPYSIGN %0, %1
 254     $f10_h = COPY %2(s16)
 255     PseudoRET implicit $f10_h
 256
 257 ...
 258 ---
 259 name:            fcopysign_f16_f32
 260 legalized:       true
 261 tracksRegLiveness: true
 262 body:             |
 263   bb.0:
 264     liveins: $f10_h, $f11_f
 265
 266     ; CHECK-LABEL: name: fcopysign_f16_f32
 267     ; CHECK: liveins: $f10_h, $f11_f
 268     ; CHECK-NEXT: {{  $}}
 269     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 270     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s32) = COPY $f11_f
 271     ; CHECK-NEXT: [[FCOPYSIGN:%[0-9]+]]:fprb(s16) = G_FCOPYSIGN [[COPY]], [[COPY1]](s32)
 272     ; CHECK-NEXT: $f10_h = COPY [[FCOPYSIGN]](s16)
 273     ; CHECK-NEXT: PseudoRET implicit $f10_h
 274     %0:_(s16) = COPY $f10_h
 275     %1:_(s32) = COPY $f11_f
 276     %2:_(s16) = G_FCOPYSIGN %0, %1
 277     $f10_h = COPY %2(s16)
 278     PseudoRET implicit $f10_h
 279
 280 ...
 281 ---
 282 name:            fcopysign_f32_f16
 283 legalized:       true
 284 tracksRegLiveness: true
 285 body:             |
 286   bb.0:
 287     liveins: $f10_f, $f11_h
 288
 289     ; CHECK-LABEL: name: fcopysign_f32_f16
 290     ; CHECK: liveins: $f10_f, $f11_h
 291     ; CHECK-NEXT: {{  $}}
 292     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f10_f
 293     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
 294     ; CHECK-NEXT: [[FCOPYSIGN:%[0-9]+]]:fprb(s32) = G_FCOPYSIGN [[COPY]], [[COPY1]](s16)
 295     ; CHECK-NEXT: $f10_f = COPY [[FCOPYSIGN]](s32)
 296     ; CHECK-NEXT: PseudoRET implicit $f10_f
 297     %0:_(s32) = COPY $f10_f
 298     %1:_(s16) = COPY $f11_h
 299     %2:_(s32) = G_FCOPYSIGN %0, %1
 300     $f10_f = COPY %2(s32)
 301     PseudoRET implicit $f10_f
 302
 303 ...
 304 ---
 305 name:            fcopysign_f16_f64
 306 legalized:       true
 307 tracksRegLiveness: true
 308 body:             |
 309   bb.0:
 310     liveins: $f10_h, $f11_d
 311
 312     ; CHECK-LABEL: name: fcopysign_f16_f64
 313     ; CHECK: liveins: $f10_h, $f11_d
 314     ; CHECK-NEXT: {{  $}}
 315     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s16) = COPY $f10_h
 316     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s64) = COPY $f11_d
 317     ; CHECK-NEXT: [[FCOPYSIGN:%[0-9]+]]:fprb(s16) = G_FCOPYSIGN [[COPY]], [[COPY1]](s64)
 318     ; CHECK-NEXT: $f10_h = COPY [[FCOPYSIGN]](s16)
 319     ; CHECK-NEXT: PseudoRET implicit $f10_h
 320     %0:_(s16) = COPY $f10_h
 321     %1:_(s64) = COPY $f11_d
 322     %2:_(s16) = G_FCOPYSIGN %0, %1
 323     $f10_h = COPY %2(s16)
 324     PseudoRET implicit $f10_h
 325
 326 ...
 327 ---
 328 name:            fcopysign_f64_f16
 329 legalized:       true
 330 tracksRegLiveness: true
 331 body:             |
 332   bb.0:
 333     liveins: $f10_d, $f11_h
 334
 335     ; CHECK-LABEL: name: fcopysign_f64_f16
 336     ; CHECK: liveins: $f10_d, $f11_h
 337     ; CHECK-NEXT: {{  $}}
 338     ; CHECK-NEXT: [[COPY:%[0-9]+]]:fprb(s64) = COPY $f10_d
 339     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fprb(s16) = COPY $f11_h
 340     ; CHECK-NEXT: [[FCOPYSIGN:%[0-9]+]]:fprb(s64) = G_FCOPYSIGN [[COPY]], [[COPY1]](s16)
 341     ; CHECK-NEXT: $f10_d = COPY [[FCOPYSIGN]](s64)
 342     ; CHECK-NEXT: PseudoRET implicit $f10_d
 343     %0:_(s64) = COPY $f10_d
 344     %1:_(s16) = COPY $f11_h
 345     %2:_(s64) = G_FCOPYSIGN %0, %1
 346     $f10_d = COPY %2(s64)
 347     PseudoRET implicit $f10_d
 348
 349 ...