Skip to content

Commit

Permalink
Fix case for Zbkx instruction names
Browse files Browse the repository at this point in the history
  • Loading branch information
Linda-Njau committed Aug 15, 2024
1 parent 4649b88 commit f0765c8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions model/riscv_insts_zbkx.sail
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
/*=======================================================================================*/

/* ****************************************************************** */
$[name "Crossbar permutation (bytes)"]
$[name "crossbar permutation (bytes)"]
union clause ast = RISCV_XPERM8 : (regidx, regidx, regidx)

mapping clause encdec = RISCV_XPERM8(rs2, rs1, rd) if extension("Zbkx")
Expand All @@ -31,7 +31,7 @@ function clause execute (RISCV_XPERM8(rs2, rs1, rd)) = {
}

/* ****************************************************************** */
$[name "Crossbar permutation (nibbles)"]
$[name "crossbar permutation (nibbles)"]
union clause ast = RISCV_XPERM4 : (regidx, regidx, regidx)

mapping clause encdec = RISCV_XPERM4(rs2, rs1, rd) if extension("Zbkx")
Expand Down

0 comments on commit f0765c8

Please sign in to comment.