Can't find 'Pure' trait's definition

drquite · November 28, 2022, 7:08am

In the file : llvm-project/mlir/examples/toy/Ch2/include/toy/Ops.td the operation constant is defined as:

def ConstantOp : Toy_Op<"constant", [Pure]> {...........}

However, in the file : llvm-project/mlir/include/mlir/IR/OpBase.td I can’t find the definition of the trait ‘Pure’. Where can I find the definition of this trait?

Thanks.

gcmn · November 28, 2022, 7:34am

github.com

llvm/llvm-project/blob/cef078a89da8c239ea595a5b11302378f6271bf5/mlir/include/mlir/Interfaces/SideEffectInterfaces.td#L133


      
          def AlwaysSpeculatable : TraitList<[
              ConditionallySpeculatable, AlwaysSpeculatableImplTrait]>;
          
          
// Marks an Operation as speculatable only if all the operations in all attached
          // regions are also speculatable.
          def RecursivelySpeculatable : TraitList<[
              ConditionallySpeculatable, RecursivelySpeculatableImplTrait]>;
          
          
// Always speculatable operation that does not touch memory.  These operations
          // are always legal to hoist or sink.
          def Pure : TraitList<[AlwaysSpeculatable, NoMemoryEffect]>;
          
          
#endif // MLIR_INTERFACES_SIDEEFFECTS