1 //===- Builders.cpp - Helpers for constructing MLIR Classes ---------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "mlir/IR/Builders.h" 10 #include "mlir/IR/AffineExpr.h" 11 #include "mlir/IR/AffineMap.h" 12 #include "mlir/IR/BuiltinTypes.h" 13 #include "mlir/IR/Dialect.h" 14 #include "mlir/IR/IRMapping.h" 15 #include "mlir/IR/IntegerSet.h" 16 #include "mlir/IR/Matchers.h" 17 #include "mlir/IR/SymbolTable.h" 18 #include "llvm/ADT/SmallVectorExtras.h" 19 #include "llvm/Support/raw_ostream.h" 20 21 using namespace mlir; 22 23 //===----------------------------------------------------------------------===// 24 // Locations. 25 //===----------------------------------------------------------------------===// 26 27 Location Builder::getUnknownLoc() { return UnknownLoc::get(context); } 28 29 Location Builder::getFusedLoc(ArrayRef<Location> locs, Attribute metadata) { 30 return FusedLoc::get(locs, metadata, context); 31 } 32 33 //===----------------------------------------------------------------------===// 34 // Types. 35 //===----------------------------------------------------------------------===// 36 37 FloatType Builder::getBF16Type() { return BFloat16Type::get(context); } 38 39 FloatType Builder::getF16Type() { return Float16Type::get(context); } 40 41 FloatType Builder::getTF32Type() { return FloatTF32Type::get(context); } 42 43 FloatType Builder::getF32Type() { return Float32Type::get(context); } 44 45 FloatType Builder::getF64Type() { return Float64Type::get(context); } 46 47 FloatType Builder::getF80Type() { return Float80Type::get(context); } 48 49 FloatType Builder::getF128Type() { return Float128Type::get(context); } 50 51 IndexType Builder::getIndexType() { return IndexType::get(context); } 52 53 IntegerType Builder::getI1Type() { return IntegerType::get(context, 1); } 54 55 IntegerType Builder::getI2Type() { return IntegerType::get(context, 2); } 56 57 IntegerType Builder::getI4Type() { return IntegerType::get(context, 4); } 58 59 IntegerType Builder::getI8Type() { return IntegerType::get(context, 8); } 60 61 IntegerType Builder::getI16Type() { return IntegerType::get(context, 16); } 62 63 IntegerType Builder::getI32Type() { return IntegerType::get(context, 32); } 64 65 IntegerType Builder::getI64Type() { return IntegerType::get(context, 64); } 66 67 IntegerType Builder::getIntegerType(unsigned width) { 68 return IntegerType::get(context, width); 69 } 70 71 IntegerType Builder::getIntegerType(unsigned width, bool isSigned) { 72 return IntegerType::get( 73 context, width, isSigned ? IntegerType::Signed : IntegerType::Unsigned); 74 } 75 76 FunctionType Builder::getFunctionType(TypeRange inputs, TypeRange results) { 77 return FunctionType::get(context, inputs, results); 78 } 79 80 TupleType Builder::getTupleType(TypeRange elementTypes) { 81 return TupleType::get(context, elementTypes); 82 } 83 84 NoneType Builder::getNoneType() { return NoneType::get(context); } 85 86 //===----------------------------------------------------------------------===// 87 // Attributes. 88 //===----------------------------------------------------------------------===// 89 90 NamedAttribute Builder::getNamedAttr(StringRef name, Attribute val) { 91 return NamedAttribute(name, val); 92 } 93 94 UnitAttr Builder::getUnitAttr() { return UnitAttr::get(context); } 95 96 BoolAttr Builder::getBoolAttr(bool value) { 97 return BoolAttr::get(context, value); 98 } 99 100 DictionaryAttr Builder::getDictionaryAttr(ArrayRef<NamedAttribute> value) { 101 return DictionaryAttr::get(context, value); 102 } 103 104 IntegerAttr Builder::getIndexAttr(int64_t value) { 105 return IntegerAttr::get(getIndexType(), APInt(64, value)); 106 } 107 108 IntegerAttr Builder::getI64IntegerAttr(int64_t value) { 109 return IntegerAttr::get(getIntegerType(64), APInt(64, value)); 110 } 111 112 DenseIntElementsAttr Builder::getBoolVectorAttr(ArrayRef<bool> values) { 113 return DenseIntElementsAttr::get( 114 VectorType::get(static_cast<int64_t>(values.size()), getI1Type()), 115 values); 116 } 117 118 DenseIntElementsAttr Builder::getI32VectorAttr(ArrayRef<int32_t> values) { 119 return DenseIntElementsAttr::get( 120 VectorType::get(static_cast<int64_t>(values.size()), getIntegerType(32)), 121 values); 122 } 123 124 DenseIntElementsAttr Builder::getI64VectorAttr(ArrayRef<int64_t> values) { 125 return DenseIntElementsAttr::get( 126 VectorType::get(static_cast<int64_t>(values.size()), getIntegerType(64)), 127 values); 128 } 129 130 DenseIntElementsAttr Builder::getIndexVectorAttr(ArrayRef<int64_t> values) { 131 return DenseIntElementsAttr::get( 132 VectorType::get(static_cast<int64_t>(values.size()), getIndexType()), 133 values); 134 } 135 136 DenseFPElementsAttr Builder::getF32VectorAttr(ArrayRef<float> values) { 137 return DenseFPElementsAttr::get( 138 VectorType::get(static_cast<float>(values.size()), getF32Type()), values); 139 } 140 141 DenseFPElementsAttr Builder::getF64VectorAttr(ArrayRef<double> values) { 142 return DenseFPElementsAttr::get( 143 VectorType::get(static_cast<double>(values.size()), getF64Type()), 144 values); 145 } 146 147 DenseBoolArrayAttr Builder::getDenseBoolArrayAttr(ArrayRef<bool> values) { 148 return DenseBoolArrayAttr::get(context, values); 149 } 150 151 DenseI8ArrayAttr Builder::getDenseI8ArrayAttr(ArrayRef<int8_t> values) { 152 return DenseI8ArrayAttr::get(context, values); 153 } 154 155 DenseI16ArrayAttr Builder::getDenseI16ArrayAttr(ArrayRef<int16_t> values) { 156 return DenseI16ArrayAttr::get(context, values); 157 } 158 159 DenseI32ArrayAttr Builder::getDenseI32ArrayAttr(ArrayRef<int32_t> values) { 160 return DenseI32ArrayAttr::get(context, values); 161 } 162 163 DenseI64ArrayAttr Builder::getDenseI64ArrayAttr(ArrayRef<int64_t> values) { 164 return DenseI64ArrayAttr::get(context, values); 165 } 166 167 DenseF32ArrayAttr Builder::getDenseF32ArrayAttr(ArrayRef<float> values) { 168 return DenseF32ArrayAttr::get(context, values); 169 } 170 171 DenseF64ArrayAttr Builder::getDenseF64ArrayAttr(ArrayRef<double> values) { 172 return DenseF64ArrayAttr::get(context, values); 173 } 174 175 DenseIntElementsAttr Builder::getI32TensorAttr(ArrayRef<int32_t> values) { 176 return DenseIntElementsAttr::get( 177 RankedTensorType::get(static_cast<int64_t>(values.size()), 178 getIntegerType(32)), 179 values); 180 } 181 182 DenseIntElementsAttr Builder::getI64TensorAttr(ArrayRef<int64_t> values) { 183 return DenseIntElementsAttr::get( 184 RankedTensorType::get(static_cast<int64_t>(values.size()), 185 getIntegerType(64)), 186 values); 187 } 188 189 DenseIntElementsAttr Builder::getIndexTensorAttr(ArrayRef<int64_t> values) { 190 return DenseIntElementsAttr::get( 191 RankedTensorType::get(static_cast<int64_t>(values.size()), 192 getIndexType()), 193 values); 194 } 195 196 IntegerAttr Builder::getI32IntegerAttr(int32_t value) { 197 // The APInt always uses isSigned=true here because we accept the value 198 // as int32_t. 199 return IntegerAttr::get(getIntegerType(32), 200 APInt(32, value, /*isSigned=*/true)); 201 } 202 203 IntegerAttr Builder::getSI32IntegerAttr(int32_t value) { 204 return IntegerAttr::get(getIntegerType(32, /*isSigned=*/true), 205 APInt(32, value, /*isSigned=*/true)); 206 } 207 208 IntegerAttr Builder::getUI32IntegerAttr(uint32_t value) { 209 return IntegerAttr::get(getIntegerType(32, /*isSigned=*/false), 210 APInt(32, (uint64_t)value, /*isSigned=*/false)); 211 } 212 213 IntegerAttr Builder::getI16IntegerAttr(int16_t value) { 214 return IntegerAttr::get(getIntegerType(16), APInt(16, value)); 215 } 216 217 IntegerAttr Builder::getI8IntegerAttr(int8_t value) { 218 // The APInt always uses isSigned=true here because we accept the value 219 // as int8_t. 220 return IntegerAttr::get(getIntegerType(8), 221 APInt(8, value, /*isSigned=*/true)); 222 } 223 224 IntegerAttr Builder::getIntegerAttr(Type type, int64_t value) { 225 if (type.isIndex()) 226 return IntegerAttr::get(type, APInt(64, value)); 227 // TODO: Avoid implicit trunc? 228 // See https://github.com/llvm/llvm-project/issues/112510. 229 return IntegerAttr::get(type, APInt(type.getIntOrFloatBitWidth(), value, 230 type.isSignedInteger(), 231 /*implicitTrunc=*/true)); 232 } 233 234 IntegerAttr Builder::getIntegerAttr(Type type, const APInt &value) { 235 return IntegerAttr::get(type, value); 236 } 237 238 FloatAttr Builder::getF64FloatAttr(double value) { 239 return FloatAttr::get(getF64Type(), APFloat(value)); 240 } 241 242 FloatAttr Builder::getF32FloatAttr(float value) { 243 return FloatAttr::get(getF32Type(), APFloat(value)); 244 } 245 246 FloatAttr Builder::getF16FloatAttr(float value) { 247 return FloatAttr::get(getF16Type(), value); 248 } 249 250 FloatAttr Builder::getFloatAttr(Type type, double value) { 251 return FloatAttr::get(type, value); 252 } 253 254 FloatAttr Builder::getFloatAttr(Type type, const APFloat &value) { 255 return FloatAttr::get(type, value); 256 } 257 258 StringAttr Builder::getStringAttr(const Twine &bytes) { 259 return StringAttr::get(context, bytes); 260 } 261 262 ArrayAttr Builder::getArrayAttr(ArrayRef<Attribute> value) { 263 return ArrayAttr::get(context, value); 264 } 265 266 ArrayAttr Builder::getBoolArrayAttr(ArrayRef<bool> values) { 267 auto attrs = llvm::map_to_vector<8>( 268 values, [this](bool v) -> Attribute { return getBoolAttr(v); }); 269 return getArrayAttr(attrs); 270 } 271 272 ArrayAttr Builder::getI32ArrayAttr(ArrayRef<int32_t> values) { 273 auto attrs = llvm::map_to_vector<8>( 274 values, [this](int32_t v) -> Attribute { return getI32IntegerAttr(v); }); 275 return getArrayAttr(attrs); 276 } 277 ArrayAttr Builder::getI64ArrayAttr(ArrayRef<int64_t> values) { 278 auto attrs = llvm::map_to_vector<8>( 279 values, [this](int64_t v) -> Attribute { return getI64IntegerAttr(v); }); 280 return getArrayAttr(attrs); 281 } 282 283 ArrayAttr Builder::getIndexArrayAttr(ArrayRef<int64_t> values) { 284 auto attrs = llvm::map_to_vector<8>(values, [this](int64_t v) -> Attribute { 285 return getIntegerAttr(IndexType::get(getContext()), v); 286 }); 287 return getArrayAttr(attrs); 288 } 289 290 ArrayAttr Builder::getF32ArrayAttr(ArrayRef<float> values) { 291 auto attrs = llvm::map_to_vector<8>( 292 values, [this](float v) -> Attribute { return getF32FloatAttr(v); }); 293 return getArrayAttr(attrs); 294 } 295 296 ArrayAttr Builder::getF64ArrayAttr(ArrayRef<double> values) { 297 auto attrs = llvm::map_to_vector<8>( 298 values, [this](double v) -> Attribute { return getF64FloatAttr(v); }); 299 return getArrayAttr(attrs); 300 } 301 302 ArrayAttr Builder::getStrArrayAttr(ArrayRef<StringRef> values) { 303 auto attrs = llvm::map_to_vector<8>( 304 values, [this](StringRef v) -> Attribute { return getStringAttr(v); }); 305 return getArrayAttr(attrs); 306 } 307 308 ArrayAttr Builder::getTypeArrayAttr(TypeRange values) { 309 auto attrs = llvm::map_to_vector<8>( 310 values, [](Type v) -> Attribute { return TypeAttr::get(v); }); 311 return getArrayAttr(attrs); 312 } 313 314 ArrayAttr Builder::getAffineMapArrayAttr(ArrayRef<AffineMap> values) { 315 auto attrs = llvm::map_to_vector<8>( 316 values, [](AffineMap v) -> Attribute { return AffineMapAttr::get(v); }); 317 return getArrayAttr(attrs); 318 } 319 320 TypedAttr Builder::getZeroAttr(Type type) { 321 if (llvm::isa<FloatType>(type)) 322 return getFloatAttr(type, 0.0); 323 if (llvm::isa<IndexType>(type)) 324 return getIndexAttr(0); 325 if (llvm::dyn_cast<IntegerType>(type)) 326 return getIntegerAttr(type, 327 APInt(llvm::cast<IntegerType>(type).getWidth(), 0)); 328 if (llvm::isa<RankedTensorType, VectorType>(type)) { 329 auto vtType = llvm::cast<ShapedType>(type); 330 auto element = getZeroAttr(vtType.getElementType()); 331 if (!element) 332 return {}; 333 return DenseElementsAttr::get(vtType, element); 334 } 335 return {}; 336 } 337 338 TypedAttr Builder::getOneAttr(Type type) { 339 if (llvm::isa<FloatType>(type)) 340 return getFloatAttr(type, 1.0); 341 if (llvm::isa<IndexType>(type)) 342 return getIndexAttr(1); 343 if (llvm::dyn_cast<IntegerType>(type)) 344 return getIntegerAttr(type, 345 APInt(llvm::cast<IntegerType>(type).getWidth(), 1)); 346 if (llvm::isa<RankedTensorType, VectorType>(type)) { 347 auto vtType = llvm::cast<ShapedType>(type); 348 auto element = getOneAttr(vtType.getElementType()); 349 if (!element) 350 return {}; 351 return DenseElementsAttr::get(vtType, element); 352 } 353 return {}; 354 } 355 356 //===----------------------------------------------------------------------===// 357 // Affine Expressions, Affine Maps, and Integer Sets. 358 //===----------------------------------------------------------------------===// 359 360 AffineExpr Builder::getAffineDimExpr(unsigned position) { 361 return mlir::getAffineDimExpr(position, context); 362 } 363 364 AffineExpr Builder::getAffineSymbolExpr(unsigned position) { 365 return mlir::getAffineSymbolExpr(position, context); 366 } 367 368 AffineExpr Builder::getAffineConstantExpr(int64_t constant) { 369 return mlir::getAffineConstantExpr(constant, context); 370 } 371 372 AffineMap Builder::getEmptyAffineMap() { return AffineMap::get(context); } 373 374 AffineMap Builder::getConstantAffineMap(int64_t val) { 375 return AffineMap::get(/*dimCount=*/0, /*symbolCount=*/0, 376 getAffineConstantExpr(val)); 377 } 378 379 AffineMap Builder::getDimIdentityMap() { 380 return AffineMap::get(/*dimCount=*/1, /*symbolCount=*/0, getAffineDimExpr(0)); 381 } 382 383 AffineMap Builder::getMultiDimIdentityMap(unsigned rank) { 384 SmallVector<AffineExpr, 4> dimExprs; 385 dimExprs.reserve(rank); 386 for (unsigned i = 0; i < rank; ++i) 387 dimExprs.push_back(getAffineDimExpr(i)); 388 return AffineMap::get(/*dimCount=*/rank, /*symbolCount=*/0, dimExprs, 389 context); 390 } 391 392 AffineMap Builder::getSymbolIdentityMap() { 393 return AffineMap::get(/*dimCount=*/0, /*symbolCount=*/1, 394 getAffineSymbolExpr(0)); 395 } 396 397 AffineMap Builder::getSingleDimShiftAffineMap(int64_t shift) { 398 // expr = d0 + shift. 399 auto expr = getAffineDimExpr(0) + shift; 400 return AffineMap::get(/*dimCount=*/1, /*symbolCount=*/0, expr); 401 } 402 403 AffineMap Builder::getShiftedAffineMap(AffineMap map, int64_t shift) { 404 SmallVector<AffineExpr, 4> shiftedResults; 405 shiftedResults.reserve(map.getNumResults()); 406 for (auto resultExpr : map.getResults()) 407 shiftedResults.push_back(resultExpr + shift); 408 return AffineMap::get(map.getNumDims(), map.getNumSymbols(), shiftedResults, 409 context); 410 } 411 412 //===----------------------------------------------------------------------===// 413 // OpBuilder 414 //===----------------------------------------------------------------------===// 415 416 /// Insert the given operation at the current insertion point and return it. 417 Operation *OpBuilder::insert(Operation *op) { 418 if (block) { 419 block->getOperations().insert(insertPoint, op); 420 if (listener) 421 listener->notifyOperationInserted(op, /*previous=*/{}); 422 } 423 return op; 424 } 425 426 Block *OpBuilder::createBlock(Region *parent, Region::iterator insertPt, 427 TypeRange argTypes, ArrayRef<Location> locs) { 428 assert(parent && "expected valid parent region"); 429 assert(argTypes.size() == locs.size() && "argument location mismatch"); 430 if (insertPt == Region::iterator()) 431 insertPt = parent->end(); 432 433 Block *b = new Block(); 434 b->addArguments(argTypes, locs); 435 parent->getBlocks().insert(insertPt, b); 436 setInsertionPointToEnd(b); 437 438 if (listener) 439 listener->notifyBlockInserted(b, /*previous=*/nullptr, /*previousIt=*/{}); 440 return b; 441 } 442 443 /// Add new block with 'argTypes' arguments and set the insertion point to the 444 /// end of it. The block is placed before 'insertBefore'. 445 Block *OpBuilder::createBlock(Block *insertBefore, TypeRange argTypes, 446 ArrayRef<Location> locs) { 447 assert(insertBefore && "expected valid insertion block"); 448 return createBlock(insertBefore->getParent(), Region::iterator(insertBefore), 449 argTypes, locs); 450 } 451 452 /// Create an operation given the fields represented as an OperationState. 453 Operation *OpBuilder::create(const OperationState &state) { 454 return insert(Operation::create(state)); 455 } 456 457 /// Creates an operation with the given fields. 458 Operation *OpBuilder::create(Location loc, StringAttr opName, 459 ValueRange operands, TypeRange types, 460 ArrayRef<NamedAttribute> attributes, 461 BlockRange successors, 462 MutableArrayRef<std::unique_ptr<Region>> regions) { 463 OperationState state(loc, opName, operands, types, attributes, successors, 464 regions); 465 return create(state); 466 } 467 468 LogicalResult OpBuilder::tryFold(Operation *op, 469 SmallVectorImpl<Value> &results) { 470 assert(results.empty() && "expected empty results"); 471 ResultRange opResults = op->getResults(); 472 473 results.reserve(opResults.size()); 474 auto cleanupFailure = [&] { 475 results.clear(); 476 return failure(); 477 }; 478 479 // If this operation is already a constant, there is nothing to do. 480 if (matchPattern(op, m_Constant())) 481 return cleanupFailure(); 482 483 // Try to fold the operation. 484 SmallVector<OpFoldResult, 4> foldResults; 485 if (failed(op->fold(foldResults))) 486 return cleanupFailure(); 487 488 // An in-place fold does not require generation of any constants. 489 if (foldResults.empty()) 490 return success(); 491 492 // A temporary builder used for creating constants during folding. 493 OpBuilder cstBuilder(context); 494 SmallVector<Operation *, 1> generatedConstants; 495 496 // Populate the results with the folded results. 497 Dialect *dialect = op->getDialect(); 498 for (auto [foldResult, expectedType] : 499 llvm::zip_equal(foldResults, opResults.getTypes())) { 500 501 // Normal values get pushed back directly. 502 if (auto value = llvm::dyn_cast_if_present<Value>(foldResult)) { 503 results.push_back(value); 504 continue; 505 } 506 507 // Otherwise, try to materialize a constant operation. 508 if (!dialect) 509 return cleanupFailure(); 510 511 // Ask the dialect to materialize a constant operation for this value. 512 Attribute attr = cast<Attribute>(foldResult); 513 auto *constOp = dialect->materializeConstant(cstBuilder, attr, expectedType, 514 op->getLoc()); 515 if (!constOp) { 516 // Erase any generated constants. 517 for (Operation *cst : generatedConstants) 518 cst->erase(); 519 return cleanupFailure(); 520 } 521 assert(matchPattern(constOp, m_Constant())); 522 523 generatedConstants.push_back(constOp); 524 results.push_back(constOp->getResult(0)); 525 } 526 527 // If we were successful, insert any generated constants. 528 for (Operation *cst : generatedConstants) 529 insert(cst); 530 531 return success(); 532 } 533 534 /// Helper function that sends block insertion notifications for every block 535 /// that is directly nested in the given op. 536 static void notifyBlockInsertions(Operation *op, 537 OpBuilder::Listener *listener) { 538 for (Region &r : op->getRegions()) 539 for (Block &b : r.getBlocks()) 540 listener->notifyBlockInserted(&b, /*previous=*/nullptr, 541 /*previousIt=*/{}); 542 } 543 544 Operation *OpBuilder::clone(Operation &op, IRMapping &mapper) { 545 Operation *newOp = op.clone(mapper); 546 newOp = insert(newOp); 547 548 // The `insert` call above handles the notification for inserting `newOp` 549 // itself. But if `newOp` has any regions, we need to notify the listener 550 // about any ops that got inserted inside those regions as part of cloning. 551 if (listener) { 552 // The `insert` call above notifies about op insertion, but not about block 553 // insertion. 554 notifyBlockInsertions(newOp, listener); 555 auto walkFn = [&](Operation *walkedOp) { 556 listener->notifyOperationInserted(walkedOp, /*previous=*/{}); 557 notifyBlockInsertions(walkedOp, listener); 558 }; 559 for (Region ®ion : newOp->getRegions()) 560 region.walk<WalkOrder::PreOrder>(walkFn); 561 } 562 563 return newOp; 564 } 565 566 Operation *OpBuilder::clone(Operation &op) { 567 IRMapping mapper; 568 return clone(op, mapper); 569 } 570 571 void OpBuilder::cloneRegionBefore(Region ®ion, Region &parent, 572 Region::iterator before, IRMapping &mapping) { 573 region.cloneInto(&parent, before, mapping); 574 575 // Fast path: If no listener is attached, there is no more work to do. 576 if (!listener) 577 return; 578 579 // Notify about op/block insertion. 580 for (auto it = mapping.lookup(®ion.front())->getIterator(); it != before; 581 ++it) { 582 listener->notifyBlockInserted(&*it, /*previous=*/nullptr, 583 /*previousIt=*/{}); 584 it->walk<WalkOrder::PreOrder>([&](Operation *walkedOp) { 585 listener->notifyOperationInserted(walkedOp, /*previous=*/{}); 586 notifyBlockInsertions(walkedOp, listener); 587 }); 588 } 589 } 590 591 void OpBuilder::cloneRegionBefore(Region ®ion, Region &parent, 592 Region::iterator before) { 593 IRMapping mapping; 594 cloneRegionBefore(region, parent, before, mapping); 595 } 596 597 void OpBuilder::cloneRegionBefore(Region ®ion, Block *before) { 598 cloneRegionBefore(region, *before->getParent(), before->getIterator()); 599 } 600