LLVM 19.0.0git
Public Types | Public Member Functions | Static Public Member Functions | List of all members
llvm::DagInit Class Referencefinal

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

#include "llvm/TableGen/Record.h"

Inheritance diagram for llvm::DagInit:
Inheritance graph
[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
 
DagInitoperator= (const DagInit &)=delete
 
void Profile (FoldingSetNodeID &ID) const
 
InitgetOperator () const
 
RecordgetOperatorAsDef (ArrayRef< SMLoc > Loc) const
 
StringInitgetName () const
 
StringRef getNameStr () const
 
unsigned getNumArgs () const
 
InitgetArg (unsigned Num) const
 
std::optional< unsignedgetArgNo (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.
 
StringInitgetArgName (unsigned Num) const
 
StringRef getArgNameStr (unsigned Num) const
 
ArrayRef< Init * > getArgs () const
 
ArrayRef< StringInit * > getArgNames () const
 
InitresolveReferences (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
 
InitgetBit (unsigned Bit) const override
 Get the Init value of the specified bit.
 
- Public Member Functions inherited from llvm::TypedInit
 TypedInit (const TypedInit &)=delete
 
TypedInitoperator= (const TypedInit &)=delete
 
RecTygetType () const
 Get the type of the Init as a RecTy.
 
RecordKeepergetRecordKeeper () const
 Get the record keeper that initialized this Init.
 
InitgetCastTo (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.
 
InitconvertInitializerTo (RecTy *Ty) const override
 Convert to a value whose type is Ty, or return null if this is not possible.
 
InitconvertInitializerBitRange (ArrayRef< unsigned > Bits) const override
 This function is used to implement the bit range selection operator.
 
RecTygetFieldType (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.
 
RecordKeepergetRecordKeeper () const
 Get the record keeper that initialized this Init.
 
 Init (const Init &)=delete
 
Initoperator= (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 InitgetCastTo (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 InitconvertInitializerTo (RecTy *Ty) const =0
 Convert to a value whose type is Ty, or return null if this is not possible.
 
virtual InitconvertInitializerBitRange (ArrayRef< unsigned > Bits) const
 This function is used to implement the bit range selection operator.
 
virtual RecTygetFieldType (StringInit *FieldName) const
 This function is used to implement the FieldInit class.
 
virtual InitresolveReferences (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 InitgetBit (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 TgetTrailingObjects () const
 Returns a pointer to the trailing object array of the given type (which must be one of those specified in the class template).
 
TgetTrailingObjects ()
 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
 
TrailingObjectsoperator= (const TrailingObjects &)=delete
 
TrailingObjectsoperator= (TrailingObjects &&)=delete
 

Static Public Member Functions

static bool classof (const Init *I)
 
static DagInitget (Init *V, StringInit *VN, ArrayRef< Init * > ArgRange, ArrayRef< StringInit * > NameRange)
 
static DagInitget (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

Definition at line 1517 of file Record.h.

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

◆ get() [2/2]

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

Definition at line 2585 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 2611 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 2647 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 2604 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 2637 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 2598 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 2620 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: