#include <WasmOperator.hpp>

Inheritance diagram for m::wasm::Scan< SIMDfied >:

Collaboration diagram for m::wasm::Scan< SIMDfied >:

Public Types
using	pattern = Pattern

Static Public Member Functions
static void	execute (const Match< Scan > &M, setup_t setup, pipeline_t pipeline, teardown_t teardown)

static double	cost (const Match< Scan > &)

static ConditionSet	pre_condition (std::size_t child_idx, const std::tuple< const ScanOperator * > &partial_inner_nodes)

static ConditionSet	post_condition (const Match< Scan > &M)

static void	execute (const Match< Actual > &M, setup_t setup, pipeline_t pipeline, teardown_t teardown)
	Executes this physical operator given the match `M` and three callbacks: `Setup` for some initializations, `Pipeline` for the actual computation, and `Teardown` for post-processing.

static double	cost (const Match< Actual > &M)
	Returns the cost of this physical operator given the match `M`.

static ConditionSet	pre_condition (std::size_t, const get_nodes_t< Pattern > &)
	Overwrite this to implement custom pre-conditions.

static ConditionSet	post_condition (const Match< Actual > &)
	Overwrite this to implement a custom post-condition.

static ConditionSet	adapt_post_condition (const Match< Actual > &, const ConditionSet &post_cond_child)
	Overwrite this to implement custom adaptation of a single post-condition.

static ConditionSet	adapt_post_conditions (const Match< Actual > &, std::vector< std::reference_wrapper< const ConditionSet > > &&)
	Overwrite this to implement custom adaptation of multiple post-conditions.

static std::unique_ptr< Match< Actual > >	instantiate (get_nodes_t< Pattern > inner_nodes, const std::vector< It > &children)
	Instantiates this physical operator given the matched logical operators `inner_nodes` in pre-order and the children entries `children` by returning a corresponding match.

Static Private Member Functions
static ConditionSet	pre_condition_ (std::size_t child_idx, const get_nodes_t< Pattern > &partial_inner_nodes)
	Returns the pre-condition for the `child_idx-th` child (indexed from left to right starting with 0) of the pattern (note that children are logical operators which either match to a `Wildcard` in the pattern or to a child of a non-wildcard operator in the pattern, i.e.

static ConditionSet	post_condition_ (const Match< Actual > &M)
	Returns the post-condition of this physical operator given the match `M`.

static ConditionSet	adapt_post_condition_ (const Match< Actual > &M, const ConditionSet &post_cond_child)
	Returns the adapted post-condition of this physical operator given the match `M` and the former post-condition of its only child.

static ConditionSet	adapt_post_conditions_ (const Match< Actual > &M, std::vector< std::reference_wrapper< const ConditionSet > > &&post_cond_children)
	Returns the adapted post-condition of this physical operator given the match `M` and the former post-conditions of its children.

Detailed Description

template<bool SIMDfied>
struct m::wasm::Scan< SIMDfied >

Definition at line 388 of file WasmOperator.hpp.

Member Typedef Documentation

◆ pattern

using m::PhysicalOperator::pattern = Pattern

inherited

Definition at line 414 of file PhysicalOptimizer.hpp.

Member Function Documentation

◆ adapt_post_condition()

static ConditionSet m::PhysicalOperator::adapt_post_condition	(	const Match< Actual > &	,
		const ConditionSet &	post_cond_child
	)

inlinestaticinherited

Overwrite this to implement custom adaptation of a single post-condition.

Definition at line 461 of file PhysicalOptimizer.hpp.

◆ adapt_post_condition_()

static ConditionSet m::PhysicalOperator::adapt_post_condition_	(	const Match< Actual > &	M,
		const ConditionSet &	post_cond_child
	)

inlinestaticprivateinherited

Returns the adapted post-condition of this physical operator given the match M and the former post-condition of its only child.

Definition at line 448 of file PhysicalOptimizer.hpp.

◆ adapt_post_conditions()

static ConditionSet m::PhysicalOperator::adapt_post_conditions	(	const Match< Actual > &	,
		std::vector< std::reference_wrapper< const ConditionSet > > &&
	)

inlinestaticinherited

Overwrite this to implement custom adaptation of multiple post-conditions.

Definition at line 465 of file PhysicalOptimizer.hpp.

◆ adapt_post_conditions_()

static ConditionSet m::PhysicalOperator::adapt_post_conditions_	(	const Match< Actual > &	M,
		std::vector< std::reference_wrapper< const ConditionSet > > &&	post_cond_children
	)

inlinestaticprivateinherited

Returns the adapted post-condition of this physical operator given the match M and the former post-conditions of its children.

Definition at line 454 of file PhysicalOptimizer.hpp.

◆ cost() [1/2]

static double m::PhysicalOperator::cost ( const Match< Actual > & M )

inlinestaticinherited

Returns the cost of this physical operator given the match M.

Definition at line 423 of file PhysicalOptimizer.hpp.

◆ cost() [2/2]

template<bool SIMDfied>

static double m::wasm::Scan< SIMDfied >::cost ( const Match< Scan< SIMDfied > > & )

inlinestatic

Definition at line 391 of file WasmOperator.hpp.

References M_CONSTEXPR_COND.

◆ execute() [1/2]

static void m::PhysicalOperator::execute	(	const Match< Actual > &	M,
		setup_t	setup,
		pipeline_t	pipeline,
		teardown_t	teardown
	)

inlinestaticinherited

Executes this physical operator given the match M and three callbacks: Setup for some initializations, Pipeline for the actual computation, and Teardown for post-processing.

Definition at line 418 of file PhysicalOptimizer.hpp.

◆ execute() [2/2]

template<bool SIMDfied>

void Scan::execute	(	const Match< Scan< SIMDfied > > &	M,
		setup_t	setup,
		pipeline_t	pipeline,
		teardown_t	teardown
	)

static

Definition at line 1270 of file WasmOperator.cpp.

References m::wasm::compile_load_sequential(), m::options::double_pumping, m::wasm::CodeGenContext::Get(), get_base_address(), get_num_rows(), m::storage::get_num_simd_lanes(), m::storage::layout_schema, M_insist, m::wasm::num_simd_lanes, m::wasm::CodeGenContext::num_simd_lanes_preferred(), m::wasm::CodeGenContext::set_num_simd_lanes(), m::options::simd_lanes, m::wasm::CodeGenContext::update_num_simd_lanes_preferred(), and WHILE.

Referenced by m::Match< wasm::Scan< SIMDfied > >::execute().

◆ instantiate()

static std::unique_ptr< Match< Actual > > m::PhysicalOperator::instantiate	(	get_nodes_t< Pattern >	inner_nodes,
		const std::vector< It > &	children
	)

inlinestaticinherited

Instantiates this physical operator given the matched logical operators inner_nodes in pre-order and the children entries children by returning a corresponding match.

Definition at line 476 of file PhysicalOptimizer.hpp.

◆ post_condition() [1/2]

static ConditionSet m::PhysicalOperator::post_condition ( const Match< Actual > & )

inlinestaticinherited

Overwrite this to implement a custom post-condition.

Definition at line 443 of file PhysicalOptimizer.hpp.

◆ post_condition() [2/2]

template<bool SIMDfied>

ConditionSet Scan::post_condition ( const Match< Scan< SIMDfied > > & M )

static

Definition at line 1236 of file WasmOperator.cpp.

References m::ConditionPropertyMap< Property, Ordered >::add(), m::ConditionSet::add_condition(), m::ConditionPropertyMap< Property, Ordered >::empty(), m::storage::get_num_simd_lanes(), m::wasm::num_simd_lanes, m::Sortedness::O_ASC, m::Sortedness::O_DESC, and m::options::sorted_attributes.

◆ post_condition_()

static ConditionSet m::PhysicalOperator::post_condition_ ( const Match< Actual > & M )

inlinestaticprivateinherited

Returns the post-condition of this physical operator given the match M.

Definition at line 440 of file PhysicalOptimizer.hpp.

◆ pre_condition() [1/2]

template<bool SIMDfied>

ConditionSet Scan::pre_condition	(	std::size_t	child_idx,
		const std::tuple< const ScanOperator * > &	partial_inner_nodes
	)

static

Definition at line 1212 of file WasmOperator.cpp.

References m::storage::get_num_simd_lanes(), M_insist, and m::ConditionSet::Make_Unsatisfiable().

◆ pre_condition() [2/2]

static ConditionSet m::PhysicalOperator::pre_condition	(	std::size_t	,
		const get_nodes_t< Pattern > &
	)

inlinestaticinherited

Overwrite this to implement custom pre-conditions.

Definition at line 436 of file PhysicalOptimizer.hpp.

◆ pre_condition_()

static ConditionSet m::PhysicalOperator::pre_condition_	(	std::size_t	child_idx,
		const get_nodes_t< Pattern > &	partial_inner_nodes
	)

inlinestaticprivateinherited

Returns the pre-condition for the child_idx-th child (indexed from left to right starting with 0) of the pattern (note that children are logical operators which either match to a Wildcard in the pattern or to a child of a non-wildcard operator in the pattern, i.e.

there may be more children than leaves in the pattern) given the (potentially partially) matched logical operators partial_inner_nodes in pre-order (note that the operators not yet matched are nullptr).

Definition at line 431 of file PhysicalOptimizer.hpp.

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

src/backend/WasmOperator.hpp
src/backend/WasmOperator.cpp

Public Types

Static Public Member Functions

Static Private Member Functions

Detailed Description

Member Typedef Documentation

◆ pattern

Member Function Documentation

◆ adapt_post_condition()

◆ adapt_post_condition_()

◆ adapt_post_conditions()

◆ adapt_post_conditions_()

◆ cost() [1/2]

◆ cost() [2/2]

◆ execute() [1/2]

◆ execute() [2/2]

◆ instantiate()

◆ post_condition() [1/2]

◆ post_condition() [2/2]

◆ post_condition_()

◆ pre_condition() [1/2]

◆ pre_condition() [2/2]

◆ pre_condition_()