execution_event.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <vector>
 
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/common/opcodes.hpp"
#include "barretenberg/vm2/simulation/events/addressing_event.hpp"
#include "barretenberg/vm2/simulation/events/context_events.hpp"
#include "barretenberg/vm2/simulation/events/gas_event.hpp"
#include "barretenberg/vm2/simulation/lib/serialization.hpp"
 
namespace bb::avm2::simulation {
 
// Possible mutually exclusive execution errors.
enum class ExecutionError : uint8_t {
    NONE,
    BYTECODE_RETRIEVAL,
    INSTRUCTION_FETCHING,
    ADDRESSING,
    REGISTER_READ,
    GAS,
    OPCODE_EXECUTION
};
 
struct ExecutionEvent {
    ExecutionError error = ExecutionError::NONE;
    Instruction wire_instruction;
 
    // Inputs and Outputs for a gadget/subtrace used when allocating registers in the execution trace.
    std::vector<MemoryValue> inputs;
    MemoryValue output;
 
    // Context Id for the next context.
    uint32_t next_context_id = 0;
 
    // Sub-events.
    AddressingEvent addressing_event;
    ContextEvent before_context_event;
    ContextEvent after_context_event;
 
    GasEvent gas_event;
 
    // function to determine whether the event was a context "failure"
    bool is_failure() const
    {
        // WARNING: it is important that we check for error first here because
        // if instruction fetching fails, we cannot do `wire_instruction.get_exec_opcode()`
        return error != ExecutionError::NONE || wire_instruction.get_exec_opcode() == ExecutionOpCode::REVERT;
    }
 
    // function to determine whether the event represents a context "exit"
    bool is_exit() const { return is_failure() || wire_instruction.get_exec_opcode() == ExecutionOpCode::RETURN; }
};
 
} // namespace bb::avm2::simulation