Home
last modified time | relevance | path

Searched refs:CPred (Results 1 – 25 of 46) sorted by relevance

12

/llvm-project-15.0.7/mlir/lib/Dialect/Arithmetic/IR/
H A DArithmeticCanonicalization.td120 [(Constraint<CPred<"$0.getType() == $1.getType()">> $a, $b),
121 …(Constraint<CPred<"$0.getValue() == arith::CmpIPredicate::eq || $0.getValue() == arith::CmpIPredic…
129 [(Constraint<CPred<"$0.getType() == $1.getType()">> $a, $b),
130 …(Constraint<CPred<"$0.getValue() == arith::CmpIPredicate::eq || $0.getValue() == arith::CmpIPredic…
140 [(Constraint<CPred<"$0.getType() == $1.getType()">> $res, $x)]>;
169 [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
174 [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
183 [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
188 [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
197 [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
[all …]
/llvm-project-15.0.7/flang/include/flang/Optimizer/Dialect/
H A DCanonicalizationPatterns.td22 def IdenticalTypePred : Constraint<CPred<"$0.getType() == $1.getType()">>;
23 def IntegerTypePred : Constraint<CPred<"fir::isa_integer($0.getType())">>;
24 def IndexTypePred : Constraint<CPred<"$0.getType().isa<mlir::IndexType>()">>;
29 : Constraint<CPred<"(($0.getType().isa<mlir::IntegerType>() && "
44 def IntPred : Constraint<CPred<
50 def SmallerWidthPred : Constraint<CPred<
53 def StrictSmallerWidthPred : Constraint<CPred<
/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DOpBase.td58 // 1. CPred: the primitive leaf predicate.
93 class CPred<code pred> : Pred {
333 def AnyType : Type<CPred<"true">, "any type">;
459 : Type<CPred<"$_self.isF" # width # "()">,
1631 CPred<"isa_and_nonnull<" # opClass # ">("
1974 Attr<CPred<"$_self.isa<"
1988 Type<CPred<"$_self.isa<"
2302 : PredOpTrait<summary, CPred<
2319 CPred<"$_op.getNumOperands() > " # idx>,
2357 CPred<"$_op.getNumResults() > " # i>,
[all …]
H A DAttrTypeBase.td237 : DialectAttr<dialect, CPred<"">, /*descr*/"">,
269 let predicate = CPred<"$_self.isa<" # dialect.cppNamespace #
277 : DialectType<dialect, CPred<"">, /*descr*/"", name # "Type">,
288 let predicate = CPred<"$_self.isa<" # dialect.cppNamespace #
/llvm-project-15.0.7/mlir/include/mlir/TableGen/
H A DPredicate.h77 class CPred : public Pred {
80 explicit CPred(const llvm::Record *record);
82 explicit CPred(const llvm::Init *init);
/llvm-project-15.0.7/mlir/lib/Dialect/Shape/IR/
H A DShapeCanonicalization.td5 def AllInputShapesEq : Constraint<CPred< [{
11 def HasSingleElement : Constraint<CPred< [{
15 def HasStaticShape : Constraint<CPred< [{
/llvm-project-15.0.7/mlir/lib/TableGen/
H A DPredicate.cpp42 return static_cast<const CPred *>(this)->getConditionImpl(); in getCondition()
52 CPred::CPred(const llvm::Record *record) : Pred(record) { in CPred() function in CPred
57 CPred::CPred(const llvm::Init *init) : Pred(init) { in CPred() function in CPred
63 std::string CPred::getConditionImpl() const { in getConditionImpl()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/LLVMIR/
H A DLLVMOpBase.td85 CPred<"::mlir::LLVM::isCompatibleOuterType($_self)">,
90 CPred<"$_self.isa<::mlir::LLVM::LLVMTokenType>()">,
98 CPred<"!$_self.isa<::mlir::LLVM::LLVMVoidType, "
108 CPred<"::mlir::LLVM::isCompatibleFloatingPointType($_self)">,
112 def LLVM_AnyPointer : Type<CPred<"$_self.isa<::mlir::LLVM::LLVMPointerType>()">,
119 Or<[CPred<"$_self.cast<::mlir::LLVM::LLVMPointerType>().isOpaque()">,
137 def LLVM_AnyStruct : Type<CPred<"$_self.isa<::mlir::LLVM::LLVMStructType>()">,
143 CPred<"$_self.cast<::mlir::LLVM::LLVMStructType>().isOpaque()">]>>;
154 CPred<"$_self.isa<::mlir::LLVM::LLVMStructType, "
169 def LLVM_AnyFixedVector : Type<CPred<
[all …]
H A DLLVMIntrinsicOps.td438 CPred<"getSrcVectorBitWidth() <= 131072">,
439 CPred<"getDstVectorBitWidth() <= 131072">
442 CPred<"!isScalableVectorType($srcvec.getType()) || "
473 CPred<"getSrcVectorBitWidth() <= 131072">,
474 CPred<"getResVectorBitWidth() <= 131072">
477 CPred<"!isScalableVectorType($res.getType()) || "
/llvm-project-15.0.7/mlir/test/mlir-tblgen/
H A Dpredicate.td11 def I32OrF32 : Type<CPred<"$_self.isInteger(32) || $_self.isF32()">,
46 And<[CPred<"first">, CPred<"second">]>>]> {
121 StringBasedAttr<CPred<"$_self.cast<StringAttr>().getValue() == \"foo\"">,
H A Dgen-dialect-doc.td18 def TestAttr : DialectAttr<Test_Dialect, CPred<"true">> {
23 def TestType : DialectType<Test_Dialect, CPred<"true">> {
H A Dconstraint-unique.td14 def ATypePred : CPred<"typePred($_self, $_op)">;
18 def AnAttrPred : CPred<"attrPred($_self, $_op)">;
22 def ASuccessorPred : CPred<"successorPred($_self, $_op)">;
26 def ARegionPred : CPred<"regionPred($_self, $_op)">;
H A Dexpect-symbol.td19 [(Constraint<CPred<"$0->getValue() == $1">> $attr, 42)]>;
/llvm-project-15.0.7/mlir/include/mlir/Dialect/DLTI/
H A DDLTIBase.td46 CPred<"$_self.isa<::mlir::DataLayoutEntryAttr>()">,
55 CPred<"$_self.isa<::mlir::DataLayoutSpecAttr>()">,
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Tosa/IR/
H A DTosaTypesBase.td27 : Type<And<[CPred<"$_self.isa<mlir::quant::QuantizedType>()">,
28 CPred<"$_self.cast<mlir::quant::QuantizedType>()" #
167 CPred<"$_self.cast<::mlir::ArrayAttr>().size() <= " # n>,
191 CPred<"$_self.cast<StringAttr>().getValue() == \"BILINEAR\" || " #
/llvm-project-15.0.7/mlir/include/mlir/Dialect/ArmNeon/
H A DArmNeon.td136 CPred<"getA().getType().cast<VectorType>().getShape().size() == 1">
140 CPred<"getB().getType().cast<VectorType>().getShape().size() == 2">
144 CPred<"getB().getType().cast<VectorType>().getShape()[1] == 4">
148 …CPred<"getB().getType().cast<VectorType>().getShape()[0] == getA().getType().cast<VectorType>().ge…
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Quant/
H A DQuantOpsBase.td39 Type<CPred<"$_self.isa<mlir::quant::QuantizedType>()">, "QuantizedType">;
69 CPred<"$_self.isa<UniformQuantizedType>()">,
/llvm-project-15.0.7/mlir/include/mlir/Dialect/GPU/IR/
H A DGPUBase.td66 GPU_Dialect, CPred<"$_self.isa<::mlir::gpu::AsyncTokenType>()">, "async token type">,
70 def IsMMAMatrixTypePred : CPred<"$_self.isa<::mlir::gpu::MMAMatrixType>()">;
/llvm-project-15.0.7/mlir/lib/Dialect/SPIRV/IR/
H A DSPIRVCanonicalization.td47 def ValuesAreEqual : Constraint<CPred<"$0 == $1">>;
/llvm-project-15.0.7/mlir/examples/toy/Ch3/mlir/
H A DToyCombine.td58 def TypesAreIdentical : Constraint<CPred<"$0.getType() == $1.getType()">>;
/llvm-project-15.0.7/mlir/examples/toy/Ch7/mlir/
H A DToyCombine.td58 def TypesAreIdentical : Constraint<CPred<"$0.getType() == $1.getType()">>;
/llvm-project-15.0.7/mlir/examples/toy/Ch6/mlir/
H A DToyCombine.td58 def TypesAreIdentical : Constraint<CPred<"$0.getType() == $1.getType()">>;
/llvm-project-15.0.7/mlir/examples/toy/Ch4/mlir/
H A DToyCombine.td58 def TypesAreIdentical : Constraint<CPred<"$0.getType() == $1.getType()">>;
/llvm-project-15.0.7/mlir/examples/toy/Ch5/mlir/
H A DToyCombine.td58 def TypesAreIdentical : Constraint<CPred<"$0.getType() == $1.getType()">>;
/llvm-project-15.0.7/mlir/docs/
H A DOpDefinitions.md1158 1. `CPred`: the primitive leaf predicate.
1163 `CPred` is the basis for composing more complex predicates. It is the "atom"
1168 You can put any C++ code that returns a boolean value inside a `CPred`,
1195 just call `attr.isa<IntegerAttr>()`. The code can be wrapped in a `CPred` as
1205 CPred<"$_self.isa<IntegerAttr>()">,
1207 CPred<"$_self.cast<IntegerAttr>().getType().isInteger(32)">,
1208 CPred<"$_self.cast<IntegerAttr>().getType().isInteger(64)">
1214 `CPred` and predicate combiners to write complicated predicates. For integer
1221 If the predicate is very complex to write with `CPred` together with predicate
1233 def HasSomeProperty : AttrConstraint<CPred<"HasSomeProperty($_self)">,
[all …]

12