#include "barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/field.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/memory_tag.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/uint16_t.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/uint32_t.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/uint64_t.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/uint8_t.hpp"
#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"

Functions
AddressingMode	generate_addressing_mode (std::mt19937_64 &rng)

AddressRef	generate_address_ref (std::mt19937_64 &rng)

ResultAddressRef	generate_result_address_ref (std::mt19937_64 &rng)

FuzzInstruction	generate_instruction (std::mt19937_64 &rng)

void	mutate_address_ref (AddressRef &address, std::mt19937_64 &rng, std::optional< MemoryTag > default_tag)
	Most of the tags will be equal to the default tag.

void	mutate_result_address_ref (ResultAddressRef &address, std::mt19937_64 &rng)

template<typename BinaryInstructionType >
void	mutate_binary_instruction_8 (BinaryInstructionType &instruction, std::mt19937_64 &rng)

template<typename BinaryInstructionType >
void	mutate_binary_instruction_16 (BinaryInstructionType &instruction, std::mt19937_64 &rng)

void	mutate_not_8_instruction (NOT_8_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_set_8_instruction (SET_8_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_set_16_instruction (SET_16_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_set_32_instruction (SET_32_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_set_64_instruction (SET_64_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_set_128_instruction (SET_128_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_set_ff_instruction (SET_FF_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_not_16_instruction (NOT_16_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_cast_8_instruction (CAST_8_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_cast_16_instruction (CAST_16_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_sstore_instruction (SSTORE_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_sload_instruction (SLOAD_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_getenvvar_instruction (GETENVVAR_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_emit_nullifier_instruction (EMITNULLIFIER_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_nullifier_exists_instruction (NULLIFIEREXISTS_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_emit_note_hash_instruction (EMITNOTEHASH_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_note_hash_exists_instruction (NOTEHASHEXISTS_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_calldatacopy_instruction (CALLDATACOPY_Instruction &instruction, std::mt19937_64 &rng)

void	mutate_instruction (FuzzInstruction &instruction, std::mt19937_64 &rng)

Function Documentation

◆ generate_address_ref()

AddressRef generate_address_ref ( std::mt19937_64 & rng )

Definition at line 16 of file instruction.cpp.

◆ generate_addressing_mode()

AddressingMode generate_addressing_mode ( std::mt19937_64 & rng )

Definition at line 11 of file instruction.cpp.

◆ generate_instruction()

FuzzInstruction generate_instruction ( std::mt19937_64 & rng )

Definition at line 39 of file instruction.cpp.

◆ generate_result_address_ref()

ResultAddressRef generate_result_address_ref ( std::mt19937_64 & rng )

Definition at line 28 of file instruction.cpp.

◆ mutate_address_ref()

void mutate_address_ref	(	AddressRef &	address,
		std::mt19937_64 &	rng,
		std::optional< MemoryTag >	default_tag
	)

Most of the tags will be equal to the default tag.

Definition at line 216 of file instruction.cpp.

◆ mutate_binary_instruction_16()

template<typename BinaryInstructionType >

void mutate_binary_instruction_16	(	BinaryInstructionType &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 279 of file instruction.cpp.

◆ mutate_binary_instruction_8()

template<typename BinaryInstructionType >

void mutate_binary_instruction_8	(	BinaryInstructionType &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 262 of file instruction.cpp.

◆ mutate_calldatacopy_instruction()

void mutate_calldatacopy_instruction	(	CALLDATACOPY_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 567 of file instruction.cpp.

◆ mutate_cast_16_instruction()

void mutate_cast_16_instruction	(	CAST_16_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 445 of file instruction.cpp.

◆ mutate_cast_8_instruction()

void mutate_cast_8_instruction	(	CAST_8_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 428 of file instruction.cpp.

◆ mutate_emit_note_hash_instruction()

void mutate_emit_note_hash_instruction	(	EMITNOTEHASH_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 534 of file instruction.cpp.

◆ mutate_emit_nullifier_instruction()

void mutate_emit_nullifier_instruction	(	EMITNULLIFIER_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 510 of file instruction.cpp.

◆ mutate_getenvvar_instruction()

void mutate_getenvvar_instruction	(	GETENVVAR_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 496 of file instruction.cpp.

◆ mutate_instruction()

void mutate_instruction	(	FuzzInstruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 590 of file instruction.cpp.

◆ mutate_not_16_instruction()

void mutate_not_16_instruction	(	NOT_16_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 414 of file instruction.cpp.

◆ mutate_not_8_instruction()

void mutate_not_8_instruction	(	NOT_8_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 295 of file instruction.cpp.

◆ mutate_note_hash_exists_instruction()

void mutate_note_hash_exists_instruction	(	NOTEHASHEXISTS_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 547 of file instruction.cpp.

◆ mutate_nullifier_exists_instruction()

void mutate_nullifier_exists_instruction	(	NULLIFIEREXISTS_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 517 of file instruction.cpp.

◆ mutate_result_address_ref()

void mutate_result_address_ref	(	ResultAddressRef &	address,
		std::mt19937_64 &	rng
	)

Definition at line 242 of file instruction.cpp.

◆ mutate_set_128_instruction()

void mutate_set_128_instruction	(	SET_128_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 377 of file instruction.cpp.

◆ mutate_set_16_instruction()

void mutate_set_16_instruction	(	SET_16_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 326 of file instruction.cpp.

◆ mutate_set_32_instruction()

void mutate_set_32_instruction	(	SET_32_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 343 of file instruction.cpp.

◆ mutate_set_64_instruction()

void mutate_set_64_instruction	(	SET_64_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 360 of file instruction.cpp.

◆ mutate_set_8_instruction()

void mutate_set_8_instruction	(	SET_8_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 309 of file instruction.cpp.

◆ mutate_set_ff_instruction()

void mutate_set_ff_instruction	(	SET_FF_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 397 of file instruction.cpp.

◆ mutate_sload_instruction()

void mutate_sload_instruction	(	SLOAD_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 479 of file instruction.cpp.

◆ mutate_sstore_instruction()

void mutate_sstore_instruction	(	SSTORE_Instruction &	instruction,
		std::mt19937_64 &	rng
	)

Definition at line 462 of file instruction.cpp.

Functions