Visitor object which will generate llvm IR for a syntax tree. This provides the majority of the code generation functionality except for attribute access. This design allows for custom geometry to define their IR implementations for these accesses by deriving and extending this generator with ast::Attribute handling (see PointComputeGenerator.h and VolumeComputeGenerator.h for examples). More...

#include <openvdb_ax/codegen/ComputeGenerator.h>

Inherits Visitor< ComputeGenerator >.

Inherited by PointComputeGenerator, and VolumeComputeGenerator.

Public Types
using	NodeType = typename std::conditional< true, const NodeT, NodeT >::type
	Templated conditional which resolves to a const NodeT if ConstVisit is true, or a non-const NodeT if ConstVisit is false. More...

Public Member Functions
	ComputeGenerator (llvm::Module &module, const FunctionOptions &options, FunctionRegistry &functionRegistry, Logger &logger)

virtual	~ComputeGenerator ()=default

bool	generate (const ast::Tree &)

SymbolTable &	globals ()

const SymbolTable &	globals () const

bool	postOrderNodes () const
	Code generation always runs post order. More...

bool	traverse (const ast::Block *block)
	Custom traversal of scoped blocks. More...

bool	traverse (const ast::CommaOperator *comma)
	Custom traversal of comma expression. More...

bool	traverse (const ast::ConditionalStatement *cond)
	Custom traversal of conditional statements. More...

bool	traverse (const ast::BinaryOperator *bin)
	Custom traversal of binary operators. More...

bool	traverse (const ast::TernaryOperator *tern)
	Custom traversal of ternary operators. More...

bool	traverse (const ast::Loop *loop)
	Custom traversal of loops. More...

bool	traverse (const ast::DeclareLocal *decl)
	Custom traversal of declarations. More...

ComputeGenerator &	derived ()
	Accesses the derived class by static casting the current object. Assumes use of the Curiously Recursive Template Pattern (CRTP). More...


virtual bool	visit (const ast::CommaOperator *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::AssignExpression *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Crement *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::FunctionCall *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Attribute *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Tree *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Block *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::ConditionalStatement *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Loop *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Keyword *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::UnaryOperator *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::BinaryOperator *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::TernaryOperator *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Cast *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::DeclareLocal *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Local *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::ExternalVariable *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::ArrayUnpack *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::ArrayPack *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Value< bool > *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Value< int16_t > *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Value< int32_t > *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Value< int64_t > *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Value< float > *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Value< double > *)
	Visitor methods for all AST nodes which implement IR generation. More...

virtual bool	visit (const ast::Value< std::string > *)
	Visitor methods for all AST nodes which implement IR generation. More...

template<typename ValueType >
std::enable_if< std::is_integral< ValueType >::value, bool >::type	visit (const ast::Value< ValueType > *node)
	Visitor methods for all AST nodes which implement IR generation. More...

template<typename ValueType >
std::enable_if< std::is_floating_point< ValueType >::value, bool >::type	visit (const ast::Value< ValueType > *node)
	Visitor methods for all AST nodes which implement IR generation. More...

Options
bool	reverseChildVisits () const
	Default behavior option. Reverses the traversal order of child nodes. If true, child nodes are accessed from last to first index .i.e. Node::children() -> 0. If false, child nodes are accessed from first to last .i.e. 0 -> Node::children() More...

bool	visitNodeHierarchies () const
	Default behavior option. Controls whether nodes visit themselves at each stage of their class hierarchy. If true, nodes perform multiple visits on their potentially abstract base classes. If false, only the concrete derived types are visited. More...

bool	reverseHierarchyVisits () const
	Default behavior option. Reverses the traversal order of node hierarchies. If true, hierarchical visits start at the very top of their inheritance structure (always a Node AST node) and visit downwards until the lowest derived concrete node is reached. If false, hierarchical visits start at the lowest derived concrete node and visit upwards until the very top of their inheritance structure (always a Node AST node) is reached. More...

Traversals
bool	traverse (NodeType< ast::Tree > *tree)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::StatementList > *cond)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Block > *block)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::CommaOperator > *comma)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Loop > *loop)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Keyword > *keyw)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::ConditionalStatement > *cond)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::AssignExpression > *asgn)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Crement > *crmt)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::UnaryOperator > *unry)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::BinaryOperator > *bin)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::TernaryOperator > *tern)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Cast > *cast)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::FunctionCall > *call)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Attribute > *attr)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::ExternalVariable > *ext)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::DeclareLocal > *decl)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Local > *loc)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::ArrayPack > *pack)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::ArrayUnpack > *pack)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Value< bool >> *val)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Value< int16_t >> *val)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Value< int32_t >> *val)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Value< int64_t >> *val)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Value< float >> *val)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Value< double >> *val)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Value< std::string >> *val)
	Default traversals for a given concrete AST node type. More...

bool	traverse (NodeType< ast::Node > *node)
	The default traversal method which is hit for all child traversals. The correct derived traversal scheme is selected by using the node enumerated type. More...

Visits
bool	visit (NodeType< ast::Node > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Statement > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Expression > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Variable > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::ValueBase > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Tree > *)
	Visits for concrete Node types. More...

bool	visit (NodeType< ast::StatementList > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Block > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::CommaOperator > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Loop > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Keyword > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::ConditionalStatement > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::AssignExpression > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Crement > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::UnaryOperator > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::BinaryOperator > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::TernaryOperator > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Cast > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::FunctionCall > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Attribute > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::ExternalVariable > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::DeclareLocal > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Local > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::ArrayPack > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::ArrayUnpack > *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Value< bool >> *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Value< int16_t >> *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Value< int32_t >> *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Value< int64_t >> *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Value< float >> *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Value< double >> *)
	Visits for abstract (pure-virtual) Node types. More...

bool	visit (NodeType< ast::Value< std::string >> *)
	Visits for abstract (pure-virtual) Node types. More...

Protected Member Functions
const FunctionGroup *	getFunction (const std::string &identifier, const bool allowInternal=false)

bool	binaryExpression (llvm::Value &result, llvm::Value lhs, llvm::Value rhs, const ast::tokens::OperatorToken op, const ast::Node node)

bool	assignExpression (llvm::Value lhs, llvm::Value &rhs, const ast::Node *node)

void	createFreeSymbolStrings (llvm::IRBuilder<> &)
	Clear any strings which were allocated in a given function. This method accepts an IRBuilder which is expected to be attached to a valid block/function. For each block in the function with a return instruction, this function calls the appropriate memory methods to deallocate any strings (which are alloced in the function prologue). More...

Protected Attributes
llvm::Module &	mModule

llvm::LLVMContext &	mContext

llvm::IRBuilder	mBuilder

std::stack< llvm::Value * >	mValues

std::stack< std::pair< llvm::BasicBlock , llvm::BasicBlock > >	mBreakContinueStack

size_t	mScopeIndex

SymbolTableBlocks	mSymbolTables

llvm::Function *	mFunction

const FunctionOptions	mOptions

Logger &	mLog

Detailed Description

Visitor object which will generate llvm IR for a syntax tree. This provides the majority of the code generation functionality except for attribute access. This design allows for custom geometry to define their IR implementations for these accesses by deriving and extending this generator with ast::Attribute handling (see PointComputeGenerator.h and VolumeComputeGenerator.h for examples).

Note: The visit/traverse methods work slightly differently to the normal Visitor to allow proper handling of errors and visitation history. Nodes that inherit from ast::Expression can return false from visit() (and so traverse()), but this will not necessarily stop traversal altogether. Instead, any ast::Statements that are not also ast::Expressions i.e. Block, ConditionalStatement, Loop, DeclareLocal, etc override their visit and traverse methods to handle custom traversal order, and the catching of failed child Expression visit/traverse calls. This allows errors in independent Statements to not halt traversal for future Statements and so allow capturing of multiple errors in an ast::Tree in a single call to ComputeGenerator::generate().

Member Typedef Documentation

using NodeType = typename std::conditional<true , const NodeT, NodeT>::type

inherited

Templated conditional which resolves to a const NodeT if ConstVisit is true, or a non-const NodeT if ConstVisit is false.

Constructor & Destructor Documentation

ComputeGenerator	(	llvm::Module &	module,
		const FunctionOptions &	options,
		FunctionRegistry &	functionRegistry,
		Logger &	logger
	)

virtual ~ComputeGenerator ( )

virtualdefault

Member Function Documentation

bool assignExpression	(	llvm::Value *	lhs,
		llvm::Value *&	rhs,
		const ast::Node *	node
	)

protected

bool binaryExpression	(	llvm::Value *&	result,
		llvm::Value *	lhs,
		llvm::Value *	rhs,
		const ast::tokens::OperatorToken	op,
		const ast::Node *	node
	)

protected

void createFreeSymbolStrings ( llvm::IRBuilder<> & )

protected

Clear any strings which were allocated in a given function. This method accepts an IRBuilder which is expected to be attached to a valid block/function. For each block in the function with a return instruction, this function calls the appropriate memory methods to deallocate any strings (which are alloced in the function prologue).

ComputeGenerator & derived ( )

inlineinherited

Accesses the derived class by static casting the current object. Assumes use of the Curiously Recursive Template Pattern (CRTP).

bool generate ( const ast::Tree & )

const FunctionGroup* getFunction	(	const std::string &	identifier,
		const bool	allowInternal = `false`
	)

protected

SymbolTable& globals ( )

inline

const SymbolTable& globals ( ) const

inline

bool postOrderNodes ( ) const

inline

Code generation always runs post order.

bool reverseChildVisits ( ) const

inlineinherited

Default behavior option. Reverses the traversal order of child nodes. If true, child nodes are accessed from last to first index .i.e. Node::children() -> 0. If false, child nodes are accessed from first to last .i.e. 0 -> Node::children()

bool reverseHierarchyVisits ( ) const

inlineinherited

Default behavior option. Reverses the traversal order of node hierarchies. If true, hierarchical visits start at the very top of their inheritance structure (always a Node AST node) and visit downwards until the lowest derived concrete node is reached. If false, hierarchical visits start at the lowest derived concrete node and visit upwards until the very top of their inheritance structure (always a Node AST node) is reached.

Note: Has no effect if visitNodeHierarchies() is false

bool traverse ( const ast::Block * block )

inline

Custom traversal of scoped blocks.

Note: This overrides the default traversal to incorporate the scoping of variables declared in this block

bool traverse ( const ast::CommaOperator * comma )

inline

Custom traversal of comma expression.

Note: This overrides the default traversal to handle errors without stopping generation of entire list

bool traverse ( const ast::ConditionalStatement * cond )

inline

Custom traversal of conditional statements.

Note: This overrides the default traversal to handle branching between different code paths

bool traverse ( const ast::BinaryOperator * bin )

inline

Custom traversal of binary operators.

Note: This overrides the default traversal to handle short-circuiting in logical AND and OR

bool traverse ( const ast::TernaryOperator * tern )

inline

Custom traversal of ternary operators.

Note: This overrides the default traversal to handle branching between different code paths

bool traverse ( NodeType< ast::Tree > * tree )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( const ast::Loop * loop )

inline

Custom traversal of loops.

Note: This overrides the default traversal to handle branching between different code paths and the scoping of variables in for-loop initialisation

bool traverse ( NodeType< ast::StatementList > * cond )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Block > * block )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::CommaOperator > * comma )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( const ast::DeclareLocal * decl )

inline

Custom traversal of declarations.

Note: This overrides the default traversal to handle traversal of the local and assignment of initialiser, if it exists

bool traverse ( NodeType< ast::Loop > * loop )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Keyword > * keyw )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::ConditionalStatement > * cond )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::AssignExpression > * asgn )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Crement > * crmt )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::UnaryOperator > * unry )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::BinaryOperator > * bin )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::TernaryOperator > * tern )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Cast > * cast )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::FunctionCall > * call )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Attribute > * attr )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::ExternalVariable > * ext )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::DeclareLocal > * decl )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Local > * loc )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::ArrayPack > * pack )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::ArrayUnpack > * pack )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Value< bool >> * val )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Value< int16_t >> * val )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Value< int32_t >> * val )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Value< int64_t >> * val )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Value< float >> * val )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Value< double >> * val )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Value< std::string >> * val )

inlineinherited

Default traversals for a given concrete AST node type.

Returns: True if traversal should continue, false to terminate

bool traverse ( NodeType< ast::Node > * node )

inlineinherited

The default traversal method which is hit for all child traversals. The correct derived traversal scheme is selected by using the node enumerated type.

Note: Only handles traversal on concrete node types.

virtual bool visit ( const ast::CommaOperator * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::AssignExpression * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Crement * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::FunctionCall * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Attribute * )

virtual

Visitor methods for all AST nodes which implement IR generation.

Reimplemented in VolumeComputeGenerator, and PointComputeGenerator.

virtual bool visit ( const ast::Tree * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Block * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::ConditionalStatement * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Loop * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Keyword * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::UnaryOperator * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::BinaryOperator * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::TernaryOperator * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Cast * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::DeclareLocal * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Local * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::ExternalVariable * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::ArrayUnpack * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::ArrayPack * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Value< bool > * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Value< int16_t > * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Value< int32_t > * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Value< int64_t > * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Value< float > * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Value< double > * )

virtual

Visitor methods for all AST nodes which implement IR generation.

virtual bool visit ( const ast::Value< std::string > * )

virtual

Visitor methods for all AST nodes which implement IR generation.

std::enable_if<std::is_integral<ValueType>::value, bool>::type visit ( const ast::Value< ValueType > * node )

Visitor methods for all AST nodes which implement IR generation.

std::enable_if<std::is_floating_point<ValueType>::value, bool>::type visit ( const ast::Value< ValueType > * node )

Visitor methods for all AST nodes which implement IR generation.

bool visit ( NodeType< ast::Node > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Statement > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Expression > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Variable > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::ValueBase > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Tree > * )

inlineinherited

Visits for concrete Node types.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::StatementList > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Block > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::CommaOperator > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Loop > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Keyword > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::ConditionalStatement > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::AssignExpression > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Crement > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::UnaryOperator > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::BinaryOperator > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::TernaryOperator > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Cast > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::FunctionCall > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Attribute > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::ExternalVariable > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::DeclareLocal > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Local > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::ArrayPack > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::ArrayUnpack > * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Value< bool >> * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Value< int16_t >> * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Value< int32_t >> * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Value< int64_t >> * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Value< float >> * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Value< double >> * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visit ( NodeType< ast::Value< std::string >> * )

inlineinherited

Visits for abstract (pure-virtual) Node types.

Note: These are only hit through the default behavior if Visitor::visitNodeHierarchies is enabled.

Returns: True if traversal should continue, false to terminate

bool visitNodeHierarchies ( ) const

inlineinherited

Default behavior option. Controls whether nodes visit themselves at each stage of their class hierarchy. If true, nodes perform multiple visits on their potentially abstract base classes. If false, only the concrete derived types are visited.

When disabled, abstract node visitor methods are never accessed directly through the default Visitor implementation. These types include Node, Statement, Expression, etc AST nodes. If true, for each linearly inherited AST node, a visit is performed on the entire hierarchy. For example, for a Local AST node which derives from Variable -> Expression -> Statement -> Node, 5 visits will be performed at each level.

Member Data Documentation

std::stack<std::pair<llvm::BasicBlock*, llvm::BasicBlock*> > mBreakContinueStack

protected

llvm::IRBuilder mBuilder

protected

llvm::LLVMContext& mContext

protected

llvm::Function* mFunction

protected

Logger& mLog

protected

llvm::Module& mModule

protected

const FunctionOptions mOptions

protected

size_t mScopeIndex

protected

SymbolTableBlocks mSymbolTables

protected

std::stack<llvm::Value*> mValues

protected

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation