finalizes the current block with jump if, creates two new blocks, sets the first as the then block and the second as the else block, changes the current block to the then block More...

#include <control_flow.hpp>

Public Member Functions
	MSGPACK_FIELDS (then_program_block_instruction_block_idx, else_program_block_instruction_block_idx, condition_offset_index)

Public Attributes
uint16_t	then_program_block_instruction_block_idx

uint16_t	else_program_block_instruction_block_idx

uint16_t	condition_offset_index

Detailed Description

finalizes the current block with jump if, creates two new blocks, sets the first as the then block and the second as the else block, changes the current block to the then block

Definition at line 33 of file control_flow.hpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

JumpIfToNewBlock::MSGPACK_FIELDS	(	then_program_block_instruction_block_idx	,
		else_program_block_instruction_block_idx	,
		condition_offset_index
	)

Member Data Documentation

◆ condition_offset_index

uint16_t JumpIfToNewBlock::condition_offset_index

Definition at line 36 of file control_flow.hpp.

◆ else_program_block_instruction_block_idx

uint16_t JumpIfToNewBlock::else_program_block_instruction_block_idx

Definition at line 35 of file control_flow.hpp.

◆ then_program_block_instruction_block_idx

uint16_t JumpIfToNewBlock::then_program_block_instruction_block_idx

Definition at line 34 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