aboutsummaryrefslogtreecommitdiff
path: root/unratified/rv128_i
diff options
context:
space:
mode:
Diffstat (limited to 'unratified/rv128_i')
-rw-r--r--unratified/rv128_i7
1 files changed, 3 insertions, 4 deletions
diff --git a/unratified/rv128_i b/unratified/rv128_i
index 05c521e..191d61a 100644
--- a/unratified/rv128_i
+++ b/unratified/rv128_i
@@ -16,7 +16,6 @@ ldu rd rs1 imm12 14..12=7 6..2=0x00 1..0=3
sq imm12hi rs1 rs2 imm12lo 14..12=4 6..2=0x08 1..0=3
-# RV32 and RV64 versions of these are in opcodes-pseudo
-slli rd rs1 31..27=0 shamtq 14..12=1 6..2=0x04 1..0=3
-srli rd rs1 31..27=0 shamtq 14..12=5 6..2=0x04 1..0=3
-srai rd rs1 31..27=8 shamtq 14..12=5 6..2=0x04 1..0=3
+$pseudo_op rv64_i::slli slli_rv128 rd rs1 31..27=0 shamtq 14..12=1 6..2=0x04 1..0=3
+$pseudo_op rv64_i::srli srli_rv128 rd rs1 31..27=0 shamtq 14..12=5 6..2=0x04 1..0=3
+$pseudo_op rv64_i::srai srai_rv128 rd rs1 31..27=8 shamtq 14..12=5 6..2=0x04 1..0=3