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/BlockAndValueMapping.h"
13 #include "mlir/IR/BuiltinTypes.h"
14 #include "mlir/IR/Dialect.h"
15 #include "mlir/IR/IntegerSet.h"
16 #include "mlir/IR/Matchers.h"
17 #include "mlir/IR/SymbolTable.h"
18 #include "llvm/Support/raw_ostream.h"
19 
20 using namespace mlir;
21 
22 StringAttr Builder::getIdentifier(const Twine &str) {
23   return getStringAttr(str);
24 }
25 
26 //===----------------------------------------------------------------------===//
27 // Locations.
28 //===----------------------------------------------------------------------===//
29 
30 Location Builder::getUnknownLoc() { return UnknownLoc::get(context); }
31 
32 Location Builder::getFusedLoc(ArrayRef<Location> locs, Attribute metadata) {
33   return FusedLoc::get(locs, metadata, context);
34 }
35 
36 //===----------------------------------------------------------------------===//
37 // Types.
38 //===----------------------------------------------------------------------===//
39 
40 FloatType Builder::getBF16Type() { return FloatType::getBF16(context); }
41 
42 FloatType Builder::getF16Type() { return FloatType::getF16(context); }
43 
44 FloatType Builder::getF32Type() { return FloatType::getF32(context); }
45 
46 FloatType Builder::getF64Type() { return FloatType::getF64(context); }
47 
48 FloatType Builder::getF80Type() { return FloatType::getF80(context); }
49 
50 FloatType Builder::getF128Type() { return FloatType::getF128(context); }
51 
52 IndexType Builder::getIndexType() { return IndexType::get(context); }
53 
54 IntegerType Builder::getI1Type() { return IntegerType::get(context, 1); }
55 
56 IntegerType Builder::getI8Type() { return IntegerType::get(context, 8); }
57 
58 IntegerType Builder::getI32Type() { return IntegerType::get(context, 32); }
59 
60 IntegerType Builder::getI64Type() { return IntegerType::get(context, 64); }
61 
62 IntegerType Builder::getIntegerType(unsigned width) {
63   return IntegerType::get(context, width);
64 }
65 
66 IntegerType Builder::getIntegerType(unsigned width, bool isSigned) {
67   return IntegerType::get(
68       context, width, isSigned ? IntegerType::Signed : IntegerType::Unsigned);
69 }
70 
71 FunctionType Builder::getFunctionType(TypeRange inputs, TypeRange results) {
72   return FunctionType::get(context, inputs, results);
73 }
74 
75 TupleType Builder::getTupleType(TypeRange elementTypes) {
76   return TupleType::get(context, elementTypes);
77 }
78 
79 NoneType Builder::getNoneType() { return NoneType::get(context); }
80 
81 //===----------------------------------------------------------------------===//
82 // Attributes.
83 //===----------------------------------------------------------------------===//
84 
85 NamedAttribute Builder::getNamedAttr(StringRef name, Attribute val) {
86   return NamedAttribute(getStringAttr(name), val);
87 }
88 
89 UnitAttr Builder::getUnitAttr() { return UnitAttr::get(context); }
90 
91 BoolAttr Builder::getBoolAttr(bool value) {
92   return BoolAttr::get(context, value);
93 }
94 
95 DictionaryAttr Builder::getDictionaryAttr(ArrayRef<NamedAttribute> value) {
96   return DictionaryAttr::get(context, value);
97 }
98 
99 IntegerAttr Builder::getIndexAttr(int64_t value) {
100   return IntegerAttr::get(getIndexType(), APInt(64, value));
101 }
102 
103 IntegerAttr Builder::getI64IntegerAttr(int64_t value) {
104   return IntegerAttr::get(getIntegerType(64), APInt(64, value));
105 }
106 
107 DenseIntElementsAttr Builder::getBoolVectorAttr(ArrayRef<bool> values) {
108   return DenseIntElementsAttr::get(
109       VectorType::get(static_cast<int64_t>(values.size()), getI1Type()),
110       values);
111 }
112 
113 DenseIntElementsAttr Builder::getI32VectorAttr(ArrayRef<int32_t> values) {
114   return DenseIntElementsAttr::get(
115       VectorType::get(static_cast<int64_t>(values.size()), getIntegerType(32)),
116       values);
117 }
118 
119 DenseIntElementsAttr Builder::getI64VectorAttr(ArrayRef<int64_t> values) {
120   return DenseIntElementsAttr::get(
121       VectorType::get(static_cast<int64_t>(values.size()), getIntegerType(64)),
122       values);
123 }
124 
125 DenseIntElementsAttr Builder::getIndexVectorAttr(ArrayRef<int64_t> values) {
126   return DenseIntElementsAttr::get(
127       VectorType::get(static_cast<int64_t>(values.size()), getIndexType()),
128       values);
129 }
130 
131 DenseIntElementsAttr Builder::getI32TensorAttr(ArrayRef<int32_t> values) {
132   return DenseIntElementsAttr::get(
133       RankedTensorType::get(static_cast<int64_t>(values.size()),
134                             getIntegerType(32)),
135       values);
136 }
137 
138 DenseIntElementsAttr Builder::getI64TensorAttr(ArrayRef<int64_t> values) {
139   return DenseIntElementsAttr::get(
140       RankedTensorType::get(static_cast<int64_t>(values.size()),
141                             getIntegerType(64)),
142       values);
143 }
144 
145 DenseIntElementsAttr Builder::getIndexTensorAttr(ArrayRef<int64_t> values) {
146   return DenseIntElementsAttr::get(
147       RankedTensorType::get(static_cast<int64_t>(values.size()),
148                             getIndexType()),
149       values);
150 }
151 
152 IntegerAttr Builder::getI32IntegerAttr(int32_t value) {
153   return IntegerAttr::get(getIntegerType(32), APInt(32, value));
154 }
155 
156 IntegerAttr Builder::getSI32IntegerAttr(int32_t value) {
157   return IntegerAttr::get(getIntegerType(32, /*isSigned=*/true),
158                           APInt(32, value, /*isSigned=*/true));
159 }
160 
161 IntegerAttr Builder::getUI32IntegerAttr(uint32_t value) {
162   return IntegerAttr::get(getIntegerType(32, /*isSigned=*/false),
163                           APInt(32, (uint64_t)value, /*isSigned=*/false));
164 }
165 
166 IntegerAttr Builder::getI16IntegerAttr(int16_t value) {
167   return IntegerAttr::get(getIntegerType(16), APInt(16, value));
168 }
169 
170 IntegerAttr Builder::getI8IntegerAttr(int8_t value) {
171   return IntegerAttr::get(getIntegerType(8), APInt(8, value));
172 }
173 
174 IntegerAttr Builder::getIntegerAttr(Type type, int64_t value) {
175   if (type.isIndex())
176     return IntegerAttr::get(type, APInt(64, value));
177   return IntegerAttr::get(
178       type, APInt(type.getIntOrFloatBitWidth(), value, type.isSignedInteger()));
179 }
180 
181 IntegerAttr Builder::getIntegerAttr(Type type, const APInt &value) {
182   return IntegerAttr::get(type, value);
183 }
184 
185 FloatAttr Builder::getF64FloatAttr(double value) {
186   return FloatAttr::get(getF64Type(), APFloat(value));
187 }
188 
189 FloatAttr Builder::getF32FloatAttr(float value) {
190   return FloatAttr::get(getF32Type(), APFloat(value));
191 }
192 
193 FloatAttr Builder::getF16FloatAttr(float value) {
194   return FloatAttr::get(getF16Type(), value);
195 }
196 
197 FloatAttr Builder::getFloatAttr(Type type, double value) {
198   return FloatAttr::get(type, value);
199 }
200 
201 FloatAttr Builder::getFloatAttr(Type type, const APFloat &value) {
202   return FloatAttr::get(type, value);
203 }
204 
205 StringAttr Builder::getStringAttr(const Twine &bytes) {
206   return StringAttr::get(context, bytes);
207 }
208 
209 ArrayAttr Builder::getArrayAttr(ArrayRef<Attribute> value) {
210   return ArrayAttr::get(context, value);
211 }
212 
213 ArrayAttr Builder::getBoolArrayAttr(ArrayRef<bool> values) {
214   auto attrs = llvm::to_vector<8>(llvm::map_range(
215       values, [this](bool v) -> Attribute { return getBoolAttr(v); }));
216   return getArrayAttr(attrs);
217 }
218 
219 ArrayAttr Builder::getI32ArrayAttr(ArrayRef<int32_t> values) {
220   auto attrs = llvm::to_vector<8>(llvm::map_range(
221       values, [this](int32_t v) -> Attribute { return getI32IntegerAttr(v); }));
222   return getArrayAttr(attrs);
223 }
224 ArrayAttr Builder::getI64ArrayAttr(ArrayRef<int64_t> values) {
225   auto attrs = llvm::to_vector<8>(llvm::map_range(
226       values, [this](int64_t v) -> Attribute { return getI64IntegerAttr(v); }));
227   return getArrayAttr(attrs);
228 }
229 
230 ArrayAttr Builder::getIndexArrayAttr(ArrayRef<int64_t> values) {
231   auto attrs = llvm::to_vector<8>(
232       llvm::map_range(values, [this](int64_t v) -> Attribute {
233         return getIntegerAttr(IndexType::get(getContext()), v);
234       }));
235   return getArrayAttr(attrs);
236 }
237 
238 ArrayAttr Builder::getF32ArrayAttr(ArrayRef<float> values) {
239   auto attrs = llvm::to_vector<8>(llvm::map_range(
240       values, [this](float v) -> Attribute { return getF32FloatAttr(v); }));
241   return getArrayAttr(attrs);
242 }
243 
244 ArrayAttr Builder::getF64ArrayAttr(ArrayRef<double> values) {
245   auto attrs = llvm::to_vector<8>(llvm::map_range(
246       values, [this](double v) -> Attribute { return getF64FloatAttr(v); }));
247   return getArrayAttr(attrs);
248 }
249 
250 ArrayAttr Builder::getStrArrayAttr(ArrayRef<StringRef> values) {
251   auto attrs = llvm::to_vector<8>(llvm::map_range(
252       values, [this](StringRef v) -> Attribute { return getStringAttr(v); }));
253   return getArrayAttr(attrs);
254 }
255 
256 ArrayAttr Builder::getTypeArrayAttr(TypeRange values) {
257   auto attrs = llvm::to_vector<8>(llvm::map_range(
258       values, [](Type v) -> Attribute { return TypeAttr::get(v); }));
259   return getArrayAttr(attrs);
260 }
261 
262 ArrayAttr Builder::getAffineMapArrayAttr(ArrayRef<AffineMap> values) {
263   auto attrs = llvm::to_vector<8>(llvm::map_range(
264       values, [](AffineMap v) -> Attribute { return AffineMapAttr::get(v); }));
265   return getArrayAttr(attrs);
266 }
267 
268 Attribute Builder::getZeroAttr(Type type) {
269   if (type.isa<FloatType>())
270     return getFloatAttr(type, 0.0);
271   if (type.isa<IndexType>())
272     return getIndexAttr(0);
273   if (auto integerType = type.dyn_cast<IntegerType>())
274     return getIntegerAttr(type, APInt(type.cast<IntegerType>().getWidth(), 0));
275   if (type.isa<RankedTensorType, VectorType>()) {
276     auto vtType = type.cast<ShapedType>();
277     auto element = getZeroAttr(vtType.getElementType());
278     if (!element)
279       return {};
280     return DenseElementsAttr::get(vtType, element);
281   }
282   return {};
283 }
284 
285 //===----------------------------------------------------------------------===//
286 // Affine Expressions, Affine Maps, and Integer Sets.
287 //===----------------------------------------------------------------------===//
288 
289 AffineExpr Builder::getAffineDimExpr(unsigned position) {
290   return mlir::getAffineDimExpr(position, context);
291 }
292 
293 AffineExpr Builder::getAffineSymbolExpr(unsigned position) {
294   return mlir::getAffineSymbolExpr(position, context);
295 }
296 
297 AffineExpr Builder::getAffineConstantExpr(int64_t constant) {
298   return mlir::getAffineConstantExpr(constant, context);
299 }
300 
301 AffineMap Builder::getEmptyAffineMap() { return AffineMap::get(context); }
302 
303 AffineMap Builder::getConstantAffineMap(int64_t val) {
304   return AffineMap::get(/*dimCount=*/0, /*symbolCount=*/0,
305                         getAffineConstantExpr(val));
306 }
307 
308 AffineMap Builder::getDimIdentityMap() {
309   return AffineMap::get(/*dimCount=*/1, /*symbolCount=*/0, getAffineDimExpr(0));
310 }
311 
312 AffineMap Builder::getMultiDimIdentityMap(unsigned rank) {
313   SmallVector<AffineExpr, 4> dimExprs;
314   dimExprs.reserve(rank);
315   for (unsigned i = 0; i < rank; ++i)
316     dimExprs.push_back(getAffineDimExpr(i));
317   return AffineMap::get(/*dimCount=*/rank, /*symbolCount=*/0, dimExprs,
318                         context);
319 }
320 
321 AffineMap Builder::getSymbolIdentityMap() {
322   return AffineMap::get(/*dimCount=*/0, /*symbolCount=*/1,
323                         getAffineSymbolExpr(0));
324 }
325 
326 AffineMap Builder::getSingleDimShiftAffineMap(int64_t shift) {
327   // expr = d0 + shift.
328   auto expr = getAffineDimExpr(0) + shift;
329   return AffineMap::get(/*dimCount=*/1, /*symbolCount=*/0, expr);
330 }
331 
332 AffineMap Builder::getShiftedAffineMap(AffineMap map, int64_t shift) {
333   SmallVector<AffineExpr, 4> shiftedResults;
334   shiftedResults.reserve(map.getNumResults());
335   for (auto resultExpr : map.getResults())
336     shiftedResults.push_back(resultExpr + shift);
337   return AffineMap::get(map.getNumDims(), map.getNumSymbols(), shiftedResults,
338                         context);
339 }
340 
341 //===----------------------------------------------------------------------===//
342 // OpBuilder
343 //===----------------------------------------------------------------------===//
344 
345 OpBuilder::Listener::~Listener() {}
346 
347 /// Insert the given operation at the current insertion point and return it.
348 Operation *OpBuilder::insert(Operation *op) {
349   if (block)
350     block->getOperations().insert(insertPoint, op);
351 
352   if (listener)
353     listener->notifyOperationInserted(op);
354   return op;
355 }
356 
357 /// Add new block with 'argTypes' arguments and set the insertion point to the
358 /// end of it. The block is inserted at the provided insertion point of
359 /// 'parent'.
360 Block *OpBuilder::createBlock(Region *parent, Region::iterator insertPt,
361                               TypeRange argTypes, ArrayRef<Location> locs) {
362   assert(parent && "expected valid parent region");
363   if (insertPt == Region::iterator())
364     insertPt = parent->end();
365 
366   Block *b = new Block();
367   b->addArguments(argTypes, locs);
368   parent->getBlocks().insert(insertPt, b);
369   setInsertionPointToEnd(b);
370 
371   if (listener)
372     listener->notifyBlockCreated(b);
373   return b;
374 }
375 
376 /// Add new block with 'argTypes' arguments and set the insertion point to the
377 /// end of it.  The block is placed before 'insertBefore'.
378 Block *OpBuilder::createBlock(Block *insertBefore, TypeRange argTypes,
379                               ArrayRef<Location> locs) {
380   assert(insertBefore && "expected valid insertion block");
381   return createBlock(insertBefore->getParent(), Region::iterator(insertBefore),
382                      argTypes, locs);
383 }
384 
385 /// Create an operation given the fields represented as an OperationState.
386 Operation *OpBuilder::createOperation(const OperationState &state) {
387   return insert(Operation::create(state));
388 }
389 
390 /// Attempts to fold the given operation and places new results within
391 /// 'results'. Returns success if the operation was folded, failure otherwise.
392 /// Note: This function does not erase the operation on a successful fold.
393 LogicalResult OpBuilder::tryFold(Operation *op,
394                                  SmallVectorImpl<Value> &results) {
395   ResultRange opResults = op->getResults();
396 
397   results.reserve(opResults.size());
398   auto cleanupFailure = [&] {
399     results.assign(opResults.begin(), opResults.end());
400     return failure();
401   };
402 
403   // If this operation is already a constant, there is nothing to do.
404   if (matchPattern(op, m_Constant()))
405     return cleanupFailure();
406 
407   // Check to see if any operands to the operation is constant and whether
408   // the operation knows how to constant fold itself.
409   SmallVector<Attribute, 4> constOperands(op->getNumOperands());
410   for (unsigned i = 0, e = constOperands.size(); i != e; ++i)
411     matchPattern(op->getOperand(i), m_Constant(&constOperands[i]));
412 
413   // Try to fold the operation.
414   SmallVector<OpFoldResult, 4> foldResults;
415   if (failed(op->fold(constOperands, foldResults)) || foldResults.empty())
416     return cleanupFailure();
417 
418   // A temporary builder used for creating constants during folding.
419   OpBuilder cstBuilder(context);
420   SmallVector<Operation *, 1> generatedConstants;
421 
422   // Populate the results with the folded results.
423   Dialect *dialect = op->getDialect();
424   for (auto it : llvm::zip(foldResults, opResults.getTypes())) {
425     Type expectedType = std::get<1>(it);
426 
427     // Normal values get pushed back directly.
428     if (auto value = std::get<0>(it).dyn_cast<Value>()) {
429       if (value.getType() != expectedType)
430         return cleanupFailure();
431 
432       results.push_back(value);
433       continue;
434     }
435 
436     // Otherwise, try to materialize a constant operation.
437     if (!dialect)
438       return cleanupFailure();
439 
440     // Ask the dialect to materialize a constant operation for this value.
441     Attribute attr = std::get<0>(it).get<Attribute>();
442     auto *constOp = dialect->materializeConstant(cstBuilder, attr, expectedType,
443                                                  op->getLoc());
444     if (!constOp) {
445       // Erase any generated constants.
446       for (Operation *cst : generatedConstants)
447         cst->erase();
448       return cleanupFailure();
449     }
450     assert(matchPattern(constOp, m_Constant()));
451 
452     generatedConstants.push_back(constOp);
453     results.push_back(constOp->getResult(0));
454   }
455 
456   // If we were successful, insert any generated constants.
457   for (Operation *cst : generatedConstants)
458     insert(cst);
459 
460   return success();
461 }
462 
463 Operation *OpBuilder::clone(Operation &op, BlockAndValueMapping &mapper) {
464   Operation *newOp = op.clone(mapper);
465   // The `insert` call below handles the notification for inserting `newOp`
466   // itself. But if `newOp` has any regions, we need to notify the listener
467   // about any ops that got inserted inside those regions as part of cloning.
468   if (listener) {
469     auto walkFn = [&](Operation *walkedOp) {
470       listener->notifyOperationInserted(walkedOp);
471     };
472     for (Region &region : newOp->getRegions())
473       region.walk(walkFn);
474   }
475   return insert(newOp);
476 }
477 
478 Operation *OpBuilder::clone(Operation &op) {
479   BlockAndValueMapping mapper;
480   return clone(op, mapper);
481 }
482