81 lines
2.4 KiB
Python
81 lines
2.4 KiB
Python
"""
|
|
Intel Encoding recipes.
|
|
"""
|
|
from __future__ import absolute_import
|
|
from cdsl.isa import EncRecipe
|
|
from cdsl.predicates import IsSignedInt
|
|
from base.formats import Binary, BinaryImm
|
|
from .registers import GPR
|
|
|
|
# Opcode representation.
|
|
#
|
|
# Cretonne requires each recipe to have a single encoding size in bytes, and
|
|
# Intel opcodes are variable length, so we use separate recipes for different
|
|
# styles of opcodes and prefixes. The opcode format is indicated by the recipe
|
|
# name prefix:
|
|
#
|
|
# <op> Op1* OP(op)
|
|
# 0F <op> Op2* OP(op)
|
|
# 0F 38 <op> Op3* OP38(op)
|
|
# 0F 3A <op> Op3* OP3A(op)
|
|
# 66 <op> Mp1* MP66(op)
|
|
# 66 0F <op> Mp2* MP66(op)
|
|
# 66 0F 38 <op> Mp3* MP6638(op)
|
|
# 66 0F 3A <op> Mp3* MP663A(op)
|
|
# F2 <op> Mp1* MPF2(op)
|
|
# F2 0F <op> Mp2* MPF2(op)
|
|
# F2 0F 38 <op> Mp3* MPF238(op)
|
|
# F2 0F 3A <op> Mp3* MPF23A(op)
|
|
# F3 <op> Mp1* MPF3(op)
|
|
# F3 0F <op> Mp2* MPF3(op)
|
|
# F3 0F 38 <op> Mp3* MPF338(op)
|
|
# F3 0F 3A <op> Mp3* MPF33A(op)
|
|
#
|
|
# VEX/XOP and EVEX prefixes are not yet supported.
|
|
#
|
|
# The encoding bits are:
|
|
#
|
|
# 0-7: The opcode byte <op>.
|
|
# 8-9: pp, mandatory prefix:
|
|
# 00 none (Op*)
|
|
# 01 66 (Mp*)
|
|
# 10 F3 (Mp*)
|
|
# 11 F2 (Mp*)
|
|
# 10-11: mm, opcode map:
|
|
# 00 <op> (Op1/Mp1)
|
|
# 01 0F <op> (Op2/Mp2)
|
|
# 10 0F 38 <op> (Op3/Mp3)
|
|
# 11 0F 3A <op> (Op3/Mp3)
|
|
# 12-14 rrr, opcode bits for the ModR/M byte for certain opcodes.
|
|
# 15: REX.W bit (or VEX.W/E)
|
|
#
|
|
# There is some redundancy between bits 8-11 and the recipe names, but we have
|
|
# enough bits, and the pp+mm format is ready for supporting VEX prefixes.
|
|
|
|
|
|
def OP(op, pp=0, mm=0, rrr=0, w=0):
|
|
# type: (int, int, int, int, int) -> int
|
|
assert op <= 0xff
|
|
assert pp <= 0b11
|
|
assert mm <= 0b11
|
|
assert rrr <= 0b111
|
|
assert w <= 1
|
|
return op | (pp << 8) | (mm << 10) | (rrr << 12) | (w << 15)
|
|
|
|
|
|
# XX /r
|
|
Op1rr = EncRecipe('Op1rr', Binary, size=2, ins=(GPR, GPR), outs=0)
|
|
|
|
# XX /n with one arg in %rcx, for shifts.
|
|
Op1rc = EncRecipe('Op1rc', Binary, size=2, ins=(GPR, GPR.rcx), outs=0)
|
|
|
|
# XX /n ib with 8-bit immediate sign-extended.
|
|
Op1rib = EncRecipe(
|
|
'Op1rib', BinaryImm, size=3, ins=GPR, outs=0,
|
|
instp=IsSignedInt(BinaryImm.imm, 8))
|
|
|
|
# XX /n id with 32-bit immediate sign-extended.
|
|
Op1rid = EncRecipe(
|
|
'Op1rid', BinaryImm, size=6, ins=GPR, outs=0,
|
|
instp=IsSignedInt(BinaryImm.imm, 32))
|