diff options
Diffstat (limited to 'extensions/rv_zk')
| -rw-r--r-- | extensions/rv_zk | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/extensions/rv_zk b/extensions/rv_zk new file mode 100644 index 0000000..dc60ee5 --- /dev/null +++ b/extensions/rv_zk @@ -0,0 +1,24 @@ +# import zbkb +$import rv_zbb::rol +$import rv_zbb::ror +$import rv_zbb::andn +$import rv_zbb::orn +$import rv_zbb::xnor +$import rv_zbkb::pack +$import rv_zbkb::packh +$pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3 + +#import zbkc +$import rv_zbc::clmul +$import rv_zbc::clmulh + +#import zbkx +$import rv_zbkx::xperm4 +$import rv_zbkx::xperm8 + +#import zknh +# Scalar SHA256 - RV32/RV64 +$import rv_zknh::sha256sum0 +$import rv_zknh::sha256sum1 +$import rv_zknh::sha256sig0 +$import rv_zknh::sha256sig1 |