Lerking/OSACA
1
0
Fork 0
mirror of https://github.com/RRZE-HPC/OSACA.git synced 2026-01-05 02:30:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

check for non-GAS-suffix mnemonics for instruction forms with MEM ops

Browse Source
This commit is contained in:
JanLJL
2020-01-09 13:21:11 +01:00
parent 59402a0837
commit 4d6d8d9379
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
osaca/semantics/arch_semantics.py
View File

@@ -10,6 +10,8 @@ from .isa_semantics import INSTR_FLAGS, ISASemantics
class ArchSemantics(ISASemantics):
GAS_SUFFIXES = 'bswlqt'
def __init__(self, machine_model: MachineModel, path_to_yaml=None):
super().__init__(machine_model.get_ISA().lower(), path_to_yaml=path_to_yaml)
self._machine_model = machine_model
@@ -128,8 +130,9 @@ class ArchSemantics(ISASemantics):
if (
not instruction_data
and self._isa == 'x86'
and instruction_form['instruction'][-1] in 'bwlq'
and instruction_form['instruction'][-1] in self.GAS_SUFFIXES
):
# check for instruction without GAS suffix
instruction_data = self._machine_model.get_instruction(
instruction_form['instruction'][:-1], instruction_form['operands']
)
@@ -153,6 +156,15 @@ class ArchSemantics(ISASemantics):
instruction_data_reg = self._machine_model.get_instruction(
instruction_form['instruction'], operands
)
if (
not instruction_data_reg
and self._isa == 'x86'
and instruction_form['instruction'][-1] in self.GAS_SUFFIXES
):
# check for instruction without GAS suffix
instruction_data_reg = self._machine_model.get_instruction(
instruction_form['instruction'][:-1], operands
)
if instruction_data_reg:
assign_unknown = False
reg_types = [