diff options
Diffstat (limited to 'extensions/rv_zksed')
| -rw-r--r-- | extensions/rv_zksed | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extensions/rv_zksed b/extensions/rv_zksed new file mode 100644 index 0000000..7975b5d --- /dev/null +++ b/extensions/rv_zksed @@ -0,0 +1,3 @@ +# Scalar SM4 - RV32, RV64 +sm4ed rd rs1 rs2 bs 29..25=0b11000 14..12=0 6..0=0x33 +sm4ks rd rs1 rs2 bs 29..25=0b11010 14..12=0 6..0=0x33 |