vcompress.vm: Check if there is any vector extension before using vector CSRs

YenHaoChen · JJ-Gaisler · commit 695e4f9e53cb · 2025-02-07T11:58:01.000+01:00
diff --git a/riscv/insns/vcompress_vm.h b/riscv/insns/vcompress_vm.h
@@ -1,4 +1,5 @@
 // vcompress vd, vs2, vs1
+require(P.any_vector_extensions());
 require(P.VU.vstart->read() == 0);
 require_align(insn.rd(), P.VU.vflmul);
 require_align(insn.rs2(), P.VU.vflmul);

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`// vcompress vd, vs2, vs1`
	`2`	`+require(P.any_vector_extensions());`
`2`	`3`	`require(P.VU.vstart->read() == 0);`
`3`	`4`	`require_align(insn.rd(), P.VU.vflmul);`
`4`	`5`	`require_align(insn.rs2(), P.VU.vflmul);`