File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11$pseudo_op rv_zbkb::pack zext.h.rv32 rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..0=0x33
2- $pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
2+ $pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
33$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
Original file line number Diff line number Diff line change 1- $pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
2- $pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
1+ zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
2+ unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
33$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
4- $pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
4+ rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
Original file line number Diff line number Diff line change 11#import zbkb
2- $pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
3- $pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
4- $pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
5- $pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
2+ $pseudo_op rv32_zbkb::zip zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
3+ $pseudo_op rv32_zbkb::unzip unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
4+ $pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
5+ $pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
66
77#import zkne
88$import rv32_zkne::aes32esmi
Original file line number Diff line number Diff line change 11#import zbkb
2- $pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
3- $pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
4- $pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
5- $pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
2+ $pseudo_op rv32_zbkb::zip zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
3+ $pseudo_op rv32_zbkb::unzip unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
4+ $pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
5+ $pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
66
77#import zkne
88$import rv32_zkne::aes32esmi
Original file line number Diff line number Diff line change 11#import zbkb
2- $pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
3- $pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
4- $pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
5- $pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
2+ $pseudo_op rv32_zbkb::zip zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
3+ $pseudo_op rv32_zbkb::unzip unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
4+ $pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
5+ $pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
Original file line number Diff line number Diff line change @@ -6,4 +6,4 @@ rorw rd rs1 rs2 31..25=0x30 14..12=5 6..2=0x0E 1..0=
66roriw rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x06 1..0=3
77rori rd rs1 31..26=0x18 shamtd 14..12=5 6..2=0x04 1..0=3
88$pseudo_op rv64_zbkb::packw zext.h rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..2=0xE 1..0=0x3
9- $pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
9+ rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
Original file line number Diff line number Diff line change 1- $pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
1+ $pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
22$import rv64_zbb::rolw
33$import rv64_zbb::rorw
44$import rv64_zbb::roriw
Original file line number Diff line number Diff line change 11#import zbkb
2- $pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
2+ $pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
33$import rv64_zbb::rolw
44$import rv64_zbb::rorw
55$import rv64_zbb::roriw
Original file line number Diff line number Diff line change 11#import zbkb
2- $pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
2+ $pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
33$import rv64_zbb::rolw
44$import rv64_zbb::rorw
55$import rv64_zbb::roriw
Original file line number Diff line number Diff line change 11#import zbkb
2- $pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
2+ $pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
33$import rv64_zbb::rolw
44$import rv64_zbb::rorw
55$import rv64_zbb::roriw
You can’t perform that action at this time.
0 commit comments