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> &®ion) { 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 899ffdc930SRiver Riddle // Grow the capacity if necessary. 909ffdc930SRiver Riddle auto &resizeUtil = getResizableStorage(); 919ffdc930SRiver Riddle if (resizeUtil.capacity < operands.size()) 929ffdc930SRiver Riddle grow(resizeUtil, operands.size()); 939ffdc930SRiver Riddle 949ffdc930SRiver Riddle // Set the operands. 95213b8d4dSRiver Riddle OpOperand *opBegin = getRawOperands(); 969ffdc930SRiver Riddle for (unsigned i = 0; i != numOperands; ++i) 979ffdc930SRiver Riddle opBegin[i].set(operands[i]); 989ffdc930SRiver Riddle for (unsigned e = operands.size(); numOperands != e; ++numOperands) 99213b8d4dSRiver Riddle new (&opBegin[numOperands]) OpOperand(owner, operands[numOperands]); 1009ffdc930SRiver Riddle } 1019ffdc930SRiver Riddle 1029ffdc930SRiver Riddle /// Erase an operand held by the storage. 1039ffdc930SRiver Riddle void detail::OperandStorage::eraseOperand(unsigned index) { 1049ffdc930SRiver Riddle assert(index < size()); 105213b8d4dSRiver Riddle auto operands = getOperands(); 1069ffdc930SRiver Riddle --numOperands; 1079ffdc930SRiver Riddle 1089ffdc930SRiver Riddle // Shift all operands down by 1 if the operand to remove is not at the end. 1090b468b01SAlex Zinenko auto indexIt = std::next(operands.begin(), index); 1109ffdc930SRiver Riddle if (index != numOperands) 1110b468b01SAlex Zinenko std::rotate(indexIt, std::next(indexIt), operands.end()); 112213b8d4dSRiver Riddle operands[numOperands].~OpOperand(); 1139ffdc930SRiver Riddle } 1149ffdc930SRiver Riddle 1159ffdc930SRiver Riddle /// Grow the internal operand storage. 1169ffdc930SRiver Riddle void detail::OperandStorage::grow(ResizableStorage &resizeUtil, 1179ffdc930SRiver Riddle size_t minSize) { 1189ffdc930SRiver Riddle // Allocate a new storage array. 1199ffdc930SRiver Riddle resizeUtil.capacity = 1209ffdc930SRiver Riddle std::max(size_t(llvm::NextPowerOf2(resizeUtil.capacity + 2)), minSize); 121213b8d4dSRiver Riddle OpOperand *newStorage = static_cast<OpOperand *>( 122213b8d4dSRiver Riddle llvm::safe_malloc(resizeUtil.capacity * sizeof(OpOperand))); 1239ffdc930SRiver Riddle 1249ffdc930SRiver Riddle // Move the current operands to the new storage. 125213b8d4dSRiver Riddle auto operands = getOperands(); 1269ffdc930SRiver Riddle std::uninitialized_copy(std::make_move_iterator(operands.begin()), 1279ffdc930SRiver Riddle std::make_move_iterator(operands.end()), newStorage); 1289ffdc930SRiver Riddle 1299ffdc930SRiver Riddle // Destroy the original operands and update the resizable storage pointer. 1309ffdc930SRiver Riddle for (auto &operand : operands) 131213b8d4dSRiver Riddle operand.~OpOperand(); 1329ffdc930SRiver Riddle resizeUtil.setDynamicStorage(newStorage); 1339ffdc930SRiver Riddle } 1349ed22ae5SRiver Riddle 1359ed22ae5SRiver Riddle //===----------------------------------------------------------------------===// 1369ed22ae5SRiver Riddle // Operation Value-Iterators 1379ed22ae5SRiver Riddle //===----------------------------------------------------------------------===// 1389ed22ae5SRiver Riddle 1399ed22ae5SRiver Riddle //===----------------------------------------------------------------------===// 14094a4ca4bSRiver Riddle // TypeRange 14194a4ca4bSRiver Riddle 14294a4ca4bSRiver Riddle TypeRange::TypeRange(ArrayRef<Type> types) 14394a4ca4bSRiver Riddle : TypeRange(types.data(), types.size()) {} 14494a4ca4bSRiver Riddle TypeRange::TypeRange(OperandRange values) 14594a4ca4bSRiver Riddle : TypeRange(values.begin().getBase(), values.size()) {} 14694a4ca4bSRiver Riddle TypeRange::TypeRange(ResultRange values) 14794a4ca4bSRiver Riddle : TypeRange(values.getBase()->getResultTypes().slice(values.getStartIndex(), 14894a4ca4bSRiver Riddle values.size())) {} 149988249a5SRiver Riddle TypeRange::TypeRange(ArrayRef<Value> values) 150988249a5SRiver Riddle : TypeRange(values.data(), values.size()) {} 15194a4ca4bSRiver Riddle TypeRange::TypeRange(ValueRange values) : TypeRange(OwnerT(), values.size()) { 15294a4ca4bSRiver Riddle detail::ValueRangeOwner owner = values.begin().getBase(); 15394a4ca4bSRiver Riddle if (auto *op = reinterpret_cast<Operation *>(owner.ptr.dyn_cast<void *>())) 154*b87531caSRiver Riddle this->base = op->getResultTypes().drop_front(owner.startIndex).data(); 15594a4ca4bSRiver Riddle else if (auto *operand = owner.ptr.dyn_cast<OpOperand *>()) 15694a4ca4bSRiver Riddle this->base = operand; 15794a4ca4bSRiver Riddle else 15894a4ca4bSRiver Riddle this->base = owner.ptr.get<const Value *>(); 15994a4ca4bSRiver Riddle } 16094a4ca4bSRiver Riddle 161204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details. 16294a4ca4bSRiver Riddle TypeRange::OwnerT TypeRange::offset_base(OwnerT object, ptrdiff_t index) { 16394a4ca4bSRiver Riddle if (auto *value = object.dyn_cast<const Value *>()) 16494a4ca4bSRiver Riddle return {value + index}; 16594a4ca4bSRiver Riddle if (auto *operand = object.dyn_cast<OpOperand *>()) 16694a4ca4bSRiver Riddle return {operand + index}; 16794a4ca4bSRiver Riddle return {object.dyn_cast<const Type *>() + index}; 16894a4ca4bSRiver Riddle } 169204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details. 17094a4ca4bSRiver Riddle Type TypeRange::dereference_iterator(OwnerT object, ptrdiff_t index) { 17194a4ca4bSRiver Riddle if (auto *value = object.dyn_cast<const Value *>()) 17294a4ca4bSRiver Riddle return (value + index)->getType(); 17394a4ca4bSRiver Riddle if (auto *operand = object.dyn_cast<OpOperand *>()) 17494a4ca4bSRiver Riddle return (operand + index)->get().getType(); 17594a4ca4bSRiver Riddle return object.dyn_cast<const Type *>()[index]; 17694a4ca4bSRiver Riddle } 17794a4ca4bSRiver Riddle 17894a4ca4bSRiver Riddle //===----------------------------------------------------------------------===// 1799ed22ae5SRiver Riddle // OperandRange 1809ed22ae5SRiver Riddle 1819ed22ae5SRiver Riddle OperandRange::OperandRange(Operation *op) 1829ed22ae5SRiver Riddle : OperandRange(op->getOpOperands().data(), op->getNumOperands()) {} 1839ed22ae5SRiver Riddle 184621d7ccaSRiver Riddle /// Return the operand index of the first element of this range. The range 185621d7ccaSRiver Riddle /// must not be empty. 186621d7ccaSRiver Riddle unsigned OperandRange::getBeginOperandIndex() const { 187621d7ccaSRiver Riddle assert(!empty() && "range must not be empty"); 188621d7ccaSRiver Riddle return base->getOperandNumber(); 189621d7ccaSRiver Riddle } 190621d7ccaSRiver Riddle 1919ed22ae5SRiver Riddle //===----------------------------------------------------------------------===// 1929ed22ae5SRiver Riddle // ResultRange 1939ed22ae5SRiver Riddle 1949ed22ae5SRiver Riddle ResultRange::ResultRange(Operation *op) 195fd01d862SRiver Riddle : ResultRange(op, /*startIndex=*/0, op->getNumResults()) {} 196fd01d862SRiver Riddle 197aff4ed73SRiver Riddle ArrayRef<Type> ResultRange::getTypes() const { 198*b87531caSRiver Riddle return getBase()->getResultTypes().slice(getStartIndex(), size()); 199aff4ed73SRiver Riddle } 200aff4ed73SRiver Riddle 201204c3b55SRiver Riddle /// See `llvm::indexed_accessor_range` for details. 2020d9ca98cSRiver Riddle OpResult ResultRange::dereference(Operation *op, ptrdiff_t index) { 203fd01d862SRiver Riddle return op->getResult(index); 204fd01d862SRiver Riddle } 2059ed22ae5SRiver Riddle 2069ed22ae5SRiver Riddle //===----------------------------------------------------------------------===// 2079ed22ae5SRiver Riddle // ValueRange 2089ed22ae5SRiver Riddle 209ab46543cSRiver Riddle ValueRange::ValueRange(ArrayRef<Value> values) 2109ed22ae5SRiver Riddle : ValueRange(values.data(), values.size()) {} 2119ed22ae5SRiver Riddle ValueRange::ValueRange(OperandRange values) 2129ed22ae5SRiver Riddle : ValueRange(values.begin().getBase(), values.size()) {} 2139ed22ae5SRiver Riddle ValueRange::ValueRange(ResultRange values) 214fd01d862SRiver Riddle : ValueRange( 215fd01d862SRiver Riddle {values.getBase(), static_cast<unsigned>(values.getStartIndex())}, 216fd01d862SRiver Riddle values.size()) {} 2179ed22ae5SRiver Riddle 218204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details. 2199ed22ae5SRiver Riddle ValueRange::OwnerT ValueRange::offset_base(const OwnerT &owner, 2209ed22ae5SRiver Riddle ptrdiff_t index) { 221fd01d862SRiver Riddle if (auto *value = owner.ptr.dyn_cast<const Value *>()) 222fd01d862SRiver Riddle return {value + index}; 223fd01d862SRiver Riddle if (auto *operand = owner.ptr.dyn_cast<OpOperand *>()) 224fd01d862SRiver Riddle return {operand + index}; 225fd01d862SRiver Riddle Operation *operation = reinterpret_cast<Operation *>(owner.ptr.get<void *>()); 226fd01d862SRiver Riddle return {operation, owner.startIndex + static_cast<unsigned>(index)}; 2279ed22ae5SRiver Riddle } 228204c3b55SRiver Riddle /// See `llvm::detail::indexed_accessor_range_base` for details. 229ab46543cSRiver Riddle Value ValueRange::dereference_iterator(const OwnerT &owner, ptrdiff_t index) { 230fd01d862SRiver Riddle if (auto *value = owner.ptr.dyn_cast<const Value *>()) 231fd01d862SRiver Riddle return value[index]; 232fd01d862SRiver Riddle if (auto *operand = owner.ptr.dyn_cast<OpOperand *>()) 2339ed22ae5SRiver Riddle return operand[index].get(); 234fd01d862SRiver Riddle Operation *operation = reinterpret_cast<Operation *>(owner.ptr.get<void *>()); 235fd01d862SRiver Riddle return operation->getResult(owner.startIndex + index); 2369ed22ae5SRiver Riddle } 237