CAST_16_Instruction Struct Reference

CAST_16: cast mem[src_offset_index] to target_tag and store at dst_offset. More...

#include <instruction.hpp>

Public Member Functions
	MSGPACK_FIELDS (src_tag, src_address, result_address, target_tag)

Public Attributes
MemoryTagWrapper	src_tag
AddressRef	src_address
ResultAddressRef	result_address
MemoryTagWrapper	target_tag

Detailed Description

CAST_16: cast mem[src_offset_index] to target_tag and store at dst_offset.

Examples

/opt/build/repo/barretenberg/cpp/src/barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp.

Definition at line 423 of file instruction.hpp.

Member Function Documentation

MSGPACK_FIELDS()

CAST_16_Instruction::MSGPACK_FIELDS	(	src_tag	,
		src_address	,
		result_address	,
		target_tag
	)

Member Data Documentation

result_address

ResultAddressRef CAST_16_Instruction::result_address

Examples

/opt/build/repo/barretenberg/cpp/src/barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp.

Definition at line 426 of file instruction.hpp.

src_address

AddressRef CAST_16_Instruction::src_address

Examples

/opt/build/repo/barretenberg/cpp/src/barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp.

Definition at line 425 of file instruction.hpp.

src_tag

MemoryTagWrapper CAST_16_Instruction::src_tag

Examples

/opt/build/repo/barretenberg/cpp/src/barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp.

Definition at line 424 of file instruction.hpp.

target_tag

MemoryTagWrapper CAST_16_Instruction::target_tag

Examples

/opt/build/repo/barretenberg/cpp/src/barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp.

Definition at line 427 of file instruction.hpp.

---

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

• src/barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp