diff --git a/riscv/insns/vcompress_vm.h b/riscv/insns/vcompress_vm.h
index d35b8baa1..f2ed938aa 100644
--- a/riscv/insns/vcompress_vm.h
+++ b/riscv/insns/vcompress_vm.h
@@ -1,4 +1,5 @@
 // vcompress vd, vs2, vs1
+P.any_vector_extensions();
 require(P.VU.vstart->read() == 0);
 require_align(insn.rd(), P.VU.vflmul);
 require_align(insn.rs2(), P.VU.vflmul);