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,
33a7215a90SAlex Zinenko                                MutableArrayRef<std::unique_ptr<Region>> regions,
34a7215a90SAlex Zinenko                                bool resizableOperandList)
352f59f768SRiver Riddle     : location(location), name(name, location->getContext()),
36a7215a90SAlex Zinenko       operands(operands.begin(), operands.end()),
37a7215a90SAlex Zinenko       types(types.begin(), types.end()),
38a7215a90SAlex Zinenko       attributes(attributes.begin(), attributes.end()),
39a7215a90SAlex Zinenko       successors(successors.begin(), successors.end()) {
402f59f768SRiver Riddle   for (std::unique_ptr<Region> &r : regions)
41a7215a90SAlex Zinenko     this->regions.push_back(std::move(r));
42a7215a90SAlex Zinenko }
43a7215a90SAlex Zinenko 
44d6ee6a03SRiver Riddle void OperationState::addOperands(ValueRange newOperands) {
45d6ee6a03SRiver Riddle   operands.append(newOperands.begin(), newOperands.end());
46d6ee6a03SRiver Riddle }
47d6ee6a03SRiver Riddle 
48cb177712SRiver Riddle void OperationState::addSuccessors(SuccessorRange newSuccessors) {
49cb177712SRiver Riddle   successors.append(newSuccessors.begin(), newSuccessors.end());
50d6ee6a03SRiver Riddle }
51d6ee6a03SRiver Riddle 
52a7215a90SAlex Zinenko Region *OperationState::addRegion() {
53a7215a90SAlex Zinenko   regions.emplace_back(new Region);
54a7215a90SAlex Zinenko   return regions.back().get();
55a7215a90SAlex Zinenko }
56a7215a90SAlex Zinenko 
57a7215a90SAlex Zinenko void OperationState::addRegion(std::unique_ptr<Region> &&region) {
58a7215a90SAlex Zinenko   regions.push_back(std::move(region));
59a7215a90SAlex Zinenko }
60a7215a90SAlex Zinenko 
619ffdc930SRiver Riddle //===----------------------------------------------------------------------===//
629ffdc930SRiver Riddle // OperandStorage
639ffdc930SRiver Riddle //===----------------------------------------------------------------------===//
649ffdc930SRiver Riddle 
659ffdc930SRiver Riddle /// Replace the operands contained in the storage with the ones provided in
669ffdc930SRiver Riddle /// 'operands'.
679ffdc930SRiver Riddle void detail::OperandStorage::setOperands(Operation *owner,
68d6ee6a03SRiver Riddle                                          ValueRange operands) {
699ffdc930SRiver Riddle   // If the number of operands is less than or equal to the current amount, we
709ffdc930SRiver Riddle   // can just update in place.
719ffdc930SRiver Riddle   if (operands.size() <= numOperands) {
72213b8d4dSRiver Riddle     auto opOperands = getOperands();
739ffdc930SRiver Riddle 
749ffdc930SRiver Riddle     // If the number of new operands is less than the current count, then remove
759ffdc930SRiver Riddle     // any extra operands.
769ffdc930SRiver Riddle     for (unsigned i = operands.size(); i != numOperands; ++i)
77213b8d4dSRiver Riddle       opOperands[i].~OpOperand();
789ffdc930SRiver Riddle 
799ffdc930SRiver Riddle     // Set the operands in place.
809ffdc930SRiver Riddle     numOperands = operands.size();
819ffdc930SRiver Riddle     for (unsigned i = 0; i != numOperands; ++i)
82213b8d4dSRiver Riddle       opOperands[i].set(operands[i]);
839ffdc930SRiver Riddle     return;
849ffdc930SRiver Riddle   }
859ffdc930SRiver Riddle 
869ffdc930SRiver Riddle   // Otherwise, we need to be resizable.
879ffdc930SRiver Riddle   assert(resizable && "Only resizable operations may add operands");
889ffdc930SRiver Riddle 
89*8da0f85eSRiver Riddle   // If the storage isn't already dynamic, we need to allocate a new buffer for
90*8da0f85eSRiver Riddle   // it.
91*8da0f85eSRiver Riddle   OpOperand *opBegin = nullptr;
92*8da0f85eSRiver Riddle   if (!storageIsDynamic) {
93*8da0f85eSRiver Riddle     // Grow a new storage first to avoid overwriting the existing operands.
94*8da0f85eSRiver Riddle     ResizableStorage newStorage;
95*8da0f85eSRiver Riddle     grow(newStorage, operands.size());
96*8da0f85eSRiver Riddle     opBegin = newStorage.firstOp;
97*8da0f85eSRiver Riddle     storageIsDynamic = true;
98*8da0f85eSRiver Riddle     new (&getResizableStorage()) ResizableStorage(std::move(newStorage));
99*8da0f85eSRiver Riddle   } else {
100*8da0f85eSRiver Riddle     // Otherwise, grow the existing storage if necessary.
1019ffdc930SRiver Riddle     auto &resizeUtil = getResizableStorage();
1029ffdc930SRiver Riddle     if (resizeUtil.capacity < operands.size())
1039ffdc930SRiver Riddle       grow(resizeUtil, operands.size());
104*8da0f85eSRiver Riddle     opBegin = resizeUtil.firstOp;
105*8da0f85eSRiver Riddle   }
1069ffdc930SRiver Riddle 
1079ffdc930SRiver Riddle   // Set the operands.
1089ffdc930SRiver Riddle   for (unsigned i = 0; i != numOperands; ++i)
1099ffdc930SRiver Riddle     opBegin[i].set(operands[i]);
1109ffdc930SRiver Riddle   for (unsigned e = operands.size(); numOperands != e; ++numOperands)
111213b8d4dSRiver Riddle     new (&opBegin[numOperands]) OpOperand(owner, operands[numOperands]);
1129ffdc930SRiver Riddle }
1139ffdc930SRiver Riddle 
1149ffdc930SRiver Riddle /// Erase an operand held by the storage.
1159ffdc930SRiver Riddle void detail::OperandStorage::eraseOperand(unsigned index) {
1169ffdc930SRiver Riddle   assert(index < size());
117213b8d4dSRiver Riddle   auto operands = getOperands();
1189ffdc930SRiver Riddle   --numOperands;
1199ffdc930SRiver Riddle 
1209ffdc930SRiver Riddle   // Shift all operands down by 1 if the operand to remove is not at the end.
1210b468b01SAlex Zinenko   auto indexIt = std::next(operands.begin(), index);
1229ffdc930SRiver Riddle   if (index != numOperands)
1230b468b01SAlex Zinenko     std::rotate(indexIt, std::next(indexIt), operands.end());
124213b8d4dSRiver Riddle   operands[numOperands].~OpOperand();
1259ffdc930SRiver Riddle }
1269ffdc930SRiver Riddle 
1279ffdc930SRiver Riddle /// Grow the internal operand storage.
1289ffdc930SRiver Riddle void detail::OperandStorage::grow(ResizableStorage &resizeUtil,
1299ffdc930SRiver Riddle                                   size_t minSize) {
1309ffdc930SRiver Riddle   // Allocate a new storage array.
1319ffdc930SRiver Riddle   resizeUtil.capacity =
1329ffdc930SRiver Riddle       std::max(size_t(llvm::NextPowerOf2(resizeUtil.capacity + 2)), minSize);
133213b8d4dSRiver Riddle   OpOperand *newStorage = static_cast<OpOperand *>(
134213b8d4dSRiver Riddle       llvm::safe_malloc(resizeUtil.capacity * sizeof(OpOperand)));
1359ffdc930SRiver Riddle 
1369ffdc930SRiver Riddle   // Move the current operands to the new storage.
137213b8d4dSRiver Riddle   auto operands = getOperands();
1389ffdc930SRiver Riddle   std::uninitialized_copy(std::make_move_iterator(operands.begin()),
1399ffdc930SRiver Riddle                           std::make_move_iterator(operands.end()), newStorage);
1409ffdc930SRiver Riddle 
1419ffdc930SRiver Riddle   // Destroy the original operands and update the resizable storage pointer.
1429ffdc930SRiver Riddle   for (auto &operand : operands)
143213b8d4dSRiver Riddle     operand.~OpOperand();
1449ffdc930SRiver Riddle   resizeUtil.setDynamicStorage(newStorage);
1459ffdc930SRiver Riddle }
1469ed22ae5SRiver Riddle 
1479ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
14848e9ef43SRiver Riddle // ResultStorage
14948e9ef43SRiver Riddle //===----------------------------------------------------------------------===//
15048e9ef43SRiver Riddle 
15148e9ef43SRiver Riddle /// Returns the parent operation of this trailing result.
15248e9ef43SRiver Riddle Operation *detail::TrailingOpResult::getOwner() {
15348e9ef43SRiver Riddle   // We need to do some arithmetic to get the operation pointer. Move the
15448e9ef43SRiver Riddle   // trailing owner to the start of the array.
15548e9ef43SRiver Riddle   TrailingOpResult *trailingIt = this - trailingResultNumber;
15648e9ef43SRiver Riddle 
15748e9ef43SRiver Riddle   // Move the owner past the inline op results to get to the operation.
15848e9ef43SRiver Riddle   auto *inlineResultIt = reinterpret_cast<InLineOpResult *>(trailingIt) -
15948e9ef43SRiver Riddle                          OpResult::getMaxInlineResults();
16048e9ef43SRiver Riddle   return reinterpret_cast<Operation *>(inlineResultIt) - 1;
16148e9ef43SRiver Riddle }
16248e9ef43SRiver Riddle 
16348e9ef43SRiver Riddle //===----------------------------------------------------------------------===//
1649ed22ae5SRiver Riddle // Operation Value-Iterators
1659ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
1669ed22ae5SRiver Riddle 
1679ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
16894a4ca4bSRiver Riddle // TypeRange
16994a4ca4bSRiver Riddle 
17094a4ca4bSRiver Riddle TypeRange::TypeRange(ArrayRef<Type> types)
17194a4ca4bSRiver Riddle     : TypeRange(types.data(), types.size()) {}
17294a4ca4bSRiver Riddle TypeRange::TypeRange(OperandRange values)
17394a4ca4bSRiver Riddle     : TypeRange(values.begin().getBase(), values.size()) {}
17494a4ca4bSRiver Riddle TypeRange::TypeRange(ResultRange values)
17594a4ca4bSRiver Riddle     : TypeRange(values.getBase()->getResultTypes().slice(values.getStartIndex(),
17694a4ca4bSRiver Riddle                                                          values.size())) {}
177988249a5SRiver Riddle TypeRange::TypeRange(ArrayRef<Value> values)
178988249a5SRiver Riddle     : TypeRange(values.data(), values.size()) {}
17994a4ca4bSRiver Riddle TypeRange::TypeRange(ValueRange values) : TypeRange(OwnerT(), values.size()) {
18094a4ca4bSRiver Riddle   detail::ValueRangeOwner owner = values.begin().getBase();
18194a4ca4bSRiver Riddle   if (auto *op = reinterpret_cast<Operation *>(owner.ptr.dyn_cast<void *>()))
182b87531caSRiver Riddle     this->base = op->getResultTypes().drop_front(owner.startIndex).data();
18394a4ca4bSRiver Riddle   else if (auto *operand = owner.ptr.dyn_cast<OpOperand *>())
18494a4ca4bSRiver Riddle     this->base = operand;
18594a4ca4bSRiver Riddle   else
18694a4ca4bSRiver Riddle     this->base = owner.ptr.get<const Value *>();
18794a4ca4bSRiver Riddle }
18894a4ca4bSRiver Riddle 
189204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
19094a4ca4bSRiver Riddle TypeRange::OwnerT TypeRange::offset_base(OwnerT object, ptrdiff_t index) {
19194a4ca4bSRiver Riddle   if (auto *value = object.dyn_cast<const Value *>())
19294a4ca4bSRiver Riddle     return {value + index};
19394a4ca4bSRiver Riddle   if (auto *operand = object.dyn_cast<OpOperand *>())
19494a4ca4bSRiver Riddle     return {operand + index};
19594a4ca4bSRiver Riddle   return {object.dyn_cast<const Type *>() + index};
19694a4ca4bSRiver Riddle }
197204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
19894a4ca4bSRiver Riddle Type TypeRange::dereference_iterator(OwnerT object, ptrdiff_t index) {
19994a4ca4bSRiver Riddle   if (auto *value = object.dyn_cast<const Value *>())
20094a4ca4bSRiver Riddle     return (value + index)->getType();
20194a4ca4bSRiver Riddle   if (auto *operand = object.dyn_cast<OpOperand *>())
20294a4ca4bSRiver Riddle     return (operand + index)->get().getType();
20394a4ca4bSRiver Riddle   return object.dyn_cast<const Type *>()[index];
20494a4ca4bSRiver Riddle }
20594a4ca4bSRiver Riddle 
20694a4ca4bSRiver Riddle //===----------------------------------------------------------------------===//
2079ed22ae5SRiver Riddle // OperandRange
2089ed22ae5SRiver Riddle 
2099ed22ae5SRiver Riddle OperandRange::OperandRange(Operation *op)
2109ed22ae5SRiver Riddle     : OperandRange(op->getOpOperands().data(), op->getNumOperands()) {}
2119ed22ae5SRiver Riddle 
212621d7ccaSRiver Riddle /// Return the operand index of the first element of this range. The range
213621d7ccaSRiver Riddle /// must not be empty.
214621d7ccaSRiver Riddle unsigned OperandRange::getBeginOperandIndex() const {
215621d7ccaSRiver Riddle   assert(!empty() && "range must not be empty");
216621d7ccaSRiver Riddle   return base->getOperandNumber();
217621d7ccaSRiver Riddle }
218621d7ccaSRiver Riddle 
2199ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
2209ed22ae5SRiver Riddle // ResultRange
2219ed22ae5SRiver Riddle 
2229ed22ae5SRiver Riddle ResultRange::ResultRange(Operation *op)
223fd01d862SRiver Riddle     : ResultRange(op, /*startIndex=*/0, op->getNumResults()) {}
224fd01d862SRiver Riddle 
225aff4ed73SRiver Riddle ArrayRef<Type> ResultRange::getTypes() const {
226b87531caSRiver Riddle   return getBase()->getResultTypes().slice(getStartIndex(), size());
227aff4ed73SRiver Riddle }
228aff4ed73SRiver Riddle 
229204c3b55SRiver Riddle /// See `llvm::indexed_accessor_range` for details.
2300d9ca98cSRiver Riddle OpResult ResultRange::dereference(Operation *op, ptrdiff_t index) {
231fd01d862SRiver Riddle   return op->getResult(index);
232fd01d862SRiver Riddle }
2339ed22ae5SRiver Riddle 
2349ed22ae5SRiver Riddle //===----------------------------------------------------------------------===//
2359ed22ae5SRiver Riddle // ValueRange
2369ed22ae5SRiver Riddle 
237ab46543cSRiver Riddle ValueRange::ValueRange(ArrayRef<Value> values)
2389ed22ae5SRiver Riddle     : ValueRange(values.data(), values.size()) {}
2399ed22ae5SRiver Riddle ValueRange::ValueRange(OperandRange values)
2409ed22ae5SRiver Riddle     : ValueRange(values.begin().getBase(), values.size()) {}
2419ed22ae5SRiver Riddle ValueRange::ValueRange(ResultRange values)
242fd01d862SRiver Riddle     : ValueRange(
243fd01d862SRiver Riddle           {values.getBase(), static_cast<unsigned>(values.getStartIndex())},
244fd01d862SRiver Riddle           values.size()) {}
2459ed22ae5SRiver Riddle 
246204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
2479ed22ae5SRiver Riddle ValueRange::OwnerT ValueRange::offset_base(const OwnerT &owner,
2489ed22ae5SRiver Riddle                                            ptrdiff_t index) {
249fd01d862SRiver Riddle   if (auto *value = owner.ptr.dyn_cast<const Value *>())
250fd01d862SRiver Riddle     return {value + index};
251fd01d862SRiver Riddle   if (auto *operand = owner.ptr.dyn_cast<OpOperand *>())
252fd01d862SRiver Riddle     return {operand + index};
253fd01d862SRiver Riddle   Operation *operation = reinterpret_cast<Operation *>(owner.ptr.get<void *>());
254fd01d862SRiver Riddle   return {operation, owner.startIndex + static_cast<unsigned>(index)};
2559ed22ae5SRiver Riddle }
256204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details.
257ab46543cSRiver Riddle Value ValueRange::dereference_iterator(const OwnerT &owner, ptrdiff_t index) {
258fd01d862SRiver Riddle   if (auto *value = owner.ptr.dyn_cast<const Value *>())
259fd01d862SRiver Riddle     return value[index];
260fd01d862SRiver Riddle   if (auto *operand = owner.ptr.dyn_cast<OpOperand *>())
2619ed22ae5SRiver Riddle     return operand[index].get();
262fd01d862SRiver Riddle   Operation *operation = reinterpret_cast<Operation *>(owner.ptr.get<void *>());
263fd01d862SRiver Riddle   return operation->getResult(owner.startIndex + index);
2649ed22ae5SRiver Riddle }
265