We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1eec754 commit 725f63eCopy full SHA for 725f63e
model/riscv_insts_zcmt.sail
@@ -63,7 +63,6 @@ mapping clause encdec_compressed = CM_JT(index) if extensionEnabled(Ext_Zcmt) &
63
function clause execute (CM_JT(index)) = {
64
let base : bits(xlen) = jvt[base] @ 0b000000;
65
let index : bits(xlen) = zero_extend(index);
66
- var a : bits(xlen) = zeros();
67
if jvt[mode] == 0b000000 then {
68
let table_address = base + index << log2_xlen_bytes;
69
match fetch_jump_table(table_address) {
0 commit comments