24 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=riscv64 -mattr=+v | FileCheck %s3 4; This test checks a regression in the vsetvli insertion pass. We used to5; prserve the VL on the second vsetvli with ratio e32/m1, when the the last6; update of VL was the vsetvli with e64/m4. Changing VTYPE here changes VLMAX7; which may make the original VL invalid. Instead of preserving it we use 0.8 9define i32 @illegal_preserve_vl(<vscale x 2 x i32> %a, <vscale x 4 x i64> %x, ptr %y) {10; CHECK-LABEL: illegal_preserve_vl:11; CHECK: # %bb.0:12; CHECK-NEXT: vsetvli a1, zero, e64, m4, ta, ma13; CHECK-NEXT: vadd.vv v12, v12, v1214; CHECK-NEXT: vsetvli zero, zero, e32, m2, ta, ma15; CHECK-NEXT: vmv.x.s a1, v816; CHECK-NEXT: vs4r.v v12, (a0)17; CHECK-NEXT: mv a0, a118; CHECK-NEXT: ret19 %index = add <vscale x 4 x i64> %x, %x20 store <vscale x 4 x i64> %index, ptr %y21 %elt = extractelement <vscale x 2 x i32> %a, i64 022 ret i32 %elt23}24