#include <execution_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::ExecutionEvent >::Container &ex_events, TraceContainer &trace)

void	process_instr_fetching (const simulation::Instruction &instruction, TraceContainer &trace, uint32_t row)

void	process_execution_spec (const simulation::ExecutionEvent &ex_event, TraceContainer &trace, uint32_t row)

void	process_gas (const simulation::GasEvent &gas_event, ExecutionOpCode exec_opcode, TraceContainer &trace, uint32_t row)

void	process_addressing (const simulation::AddressingEvent &addr_event, const simulation::Instruction &instruction, TraceContainer &trace, uint32_t row)

void	process_registers (ExecutionOpCode exec_opcode, const std::vector< TaggedValue > &inputs, const TaggedValue &output, std::span< TaggedValue > registers, TraceContainer &trace, uint32_t row)

void	process_registers_write (ExecutionOpCode exec_opcode, TraceContainer &trace, uint32_t row)

void	process_get_env_var_opcode (TaggedValue envvar_enum, TaggedValue output, TraceContainer &trace, uint32_t row)

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 14 of file execution_trace.hpp.

Member Function Documentation

◆ process()

void bb::avm2::tracegen::ExecutionTraceBuilder::process	(	const simulation::EventEmitterInterface< simulation::ExecutionEvent >::Container &	ex_events,
		TraceContainer &	trace
	)

Definition at line 302 of file execution_trace.cpp.

◆ process_addressing()

void bb::avm2::tracegen::ExecutionTraceBuilder::process_addressing	(	const simulation::AddressingEvent &	addr_event,
		const simulation::Instruction &	instruction,
		TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 900 of file execution_trace.cpp.

◆ process_execution_spec()

void bb::avm2::tracegen::ExecutionTraceBuilder::process_execution_spec	(	const simulation::ExecutionEvent &	ex_event,
		TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 827 of file execution_trace.cpp.

◆ process_gas()

void bb::avm2::tracegen::ExecutionTraceBuilder::process_gas	(	const simulation::GasEvent &	gas_event,
		ExecutionOpCode	exec_opcode,
		TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 873 of file execution_trace.cpp.

◆ process_get_env_var_opcode()

void bb::avm2::tracegen::ExecutionTraceBuilder::process_get_env_var_opcode	(	TaggedValue	envvar_enum,
		TaggedValue	output,
		TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 1125 of file execution_trace.cpp.

◆ process_instr_fetching()

void bb::avm2::tracegen::ExecutionTraceBuilder::process_instr_fetching	(	const simulation::Instruction &	instruction,
		TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 805 of file execution_trace.cpp.

◆ process_registers()

void bb::avm2::tracegen::ExecutionTraceBuilder::process_registers	(	ExecutionOpCode	exec_opcode,
		const std::vector< TaggedValue > &	inputs,
		const TaggedValue &	output,
		std::span< TaggedValue >	registers,
		TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 1041 of file execution_trace.cpp.

◆ process_registers_write()

void bb::avm2::tracegen::ExecutionTraceBuilder::process_registers_write	(	ExecutionOpCode	exec_opcode,
		TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 1111 of file execution_trace.cpp.

Member Data Documentation

◆ interactions

const InteractionDefinition bb::avm2::tracegen::ExecutionTraceBuilder::interactions

static

Definition at line 41 of file execution_trace.hpp.

The documentation for this class was generated from the following files:

src/barretenberg/vm2/tracegen/execution_trace.hpp
src/barretenberg/vm2/tracegen/execution_trace.cpp

Public Member Functions

Static Public Attributes