From 638198c2d4d358ffe798fca57e7cee8f81f5f788 Mon Sep 17 00:00:00 2001 From: Ved Shanbhogue <91900059+ved-rivos@users.noreply.github.com> Date: Sun, 5 May 2024 17:59:43 -0500 Subject: Mark Zihintntl, Zicond, Zfa, Zbkb, and Zvbc as ratified (#246) * Mark Zihintntl as ratified * Mark Zicond as ratified * Mark Zfa as ratified * Mark Zvbc as ratified * Mark Zbkb ratified * Mark xperm4/8 of Zbkx as ratified * Update Zbkb - remove Zbe --- rv32_d_zfa | 2 ++ rv32_zbb | 2 +- rv64_q_zfa | 2 ++ rv64_zbb | 2 +- rv64_zbkb | 2 +- rv64_zk | 2 +- rv64_zkn | 2 +- rv64_zks | 2 +- rv_c_zihintntl | 4 ++++ rv_d_zfa | 8 ++++++++ rv_f_zfa | 7 +++++++ rv_q_zfa | 7 +++++++ rv_zbkb | 4 ++-- rv_zbkx | 4 ++-- rv_zfh_zfa | 7 +++++++ rv_zicond | 3 +++ rv_zihintntl | 4 ++++ rv_zk | 8 ++++---- rv_zkn | 8 ++++---- rv_zks | 8 ++++---- rv_zvbc | 9 +++++++++ unratified/rv32_d_zfa | 2 -- unratified/rv64_q_zfa | 2 -- unratified/rv64_zbe | 2 -- unratified/rv_c_zihintntl | 4 ---- unratified/rv_d_zfa | 8 -------- unratified/rv_f_zfa | 7 ------- unratified/rv_q_zfa | 7 ------- unratified/rv_zbe | 3 --- unratified/rv_zbp | 2 -- unratified/rv_zfh_zfa | 7 ------- unratified/rv_zicond | 3 --- unratified/rv_zihintntl | 4 ---- unratified/rv_zvbc | 9 --------- 34 files changed, 75 insertions(+), 82 deletions(-) create mode 100644 rv32_d_zfa create mode 100644 rv64_q_zfa create mode 100644 rv_c_zihintntl create mode 100644 rv_d_zfa create mode 100644 rv_f_zfa create mode 100644 rv_q_zfa create mode 100644 rv_zfh_zfa create mode 100644 rv_zicond create mode 100644 rv_zihintntl create mode 100644 rv_zvbc delete mode 100644 unratified/rv32_d_zfa delete mode 100644 unratified/rv64_q_zfa delete mode 100644 unratified/rv64_zbe delete mode 100644 unratified/rv_c_zihintntl delete mode 100644 unratified/rv_d_zfa delete mode 100644 unratified/rv_f_zfa delete mode 100644 unratified/rv_q_zfa delete mode 100644 unratified/rv_zbe delete mode 100644 unratified/rv_zfh_zfa delete mode 100644 unratified/rv_zicond delete mode 100644 unratified/rv_zihintntl delete mode 100644 unratified/rv_zvbc diff --git a/rv32_d_zfa b/rv32_d_zfa new file mode 100644 index 0000000..8a543e7 --- /dev/null +++ b/rv32_d_zfa @@ -0,0 +1,2 @@ +fmvh.x.d rd rs1 24..20=1 31..27=0x1C 14..12=0 26..25=1 6..2=0x14 1..0=3 +fmvp.d.x rd rs1 rs2 31..27=0x16 14..12=0 26..25=1 6..2=0x14 1..0=3 diff --git a/rv32_zbb b/rv32_zbb index c194725..bc23350 100644 --- a/rv32_zbb +++ b/rv32_zbb @@ -1,3 +1,3 @@ -$pseudo_op rv_zbe::pack zext.h.rv32 rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..0=0x33 +$pseudo_op rv_zbkb::pack zext.h.rv32 rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..0=0x33 $pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13 $pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3 diff --git a/rv64_q_zfa b/rv64_q_zfa new file mode 100644 index 0000000..be33e4e --- /dev/null +++ b/rv64_q_zfa @@ -0,0 +1,2 @@ +fmvh.x.q rd rs1 24..20=1 31..27=0x1C 14..12=0 26..25=3 6..2=0x14 1..0=3 +fmvp.q.x rd rs1 rs2 31..27=0x16 14..12=0 26..25=3 6..2=0x14 1..0=3 diff --git a/rv64_zbb b/rv64_zbb index 4a8b24a..c7e4e8c 100644 --- a/rv64_zbb +++ b/rv64_zbb @@ -5,5 +5,5 @@ rolw rd rs1 rs2 31..25=0x30 14..12=1 6..2=0x0E 1..0= rorw rd rs1 rs2 31..25=0x30 14..12=5 6..2=0x0E 1..0=3 roriw rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x06 1..0=3 rori rd rs1 31..26=0x18 shamtd 14..12=5 6..2=0x04 1..0=3 -$pseudo_op rv64_zbe::packw zext.h rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..2=0xE 1..0=0x3 +$pseudo_op rv64_zbkb::packw zext.h rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..2=0xE 1..0=0x3 $pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13 diff --git a/rv64_zbkb b/rv64_zbkb index ad2f4a9..b5e0606 100644 --- a/rv64_zbkb +++ b/rv64_zbkb @@ -3,4 +3,4 @@ $import rv64_zbb::rolw $import rv64_zbb::rorw $import rv64_zbb::roriw $import rv64_zbb::rori -$import rv64_zbe::packw +packw rd rs1 rs2 31..25=4 14..12=4 6..2=0x0E 1..0=3 diff --git a/rv64_zk b/rv64_zk index 0ebf71d..891f48a 100644 --- a/rv64_zk +++ b/rv64_zk @@ -4,7 +4,7 @@ $import rv64_zbb::rolw $import rv64_zbb::rorw $import rv64_zbb::roriw $import rv64_zbb::rori -$import rv64_zbe::packw +$import rv64_zbkb::packw #import zkne # Scalar AES - RV64 diff --git a/rv64_zkn b/rv64_zkn index 0ebf71d..891f48a 100644 --- a/rv64_zkn +++ b/rv64_zkn @@ -4,7 +4,7 @@ $import rv64_zbb::rolw $import rv64_zbb::rorw $import rv64_zbb::roriw $import rv64_zbb::rori -$import rv64_zbe::packw +$import rv64_zbkb::packw #import zkne # Scalar AES - RV64 diff --git a/rv64_zks b/rv64_zks index 6bbad27..848a283 100644 --- a/rv64_zks +++ b/rv64_zks @@ -4,4 +4,4 @@ $import rv64_zbb::rolw $import rv64_zbb::rorw $import rv64_zbb::roriw $import rv64_zbb::rori -$import rv64_zbe::packw +$import rv64_zbkb::packw diff --git a/rv_c_zihintntl b/rv_c_zihintntl new file mode 100644 index 0000000..f31177b --- /dev/null +++ b/rv_c_zihintntl @@ -0,0 +1,4 @@ +$pseudo_op rv_c::c.add c.ntl.p1 1..0=2 6..2=2 11..7=0 15..13=4 12=1 +$pseudo_op rv_c::c.add c.ntl.pall 1..0=2 6..2=3 11..7=0 15..13=4 12=1 +$pseudo_op rv_c::c.add c.ntl.s1 1..0=2 6..2=4 11..7=0 15..13=4 12=1 +$pseudo_op rv_c::c.add c.ntl.all 1..0=2 6..2=5 11..7=0 15..13=4 12=1 diff --git a/rv_d_zfa b/rv_d_zfa new file mode 100644 index 0000000..7158eef --- /dev/null +++ b/rv_d_zfa @@ -0,0 +1,8 @@ +fli.d rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=1 6..2=0x14 1..0=3 +fminm.d rd rs1 rs2 31..27=0x05 14..12=2 26..25=1 6..2=0x14 1..0=3 +fmaxm.d rd rs1 rs2 31..27=0x05 14..12=3 26..25=1 6..2=0x14 1..0=3 +fround.d rd rs1 24..20=4 31..27=0x08 rm 26..25=1 6..2=0x14 1..0=3 +froundnx.d rd rs1 24..20=5 31..27=0x08 rm 26..25=1 6..2=0x14 1..0=3 +fcvtmod.w.d rd rs1 24..20=8 31..27=0x18 14..12=1 26..25=1 6..2=0x14 1..0=3 +fleq.d rd rs1 rs2 31..27=0x14 14..12=4 26..25=1 6..2=0x14 1..0=3 +fltq.d rd rs1 rs2 31..27=0x14 14..12=5 26..25=1 6..2=0x14 1..0=3 diff --git a/rv_f_zfa b/rv_f_zfa new file mode 100644 index 0000000..045fc27 --- /dev/null +++ b/rv_f_zfa @@ -0,0 +1,7 @@ +fli.s rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=0 6..2=0x14 1..0=3 +fminm.s rd rs1 rs2 31..27=0x05 14..12=2 26..25=0 6..2=0x14 1..0=3 +fmaxm.s rd rs1 rs2 31..27=0x05 14..12=3 26..25=0 6..2=0x14 1..0=3 +fround.s rd rs1 24..20=4 31..27=0x08 rm 26..25=0 6..2=0x14 1..0=3 +froundnx.s rd rs1 24..20=5 31..27=0x08 rm 26..25=0 6..2=0x14 1..0=3 +fleq.s rd rs1 rs2 31..27=0x14 14..12=4 26..25=0 6..2=0x14 1..0=3 +fltq.s rd rs1 rs2 31..27=0x14 14..12=5 26..25=0 6..2=0x14 1..0=3 diff --git a/rv_q_zfa b/rv_q_zfa new file mode 100644 index 0000000..da45f9d --- /dev/null +++ b/rv_q_zfa @@ -0,0 +1,7 @@ +fli.q rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=3 6..2=0x14 1..0=3 +fminm.q rd rs1 rs2 31..27=0x05 14..12=2 26..25=3 6..2=0x14 1..0=3 +fmaxm.q rd rs1 rs2 31..27=0x05 14..12=3 26..25=3 6..2=0x14 1..0=3 +fround.q rd rs1 24..20=4 31..27=0x08 rm 26..25=3 6..2=0x14 1..0=3 +froundnx.q rd rs1 24..20=5 31..27=0x08 rm 26..25=3 6..2=0x14 1..0=3 +fleq.q rd rs1 rs2 31..27=0x14 14..12=4 26..25=3 6..2=0x14 1..0=3 +fltq.q rd rs1 rs2 31..27=0x14 14..12=5 26..25=3 6..2=0x14 1..0=3 diff --git a/rv_zbkb b/rv_zbkb index 1499d78..d3f2f8d 100644 --- a/rv_zbkb +++ b/rv_zbkb @@ -3,6 +3,6 @@ $import rv_zbb::ror $import rv_zbb::andn $import rv_zbb::orn $import rv_zbb::xnor -$import rv_zbe::pack -$import rv_zbe::packh +pack rd rs1 rs2 31..25=4 14..12=4 6..2=0x0C 1..0=3 +packh rd rs1 rs2 31..25=4 14..12=7 6..2=0x0C 1..0=3 $pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3 diff --git a/rv_zbkx b/rv_zbkx index f6b64d9..12bc0b4 100644 --- a/rv_zbkx +++ b/rv_zbkx @@ -1,2 +1,2 @@ -$import rv_zbp::xperm4 -$import rv_zbp::xperm8 +xperm4 rd rs1 rs2 31..25=20 14..12=2 6..2=0x0C 1..0=3 +xperm8 rd rs1 rs2 31..25=20 14..12=4 6..2=0x0C 1..0=3 diff --git a/rv_zfh_zfa b/rv_zfh_zfa new file mode 100644 index 0000000..f92d7a9 --- /dev/null +++ b/rv_zfh_zfa @@ -0,0 +1,7 @@ +fli.h rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=2 6..2=0x14 1..0=3 +fminm.h rd rs1 rs2 31..27=0x05 14..12=2 26..25=2 6..2=0x14 1..0=3 +fmaxm.h rd rs1 rs2 31..27=0x05 14..12=3 26..25=2 6..2=0x14 1..0=3 +fround.h rd rs1 24..20=4 31..27=0x08 rm 26..25=2 6..2=0x14 1..0=3 +froundnx.h rd rs1 24..20=5 31..27=0x08 rm 26..25=2 6..2=0x14 1..0=3 +fleq.h rd rs1 rs2 31..27=0x14 14..12=4 26..25=2 6..2=0x14 1..0=3 +fltq.h rd rs1 rs2 31..27=0x14 14..12=5 26..25=2 6..2=0x14 1..0=3 diff --git a/rv_zicond b/rv_zicond new file mode 100644 index 0000000..88e67bf --- /dev/null +++ b/rv_zicond @@ -0,0 +1,3 @@ +czero.eqz rd rs1 rs2 31..25=7 14..12=5 6..2=0x0C 1..0=3 +czero.nez rd rs1 rs2 31..25=7 14..12=7 6..2=0x0C 1..0=3 + diff --git a/rv_zihintntl b/rv_zihintntl new file mode 100644 index 0000000..56de9ea --- /dev/null +++ b/rv_zihintntl @@ -0,0 +1,4 @@ +$pseudo_op rv_i::add ntl.p1 31..25=0 24..20=2 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 +$pseudo_op rv_i::add ntl.pall 31..25=0 24..20=3 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 +$pseudo_op rv_i::add ntl.s1 31..25=0 24..20=4 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 +$pseudo_op rv_i::add ntl.all 31..25=0 24..20=5 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 diff --git a/rv_zk b/rv_zk index c4dc854..dc60ee5 100644 --- a/rv_zk +++ b/rv_zk @@ -4,8 +4,8 @@ $import rv_zbb::ror $import rv_zbb::andn $import rv_zbb::orn $import rv_zbb::xnor -$import rv_zbe::pack -$import rv_zbe::packh +$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 @@ -13,8 +13,8 @@ $import rv_zbc::clmul $import rv_zbc::clmulh #import zbkx -$import rv_zbp::xperm4 -$import rv_zbp::xperm8 +$import rv_zbkx::xperm4 +$import rv_zbkx::xperm8 #import zknh # Scalar SHA256 - RV32/RV64 diff --git a/rv_zkn b/rv_zkn index c4dc854..dc60ee5 100644 --- a/rv_zkn +++ b/rv_zkn @@ -4,8 +4,8 @@ $import rv_zbb::ror $import rv_zbb::andn $import rv_zbb::orn $import rv_zbb::xnor -$import rv_zbe::pack -$import rv_zbe::packh +$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 @@ -13,8 +13,8 @@ $import rv_zbc::clmul $import rv_zbc::clmulh #import zbkx -$import rv_zbp::xperm4 -$import rv_zbp::xperm8 +$import rv_zbkx::xperm4 +$import rv_zbkx::xperm8 #import zknh # Scalar SHA256 - RV32/RV64 diff --git a/rv_zks b/rv_zks index f88a09b..0a57115 100644 --- a/rv_zks +++ b/rv_zks @@ -4,8 +4,8 @@ $import rv_zbb::ror $import rv_zbb::andn $import rv_zbb::orn $import rv_zbb::xnor -$import rv_zbe::pack -$import rv_zbe::packh +$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 @@ -13,8 +13,8 @@ $import rv_zbc::clmul $import rv_zbc::clmulh #import zbkx -$import rv_zbp::xperm4 -$import rv_zbp::xperm8 +$import rv_zbkx::xperm4 +$import rv_zbkx::xperm8 # Scalar SM4 - RV32, RV64 $import rv_zksed::sm4ed diff --git a/rv_zvbc b/rv_zvbc new file mode 100644 index 0000000..95bf431 --- /dev/null +++ b/rv_zvbc @@ -0,0 +1,9 @@ +# Zvbc - Vector Carryless Multiplication + +# Carryless Multiply +vclmul.vv 31..26=0x0C vm vs2 vs1 14..12=0x2 vd 6..0=0x57 +vclmul.vx 31..26=0x0C vm vs2 rs1 14..12=0x6 vd 6..0=0x57 + +# Carryless Multiply (High) +vclmulh.vv 31..26=0x0D vm vs2 vs1 14..12=0x2 vd 6..0=0x57 +vclmulh.vx 31..26=0x0D vm vs2 rs1 14..12=0x6 vd 6..0=0x57 diff --git a/unratified/rv32_d_zfa b/unratified/rv32_d_zfa deleted file mode 100644 index 8a543e7..0000000 --- a/unratified/rv32_d_zfa +++ /dev/null @@ -1,2 +0,0 @@ -fmvh.x.d rd rs1 24..20=1 31..27=0x1C 14..12=0 26..25=1 6..2=0x14 1..0=3 -fmvp.d.x rd rs1 rs2 31..27=0x16 14..12=0 26..25=1 6..2=0x14 1..0=3 diff --git a/unratified/rv64_q_zfa b/unratified/rv64_q_zfa deleted file mode 100644 index be33e4e..0000000 --- a/unratified/rv64_q_zfa +++ /dev/null @@ -1,2 +0,0 @@ -fmvh.x.q rd rs1 24..20=1 31..27=0x1C 14..12=0 26..25=3 6..2=0x14 1..0=3 -fmvp.q.x rd rs1 rs2 31..27=0x16 14..12=0 26..25=3 6..2=0x14 1..0=3 diff --git a/unratified/rv64_zbe b/unratified/rv64_zbe deleted file mode 100644 index 185b2f0..0000000 --- a/unratified/rv64_zbe +++ /dev/null @@ -1,2 +0,0 @@ -packw rd rs1 rs2 31..25=4 14..12=4 6..2=0x0E 1..0=3 - diff --git a/unratified/rv_c_zihintntl b/unratified/rv_c_zihintntl deleted file mode 100644 index f31177b..0000000 --- a/unratified/rv_c_zihintntl +++ /dev/null @@ -1,4 +0,0 @@ -$pseudo_op rv_c::c.add c.ntl.p1 1..0=2 6..2=2 11..7=0 15..13=4 12=1 -$pseudo_op rv_c::c.add c.ntl.pall 1..0=2 6..2=3 11..7=0 15..13=4 12=1 -$pseudo_op rv_c::c.add c.ntl.s1 1..0=2 6..2=4 11..7=0 15..13=4 12=1 -$pseudo_op rv_c::c.add c.ntl.all 1..0=2 6..2=5 11..7=0 15..13=4 12=1 diff --git a/unratified/rv_d_zfa b/unratified/rv_d_zfa deleted file mode 100644 index 7158eef..0000000 --- a/unratified/rv_d_zfa +++ /dev/null @@ -1,8 +0,0 @@ -fli.d rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=1 6..2=0x14 1..0=3 -fminm.d rd rs1 rs2 31..27=0x05 14..12=2 26..25=1 6..2=0x14 1..0=3 -fmaxm.d rd rs1 rs2 31..27=0x05 14..12=3 26..25=1 6..2=0x14 1..0=3 -fround.d rd rs1 24..20=4 31..27=0x08 rm 26..25=1 6..2=0x14 1..0=3 -froundnx.d rd rs1 24..20=5 31..27=0x08 rm 26..25=1 6..2=0x14 1..0=3 -fcvtmod.w.d rd rs1 24..20=8 31..27=0x18 14..12=1 26..25=1 6..2=0x14 1..0=3 -fleq.d rd rs1 rs2 31..27=0x14 14..12=4 26..25=1 6..2=0x14 1..0=3 -fltq.d rd rs1 rs2 31..27=0x14 14..12=5 26..25=1 6..2=0x14 1..0=3 diff --git a/unratified/rv_f_zfa b/unratified/rv_f_zfa deleted file mode 100644 index 045fc27..0000000 --- a/unratified/rv_f_zfa +++ /dev/null @@ -1,7 +0,0 @@ -fli.s rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=0 6..2=0x14 1..0=3 -fminm.s rd rs1 rs2 31..27=0x05 14..12=2 26..25=0 6..2=0x14 1..0=3 -fmaxm.s rd rs1 rs2 31..27=0x05 14..12=3 26..25=0 6..2=0x14 1..0=3 -fround.s rd rs1 24..20=4 31..27=0x08 rm 26..25=0 6..2=0x14 1..0=3 -froundnx.s rd rs1 24..20=5 31..27=0x08 rm 26..25=0 6..2=0x14 1..0=3 -fleq.s rd rs1 rs2 31..27=0x14 14..12=4 26..25=0 6..2=0x14 1..0=3 -fltq.s rd rs1 rs2 31..27=0x14 14..12=5 26..25=0 6..2=0x14 1..0=3 diff --git a/unratified/rv_q_zfa b/unratified/rv_q_zfa deleted file mode 100644 index da45f9d..0000000 --- a/unratified/rv_q_zfa +++ /dev/null @@ -1,7 +0,0 @@ -fli.q rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=3 6..2=0x14 1..0=3 -fminm.q rd rs1 rs2 31..27=0x05 14..12=2 26..25=3 6..2=0x14 1..0=3 -fmaxm.q rd rs1 rs2 31..27=0x05 14..12=3 26..25=3 6..2=0x14 1..0=3 -fround.q rd rs1 24..20=4 31..27=0x08 rm 26..25=3 6..2=0x14 1..0=3 -froundnx.q rd rs1 24..20=5 31..27=0x08 rm 26..25=3 6..2=0x14 1..0=3 -fleq.q rd rs1 rs2 31..27=0x14 14..12=4 26..25=3 6..2=0x14 1..0=3 -fltq.q rd rs1 rs2 31..27=0x14 14..12=5 26..25=3 6..2=0x14 1..0=3 diff --git a/unratified/rv_zbe b/unratified/rv_zbe deleted file mode 100644 index 492e943..0000000 --- a/unratified/rv_zbe +++ /dev/null @@ -1,3 +0,0 @@ -pack rd rs1 rs2 31..25=4 14..12=4 6..2=0x0C 1..0=3 -packh rd rs1 rs2 31..25=4 14..12=7 6..2=0x0C 1..0=3 - diff --git a/unratified/rv_zbp b/unratified/rv_zbp index 61c47d3..bd95dd2 100644 --- a/unratified/rv_zbp +++ b/unratified/rv_zbp @@ -1,3 +1 @@ -xperm4 rd rs1 rs2 31..25=20 14..12=2 6..2=0x0C 1..0=3 -xperm8 rd rs1 rs2 31..25=20 14..12=4 6..2=0x0C 1..0=3 xperm16 rd rs1 rs2 31..25=20 14..12=6 6..2=0x0C 1..0=3 diff --git a/unratified/rv_zfh_zfa b/unratified/rv_zfh_zfa deleted file mode 100644 index f92d7a9..0000000 --- a/unratified/rv_zfh_zfa +++ /dev/null @@ -1,7 +0,0 @@ -fli.h rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=2 6..2=0x14 1..0=3 -fminm.h rd rs1 rs2 31..27=0x05 14..12=2 26..25=2 6..2=0x14 1..0=3 -fmaxm.h rd rs1 rs2 31..27=0x05 14..12=3 26..25=2 6..2=0x14 1..0=3 -fround.h rd rs1 24..20=4 31..27=0x08 rm 26..25=2 6..2=0x14 1..0=3 -froundnx.h rd rs1 24..20=5 31..27=0x08 rm 26..25=2 6..2=0x14 1..0=3 -fleq.h rd rs1 rs2 31..27=0x14 14..12=4 26..25=2 6..2=0x14 1..0=3 -fltq.h rd rs1 rs2 31..27=0x14 14..12=5 26..25=2 6..2=0x14 1..0=3 diff --git a/unratified/rv_zicond b/unratified/rv_zicond deleted file mode 100644 index 88e67bf..0000000 --- a/unratified/rv_zicond +++ /dev/null @@ -1,3 +0,0 @@ -czero.eqz rd rs1 rs2 31..25=7 14..12=5 6..2=0x0C 1..0=3 -czero.nez rd rs1 rs2 31..25=7 14..12=7 6..2=0x0C 1..0=3 - diff --git a/unratified/rv_zihintntl b/unratified/rv_zihintntl deleted file mode 100644 index 56de9ea..0000000 --- a/unratified/rv_zihintntl +++ /dev/null @@ -1,4 +0,0 @@ -$pseudo_op rv_i::add ntl.p1 31..25=0 24..20=2 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 -$pseudo_op rv_i::add ntl.pall 31..25=0 24..20=3 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 -$pseudo_op rv_i::add ntl.s1 31..25=0 24..20=4 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 -$pseudo_op rv_i::add ntl.all 31..25=0 24..20=5 19..15=0 14..12=0 11..7=0 6..2=0x0C 1..0=3 diff --git a/unratified/rv_zvbc b/unratified/rv_zvbc deleted file mode 100644 index 95bf431..0000000 --- a/unratified/rv_zvbc +++ /dev/null @@ -1,9 +0,0 @@ -# Zvbc - Vector Carryless Multiplication - -# Carryless Multiply -vclmul.vv 31..26=0x0C vm vs2 vs1 14..12=0x2 vd 6..0=0x57 -vclmul.vx 31..26=0x0C vm vs2 rs1 14..12=0x6 vd 6..0=0x57 - -# Carryless Multiply (High) -vclmulh.vv 31..26=0x0D vm vs2 vs1 14..12=0x2 vd 6..0=0x57 -vclmulh.vx 31..26=0x0D vm vs2 rs1 14..12=0x6 vd 6..0=0x57 -- cgit v1.1