#include <function-body-decoder-impl.h>

Inheritance diagram for v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >:

Collaboration diagram for v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >:

Public Member Functions
	WasmDecoder (Zone zone, const WasmModule module, WasmEnabledFeatures enabled, WasmDetectedFeatures detected, const FunctionSig sig, bool is_shared, const uint8_t start, const uint8_t end, uint32_t buffer_offset=0)

Zone *	zone () const

uint32_t	num_locals () const

base::Vector< ValueType >	local_types () const

ValueType	local_type (uint32_t index) const

uint32_t	DecodeLocals (const uint8_t *pc)

template<typename... Args>
V8_INLINE void	DecodeError (Args... args)

bool	Validate (const uint8_t *pc, TagIndexImmediate &imm)

bool	Validate (const uint8_t *pc, GlobalIndexImmediate &imm)

bool	Validate (const uint8_t *pc, SigIndexImmediate &imm)

bool	Validate (const uint8_t *pc, StructIndexImmediate &imm)

bool	Validate (const uint8_t *pc, FieldImmediate &imm)

bool	Validate (const uint8_t *pc, ArrayIndexImmediate &imm)

bool	CanReturnCall (const FunctionSig *target_sig)

bool	Validate (const uint8_t *pc, CallFunctionImmediate &imm)

bool	Validate (const uint8_t *pc, CallIndirectImmediate &imm)

bool	Validate (const uint8_t *pc, BranchDepthImmediate &imm, size_t control_depth)

bool	Validate (const uint8_t *pc, BranchTableImmediate &imm)

bool	Validate (const uint8_t *pc, WasmOpcode opcode, SimdLaneImmediate &imm)

bool	Validate (const uint8_t *pc, Simd128Immediate &imm)

bool	Validate (const uint8_t *pc, BlockTypeImmediate &imm)

bool	Validate (const uint8_t *pc, MemoryIndexImmediate &imm)

bool	Validate (const uint8_t *pc, MemoryAccessImmediate &imm)

bool	Validate (const uint8_t *pc, MemoryInitImmediate &imm)

bool	Validate (const uint8_t *pc, MemoryCopyImmediate &imm)

bool	Validate (const uint8_t *pc, TableInitImmediate &imm)

bool	Validate (const uint8_t *pc, TableCopyImmediate &imm)

bool	Validate (const uint8_t *pc, StringConstImmediate &imm)

bool	Validate (const uint8_t *pc, TableIndexImmediate &imm)

bool	ValidateElementSegment (const uint8_t *pc, IndexImmediate &imm)

bool	ValidateLocal (const uint8_t *pc, IndexImmediate &imm)

bool	ValidateFunction (const uint8_t *pc, IndexImmediate &imm)

bool	ValidateCont (const uint8_t *pc, ContIndexImmediate &imm)

bool	ValidateDataSegment (const uint8_t *pc, IndexImmediate &imm)

bool	Validate (const uint8_t *pc, SelectTypeImmediate &imm)

bool	Validate (const uint8_t *pc, HeapTypeImmediate &imm)

bool	ValidateValueType (const uint8_t *pc, ValueType type)

bool	ValidateHeapType (const uint8_t *pc, HeapType type)

Public Member Functions inherited from v8::internal::wasm::Decoder
	Decoder (const uint8_t start, const uint8_t end, uint32_t buffer_offset=0)

	Decoder (const base::Vector< const uint8_t > bytes, uint32_t buffer_offset=0)

	Decoder (const uint8_t start, const uint8_t pc, const uint8_t *end, uint32_t buffer_offset=0)

virtual	~Decoder ()=default

template<typename ValidationTag >
uint8_t	read_u8 (const uint8_t *pc, Name< ValidationTag > msg="expected 1 byte")

template<typename ValidationTag >
uint16_t	read_u16 (const uint8_t *pc, Name< ValidationTag > msg="expected 2 bytes")

template<typename ValidationTag >
uint32_t	read_u32 (const uint8_t *pc, Name< ValidationTag > msg="expected 4 bytes")

template<typename ValidationTag >
uint64_t	read_u64 (const uint8_t *pc, Name< ValidationTag > msg="expected 8 bytes")

template<typename ValidationTag >
std::pair< uint32_t, uint32_t >	read_u32v (const uint8_t *pc, Name< ValidationTag > name="LEB32")

template<typename ValidationTag >
std::pair< int32_t, uint32_t >	read_i32v (const uint8_t *pc, Name< ValidationTag > name="signed LEB32")

template<typename ValidationTag >
std::pair< uint64_t, uint32_t >	read_u64v (const uint8_t *pc, Name< ValidationTag > name="LEB64")

template<typename ValidationTag >
std::pair< int64_t, uint32_t >	read_i64v (const uint8_t *pc, Name< ValidationTag > name="signed LEB64")

template<typename ValidationTag >
std::pair< int64_t, uint32_t >	read_i33v (const uint8_t *pc, Name< ValidationTag > name="signed LEB33")

template<typename ValidationTag >
std::pair< WasmOpcode, uint32_t >	read_prefixed_opcode (const uint8_t *pc, Name< ValidationTag > name="prefixed opcode")

uint8_t	consume_u8 (const char *name="uint8_t")

uint8_t	consume_u8 (const char name, ITracer tracer)

uint16_t	consume_u16 (const char *name="uint16_t")

uint32_t	consume_u32 (const char name, ITracer tracer)

uint32_t	consume_u32v (const char *name="var_uint32")

uint32_t	consume_u32v (const char name, ITracer tracer)

int32_t	consume_i32v (const char *name="var_int32")

uint64_t	consume_u64v (const char name, ITracer tracer)

int64_t	consume_i64v (const char *name="var_int64")

void	consume_bytes (uint32_t size, const char *name="skip")

void	consume_bytes (uint32_t size, const char name, ITracer tracer)

uint32_t	available_bytes () const

bool	checkAvailable (uint32_t size)

void V8_NOINLINE V8_PRESERVE_MOST	error (const char *msg)

void V8_NOINLINE V8_PRESERVE_MOST	error (const uint8_t pc, const char msg)

void V8_NOINLINE V8_PRESERVE_MOST	error (uint32_t offset, const char *msg)

template<typename... Args>
void V8_NOINLINE V8_PRESERVE_MOST	errorf (const char *format, Args... args)

template<typename... Args>
void V8_NOINLINE V8_PRESERVE_MOST	errorf (const uint8_t pc, const char format, Args... args)

template<typename... Args>
void V8_NOINLINE V8_PRESERVE_MOST	errorf (uint32_t offset, const char *format, Args... args)

virtual void	onFirstError ()

void	traceByteRange (const uint8_t start, const uint8_t end)

void	traceOffEnd ()

template<typename T , typename R = std::decay_t<T>>
Result< R >	toResult (T &&val)

void	Reset (const uint8_t start, const uint8_t end, uint32_t buffer_offset=0)

void	Reset (base::Vector< const uint8_t > bytes, uint32_t buffer_offset=0)

bool	ok () const

bool	failed () const

bool	more () const

const WasmError &	error () const

const uint8_t *	start () const

const uint8_t *	pc () const

uint32_t V8_INLINE	position () const

uint32_t V8_INLINE	pc_offset (const uint8_t *pc) const

uint32_t	pc_offset () const

uint32_t	buffer_offset () const

uint32_t	GetBufferRelativeOffset (uint32_t offset) const

const uint8_t *	end () const

void	set_end (const uint8_t *end)

bool	lookahead (int offset, uint8_t expected)

Static Public Member Functions
static BitVector *	AnalyzeLoopAssignment (WasmDecoder decoder, const uint8_t pc, uint32_t locals_count, Zone zone, bool loop_is_innermost=nullptr)

template<typename... ImmediateObservers>
static uint32_t	OpcodeLength (WasmDecoder decoder, const uint8_t pc, ImmediateObservers &... ios)

Public Attributes
Zone *const	zone_

ValueType *	local_types_ = nullptr

uint32_t	num_locals_ = 0

const WasmModule *	module_

const WasmEnabledFeatures	enabled_

WasmDetectedFeatures *	detected_

const FunctionSig *	sig_

bool	is_shared_

const std::pair< uint32_t, uint32_t > *	current_inst_trace_

Static Public Attributes
static constexpr ValidationTag	validate = {}

Static Public Attributes inherited from v8::internal::wasm::Decoder
static constexpr struct v8::internal::wasm::Decoder::NoValidationTag	kNoValidation = {}

static constexpr struct v8::internal::wasm::Decoder::FullValidationTag	kFullValidation = {}

Additional Inherited Members
Public Types inherited from v8::internal::wasm::Decoder
enum	TraceFlag : bool { kTrace = true , kNoTrace = false }

template<typename ValidationTag >
using	Name = std::conditional_t<ValidationTag::validate, const char*, NoName>

Protected Attributes inherited from v8::internal::wasm::Decoder
const uint8_t *	start_

const uint8_t *	pc_

const uint8_t *	end_

uint32_t	buffer_offset_

WasmError	error_

Detailed Description

template<typename ValidationTag, DecodingMode decoding_mode = kFunctionBody>
class v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >

Definition at line 1627 of file function-body-decoder-impl.h.

Constructor & Destructor Documentation

◆ WasmDecoder()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::WasmDecoder	(	Zone *	zone,
		const WasmModule *	module,
		WasmEnabledFeatures	enabled,
		WasmDetectedFeatures *	detected,
		const FunctionSig *	sig,
		bool	is_shared,
		const uint8_t *	start,
		const uint8_t *	end,
		uint32_t	buffer_offset = 0 )

inline

Definition at line 1629 of file function-body-decoder-impl.h.

Member Function Documentation

◆ AnalyzeLoopAssignment()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

static BitVector * v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::AnalyzeLoopAssignment	(	WasmDecoder< ValidationTag, decoding_mode > *	decoder,
		const uint8_t *	pc,
		uint32_t	locals_count,
		Zone *	zone,
		bool *	loop_is_innermost = nullptr )

inlinestatic

Definition at line 1776 of file function-body-decoder-impl.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CanReturnCall()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

bool v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::CanReturnCall ( const FunctionSig * target_sig )

inline

Definition at line 1909 of file function-body-decoder-impl.h.

Here is the call graph for this function:

◆ DecodeError()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

template<typename... Args>

V8_INLINE void v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::DecodeError ( Args... args )

inline

Definition at line 1768 of file function-body-decoder-impl.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ DecodeLocals()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

uint32_t v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::DecodeLocals ( const uint8_t * pc )

inline

Definition at line 1672 of file function-body-decoder-impl.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ local_type()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

ValueType v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::local_type ( uint32_t index ) const

inline

Definition at line 1663 of file function-body-decoder-impl.h.

Here is the caller graph for this function:

◆ local_types()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

base::Vector< ValueType > v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::local_types ( ) const

inline

Definition at line 1660 of file function-body-decoder-impl.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ num_locals()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

uint32_t v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::num_locals ( ) const

inline

Definition at line 1658 of file function-body-decoder-impl.h.

Here is the caller graph for this function:

◆ OpcodeLength()

template<typename ValidationTag , DecodingMode decoding_mode = kFunctionBody>

template<typename... ImmediateObservers>

static uint32_t v8::internal::wasm::WasmDecoder< ValidationTag, decoding_mode >::OpcodeLength	(	WasmDecoder< ValidationTag, decoding_mode > *	decoder,
		const uint8_t *	pc,
		ImmediateObservers &...	ios )