#include <WasmOperator.hpp>

Inheritance diagram for m::wasm::Limit:

Collaboration diagram for m::wasm::Limit:

Public Types
using	pattern = Pattern

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

static double	cost (const Match< Limit > &)

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

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

Definition at line 560 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]

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

inlinestatic

Definition at line 563 of file WasmOperator.hpp.

◆ 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]

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

static

< block around pipeline code to jump to teardown code when limit is reached

< block user to set teardown block active

< variable to locally count

< global counter backup since the following code may be called multiple times

Definition at line 5295 of file WasmOperator.cpp.

References m::wasm::GOTO(), IF, M_insist, m::teardown_t::Make_Without_Parent(), and Wasm_insist.

Referenced by m::Match< wasm::Limit >::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()

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_()

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]

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

static

Definition at line 5283 of file WasmOperator.cpp.

References m::ConditionSet::add_condition(), and M_insist.

◆ 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()

◆ post_condition_()

◆ pre_condition() [1/2]

◆ pre_condition() [2/2]

◆ pre_condition_()