llvm/test/CodeGen/RISCV/rvv/vsetvli-regression.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=riscv64 -mattr=+v | FileCheck %s
   3
   4 ; This test checks a regression in the vsetvli insertion pass. We used to
   5 ; prserve the VL on the second vsetvli with ratio e32/m1, when the the last
   6 ; update of VL was the vsetvli with e64/m4. Changing VTYPE here changes VLMAX
   7 ; which may make the original VL invalid. Instead of preserving it we use 0.
   8
   9 define i32 @illegal_preserve_vl(<vscale x 2 x i32> %a, <vscale x 4 x i64> %x, <vscale x 4 x i64>* %y) {
  10 ; CHECK-LABEL: illegal_preserve_vl:
  11 ; CHECK:       # %bb.0:
  12 ; CHECK-NEXT:    vsetvli a1, zero, e64, m4, ta, ma
  13 ; CHECK-NEXT:    vadd.vv v12, v12, v12
  14 ; CHECK-NEXT:    vs4r.v v12, (a0)
  15 ; CHECK-NEXT:    vsetivli zero, 1, e32, m1, ta, ma
  16 ; CHECK-NEXT:    vmv.x.s a0, v8
  17 ; CHECK-NEXT:    ret
  18   %index = add <vscale x 4 x i64> %x, %x
  19   store <vscale x 4 x i64> %index, <vscale x 4 x i64>* %y
  20   %elt = extractelement <vscale x 2 x i32> %a, i64 0
  21   ret i32 %elt
  22 }