llvm/test/CodeGen/RISCV/rvv/copyprop.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 # RUN: llc %s -o - -mtriple=riscv64 -mattr=+v,+xsfvcp -start-after=finalize-isel | FileCheck %s
   3
   4 --- |
   5   define void @foo() {
   6   ; CHECK-LABEL: foo:
   7   ; CHECK:       # %bb.0: # %entry
   8   ; CHECK-NEXT:    vsetivli zero, 1, e64, m1, ta, ma
   9   ; CHECK-NEXT:    vmsne.vi v0, v8, 0
  10   ; CHECK-NEXT:    vsll.vi v8, v8, 5
  11   ; CHECK-NEXT:    vmerge.vim v8, v8, -1, v0
  12   ; CHECK-NEXT:    sf.vc.v.x 3, 31, v9, a1
  13   ; CHECK-NEXT:    bgeu a0, zero, .LBB0_3
  14   ; CHECK-NEXT:  # %bb.1: # %entry
  15   ; CHECK-NEXT:    li a2, 128
  16   ; CHECK-NEXT:    bltu a0, a2, .LBB0_4
  17   ; CHECK-NEXT:  .LBB0_2: # %entry
  18   ; CHECK-NEXT:    vse64.v v9, (a1)
  19   ; CHECK-NEXT:    ret
  20   ; CHECK-NEXT:  .LBB0_3:
  21   ; CHECK-NEXT:    vmv.v.i v9, 0
  22   ; CHECK-NEXT:    li a2, 128
  23   ; CHECK-NEXT:    bgeu a0, a2, .LBB0_2
  24   ; CHECK-NEXT:  .LBB0_4: # %entry
  25   ; CHECK-NEXT:    vse64.v v8, (a1)
  26   ; CHECK-NEXT:    ret
  27   entry:
  28     ret void
  29   }
  30 ...
  31 ---
  32 name:            foo
  33 tracksRegLiveness: true
  34 liveins:
  35   - { reg: '$x10', virtual-reg: '%1' }
  36   - { reg: '$x11', virtual-reg: '%2' }
  37   - { reg: '$v8', virtual-reg: '%2' }
  38 body:             |
  39   bb.0.entry:
  40     successors: %bb.1, %bb.2
  41     liveins: $x10, $x11, $x12, $v8
  42
  43     %2:gpr = COPY $x11
  44     %1:gpr = COPY $x10
  45     %3:vr = COPY $v8
  46     %17:vr = PseudoVSLL_VI_M1 undef $noreg, %3, 5, 1, 6 /* e64 */, 0
  47     %22:vr = PseudoVMSNE_VI_M1 %3, 0, 1, 6 /* e64 */
  48     $v0 = COPY %22
  49     %25:vrnov0 = PseudoVMERGE_VIM_M1 undef $noreg, %17, -1, $v0, 1, 6 /* e64 */
  50     %29:vr = PseudoVC_V_X_SE_M1 3, 31, %2, 1, 6 /* e64 */, implicit-def dead $sf_vcix_state, implicit $sf_vcix_state
  51     %30:vr = PseudoVMV_V_I_M1 undef $noreg, 0, 1, 6 /* e64 */, 0
  52     BGEU %1, $x0, %bb.2
  53
  54   bb.1.entry:
  55
  56   bb.2.entry:
  57     successors: %bb.3, %bb.4
  58
  59     %31:vr = PHI %30, %bb.0, %29, %bb.1
  60     %32:gpr = ADDI $x0, 128
  61     BGEU %1, %32, %bb.4
  62
  63   bb.3.entry:
  64
  65   bb.4.entry:
  66     %33:vr = PHI %31, %bb.2, %25, %bb.3
  67     PseudoVSE64_V_M1 killed %33, %2, 1, 6 /* e64 */
  68     PseudoRET
  69
  70 ...