(v a, b) - Represent a DAG tree value. More...

#include "llvm/TableGen/Record.h"

Inheritance diagram for llvm::DagInit:

[legend]

Public Types
using	const_arg_iterator = SmallVectorImpl< Init * >::const_iterator

using	const_name_iterator = SmallVectorImpl< StringInit * >::const_iterator

Public Member Functions
	DagInit (const DagInit &)=delete

DagInit &	operator= (const DagInit &)=delete

void	Profile (FoldingSetNodeID &ID) const

Init *	getOperator () const

Record *	getOperatorAsDef (ArrayRef< SMLoc > Loc) const

StringInit *	getName () const

StringRef	getNameStr () const

unsigned	getNumArgs () const

Init *	getArg (unsigned Num) const

std::optional< unsigned >	getArgNo (StringRef Name) const
	This method looks up the specified argument name and returns its argument number or std::nullopt if that argument name does not exist.

StringInit *	getArgName (unsigned Num) const

StringRef	getArgNameStr (unsigned Num) const

ArrayRef< Init * >	getArgs () const

ArrayRef< StringInit * >	getArgNames () const

Init *	resolveReferences (Resolver &R) const override
	This function is used by classes that refer to other variables which may not be defined at the time the expression is formed.

bool	isConcrete () const override
	Is this a concrete and fully resolved value without any references or stuck operations? Unset values are concrete.

std::string	getAsString () const override
	Convert this value to a literal form.

const_arg_iterator	arg_begin () const

const_arg_iterator	arg_end () const

size_t	arg_size () const

bool	arg_empty () const

const_name_iterator	name_begin () const

const_name_iterator	name_end () const

size_t	name_size () const

bool	name_empty () const

Init *	getBit (unsigned Bit) const override
	Get the `Init` value of the specified bit.

Public Member Functions inherited from llvm::TypedInit
	TypedInit (const TypedInit &)=delete

TypedInit &	operator= (const TypedInit &)=delete

RecTy *	getType () const
	Get the type of the Init as a RecTy.

RecordKeeper &	getRecordKeeper () const
	Get the record keeper that initialized this Init.

Init *	getCastTo (RecTy *Ty) const override
	If this value is convertible to type `Ty`, return a value whose type is `Ty`, generating a !cast operation if required.

Init *	convertInitializerTo (RecTy *Ty) const override
	Convert to a value whose type is `Ty`, or return null if this is not possible.

Init *	convertInitializerBitRange (ArrayRef< unsigned > Bits) const override
	This function is used to implement the bit range selection operator.

RecTy *	getFieldType (StringInit *FieldName) const override
	This method is used to implement the FieldInit class.

Public Member Functions inherited from llvm::Init
InitKind	getKind () const
	Get the kind (type) of the value.

RecordKeeper &	getRecordKeeper () const
	Get the record keeper that initialized this Init.

	Init (const Init &)=delete

Init &	operator= (const Init &)=delete

virtual	~Init ()=default

virtual bool	isComplete () const
	Is this a complete value with no unset (uninitialized) subvalues?

virtual bool	isConcrete () const
	Is this a concrete and fully resolved value without any references or stuck operations? Unset values are concrete.

void	print (raw_ostream &OS) const
	Print this value.

virtual std::string	getAsString () const =0
	Convert this value to a literal form.

virtual std::string	getAsUnquotedString () const
	Convert this value to a literal form, without adding quotes around a string.

void	dump () const
	Debugging method that may be called through a debugger; just invokes print on stderr.

virtual Init *	getCastTo (RecTy *Ty) const =0
	If this value is convertible to type `Ty`, return a value whose type is `Ty`, generating a !cast operation if required.

virtual Init *	convertInitializerTo (RecTy *Ty) const =0
	Convert to a value whose type is `Ty`, or return null if this is not possible.

virtual Init *	convertInitializerBitRange (ArrayRef< unsigned > Bits) const
	This function is used to implement the bit range selection operator.

virtual RecTy *	getFieldType (StringInit *FieldName) const
	This function is used to implement the FieldInit class.

virtual Init *	resolveReferences (Resolver &R) const
	This function is used by classes that refer to other variables which may not be defined at the time the expression is formed.

virtual Init *	getBit (unsigned Bit) const =0
	Get the `Init` value of the specified bit.

Public Member Functions inherited from llvm::FoldingSetBase::Node
	Node ()=default

void *	getNextInBucket () const

void	SetNextInBucket (void *N)

Public Member Functions inherited from llvm::TrailingObjects< DagInit, Init , StringInit >
const T *	getTrailingObjects () const
	Returns a pointer to the trailing object array of the given type (which must be one of those specified in the class template).

T *	getTrailingObjects ()
	Returns a pointer to the trailing object array of the given type (which must be one of those specified in the class template).

	TrailingObjects ()=default

	TrailingObjects (const TrailingObjects &)=delete

	TrailingObjects (TrailingObjects &&)=delete

TrailingObjects &	operator= (const TrailingObjects &)=delete

TrailingObjects &	operator= (TrailingObjects &&)=delete

Static Public Member Functions
static bool	classof (const Init *I)

static DagInit *	get (Init V, StringInit VN, ArrayRef< Init * > ArgRange, ArrayRef< StringInit * > NameRange)

static DagInit *	get (Init V, StringInit VN, ArrayRef< std::pair< Init , StringInit > > Args)

Static Public Member Functions inherited from llvm::TypedInit
static bool	classof (const Init *I)

Static Public Member Functions inherited from llvm::TrailingObjects< DagInit, Init , StringInit >
static constexpr std::enable_if_t< std::is_same_v< Foo< TrailingTys... >, Foo< Tys... > >, size_t >	additionalSizeToAlloc (typename trailing_objects_internal::ExtractSecondType< TrailingTys, size_t >::type... Counts)
	Returns the size of the trailing data, if an object were allocated with the given counts (The counts are in the same order as the template arguments).

static constexpr std::enable_if_t< std::is_same_v< Foo< TrailingTys... >, Foo< Tys... > >, size_t >	totalSizeToAlloc (typename trailing_objects_internal::ExtractSecondType< TrailingTys, size_t >::type... Counts)
	Returns the total size of an object if it were allocated with the given trailing object counts.

Additional Inherited Members
Protected Types inherited from llvm::Init
enum	InitKind : uint8_t { IK_First , IK_FirstTypedInit , IK_BitInit , IK_BitsInit , IK_DagInit , IK_DefInit , IK_FieldInit , IK_IntInit , IK_ListInit , IK_FirstOpInit , IK_BinOpInit , IK_TernOpInit , IK_UnOpInit , IK_LastOpInit , IK_CondOpInit , IK_FoldOpInit , IK_IsAOpInit , IK_ExistsOpInit , IK_AnonymousNameInit , IK_StringInit , IK_VarInit , IK_VarBitInit , IK_VarDefInit , IK_LastTypedInit , IK_UnsetInit , IK_ArgumentInit }
	Discriminator enum (for isa<>, dyn_cast<>, et al.) More...

Protected Member Functions inherited from llvm::TypedInit
	TypedInit (InitKind K, RecTy *T, uint8_t Opc=0)

Protected Member Functions inherited from llvm::Init
	Init (InitKind K, uint8_t Opc=0)

Protected Attributes inherited from llvm::Init
uint8_t	Opc

Detailed Description

(v a, b) - Represent a DAG tree value.

DAG inits are required to have at least one value then a (possibly empty) list of arguments. Each argument can have a name associated with it.

Definition at line 1444 of file Record.h.

Member Typedef Documentation

◆ const_arg_iterator

using llvm::DagInit::const_arg_iterator = SmallVectorImpl<Init*>::const_iterator

Definition at line 1517 of file Record.h.

◆ const_name_iterator

using llvm::DagInit::const_name_iterator = SmallVectorImpl<StringInit*>::const_iterator

Definition at line 1518 of file Record.h.

Constructor & Destructor Documentation

◆ DagInit()

llvm::DagInit::DagInit ( const DagInit & )

delete

Member Function Documentation

◆ arg_begin()

const_arg_iterator llvm::DagInit::arg_begin ( ) const

inline

Definition at line 1520 of file Record.h.

References getArgs().

◆ arg_empty()

bool llvm::DagInit::arg_empty ( ) const

inline

Definition at line 1524 of file Record.h.

Referenced by getAsString().

◆ arg_end()

const_arg_iterator llvm::DagInit::arg_end ( ) const

inline

Definition at line 1521 of file Record.h.

References getArgs().

◆ arg_size()

size_t llvm::DagInit::arg_size ( ) const

inline

Definition at line 1523 of file Record.h.

Referenced by resolveReferences().

◆ classof()

static bool llvm::DagInit::classof ( const Init * I )

inlinestatic

Definition at line 1463 of file Record.h.

References I, and llvm::Init::IK_DagInit.

◆ get() [1/2]

DagInit * DagInit::get	(	Init *	V,
		StringInit *	VN,
		ArrayRef< Init * >	ArgRange,
		ArrayRef< StringInit * >	NameRange
	)

static

Definition at line 2560 of file Record.cpp.

References llvm::BumpPtrAllocatorImpl< AllocatorT, SlabSize, SizeThreshold, GrowthDelay >::Allocate(), llvm::detail::RecordKeeperImpl::Allocator, assert(), llvm::ArrayRef< T >::begin(), llvm::ArrayRef< T >::end(), I, ProfileDagInit(), llvm::ArrayRef< T >::size(), and llvm::detail::RecordKeeperImpl::TheDagInitPool.

Referenced by llvm::BinOpInit::Fold(), llvm::TernOpInit::Fold(), ForeachDagApply(), get(), and resolveReferences().

◆ get() [2/2]

DagInit * DagInit::get	(	Init *	V,
		StringInit *	VN,
		ArrayRef< std::pair< Init , StringInit > >	Args
	)

static

Definition at line 2584 of file Record.cpp.

References args, get(), and llvm::SmallVectorTemplateBase< T, bool >::push_back().

◆ getArg()

Init * llvm::DagInit::getArg ( unsigned Num ) const

inline

Definition at line 1485 of file Record.h.

References assert().

Referenced by llvm::BinOpInit::Fold(), ForeachDagApply(), and getAsString().

◆ getArgName()

StringInit * llvm::DagInit::getArgName ( unsigned Num ) const

inline

Definition at line 1494 of file Record.h.

References assert().

Referenced by llvm::BinOpInit::Fold(), ForeachDagApply(), getArgNameStr(), getArgNo(), and getAsString().

◆ getArgNames()

ArrayRef< StringInit * > llvm::DagInit::getArgNames ( ) const

inline

Definition at line 1508 of file Record.h.

Referenced by name_begin(), name_end(), and resolveReferences().

◆ getArgNameStr()

StringRef llvm::DagInit::getArgNameStr ( unsigned Num ) const

inline

Definition at line 1499 of file Record.h.

References getArgName().

◆ getArgNo()

std::optional< unsigned > DagInit::getArgNo ( StringRef Name ) const

This method looks up the specified argument name and returns its argument number or std::nullopt if that argument name does not exist.

Definition at line 2610 of file Record.cpp.

References getArgName(), getNumArgs(), llvm::StringInit::getValue(), and Name.

◆ getArgs()

ArrayRef< Init * > llvm::DagInit::getArgs ( ) const

inline

Definition at line 1504 of file Record.h.

Referenced by arg_begin(), arg_end(), isConcrete(), and resolveReferences().

◆ getAsString()

std::string DagInit::getAsString ( ) const

overridevirtual

Convert this value to a literal form.

Implements llvm::Init.

Definition at line 2646 of file Record.cpp.

References arg_empty(), getArg(), getArgName(), llvm::Init::getAsString(), llvm::StringInit::getAsUnquotedString(), and getNumArgs().

Referenced by llvm::BinOpInit::Fold().

◆ getBit()

Init * llvm::DagInit::getBit ( unsigned Bit ) const

inlineoverridevirtual

Get the Init value of the specified bit.

Implements llvm::Init.

Definition at line 1532 of file Record.h.

References llvm_unreachable.

◆ getName()

StringInit * llvm::DagInit::getName ( ) const

inline

Definition at line 1477 of file Record.h.

◆ getNameStr()

StringRef llvm::DagInit::getNameStr ( ) const

inline

Definition at line 1479 of file Record.h.

References llvm::StringInit::getValue().

◆ getNumArgs()

unsigned llvm::DagInit::getNumArgs ( ) const

inline

Definition at line 1483 of file Record.h.

Referenced by llvm::BinOpInit::Fold(), ForeachDagApply(), getArgNo(), and getAsString().

◆ getOperator()

Init * llvm::DagInit::getOperator ( ) const

inline

Definition at line 1474 of file Record.h.

Referenced by llvm::SetTheory::evaluate(), llvm::BinOpInit::Fold(), and ForeachDagApply().

◆ getOperatorAsDef()

Record * DagInit::getOperatorAsDef ( ArrayRef< SMLoc > Loc ) const

Definition at line 2603 of file Record.cpp.

References llvm::PrintFatalError().

◆ isConcrete()

bool DagInit::isConcrete ( ) const

overridevirtual

Is this a concrete and fully resolved value without any references or stuck operations? Unset values are concrete.

Reimplemented from llvm::Init.

Definition at line 2636 of file Record.cpp.

References getArgs(), and llvm::Init::isConcrete().

◆ name_begin()

const_name_iterator llvm::DagInit::name_begin ( ) const

inline

Definition at line 1526 of file Record.h.

References getArgNames().

◆ name_empty()

bool llvm::DagInit::name_empty ( ) const

inline

Definition at line 1530 of file Record.h.

◆ name_end()

const_name_iterator llvm::DagInit::name_end ( ) const

inline

Definition at line 1527 of file Record.h.

References getArgNames().

◆ name_size()

size_t llvm::DagInit::name_size ( ) const

inline

Definition at line 1529 of file Record.h.

◆ operator=()

DagInit & llvm::DagInit::operator= ( const DagInit & )

delete

◆ Profile()

void DagInit::Profile ( FoldingSetNodeID & ID ) const

Definition at line 2597 of file Record.cpp.

References ProfileDagInit().

◆ resolveReferences()

Init * DagInit::resolveReferences ( Resolver & R ) const

overridevirtual

This function is used by classes that refer to other variables which may not be defined at the time the expression is formed.

If a value is set for the variable later, this method will be called on users of the value to allow the value to propagate out.

Reimplemented from llvm::Init.

Definition at line 2619 of file Record.cpp.

References arg_size(), get(), getArgNames(), getArgs(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::SmallVectorImpl< T >::reserve(), and llvm::Init::resolveReferences().

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

include/llvm/TableGen/Record.h
lib/TableGen/Record.cpp

Public Types

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ const_arg_iterator

◆ const_name_iterator

Constructor & Destructor Documentation

◆ DagInit()

Member Function Documentation

◆ arg_begin()

◆ arg_empty()

◆ arg_end()

◆ arg_size()

◆ classof()

◆ get() [1/2]

◆ get() [2/2]

◆ getArg()

◆ getArgName()

◆ getArgNames()

◆ getArgNameStr()

◆ getArgNo()

◆ getArgs()

◆ getAsString()

◆ getBit()

◆ getName()

◆ getNameStr()

◆ getNumArgs()

◆ getOperator()

◆ getOperatorAsDef()

◆ isConcrete()

◆ name_begin()

◆ name_empty()

◆ name_end()

◆ name_size()

◆ operator=()

◆ Profile()

◆ resolveReferences()