From 98ef45900fbdbe1edf0ce9220e08d60b2912233e Mon Sep 17 00:00:00 2001 From: Neel Gala Date: Fri, 8 Apr 2022 19:14:00 +0530 Subject: migrate Zk*-extension opcodes (major) - significant restructuring of opcodes into files as per new file naming policy --- rv32_zk | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 rv32_zk (limited to 'rv32_zk') diff --git a/rv32_zk b/rv32_zk new file mode 100644 index 0000000..e491103 --- /dev/null +++ b/rv32_zk @@ -0,0 +1,25 @@ +#import zbkb +$pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3 +$pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3 +$pseudo_op rv64_zbb::rori rori rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3 +$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x698 14..12=5 6..0=0x13 + +#import zkne +$import rv32_zkne::aes32esmi +$import rv32_zkne::aes32esi + +#import zknd +# Scalar AES - RV32 +$import rv32_zknd::aes32dsmi +$import rv32_zknd::aes32dsi + + +#import zknh +# Scalar SHA512 - RV32 +$import rv32_zknh::sha512sum0r +$import rv32_zknh::sha512sum1r +$import rv32_zknh::sha512sig0l +$import rv32_zknh::sha512sig0h +$import rv32_zknh::sha512sig1l +$import rv32_zknh::sha512sig1h + -- cgit v1.1