Lines Matching refs:IntegerSet
981 static_assert(llvm::is_one_of<MapOrSet, AffineMap, IntegerSet>::value, in canonicalizeMapOrSetAndOperands()
1060 void mlir::canonicalizeSetAndOperands(IntegerSet *set, in canonicalizeSetAndOperands()
1062 canonicalizeMapOrSetAndOperands<IntegerSet>(set, operands); in canonicalizeSetAndOperands()
2308 auto isTriviallyFalse = [](IntegerSet iSet) { in matchAndRewrite()
2312 auto isTriviallyTrue = [](IntegerSet iSet) { in matchAndRewrite()
2317 IntegerSet affineIfConditions = op.getIntegerSet(); in matchAndRewrite()
2364 IntegerSet condition = conditionAttr.getValue(); in verify()
2453 IntegerSet AffineIfOp::getIntegerSet() { in getIntegerSet()
2459 void AffineIfOp::setIntegerSet(IntegerSet newSet) { in setIntegerSet()
2463 void AffineIfOp::setConditional(IntegerSet set, ValueRange operands) { in setConditional()
2469 TypeRange resultTypes, IntegerSet set, ValueRange args, in build()
2490 IntegerSet set, ValueRange args, bool withElseRegion) { in build()
2498 static void composeSetAndOperands(IntegerSet &set, in composeSetAndOperands()
2511 set = IntegerSet::get(map.getNumDims(), map.getNumSymbols(), map.getResults(), in composeSetAndOperands()