diff options
Diffstat (limited to 'extensions/rv64_zks')
| -rw-r--r-- | extensions/rv64_zks | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/extensions/rv64_zks b/extensions/rv64_zks new file mode 100644 index 0000000..848a283 --- /dev/null +++ b/extensions/rv64_zks @@ -0,0 +1,7 @@ +#import zbkb +$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13 +$import rv64_zbb::rolw +$import rv64_zbb::rorw +$import rv64_zbb::roriw +$import rv64_zbb::rori +$import rv64_zbkb::packw |