11d6a724aSRahul Joshi //===- TypeRange.cpp ------------------------------------------------------===//
21d6a724aSRahul Joshi //
31d6a724aSRahul Joshi // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
41d6a724aSRahul Joshi // See https://llvm.org/LICENSE.txt for license information.
51d6a724aSRahul Joshi // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
61d6a724aSRahul Joshi //
71d6a724aSRahul Joshi //===----------------------------------------------------------------------===//
81d6a724aSRahul Joshi 
91d6a724aSRahul Joshi #include "mlir/IR/TypeRange.h"
101d6a724aSRahul Joshi #include "mlir/IR/Operation.h"
11*3dfa8614SRiver Riddle 
121d6a724aSRahul Joshi using namespace mlir;
131d6a724aSRahul Joshi 
141d6a724aSRahul Joshi //===----------------------------------------------------------------------===//
151d6a724aSRahul Joshi // TypeRange
161d6a724aSRahul Joshi 
TypeRange(ArrayRef<Type> types)171d6a724aSRahul Joshi TypeRange::TypeRange(ArrayRef<Type> types)
189bb5bff5SAlex Zinenko     : TypeRange(types.data(), types.size()) {
199bb5bff5SAlex Zinenko   assert(llvm::all_of(types, [](Type t) { return t; }) &&
209bb5bff5SAlex Zinenko          "attempting to construct a TypeRange with null types");
219bb5bff5SAlex Zinenko }
TypeRange(OperandRange values)221d6a724aSRahul Joshi TypeRange::TypeRange(OperandRange values)
231d6a724aSRahul Joshi     : TypeRange(values.begin().getBase(), values.size()) {}
TypeRange(ResultRange values)241d6a724aSRahul Joshi TypeRange::TypeRange(ResultRange values)
25*3dfa8614SRiver Riddle     : TypeRange(values.getBase(), values.size()) {}
TypeRange(ValueRange values)261d6a724aSRahul Joshi TypeRange::TypeRange(ValueRange values) : TypeRange(OwnerT(), values.size()) {
27*3dfa8614SRiver Riddle   if (count == 0)
28*3dfa8614SRiver Riddle     return;
29*3dfa8614SRiver Riddle   ValueRange::OwnerT owner = values.begin().getBase();
30*3dfa8614SRiver Riddle   if (auto *result = owner.dyn_cast<detail::OpResultImpl *>())
31*3dfa8614SRiver Riddle     this->base = result;
32*3dfa8614SRiver Riddle   else if (auto *operand = owner.dyn_cast<OpOperand *>())
331d6a724aSRahul Joshi     this->base = operand;
341d6a724aSRahul Joshi   else
35*3dfa8614SRiver Riddle     this->base = owner.get<const Value *>();
361d6a724aSRahul Joshi }
371d6a724aSRahul Joshi 
381d6a724aSRahul Joshi /// See `llvm::detail::indexed_accessor_range_base` for details.
offset_base(OwnerT object,ptrdiff_t index)391d6a724aSRahul Joshi TypeRange::OwnerT TypeRange::offset_base(OwnerT object, ptrdiff_t index) {
401d6a724aSRahul Joshi   if (const auto *value = object.dyn_cast<const Value *>())
411d6a724aSRahul Joshi     return {value + index};
421d6a724aSRahul Joshi   if (auto *operand = object.dyn_cast<OpOperand *>())
431d6a724aSRahul Joshi     return {operand + index};
44*3dfa8614SRiver Riddle   if (auto *result = object.dyn_cast<detail::OpResultImpl *>())
45*3dfa8614SRiver Riddle     return {result->getNextResultAtOffset(index)};
461d6a724aSRahul Joshi   return {object.dyn_cast<const Type *>() + index};
471d6a724aSRahul Joshi }
48*3dfa8614SRiver Riddle 
491d6a724aSRahul Joshi /// See `llvm::detail::indexed_accessor_range_base` for details.
dereference_iterator(OwnerT object,ptrdiff_t index)501d6a724aSRahul Joshi Type TypeRange::dereference_iterator(OwnerT object, ptrdiff_t index) {
511d6a724aSRahul Joshi   if (const auto *value = object.dyn_cast<const Value *>())
521d6a724aSRahul Joshi     return (value + index)->getType();
531d6a724aSRahul Joshi   if (auto *operand = object.dyn_cast<OpOperand *>())
541d6a724aSRahul Joshi     return (operand + index)->get().getType();
55*3dfa8614SRiver Riddle   if (auto *result = object.dyn_cast<detail::OpResultImpl *>())
56*3dfa8614SRiver Riddle     return result->getNextResultAtOffset(index)->getType();
571d6a724aSRahul Joshi   return object.dyn_cast<const Type *>()[index];
581d6a724aSRahul Joshi }
59