llvm/test/CodeGen/RISCV/GlobalISel/instruction-select/fp-select-rv64.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=riscv64 -mattr=+d -run-pass=instruction-select \
   3 # RUN:   -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
   4
   5 ---
   6 name:            fp_select_s32
   7 alignment:       1
   8 legalized:       true
   9 regBankSelected: true
  10 tracksRegLiveness: true
  11 body:             |
  12   bb.0.entry:
  13     liveins: $x10, $f10_d, $f11_d
  14
  15     ; CHECK-LABEL: name: fp_select_s32
  16     ; CHECK: liveins: $x10, $f10_d, $f11_d
  17     ; CHECK-NEXT: {{  $}}
  18     ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
  19     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fpr32 = COPY $f10_f
  20     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:fpr32 = COPY $f11_f
  21     ; CHECK-NEXT: [[ANDI:%[0-9]+]]:gpr = ANDI [[COPY]], 1
  22     ; CHECK-NEXT: [[Select_FPR32_Using_CC_GPR:%[0-9]+]]:fpr32 = Select_FPR32_Using_CC_GPR [[ANDI]], $x0, 1, [[COPY1]], [[COPY2]]
  23     ; CHECK-NEXT: $f10_f = COPY [[Select_FPR32_Using_CC_GPR]]
  24     ; CHECK-NEXT: PseudoRET implicit $f10_f
  25     %0:gprb(s64) = COPY $x10
  26     %1:fprb(s32) = COPY $f10_f
  27     %2:fprb(s32) = COPY $f11_f
  28     %3:gprb(s64) = G_CONSTANT i64 1
  29     %4:gprb(s64) = G_AND %0, %3
  30     %5:fprb(s32) = G_SELECT %4(s64), %1, %2
  31     $f10_f = COPY %5(s32)
  32     PseudoRET implicit $f10_f
  33
  34 ...
  35 ---
  36 name:            fp_select_s64
  37 alignment:       1
  38 legalized:       true
  39 regBankSelected: true
  40 tracksRegLiveness: true
  41 body:             |
  42   bb.0.entry:
  43     liveins: $x10, $f10_d, $f11_d
  44
  45     ; CHECK-LABEL: name: fp_select_s64
  46     ; CHECK: liveins: $x10, $f10_d, $f11_d
  47     ; CHECK-NEXT: {{  $}}
  48     ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
  49     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fpr64 = COPY $f10_d
  50     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:fpr64 = COPY $f11_d
  51     ; CHECK-NEXT: [[ANDI:%[0-9]+]]:gpr = ANDI [[COPY]], 1
  52     ; CHECK-NEXT: [[Select_FPR64_Using_CC_GPR:%[0-9]+]]:fpr64 = Select_FPR64_Using_CC_GPR [[ANDI]], $x0, 1, [[COPY1]], [[COPY2]]
  53     ; CHECK-NEXT: $f10_d = COPY [[Select_FPR64_Using_CC_GPR]]
  54     ; CHECK-NEXT: PseudoRET implicit $f10_d
  55     %0:gprb(s64) = COPY $x10
  56     %1:fprb(s64) = COPY $f10_d
  57     %2:fprb(s64) = COPY $f11_d
  58     %3:gprb(s64) = G_CONSTANT i64 1
  59     %4:gprb(s64) = G_AND %0, %3
  60     %5:fprb(s64) = G_SELECT %4(s64), %1, %2
  61     $f10_d = COPY %5(s64)
  62     PseudoRET implicit $f10_d
  63
  64 ...