1a7215a90SAlex Zinenko //===- OperationSupport.cpp -----------------------------------------------===//
2a7215a90SAlex Zinenko //
330857107SMehdi Amini // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
456222a06SMehdi Amini // See https://llvm.org/LICENSE.txt for license information.
556222a06SMehdi Amini // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6a7215a90SAlex Zinenko //
756222a06SMehdi Amini //===----------------------------------------------------------------------===//
8a7215a90SAlex Zinenko //
9a7215a90SAlex Zinenko // This file contains out-of-line implementations of the support types that
109ffdc930SRiver Riddle // Operation and related classes build on top of.
11a7215a90SAlex Zinenko //
12a7215a90SAlex Zinenko //===----------------------------------------------------------------------===//
13a7215a90SAlex Zinenko 
14a7215a90SAlex Zinenko #include "mlir/IR/OperationSupport.h"
15a7215a90SAlex Zinenko #include "mlir/IR/Block.h"
169ffdc930SRiver Riddle #include "mlir/IR/Operation.h"
179ffdc930SRiver Riddle using namespace mlir;
18a7215a90SAlex Zinenko 
199ffdc930SRiver Riddle //===----------------------------------------------------------------------===//
209ffdc930SRiver Riddle // OperationState
219ffdc930SRiver Riddle //===----------------------------------------------------------------------===//
22a7215a90SAlex Zinenko 
2348d6cf1cSRiver Riddle OperationState::OperationState(Location location, StringRef name)
242f59f768SRiver Riddle     : location(location), name(name, location->getContext()) {}
25a7215a90SAlex Zinenko 
2648d6cf1cSRiver Riddle OperationState::OperationState(Location location, OperationName name)
272f59f768SRiver Riddle     : location(location), name(name) {}
28a7215a90SAlex Zinenko 
2948d6cf1cSRiver Riddle OperationState::OperationState(Location location, StringRef name,
30a63f6e0bSUday Bondhugula                                ValueRange operands, ArrayRef<Type> types,
31a7215a90SAlex Zinenko                                ArrayRef<NamedAttribute> attributes,
32a7215a90SAlex Zinenko                                ArrayRef<Block *> successors,
33*4dfd1b5fSRiver Riddle                                MutableArrayRef<std::unique_ptr<Region>> regions)
342f59f768SRiver Riddle     : location(location), name(name, location->getContext()),
35a7215a90SAlex Zinenko       operands(operands.begin(), operands.end()),
36a7215a90SAlex Zinenko       types(types.begin(), types.end()),
37a7215a90SAlex Zinenko       attributes(attributes.begin(), attributes.end()),
38a7215a90SAlex Zinenko       successors(successors.begin(), successors.end()) {
392f59f768SRiver Riddle   for (std::unique_ptr<Region> &r : regions)
40a7215a90SAlex Zinenko     this->regions.push_back(std::move(r));
41a7215a90SAlex Zinenko }
42a7215a90SAlex Zinenko 
43d6ee6a03SRiver Riddle void OperationState::addOperands(ValueRange newOperands) {
44d6ee6a03SRiver Riddle   operands.append(newOperands.begin(), newOperands.end());
45d6ee6a03SRiver Riddle }
46d6ee6a03SRiver Riddle 
47cb177712SRiver Riddle void OperationState::addSuccessors(SuccessorRange newSuccessors) {
48cb177712SRiver Riddle   successors.append(newSuccessors.begin(), newSuccessors.end());
49d6ee6a03SRiver Riddle }
50d6ee6a03SRiver Riddle 
51a7215a90SAlex Zinenko Region *OperationState::addRegion() {
52a7215a90SAlex Zinenko   regions.emplace_back(new Region);
53a7215a90SAlex Zinenko   return regions.back().get();
54a7215a90SAlex Zinenko }
55a7215a90SAlex Zinenko 
56a7215a90SAlex Zinenko void OperationState::addRegion(std::unique_ptr<Region> &&region) {
57a7215a90SAlex Zinenko   regions.push_back(std::move(region));
58a7215a90SAlex Zinenko }
59a7215a90SAlex Zinenko 
609ffdc930SRiver Riddle //===----------------------------------------------------------------------===//
619ffdc930SRiver Riddle // OperandStorage
629ffdc930SRiver Riddle //===----------------------------------------------------------------------===//
639ffdc930SRiver Riddle 
64*4dfd1b5fSRiver Riddle detail::OperandStorage::OperandStorage(Operation *owner, ValueRange values)
65*4dfd1b5fSRiver Riddle     : representation(0) {
66*4dfd1b5fSRiver Riddle   auto &inlineStorage = getInlineStorage();
67*4dfd1b5fSRiver Riddle   inlineStorage.numOperands = inlineStorage.capacity = values.size();
68*4dfd1b5fSRiver Riddle   auto *operandPtrBegin = getTrailingObjects<OpOperand>();
69*4dfd1b5fSRiver Riddle   for (unsigned i = 0, e = inlineStorage.numOperands; i < e; ++i)
70*4dfd1b5fSRiver Riddle     new (&operandPtrBegin[i]) OpOperand(owner, values[i]);
71*4dfd1b5fSRiver Riddle }
72*4dfd1b5fSRiver Riddle 
73*4dfd1b5fSRiver Riddle detail::OperandStorage::~OperandStorage() {
74*4dfd1b5fSRiver Riddle   // Destruct the current storage container.
75*4dfd1b5fSRiver Riddle   if (isDynamicStorage()) {
76*4dfd1b5fSRiver Riddle     TrailingOperandStorage &storage = getDynamicStorage();
77*4dfd1b5fSRiver Riddle     storage.~TrailingOperandStorage();
78*4dfd1b5fSRiver Riddle     free(&storage);
79*4dfd1b5fSRiver Riddle   } else {
80*4dfd1b5fSRiver Riddle     getInlineStorage().~TrailingOperandStorage();
81*4dfd1b5fSRiver Riddle   }
82*4dfd1b5fSRiver Riddle }
83*4dfd1b5fSRiver Riddle 
849ffdc930SRiver Riddle /// Replace the operands contained in the storage with the ones provided in
85*4dfd1b5fSRiver Riddle /// 'values'.
86*4dfd1b5fSRiver Riddle void detail::OperandStorage::setOperands(Operation *owner, ValueRange values) {
87*4dfd1b5fSRiver Riddle   MutableArrayRef<OpOperand> storageOperands = resize(owner, values.size());
88*4dfd1b5fSRiver Riddle   for (unsigned i = 0, e = values.size(); i != e; ++i)
89*4dfd1b5fSRiver Riddle     storageOperands[i].set(values[i]);
90*4dfd1b5fSRiver Riddle }
91*4dfd1b5fSRiver Riddle 
92*4dfd1b5fSRiver Riddle /// Resize the storage to the given size. Returns the array containing the new
93*4dfd1b5fSRiver Riddle /// operands.
94*4dfd1b5fSRiver Riddle MutableArrayRef<OpOperand> detail::OperandStorage::resize(Operation *owner,
95*4dfd1b5fSRiver Riddle                                                           unsigned newSize) {
96*4dfd1b5fSRiver Riddle   TrailingOperandStorage &storage = getStorage();
97*4dfd1b5fSRiver Riddle 
989ffdc930SRiver Riddle   // If the number of operands is less than or equal to the current amount, we
999ffdc930SRiver Riddle   // can just update in place.
100*4dfd1b5fSRiver Riddle   unsigned &numOperands = storage.numOperands;
101*4dfd1b5fSRiver Riddle   MutableArrayRef<OpOperand> operands = storage.getOperands();
102*4dfd1b5fSRiver Riddle   if (newSize <= numOperands) {
103*4dfd1b5fSRiver Riddle     // If the number of new size is less than the current, remove any extra
104*4dfd1b5fSRiver Riddle     // operands.
105*4dfd1b5fSRiver Riddle     for (unsigned i = newSize; i != numOperands; ++i)
106*4dfd1b5fSRiver Riddle       operands[i].~OpOperand();
107*4dfd1b5fSRiver Riddle     numOperands = newSize;
108*4dfd1b5fSRiver Riddle     return operands.take_front(newSize);
1099ffdc930SRiver Riddle   }
1109ffdc930SRiver Riddle 
111*4dfd1b5fSRiver Riddle   // If the new size is within the original inline capacity, grow inplace.
112*4dfd1b5fSRiver Riddle   if (newSize <= storage.capacity) {
113*4dfd1b5fSRiver Riddle     OpOperand *opBegin = operands.data();
114*4dfd1b5fSRiver Riddle     for (unsigned e = newSize; numOperands != e; ++numOperands)
115*4dfd1b5fSRiver Riddle       new (&opBegin[numOperands]) OpOperand(owner);
116*4dfd1b5fSRiver Riddle     return MutableArrayRef<OpOperand>(opBegin, newSize);
1178da0f85eSRiver Riddle   }
1189ffdc930SRiver Riddle 
119*4dfd1b5fSRiver Riddle   // Otherwise, we need to allocate a new storage.
120*4dfd1b5fSRiver Riddle   unsigned newCapacity =
121*4dfd1b5fSRiver Riddle       std::max(unsigned(llvm::NextPowerOf2(storage.capacity + 2)), newSize);
122*4dfd1b5fSRiver Riddle   auto *newStorageMem =
123*4dfd1b5fSRiver Riddle       malloc(TrailingOperandStorage::totalSizeToAlloc<OpOperand>(newCapacity));
124*4dfd1b5fSRiver Riddle   auto *newStorage = ::new (newStorageMem) TrailingOperandStorage();
125*4dfd1b5fSRiver Riddle   newStorage->numOperands = newSize;
126*4dfd1b5fSRiver Riddle   newStorage->capacity = newCapacity;
127*4dfd1b5fSRiver Riddle 
128*4dfd1b5fSRiver Riddle   // Move the current operands to the new storage.
129*4dfd1b5fSRiver Riddle   MutableArrayRef<OpOperand> newOperands = newStorage->getOperands();
130*4dfd1b5fSRiver Riddle   std::uninitialized_copy(std::make_move_iterator(operands.begin()),
131*4dfd1b5fSRiver Riddle                           std::make_move_iterator(operands.end()),
132*4dfd1b5fSRiver Riddle                           newOperands.begin());
133*4dfd1b5fSRiver Riddle 
134*4dfd1b5fSRiver Riddle   // Destroy the original operands.
135*4dfd1b5fSRiver Riddle   for (auto &operand : operands)
136*4dfd1b5fSRiver Riddle     operand.~OpOperand();
137*4dfd1b5fSRiver Riddle 
138*4dfd1b5fSRiver Riddle   // Initialize any new operands.
139*4dfd1b5fSRiver Riddle   for (unsigned e = newSize; numOperands != e; ++numOperands)
140*4dfd1b5fSRiver Riddle     new (&newOperands[numOperands]) OpOperand(owner);
141*4dfd1b5fSRiver Riddle 
142*4dfd1b5fSRiver Riddle   // If the current storage is also dynamic, free it.
143*4dfd1b5fSRiver Riddle   if (isDynamicStorage())
144*4dfd1b5fSRiver Riddle     free(&storage);
145*4dfd1b5fSRiver Riddle 
146*4dfd1b5fSRiver Riddle   // Update the storage representation to use the new dynamic storage.
147*4dfd1b5fSRiver Riddle   representation = reinterpret_cast<intptr_t>(newStorage);
148*4dfd1b5fSRiver Riddle   representation |= DynamicStorageBit;
149*4dfd1b5fSRiver Riddle   return newOperands;
1509ffdc930SRiver Riddle }
1519ffdc930SRiver Riddle 
1529ffdc930SRiver Riddle /// Erase an operand held by the storage.
1539ffdc930SRiver Riddle void detail::OperandStorage::eraseOperand(unsigned index) {
1549ffdc930SRiver Riddle   assert(index < size());
155*4dfd1b5fSRiver Riddle   TrailingOperandStorage &storage = getStorage();
156*4dfd1b5fSRiver Riddle   MutableArrayRef<OpOperand> operands = storage.getOperands();
157*4dfd1b5fSRiver Riddle   --storage.numOperands;
1589ffdc930SRiver Riddle 
1599ffdc930SRiver Riddle   // Shift all operands down by 1 if the operand to remove is not at the end.
1600b468b01SAlex Zinenko   auto indexIt = std::next(operands.begin(), index);
161*4dfd1b5fSRiver Riddle   if (index != storage.numOperands)
1620b468b01SAlex Zinenko     std::rotate(indexIt, std::next(indexIt), operands.end());
163*4dfd1b5fSRiver Riddle   operands[storage.numOperands].~OpOperand();
1649ffdc930SRiver Riddle }
1659ed22ae5SRiver Riddle 
1669ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
16748e9ef43SRiver Riddle // ResultStorage
16848e9ef43SRiver Riddle //===----------------------------------------------------------------------===//
16948e9ef43SRiver Riddle 
17048e9ef43SRiver Riddle /// Returns the parent operation of this trailing result.
17148e9ef43SRiver Riddle Operation *detail::TrailingOpResult::getOwner() {
17248e9ef43SRiver Riddle   // We need to do some arithmetic to get the operation pointer. Move the
17348e9ef43SRiver Riddle   // trailing owner to the start of the array.
17448e9ef43SRiver Riddle   TrailingOpResult *trailingIt = this - trailingResultNumber;
17548e9ef43SRiver Riddle 
17648e9ef43SRiver Riddle   // Move the owner past the inline op results to get to the operation.
17748e9ef43SRiver Riddle   auto *inlineResultIt = reinterpret_cast<InLineOpResult *>(trailingIt) -
17848e9ef43SRiver Riddle                          OpResult::getMaxInlineResults();
17948e9ef43SRiver Riddle   return reinterpret_cast<Operation *>(inlineResultIt) - 1;
18048e9ef43SRiver Riddle }
18148e9ef43SRiver Riddle 
18248e9ef43SRiver Riddle //===----------------------------------------------------------------------===//
1839ed22ae5SRiver Riddle // Operation Value-Iterators
1849ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
1859ed22ae5SRiver Riddle 
1869ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
18794a4ca4bSRiver Riddle // TypeRange
18894a4ca4bSRiver Riddle 
18994a4ca4bSRiver Riddle TypeRange::TypeRange(ArrayRef<Type> types)
19094a4ca4bSRiver Riddle     : TypeRange(types.data(), types.size()) {}
19194a4ca4bSRiver Riddle TypeRange::TypeRange(OperandRange values)
19294a4ca4bSRiver Riddle     : TypeRange(values.begin().getBase(), values.size()) {}
19394a4ca4bSRiver Riddle TypeRange::TypeRange(ResultRange values)
19494a4ca4bSRiver Riddle     : TypeRange(values.getBase()->getResultTypes().slice(values.getStartIndex(),
19594a4ca4bSRiver Riddle                                                          values.size())) {}
196988249a5SRiver Riddle TypeRange::TypeRange(ArrayRef<Value> values)
197988249a5SRiver Riddle     : TypeRange(values.data(), values.size()) {}
19894a4ca4bSRiver Riddle TypeRange::TypeRange(ValueRange values) : TypeRange(OwnerT(), values.size()) {
19994a4ca4bSRiver Riddle   detail::ValueRangeOwner owner = values.begin().getBase();
20094a4ca4bSRiver Riddle   if (auto *op = reinterpret_cast<Operation *>(owner.ptr.dyn_cast<void *>()))
201b87531caSRiver Riddle     this->base = op->getResultTypes().drop_front(owner.startIndex).data();
20294a4ca4bSRiver Riddle   else if (auto *operand = owner.ptr.dyn_cast<OpOperand *>())
20394a4ca4bSRiver Riddle     this->base = operand;
20494a4ca4bSRiver Riddle   else
20594a4ca4bSRiver Riddle     this->base = owner.ptr.get<const Value *>();
20694a4ca4bSRiver Riddle }
20794a4ca4bSRiver Riddle 
208204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
20994a4ca4bSRiver Riddle TypeRange::OwnerT TypeRange::offset_base(OwnerT object, ptrdiff_t index) {
21094a4ca4bSRiver Riddle   if (auto *value = object.dyn_cast<const Value *>())
21194a4ca4bSRiver Riddle     return {value + index};
21294a4ca4bSRiver Riddle   if (auto *operand = object.dyn_cast<OpOperand *>())
21394a4ca4bSRiver Riddle     return {operand + index};
21494a4ca4bSRiver Riddle   return {object.dyn_cast<const Type *>() + index};
21594a4ca4bSRiver Riddle }
216204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
21794a4ca4bSRiver Riddle Type TypeRange::dereference_iterator(OwnerT object, ptrdiff_t index) {
21894a4ca4bSRiver Riddle   if (auto *value = object.dyn_cast<const Value *>())
21994a4ca4bSRiver Riddle     return (value + index)->getType();
22094a4ca4bSRiver Riddle   if (auto *operand = object.dyn_cast<OpOperand *>())
22194a4ca4bSRiver Riddle     return (operand + index)->get().getType();
22294a4ca4bSRiver Riddle   return object.dyn_cast<const Type *>()[index];
22394a4ca4bSRiver Riddle }
22494a4ca4bSRiver Riddle 
22594a4ca4bSRiver Riddle //===----------------------------------------------------------------------===//
2269ed22ae5SRiver Riddle // OperandRange
2279ed22ae5SRiver Riddle 
2289ed22ae5SRiver Riddle OperandRange::OperandRange(Operation *op)
2299ed22ae5SRiver Riddle     : OperandRange(op->getOpOperands().data(), op->getNumOperands()) {}
2309ed22ae5SRiver Riddle 
231621d7ccaSRiver Riddle /// Return the operand index of the first element of this range. The range
232621d7ccaSRiver Riddle /// must not be empty.
233621d7ccaSRiver Riddle unsigned OperandRange::getBeginOperandIndex() const {
234621d7ccaSRiver Riddle   assert(!empty() && "range must not be empty");
235621d7ccaSRiver Riddle   return base->getOperandNumber();
236621d7ccaSRiver Riddle }
237621d7ccaSRiver Riddle 
2389ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
2399ed22ae5SRiver Riddle // ResultRange
2409ed22ae5SRiver Riddle 
2419ed22ae5SRiver Riddle ResultRange::ResultRange(Operation *op)
242fd01d862SRiver Riddle     : ResultRange(op, /*startIndex=*/0, op->getNumResults()) {}
243fd01d862SRiver Riddle 
244aff4ed73SRiver Riddle ArrayRef<Type> ResultRange::getTypes() const {
245b87531caSRiver Riddle   return getBase()->getResultTypes().slice(getStartIndex(), size());
246aff4ed73SRiver Riddle }
247aff4ed73SRiver Riddle 
248204c3b55SRiver Riddle /// See `llvm::indexed_accessor_range` for details.
2490d9ca98cSRiver Riddle OpResult ResultRange::dereference(Operation *op, ptrdiff_t index) {
250fd01d862SRiver Riddle   return op->getResult(index);
251fd01d862SRiver Riddle }
2529ed22ae5SRiver Riddle 
2539ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
2549ed22ae5SRiver Riddle // ValueRange
2559ed22ae5SRiver Riddle 
256ab46543cSRiver Riddle ValueRange::ValueRange(ArrayRef<Value> values)
2579ed22ae5SRiver Riddle     : ValueRange(values.data(), values.size()) {}
2589ed22ae5SRiver Riddle ValueRange::ValueRange(OperandRange values)
2599ed22ae5SRiver Riddle     : ValueRange(values.begin().getBase(), values.size()) {}
2609ed22ae5SRiver Riddle ValueRange::ValueRange(ResultRange values)
261fd01d862SRiver Riddle     : ValueRange(
262fd01d862SRiver Riddle           {values.getBase(), static_cast<unsigned>(values.getStartIndex())},
263fd01d862SRiver Riddle           values.size()) {}
2649ed22ae5SRiver Riddle 
265204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
2669ed22ae5SRiver Riddle ValueRange::OwnerT ValueRange::offset_base(const OwnerT &owner,
2679ed22ae5SRiver Riddle                                            ptrdiff_t index) {
268fd01d862SRiver Riddle   if (auto *value = owner.ptr.dyn_cast<const Value *>())
269fd01d862SRiver Riddle     return {value + index};
270fd01d862SRiver Riddle   if (auto *operand = owner.ptr.dyn_cast<OpOperand *>())
271fd01d862SRiver Riddle     return {operand + index};
272fd01d862SRiver Riddle   Operation *operation = reinterpret_cast<Operation *>(owner.ptr.get<void *>());
273fd01d862SRiver Riddle   return {operation, owner.startIndex + static_cast<unsigned>(index)};
2749ed22ae5SRiver Riddle }
275204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
276ab46543cSRiver Riddle Value ValueRange::dereference_iterator(const OwnerT &owner, ptrdiff_t index) {
277fd01d862SRiver Riddle   if (auto *value = owner.ptr.dyn_cast<const Value *>())
278fd01d862SRiver Riddle     return value[index];
279fd01d862SRiver Riddle   if (auto *operand = owner.ptr.dyn_cast<OpOperand *>())
2809ed22ae5SRiver Riddle     return operand[index].get();
281fd01d862SRiver Riddle   Operation *operation = reinterpret_cast<Operation *>(owner.ptr.get<void *>());
282fd01d862SRiver Riddle   return operation->getResult(owner.startIndex + index);
2839ed22ae5SRiver Riddle }
284