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 -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 v9, v8, 5
  11   ; CHECK-NEXT:    vmerge.vim v9, v9, -1, v0
  12   ; CHECK-NEXT:    csrwi vxrm, 0
  13   ; CHECK-NEXT:    vssra.vi v8, v8, 2
  14   ; CHECK-NEXT:    bgeu a0, zero, .LBB0_3
  15   ; CHECK-NEXT:  # %bb.1: # %entry
  16   ; CHECK-NEXT:    li a2, 128
  17   ; CHECK-NEXT:    bltu a0, a2, .LBB0_4
  18   ; CHECK-NEXT:  .LBB0_2: # %entry
  19   ; CHECK-NEXT:    vse64.v v8, (a1)
  20   ; CHECK-NEXT:    ret
  21   ; CHECK-NEXT:  .LBB0_3:
  22   ; CHECK-NEXT:    vmv.v.i v8, 0
  23   ; CHECK-NEXT:    li a2, 128
  24   ; CHECK-NEXT:    bgeu a0, a2, .LBB0_2
  25   ; CHECK-NEXT:  .LBB0_4: # %entry
  26   ; CHECK-NEXT:    vse64.v v9, (a1)
  27   ; CHECK-NEXT:    ret
  28   entry:
  29     ret void
  30   }
  31 ...
  32 ---
  33 name:            foo
  34 tracksRegLiveness: true
  35 liveins:
  36   - { reg: '$x10', virtual-reg: '%1' }
  37   - { reg: '$x11', virtual-reg: '%2' }
  38   - { reg: '$v8', virtual-reg: '%2' }
  39 body:             |
  40   bb.0.entry:
  41     successors: %bb.1, %bb.2
  42     liveins: $x10, $x11, $x12, $v8
  43
  44     %2:gpr = COPY $x11
  45     %1:gpr = COPY $x10
  46     %3:vr = COPY $v8
  47     %pt5:vr = IMPLICIT_DEF
  48     %17:vr = PseudoVSLL_VI_M1 %pt5, %3, 5, 1, 6 /* e64 */, 0
  49     %22:vr = PseudoVMSNE_VI_M1 %3, 0, 1, 6 /* e64 */
  50     $v0 = COPY %22
  51     %26:vrnov0 = IMPLICIT_DEF
  52     %25:vrnov0 = PseudoVMERGE_VIM_M1 %26, %17, -1, $v0, 1, 6 /* e64 */
  53     %pt8:vr = IMPLICIT_DEF
  54     %29:vr = PseudoVSSRA_VI_M1 %pt8, %3, 2, 0, 1, 6 /* e64 */, 0
  55     %pt9:vr = IMPLICIT_DEF
  56     %30:vr = PseudoVMV_V_I_M1 %pt9, 0, 1, 6 /* e64 */, 0
  57     BGEU %1, $x0, %bb.2
  58
  59   bb.1.entry:
  60
  61   bb.2.entry:
  62     successors: %bb.3, %bb.4
  63
  64     %31:vr = PHI %30, %bb.0, %29, %bb.1
  65     %32:gpr = ADDI $x0, 128
  66     BGEU %1, %32, %bb.4
  67
  68   bb.3.entry:
  69
  70   bb.4.entry:
  71     %33:vr = PHI %31, %bb.2, %25, %bb.3
  72     PseudoVSE64_V_M1 killed %33, %2, 1, 6 /* e64 */
  73     PseudoRET
  74
  75 ...