microprobe.target.isa.ISA

class ISA[source]

Bases: ABC

Abstract class to represent an Instruction Set Architecture (ISA).

An instruction set architecture (ISA) object defines the part of the computer architecture related to programming, including instructions, registers, operands, memory operands, etc.

__init__()[source]

Methods

__init__()

add_to_register(register, value)

param register:

branch_to_itself()

branch_unconditional_relative(source, target)

param source:

compare_and_branch(val1, val2, cond, target, ...)

param val1:

full_report()

get_context([variable, tmpl_path])

get_dat(**kwargs)

get_register_for_address_arithmetic(context)

param context:

get_register_for_float_arithmetic(context)

param context:

load(reg, address, context)

param reg:

load_float(reg, address, context)

param reg:

negate_register(reg, context)

param reg:

new_instruction(name)

param name:

nop()

normalize_asm(mnemonic, operands)

randomize_register(register[, seed])

register_value_comparator(comp)

set_context([variable, tmpl_path])

set_register(reg, value, context)

param reg:

set_register_bits(register, value, mask, ...)

param register:

set_register_to_address(reg, address, context)

param reg:

set_target(target)

param target:

store_decimal(address, length, value, context)

param address:

store_float(reg, address, context)

param reg:

store_integer(reg, address, length, context)

param reg:

Attributes

address_registers

context_var

control_registers

description

ISA description (str).

flag_registers

float_registers

instructions

ISA instructions (dict mapping strings to InstructionType).

name

ISA name (str).

path

Path to definition (str).

registers

scratch_registers

scratch_var

target

Associated target object (Target).


property name: str

ISA name (str).

property description: str

ISA description (str).

property path: str

Path to definition (str).

property instructions: Dict[str, 'InstructionType']

ISA instructions (dict mapping strings to InstructionType).

property target: Target

Associated target object (Target).

property registers: Dict[str, Register]
property scratch_registers: List[Register]
property address_registers: List[Register]
property float_registers: List[Register]
property control_registers: List[Register]
property scratch_var: Variable
property context_var
full_report()[source]
set_register(reg: Register, value, context: Context)[source]
Parameters:

  • reg –

  • value –

  • context –

negate_register(reg: Register, context: Context)[source]
Parameters:

  • reg –

  • context –

load(reg: Register, address, context: Context)[source]
Parameters:

  • reg –

  • address –

  • context –

load_float(reg: Register, address, context: Context)[source]
Parameters:

  • reg –

  • address –

  • context –

store_float(reg: Register, address, context: Context)[source]
Parameters:

  • reg –

  • address –

  • context –

store_integer(reg: Register, address, length, context: Context)[source]
Parameters:

  • reg –

  • address –

  • length –

  • context –

store_decimal(address, length, value, context: Context)[source]
Parameters:

  • address –

  • length –

  • value –

  • context –

set_register_to_address(reg: Register, address, context: Context, force_absolute: bool = False, force_relative: bool = False)[source]
Parameters:

  • reg –

  • address –

  • context –

  • force_absolute – (Default value = False)

get_register_for_address_arithmetic(context: Context)[source]
Parameters:

context –

get_register_for_float_arithmetic(context: Context)[source]
Parameters:

context –

set_register_bits(register, value, mask, shift, context: Context)[source]
Parameters:

  • register –

  • value –

  • mask –

  • shift –

  • context –

new_instruction(name: str)[source]
Parameters:

name –

set_target(target: Target)[source]
Parameters:

target –

add_to_register(register: Register, value)[source]
Parameters:

  • register –

  • value –

branch_unconditional_relative(source, target: Target)[source]
Parameters:

  • source –

  • target –

branch_to_itself()[source]
compare_and_branch(val1, val2, cond, target, context: Context)[source]
Parameters:

  • val1 –

  • val2 –

  • cond –

  • target –

  • context –

nop()[source]
property flag_registers
get_dat(**kwargs)[source]
set_context(variable=None, tmpl_path=None)[source]
get_context(variable=None, tmpl_path=None)[source]
register_value_comparator(comp)[source]
normalize_asm(mnemonic, operands)[source]
randomize_register(register, seed=None)[source]