diff options
author | Tim Hutt <timothy.hutt@codasip.com> | 2024-03-06 11:14:14 +0000 |
---|---|---|
committer | Bill McSpadden <bill@riscv.org> | 2024-05-07 20:15:59 -0500 |
commit | f65c4b2c17dfd031581c4faa9939a569a239fce9 (patch) | |
tree | 252faca7859fdc53d1b0b5ead6c9736dee765d71 /model/riscv_insts_zks.sail | |
parent | 5c55b5bb6f6d69dc3ff58a2ce9b25c4e582f6e88 (diff) | |
download | sail-riscv-f65c4b2c17dfd031581c4faa9939a569a239fce9.zip sail-riscv-f65c4b2c17dfd031581c4faa9939a569a239fce9.tar.gz sail-riscv-f65c4b2c17dfd031581c4faa9939a569a239fce9.tar.bz2 |
Add missing decoder guards for crypto extensions
These guards were missing from one side of each clause.
Diffstat (limited to 'model/riscv_insts_zks.sail')
-rw-r--r-- | model/riscv_insts_zks.sail | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/model/riscv_insts_zks.sail b/model/riscv_insts_zks.sail index 002857a..2cb44f1 100644 --- a/model/riscv_insts_zks.sail +++ b/model/riscv_insts_zks.sail @@ -15,10 +15,10 @@ union clause ast = SM3P0 : (regidx, regidx) union clause ast = SM3P1 : (regidx, regidx) mapping clause encdec = SM3P0 (rs1, rd) if haveZksh() - <-> 0b00 @ 0b01000 @ 0b01000 @ rs1 @ 0b001 @ rd @ 0b0010011 + <-> 0b00 @ 0b01000 @ 0b01000 @ rs1 @ 0b001 @ rd @ 0b0010011 if haveZksh() mapping clause encdec = SM3P1 (rs1, rd) if haveZksh() - <-> 0b00 @ 0b01000 @ 0b01001 @ rs1 @ 0b001 @ rd @ 0b0010011 + <-> 0b00 @ 0b01000 @ 0b01001 @ rs1 @ 0b001 @ rd @ 0b0010011 if haveZksh() mapping clause assembly = SM3P0 (rs1, rd) <-> "sm3p0" ^ spc() ^ reg_name(rd) ^ sep() ^ reg_name(rs1) @@ -49,10 +49,10 @@ union clause ast = SM4ED : (bits(2), regidx, regidx, regidx) union clause ast = SM4KS : (bits(2), regidx, regidx, regidx) mapping clause encdec = SM4ED (bs, rs2, rs1, rd) if haveZksed() - <-> bs @ 0b11000 @ rs2 @ rs1 @ 0b000 @ rd @ 0b0110011 + <-> bs @ 0b11000 @ rs2 @ rs1 @ 0b000 @ rd @ 0b0110011 if haveZksed() mapping clause encdec = SM4KS (bs, rs2, rs1, rd) if haveZksed() - <-> bs @ 0b11010 @ rs2 @ rs1 @ 0b000 @ rd @ 0b0110011 + <-> bs @ 0b11010 @ rs2 @ rs1 @ 0b000 @ rd @ 0b0110011 if haveZksed() mapping clause assembly = SM4ED (bs, rs2, rs1, rd) <-> "sm4ed" ^ spc() ^ reg_name(rd) ^ sep() ^ reg_name(rs1) ^ sep() ^ reg_name(rs2) ^ sep() ^ hex_bits_2(bs) |