CIRCT 24.0.0git
Loading...
Searching...
No Matches
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs > Class Template Reference

This helps visit TypeOp nodes. More...

#include <RTGVisitors.h>

Inheritance diagram for circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >:

Public Member Functions

ResultType dispatchOpVisitor (Operation *op, ExtraArgs... args)
ResultType visitInvalidTypeOp (Operation *op, ExtraArgs... args)
 This callback is invoked on any RTG operations not handled properly by the TypeSwitch.
ResultType visitUnhandledOp (Operation *op, ExtraArgs... args)
 This callback is invoked on any operations that are not handled by the concrete visitor.
ResultType visitExternalOp (Operation *op, ExtraArgs... args)
 HANDLE (ConstantOp, Unhandled)
 HANDLE (SequenceOp, Unhandled)
 HANDLE (GetSequenceOp, Unhandled)
 HANDLE (SubstituteSequenceOp, Unhandled)
 HANDLE (RandomizeSequenceOp, Unhandled)
 HANDLE (InterleaveSequencesOp, Unhandled)
 HANDLE (EmbedSequenceOp, Unhandled)
 HANDLE (RandomNumberInRangeOp, Unhandled)
 HANDLE (OnContextOp, Unhandled)
 HANDLE (ContextSwitchOp, Unhandled)
 HANDLE (SetCreateOp, Unhandled)
 HANDLE (SetSelectRandomOp, Unhandled)
 HANDLE (SetDifferenceOp, Unhandled)
 HANDLE (SetUnionOp, Unhandled)
 HANDLE (SetSizeOp, Unhandled)
 HANDLE (SetCartesianProductOp, Unhandled)
 HANDLE (SetConvertToBagOp, Unhandled)
 HANDLE (BagCreateOp, Unhandled)
 HANDLE (BagSelectRandomOp, Unhandled)
 HANDLE (BagDifferenceOp, Unhandled)
 HANDLE (BagUnionOp, Unhandled)
 HANDLE (BagUniqueSizeOp, Unhandled)
 HANDLE (BagConvertToSetOp, Unhandled)
 HANDLE (ArrayCreateOp, Unhandled)
 HANDLE (ArrayExtractOp, Unhandled)
 HANDLE (ArrayInjectOp, Unhandled)
 HANDLE (ArraySizeOp, Unhandled)
 HANDLE (ArrayAppendOp, Unhandled)
 HANDLE (TupleCreateOp, Unhandled)
 HANDLE (TupleExtractOp, Unhandled)
 HANDLE (CommentOp, Unhandled)
 HANDLE (ConstraintOp, Unhandled)
 HANDLE (LabelUniqueDeclOp, Unhandled)
 HANDLE (LabelOp, Unhandled)
 HANDLE (TestOp, Unhandled)
 HANDLE (TargetOp, Unhandled)
 HANDLE (YieldOp, Unhandled)
 HANDLE (ValidateOp, Unhandled)
 HANDLE (TestSuccessOp, Unhandled)
 HANDLE (TestFailureOp, Unhandled)
 HANDLE (VirtualRegisterOp, Unhandled)
 HANDLE (RegisterToIndexOp, Unhandled)
 HANDLE (IndexToRegisterOp, Unhandled)
 HANDLE (IntToImmediateOp, Unhandled)
 HANDLE (ConcatImmediateOp, Unhandled)
 HANDLE (SliceImmediateOp, Unhandled)
 HANDLE (MemoryBlockDeclareOp, Unhandled)
 HANDLE (MemoryAllocOp, Unhandled)
 HANDLE (MemoryBaseAddressOp, Unhandled)
 HANDLE (MemorySizeOp, Unhandled)
 HANDLE (SpaceOp, Unhandled)
 HANDLE (StringDataOp, Unhandled)
 HANDLE (SegmentOp, Unhandled)
 HANDLE (StringConcatOp, Unhandled)
 HANDLE (IntFormatOp, Unhandled)
 HANDLE (ImmediateFormatOp, Unhandled)
 HANDLE (RegisterFormatOp, Unhandled)
 HANDLE (StringToLabelOp, Unhandled)
 HANDLE (StringToASCIIArrayOp, Unhandled)
 HANDLE (RandomScopeOp, Unhandled)
 HANDLE (MutCreateOp, Unhandled)
 HANDLE (MutReadOp, Unhandled)
 HANDLE (MutWriteOp, Unhandled)
 HANDLE (EffectOp, Unhandled)
 HANDLE (WithHandlersOp, Unhandled)
 HANDLE (PerformOp, Unhandled)
 HANDLE (ResumeOp, Unhandled)

Detailed Description

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
class circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >

This helps visit TypeOp nodes.

Definition at line 25 of file RTGVisitors.h.

Member Function Documentation

◆ dispatchOpVisitor()

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
ResultType circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::dispatchOpVisitor ( Operation * op,
ExtraArgs... args )
inline

Definition at line 27 of file RTGVisitors.h.

◆ HANDLE() [1/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ArrayAppendOp ,
Unhandled  )

◆ HANDLE() [2/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ArrayCreateOp ,
Unhandled  )

◆ HANDLE() [3/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ArrayExtractOp ,
Unhandled  )

◆ HANDLE() [4/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ArrayInjectOp ,
Unhandled  )

◆ HANDLE() [5/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ArraySizeOp ,
Unhandled  )

◆ HANDLE() [6/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BagConvertToSetOp ,
Unhandled  )

◆ HANDLE() [7/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BagCreateOp ,
Unhandled  )

◆ HANDLE() [8/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BagDifferenceOp ,
Unhandled  )

◆ HANDLE() [9/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BagSelectRandomOp ,
Unhandled  )

◆ HANDLE() [10/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BagUnionOp ,
Unhandled  )

◆ HANDLE() [11/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BagUniqueSizeOp ,
Unhandled  )

◆ HANDLE() [12/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( CommentOp ,
Unhandled  )

◆ HANDLE() [13/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ConcatImmediateOp ,
Unhandled  )

◆ HANDLE() [14/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ConstantOp ,
Unhandled  )

◆ HANDLE() [15/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ConstraintOp ,
Unhandled  )

◆ HANDLE() [16/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ContextSwitchOp ,
Unhandled  )

◆ HANDLE() [17/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( EffectOp ,
Unhandled  )

◆ HANDLE() [18/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( EmbedSequenceOp ,
Unhandled  )

◆ HANDLE() [19/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( GetSequenceOp ,
Unhandled  )

◆ HANDLE() [20/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ImmediateFormatOp ,
Unhandled  )

◆ HANDLE() [21/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IndexToRegisterOp ,
Unhandled  )

◆ HANDLE() [22/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( InterleaveSequencesOp ,
Unhandled  )

◆ HANDLE() [23/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IntFormatOp ,
Unhandled  )

◆ HANDLE() [24/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IntToImmediateOp ,
Unhandled  )

◆ HANDLE() [25/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( LabelOp ,
Unhandled  )

◆ HANDLE() [26/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( LabelUniqueDeclOp ,
Unhandled  )

◆ HANDLE() [27/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MemoryAllocOp ,
Unhandled  )

◆ HANDLE() [28/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MemoryBaseAddressOp ,
Unhandled  )

◆ HANDLE() [29/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MemoryBlockDeclareOp ,
Unhandled  )

◆ HANDLE() [30/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MemorySizeOp ,
Unhandled  )

◆ HANDLE() [31/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MutCreateOp ,
Unhandled  )

◆ HANDLE() [32/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MutReadOp ,
Unhandled  )

◆ HANDLE() [33/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MutWriteOp ,
Unhandled  )

◆ HANDLE() [34/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( OnContextOp ,
Unhandled  )

◆ HANDLE() [35/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( PerformOp ,
Unhandled  )

◆ HANDLE() [36/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( RandomizeSequenceOp ,
Unhandled  )

◆ HANDLE() [37/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( RandomNumberInRangeOp ,
Unhandled  )

◆ HANDLE() [38/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( RandomScopeOp ,
Unhandled  )

◆ HANDLE() [39/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( RegisterFormatOp ,
Unhandled  )

◆ HANDLE() [40/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( RegisterToIndexOp ,
Unhandled  )

◆ HANDLE() [41/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ResumeOp ,
Unhandled  )

◆ HANDLE() [42/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SegmentOp ,
Unhandled  )

◆ HANDLE() [43/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SequenceOp ,
Unhandled  )

◆ HANDLE() [44/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SetCartesianProductOp ,
Unhandled  )

◆ HANDLE() [45/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SetConvertToBagOp ,
Unhandled  )

◆ HANDLE() [46/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SetCreateOp ,
Unhandled  )

◆ HANDLE() [47/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SetDifferenceOp ,
Unhandled  )

◆ HANDLE() [48/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SetSelectRandomOp ,
Unhandled  )

◆ HANDLE() [49/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SetSizeOp ,
Unhandled  )

◆ HANDLE() [50/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SetUnionOp ,
Unhandled  )

◆ HANDLE() [51/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SliceImmediateOp ,
Unhandled  )

◆ HANDLE() [52/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SpaceOp ,
Unhandled  )

◆ HANDLE() [53/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( StringConcatOp ,
Unhandled  )

◆ HANDLE() [54/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( StringDataOp ,
Unhandled  )

◆ HANDLE() [55/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( StringToASCIIArrayOp ,
Unhandled  )

◆ HANDLE() [56/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( StringToLabelOp ,
Unhandled  )

◆ HANDLE() [57/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SubstituteSequenceOp ,
Unhandled  )

◆ HANDLE() [58/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( TargetOp ,
Unhandled  )

◆ HANDLE() [59/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( TestFailureOp ,
Unhandled  )

◆ HANDLE() [60/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( TestOp ,
Unhandled  )

◆ HANDLE() [61/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( TestSuccessOp ,
Unhandled  )

◆ HANDLE() [62/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( TupleCreateOp ,
Unhandled  )

◆ HANDLE() [63/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( TupleExtractOp ,
Unhandled  )

◆ HANDLE() [64/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ValidateOp ,
Unhandled  )

◆ HANDLE() [65/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( VirtualRegisterOp ,
Unhandled  )

◆ HANDLE() [66/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( WithHandlersOp ,
Unhandled  )

◆ HANDLE() [67/67]

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( YieldOp ,
Unhandled  )

◆ visitExternalOp()

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
ResultType circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::visitExternalOp ( Operation * op,
ExtraArgs... args )
inline

Definition at line 97 of file RTGVisitors.h.

◆ visitInvalidTypeOp()

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
ResultType circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::visitInvalidTypeOp ( Operation * op,
ExtraArgs... args )
inline

This callback is invoked on any RTG operations not handled properly by the TypeSwitch.

Definition at line 88 of file RTGVisitors.h.

Referenced by circt::rtg::RTGOpVisitor< Elaborator, FailureOr< DeletionKind > >::dispatchOpVisitor().

◆ visitUnhandledOp()

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
ResultType circt::rtg::RTGOpVisitor< ConcreteType, ResultType, ExtraArgs >::visitUnhandledOp ( Operation * op,
ExtraArgs... args )

This callback is invoked on any operations that are not handled by the concrete visitor.


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