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> &®ion) { 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