program_block.hpp File Reference

#include <cstdint>
#include <map>
#include <optional>
#include <vector>
#include "barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/memory_manager.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/simulation/lib/serialization.hpp"

Go to the source code of this file.

Classes
class	ProgramBlock

Enumerations
enum class	TerminatorType { RETURN , JUMP , JUMP_IF , NONE }

Enumeration Type Documentation

TerminatorType

enum class TerminatorType

strong

Program block is a logical block of the program. This abstraction is used, because we want to know which variables are defined in the block. For example the following program:

if (mem[1337]) {
    // BLOCK 1
    mem[1338] = 1;
} else {
    // BLOCK 2
    mem[1339] = 2;
}
// BLOCK 3

In the BLOCK 3 only one of {1338, 1339} is defined, so we cannot use them.

Enumerator
RETURN
JUMP
JUMP_IF
NONE

Definition at line 30 of file program_block.hpp.