From 08ca2b1ed5fcce8d08bd61a861e71f6e222905eb Mon Sep 17 00:00:00 2001 From: "Pavel I. Kryukov" Date: Thu, 9 Jun 2022 15:27:43 +0300 Subject: Check for overlaps between different fields (#122) --- unratified/rv64_zbp | 4 ++-- unratified/rv64_zbt | 2 +- unratified/rv_b | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) (limited to 'unratified') diff --git a/unratified/rv64_zbp b/unratified/rv64_zbp index f8c06bd..6ffc33f 100644 --- a/unratified/rv64_zbp +++ b/unratified/rv64_zbp @@ -1,5 +1,5 @@ -grevi rd rs1 31..26=26 shamt 14..12=5 6..2=0x04 1..0=3 -gorci rd rs1 31..26=10 shamt 14..12=5 6..2=0x04 1..0=3 +grevi rd rs1 31..26=26 shamtd 14..12=5 6..2=0x04 1..0=3 +gorci rd rs1 31..26=10 shamtd 14..12=5 6..2=0x04 1..0=3 shfli rd rs1 31..26=2 25=0 shamtw 14..12=1 6..2=0x04 1..0=3 unshfli rd rs1 31..26=2 25=0 shamtw 14..12=5 6..2=0x04 1..0=3 $import rv64_zbe::packw diff --git a/unratified/rv64_zbt b/unratified/rv64_zbt index fcb84b5..d009b73 100644 --- a/unratified/rv64_zbt +++ b/unratified/rv64_zbt @@ -1,6 +1,6 @@ fslw rd rs1 rs2 rs3 26..25=2 14..12=1 6..2=0x0E 1..0=3 fsrw rd rs1 rs2 rs3 26..25=2 14..12=5 6..2=0x0E 1..0=3 fsriw rd rs1 rs3 26..25=2 shamtw 14..12=5 6..2=0x06 1..0=3 -fsri rd rs1 rs3 26=1 shamt 14..12=5 6..2=0x04 1..0=3 +fsri rd rs1 rs3 26=1 shamtd 14..12=5 6..2=0x04 1..0=3 diff --git a/unratified/rv_b b/unratified/rv_b index 4fe7ef0..b0b68b0 100644 --- a/unratified/rv_b +++ b/unratified/rv_b @@ -3,8 +3,8 @@ slo rd rs1 rs2 31..25=16 14..12=1 6..2=0x0C 1..0=3 sro rd rs1 rs2 31..25=16 14..12=5 6..2=0x0C 1..0=3 -sloi rd rs1 31..26=8 shamt 14..12=1 6..2=0x04 1..0=3 -sroi rd rs1 31..26=8 shamt 14..12=5 6..2=0x04 1..0=3 +sloi rd rs1 31..26=8 shamtd 14..12=1 6..2=0x04 1..0=3 +sroi rd rs1 31..26=8 shamtd 14..12=5 6..2=0x04 1..0=3 -- cgit v1.1