finalizes the current block with a JumpI and Jump instructions to the block, which does not create a loop in the graph (defined by get_reachable_blocks) and switches the current block to the first block defined by get_non_terminated_blocks More...

#include <control_flow.hpp>

Public Member Functions
	MSGPACK_FIELDS (target_then_block_idx, target_else_block_idx, condition_offset_index)

Public Attributes
uint16_t	target_then_block_idx

uint16_t	target_else_block_idx

uint16_t	condition_offset_index

Detailed Description

finalizes the current block with a JumpI and Jump instructions to the block, which does not create a loop in the graph (defined by get_reachable_blocks) and switches the current block to the first block defined by get_non_terminated_blocks

Definition at line 54 of file control_flow.hpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

JumpIfToBlock::MSGPACK_FIELDS	(	target_then_block_idx	,
		target_else_block_idx	,
		condition_offset_index
	)

Member Data Documentation

◆ condition_offset_index

uint16_t JumpIfToBlock::condition_offset_index

Definition at line 57 of file control_flow.hpp.

◆ target_else_block_idx

uint16_t JumpIfToBlock::target_else_block_idx

Definition at line 56 of file control_flow.hpp.

◆ target_then_block_idx

uint16_t JumpIfToBlock::target_then_block_idx

Definition at line 55 of file control_flow.hpp.

The documentation for this struct was generated from the following file:

src/barretenberg/avm_fuzzer/fuzz_lib/control_flow.hpp

Public Member Functions