Fix incorrect assembly for c.j immediate

Fix the assembly error mentioned in #537 - the immediate is in units of 2 bytes, not bytes.
riscv · Sep 24, 2024 · 07a5036 · 07a5036
1 parent b3ca3a8
commit 07a5036
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/model/riscv_insts_zca.sail b/model/riscv_insts_zca.sail
@@ -377,7 +377,7 @@ function clause execute (C_J(imm)) =
  execute(RISCV_JAL(sign_extend(imm @ 0b0), zreg))
 
 mapping clause assembly = C_J(imm)
- <-> "c.j" ^ spc() ^ hex_bits_signed_11(imm)
+ <-> "c.j" ^ spc() ^ hex_bits_signed_12(imm @ 0b0)
 
 /* ****************************************************************** */
 union clause ast = C_BEQZ : (bits(8), cregidx)