diff options
Diffstat (limited to 'opcodes-pseudo')
| -rw-r--r-- | opcodes-pseudo | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/opcodes-pseudo b/opcodes-pseudo deleted file mode 100644 index 2cd7c91..0000000 --- a/opcodes-pseudo +++ /dev/null @@ -1,32 +0,0 @@ -# Instructions that differ slightly between rv32 and rv64 -@slli.rv32 rd rs1 31..25=0 shamtw 14..12=1 6..2=0x04 1..0=3 -@srli.rv32 rd rs1 31..25=0 shamtw 14..12=5 6..2=0x04 1..0=3 -@srai.rv32 rd rs1 31..25=32 shamtw 14..12=5 6..2=0x04 1..0=3 - -# SYSTEM pseudo-instructions that map to csr* -@frflags rd 19..15=0 31..20=0x001 14..12=2 6..2=0x1C 1..0=3 -@fsflags rd rs1 31..20=0x001 14..12=1 6..2=0x1C 1..0=3 -@fsflagsi rd zimm 31..20=0x001 14..12=5 6..2=0x1C 1..0=3 -@frrm rd 19..15=0 31..20=0x002 14..12=2 6..2=0x1C 1..0=3 -@fsrm rd rs1 31..20=0x002 14..12=1 6..2=0x1C 1..0=3 -@fsrmi rd zimm 31..20=0x002 14..12=5 6..2=0x1C 1..0=3 -@fscsr rd rs1 31..20=0x003 14..12=1 6..2=0x1C 1..0=3 -@frcsr rd 19..15=0 31..20=0x003 14..12=2 6..2=0x1C 1..0=3 -@rdcycle rd 19..15=0 31..20=0xC00 14..12=2 6..2=0x1C 1..0=3 -@rdtime rd 19..15=0 31..20=0xC01 14..12=2 6..2=0x1C 1..0=3 -@rdinstret rd 19..15=0 31..20=0xC02 14..12=2 6..2=0x1C 1..0=3 -@rdcycleh rd 19..15=0 31..20=0xC80 14..12=2 6..2=0x1C 1..0=3 -@rdtimeh rd 19..15=0 31..20=0xC81 14..12=2 6..2=0x1C 1..0=3 -@rdinstreth rd 19..15=0 31..20=0xC82 14..12=2 6..2=0x1C 1..0=3 - -# Old names for ecall/ebreak -@scall 11..7=0 19..15=0 31..20=0x000 14..12=0 6..2=0x1C 1..0=3 -@sbreak 11..7=0 19..15=0 31..20=0x001 14..12=0 6..2=0x1C 1..0=3 - -# Old names for fmv.x.w/fmv.w.x -@fmv.x.s rd rs1 24..20=0 31..27=0x1C 14..12=0 26..25=0 6..2=0x14 1..0=3 -@fmv.s.x rd rs1 24..20=0 31..27=0x1E 14..12=0 26..25=0 6..2=0x14 1..0=3 - -# specialized fences -@fence.tso 31..28=8 27..24=3 23..20=3 19..15=ignore 14..12=0 11..7=ignore 6..2=0x03 1..0=3 -@pause 31..28=0 27..24=1 23..20=0 19..15=0 14..12=0 11..7=0 6..2=0x03 1..0=3 |