MLIR
18.0.0git
|
A position describing the users of a value or a range of values. More...
#include "Conversion/PDLToPDLInterp/Predicate.h"
Public Member Functions | |
UsersPosition (const KeyTy &key) | |
bool | useRepresentative () const |
Indicates whether to compute a range of a representative. More... | |
![]() | |
PredicateBase (KeyT &&key) | |
bool | operator== (const KeyTy &key) const |
Utility methods required by the storage allocator. More... | |
const KeyTy & | getValue () const |
Return the key value of this predicate. More... | |
![]() | |
Position (Predicates::Kind kind) | |
virtual | ~Position () |
unsigned | getOperationDepth () const |
Returns the depth of the first ancestor operation position. More... | |
Position * | getParent () const |
Returns the parent position. The root operation position has no parent. More... | |
Predicates::Kind | getKind () const |
Returns the kind of this position. More... | |
Static Public Member Functions | |
static llvm::hash_code | hashKey (const KeyTy &key) |
Returns a hash suitable for the given keytype. More... | |
![]() | |
static UsersPosition * | get (StorageUniquer &uniquer, Args &&...args) |
Get an instance of this position. More... | |
static UsersPosition * | construct (StorageUniquer::StorageAllocator &alloc, KeyT &&key) |
Construct an instance with the given storage allocator. More... | |
static bool | classof (const Position *pred) |
Additional Inherited Members | |
![]() | |
using | KeyTy = std::pair< Position *, bool > |
using | Base = PredicateBase< UsersPosition, Position, std::pair< Position *, bool >, Kind > |
![]() | |
BaseStorage ()=default | |
![]() | |
KeyTy | key |
![]() | |
Position * | parent = nullptr |
Link to the parent position. More... | |
A position describing the users of a value or a range of values.
The second value in the key indicates whether we choose users of a representative for a range (this is true, e.g., in the upward traversals).
Definition at line 357 of file Predicate.h.
|
inlineexplicit |
Definition at line 360 of file Predicate.h.
References mlir::pdl_to_pdl_interp::PredicateBase< UsersPosition, Position, std::pair< Position *, bool >, Predicates::UsersPos >::key, and mlir::pdl_to_pdl_interp::Position::parent.
|
inlinestatic |
Returns a hash suitable for the given keytype.
Definition at line 363 of file Predicate.h.
References mlir::presburger::hash_value(), and mlir::pdl_to_pdl_interp::PredicateBase< UsersPosition, Position, std::pair< Position *, bool >, Predicates::UsersPos >::key.
|
inline |
Indicates whether to compute a range of a representative.
Definition at line 368 of file Predicate.h.