Struct InstructionHandler

pub struct InstructionHandler { /* private fields */ }

A struct that allows setting optional overrides for key Instruction methods.

A common use case for this is to support custom PRAGMA instructions, which are treated as classical style no-ops by default.

Implementations

impl InstructionHandler

pub fn set_is_scheduled<F>(self, f: F) -> Self

where F: GetIsScheduledFnMut + 'static,

Set an override function for whether an instruction is scheduled.

If the provided function returns None, a default will be used. See also InstructionHandler::is_scheduled.

pub fn set_role_for_instruction<F>(self, f: F) -> Self

where F: GetRoleForInstructionFnMut + 'static,

Set an override function for determining an instruction’s InstructionRole.

If the provided function returns None, a default will be used. See also InstructionHandler::role_for_instruction.

pub fn set_matching_frames<F>(self, f: F) -> Self

where F: GetMatchingFramesFnMut + 'static,

Set an override function for determining an instruction’s MatchedFrames.

If the provided function returns None, a default will be used. See also InstructionHandler::get_matching_frames.

pub fn set_memory_accesses<F>(self, f: F) -> Self

where F: GetMemoryAccessesFnMut + 'static,

Set an override function for determining an instruction’s MemoryAccesses.

If the provided function returns None, a default will be used. See also InstructionHandler::get_memory_accesses.

pub fn is_scheduled(&mut self, instruction: &Instruction) -> bool

Determine whether the given instruction is scheduled.

This uses the return value of the override function, if set and returns Some. If not set or the function returns None, defaults to the return value of Instruction::is_scheduled.

pub fn role_for_instruction( &mut self, instruction: &Instruction, ) -> InstructionRole

Determine the InstructionRole for the given instruction.

This uses the return value of the override function, if set and returns Some. If not set or the function returns None, defaults to the return value of InstructionRole::from.

pub fn matching_frames<'a>( &mut self, instruction: &'a Instruction, program: &'a Program, ) -> Option<MatchedFrames<'a>>

Determine the MatchedFrames for the given instruction.

This uses the return value of the override function, if set and returns Some. If not set or the function returns None, defaults to the return value of Program::get_frames_for_instruction.

pub fn memory_accesses( &mut self, instruction: &Instruction, extern_signature_map: &ExternSignatureMap, ) -> MemoryAccessesResult

Determine the MemoryAccesses for the given instruction.

This uses the return value of the override function, if set and returns Some. If not set or the function returns None, defaults to the return value of Instruction::get_memory_accesses.

pub fn simplify_program( &mut self, program: &Program, ) -> Result<Program, ProgramError>

Like Program::into_simplified, but using custom instruction handling.

Trait Implementations

impl Default for InstructionHandler

fn default() -> InstructionHandler

Returns the “default value” for a type.