llvm/test/CodeGen/RISCV/rvv/vl-opt.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
   2 # RUN: llc %s -o - -mtriple=riscv64 -mattr=+v,+zvfbfmin -run-pass=riscv-vl-optimizer -verify-machineinstrs | FileCheck %s
   3
   4 ---
   5 name: vnsrl_wv_user
   6 body: |
   7   bb.0:
   8     liveins: $x1
   9     ; CHECK-LABEL: name: vnsrl_wv_user
  10     ; CHECK: liveins: $x1
  11     ; CHECK-NEXT: {{  $}}
  12     ; CHECK-NEXT: %vl:gprnox0 = COPY $x1
  13     ; CHECK-NEXT: %x:vr = PseudoVADD_VV_MF4 $noreg, $noreg, $noreg, -1, 4 /* e16 */, 0 /* tu, mu */
  14     ; CHECK-NEXT: %y:vr = PseudoVNSRL_WV_MF4 $noreg, %x, $noreg, %vl, 4 /* e16 */, 0 /* tu, mu */
  15     %vl:gprnox0 = COPY $x1
  16     %x:vr = PseudoVADD_VV_MF4 $noreg, $noreg, $noreg, -1, 4 /* e16 */, 0 /* tu, mu */
  17     %y:vr = PseudoVNSRL_WV_MF4 $noreg, %x, $noreg, %vl, 4 /* e16 */, 0 /* tu, mu */
  18 ...
  19 ---
  20 name: vredsum_vv_user
  21 body: |
  22   bb.0:
  23     liveins: $x1
  24     ; CHECK-LABEL: name: vredsum_vv_user
  25     ; CHECK: liveins: $x1
  26     ; CHECK-NEXT: {{  $}}
  27     ; CHECK-NEXT: %vl:gprnox0 = COPY $x1
  28     ; CHECK-NEXT: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 5 /* e32 */, 0 /* tu, mu */
  29     ; CHECK-NEXT: %y:vr = PseudoVREDSUM_VS_M1_E64 $noreg, %x, $noreg, -1, 6 /* e64 */, 0 /* tu, mu */
  30     ; CHECK-NEXT: %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 5 /* e32 */, 0 /* tu, mu */
  31     %vl:gprnox0 = COPY $x1
  32     %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 5 /* e32 */, 0 /* tu, mu */
  33     %y:vr = PseudoVREDSUM_VS_M1_E64 $noreg, %x, $noreg, -1, 6 /* e64 */, 0 /* tu, mu */
  34     %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 5 /* e32 */, 0 /* tu, mu */
  35 ...
  36 ---
  37 name: use_largest_common_vl_imm_imm
  38 body: |
  39   bb.0:
  40     ; CHECK-LABEL: name: use_largest_common_vl_imm_imm
  41     ; CHECK: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 2, 3 /* e8 */, 0 /* tu, mu */
  42     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
  43     ; CHECK-NEXT: %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 2, 3 /* e8 */, 0 /* tu, mu */
  44     %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0
  45     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0
  46     %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 2, 3 /* e8 */, 0
  47 ...
  48 ---
  49 name: use_largest_common_vl_same_reg
  50 body: |
  51   bb.0:
  52     liveins: $x1
  53     ; CHECK-LABEL: name: use_largest_common_vl_same_reg
  54     ; CHECK: liveins: $x1
  55     ; CHECK-NEXT: {{  $}}
  56     ; CHECK-NEXT: %vl:gprnox0 = COPY $x1
  57     ; CHECK-NEXT: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, %vl, 3 /* e8 */, 0 /* tu, mu */
  58     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 3 /* e8 */, 0 /* tu, mu */
  59     ; CHECK-NEXT: %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 3 /* e8 */, 0 /* tu, mu */
  60     %vl:gprnox0 = COPY $x1
  61     %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0
  62     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 3 /* e8 */, 0
  63     %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 3 /* e8 */, 0
  64 ...
  65 ---
  66 name: use_largest_common_vl_diff_regs
  67 body: |
  68   bb.0:
  69     liveins: $x1, $x2
  70     ; CHECK-LABEL: name: use_largest_common_vl_diff_regs
  71     ; CHECK: liveins: $x1, $x2
  72     ; CHECK-NEXT: {{  $}}
  73     ; CHECK-NEXT: %vl0:gprnox0 = COPY $x1
  74     ; CHECK-NEXT: %vl1:gprnox0 = COPY $x2
  75     ; CHECK-NEXT: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0 /* tu, mu */
  76     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl0, 3 /* e8 */, 0 /* tu, mu */
  77     ; CHECK-NEXT: %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl1, 3 /* e8 */, 0 /* tu, mu */
  78     %vl0:gprnox0 = COPY $x1
  79     %vl1:gprnox0 = COPY $x2
  80     %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0
  81     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl0, 3 /* e8 */, 0
  82     %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl1, 3 /* e8 */, 0
  83 ...
  84 ---
  85 name: use_largest_common_vl_imm_reg
  86 body: |
  87   bb.0:
  88     liveins: $x1
  89     ; CHECK-LABEL: name: use_largest_common_vl_imm_reg
  90     ; CHECK: liveins: $x1
  91     ; CHECK-NEXT: {{  $}}
  92     ; CHECK-NEXT: %vl:gprnox0 = COPY $x1
  93     ; CHECK-NEXT: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0 /* tu, mu */
  94     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 3 /* e8 */, 0 /* tu, mu */
  95     ; CHECK-NEXT: %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
  96     %vl:gprnox0 = COPY $x1
  97     %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0
  98     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, %vl, 3 /* e8 */, 0
  99     %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0
 100 ...
 101 ---
 102 name: use_largest_common_vl_imm_vlmax
 103 body: |
 104   bb.0:
 105     ; CHECK-LABEL: name: use_largest_common_vl_imm_vlmax
 106     ; CHECK: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0 /* tu, mu */
 107     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
 108     ; CHECK-NEXT: %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, -1, 3 /* e8 */, 0 /* tu, mu */
 109     %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0
 110     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0
 111     %z:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, -1, 3 /* e8 */, 0
 112 ...
 113 ---
 114 name: vfcvt_x_f_v_nofpexcept
 115 body: |
 116   bb.0:
 117     ; CHECK-LABEL: name: vfcvt_x_f_v_nofpexcept
 118     ; CHECK: %x:vr = nofpexcept PseudoVFCVT_X_F_V_M1 $noreg, $noreg, 0, 1, 3 /* e8 */, 0 /* tu, mu */
 119     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
 120     %x:vr = nofpexcept PseudoVFCVT_X_F_V_M1 $noreg, $noreg, 0, -1, 3 /* e32 */, 0
 121     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0
 122 ...
 123 ---
 124 name: vfcvt_x_f_v_fpexcept
 125 body: |
 126   bb.0:
 127     ; CHECK-LABEL: name: vfcvt_x_f_v_fpexcept
 128     ; CHECK: %x:vr = PseudoVFCVT_X_F_V_M1 $noreg, $noreg, 0, -1, 3 /* e8 */, 0 /* tu, mu */
 129     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
 130     %x:vr = PseudoVFCVT_X_F_V_M1 $noreg, $noreg, 0, -1, 3 /* e32 */, 0
 131     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 3 /* e8 */, 0
 132 ...
 133 ---
 134 name: vfncvtbf16_f_f_w_nofpexcept
 135 body: |
 136   bb.0:
 137     ; CHECK-LABEL: name: vfncvtbf16_f_f_w_nofpexcept
 138     ; CHECK: early-clobber %x:vr = nofpexcept PseudoVFNCVTBF16_F_F_W_M1_E16 $noreg, $noreg, 7, 1, 4 /* e16 */, 0 /* tu, mu */, implicit $frm
 139     ; CHECK-NEXT: %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 4 /* e16 */, 0 /* tu, mu */
 140     %x:vr = nofpexcept PseudoVFNCVTBF16_F_F_W_M1_E16 $noreg, $noreg, 7, -1, 4 /* e16 */, 0 /* tu, mu */, implicit $frm
 141     %y:vr = PseudoVADD_VV_M1 $noreg, %x, $noreg, 1, 4 /* e16 */, 0
 142 ...
 143 ---
 144 name: vwadd_tied_vs1
 145 body: |
 146   bb.0:
 147     ; CHECK-LABEL: name: vwadd_tied_vs1
 148     ; CHECK: %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 1, 3 /* e8 */, 0 /* tu, mu */
 149     ; CHECK-NEXT: early-clobber %y:vrm2 = PseudoVWADD_WV_M1_TIED $noreg, %x, 1, 3 /* e8 */, 0 /* tu, mu */
 150     %x:vr = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, -1, 3 /* e8 */, 0 /* tu, mu */
 151     %y:vrm2 = PseudoVWADD_WV_M1_TIED $noreg, %x, 1, 3 /* e8 */, 0 /* tu, mu */