[llvm] d5213c8 - [RISCV] Add a test covering a (reverted) codegen issue

[Fraser Cormack via llvm-commits]

Author: Fraser Cormack
Date: 2022-06-30T09:27:52+01:00
New Revision: d5213c83ffe4b7deae0bc32f6217b6c671fd0161

URL: https://github.com/llvm/llvm-project/commit/d5213c83ffe4b7deae0bc32f6217b6c671fd0161
DIFF: https://github.com/llvm/llvm-project/commit/d5213c83ffe4b7deae0bc32f6217b6c671fd0161.diff

LOG: [RISCV] Add a test covering a (reverted) codegen issue

This test checks one of problematic cases outlined in D128006, leading
to the patch's reversal. I thought it best to add a test just in case
this sort of optimization is attempted again in the future in some
fashion.

Added: 
    

Modified: 
    llvm/test/CodeGen/RISCV/rvv/vsetvli-insert.mir

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/RISCV/rvv/vsetvli-insert.mir b/llvm/test/CodeGen/RISCV/rvv/vsetvli-insert.mir
index 6fc37f7cfaf9e..2c0457ab683ab 100644
--- a/llvm/test/CodeGen/RISCV/rvv/vsetvli-insert.mir
+++ b/llvm/test/CodeGen/RISCV/rvv/vsetvli-insert.mir
@@ -72,6 +72,10 @@
     ret <vscale x 1 x i64> %b
   }
 
+  define void @vmv_v_i_
diff erent_lmuls() {
+    ret void
+  }
+
   ; Function Attrs: nounwind readnone
   declare <vscale x 1 x i64> @llvm.riscv.vadd.nxv1i64.nxv1i64.i64(<vscale x 1 x i64>, <vscale x 1 x i64>, <vscale x 1 x i64>, i64) #1
 
@@ -405,3 +409,22 @@ body:             |
     PseudoRET implicit $v8
 
 ...
+---
+name:            vmv_v_i_
diff erent_lmuls
+tracksRegLiveness: true
+body:             |
+  bb.0:
+    liveins: $x10, $v8, $x11
+
+    ; CHECK-LABEL: name: vmv_v_i_
diff erent_lmuls
+    ; CHECK: liveins: $x10, $v8, $x11
+    ; CHECK-NEXT: {{  $}}
+    ; CHECK-NEXT: dead $x0 = PseudoVSETIVLI 4, 89 /* e64, m2, ta, mu */, implicit-def $vl, implicit-def $vtype
+    ; CHECK-NEXT: [[PseudoVID_V_M2_:%[0-9]+]]:vrm2 = PseudoVID_V_M2 4, 6 /* e64 */, implicit $vl, implicit $vtype
+    ; CHECK-NEXT: dead $x0 = PseudoVSETVLIX0 killed $x0, 70 /* e8, mf4, ta, mu */, implicit-def $vl, implicit-def $vtype, implicit $vl
+    ; CHECK-NEXT: [[PseudoVMV_V_I_MF4_:%[0-9]+]]:vr = PseudoVMV_V_I_MF4 0, 4, 3 /* e8 */, implicit $vl, implicit $vtype
+    ; CHECK-NEXT: PseudoRET
+    %0:vrm2 = PseudoVID_V_M2 4, 6
+    %4:vr = PseudoVMV_V_I_MF4 0, 4, 3
+    PseudoRET
+...