MLIR 23.0.0git
Region.h
Go to the documentation of this file.
1//===- Region.h - MLIR Region Class -----------------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines the Region class.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef MLIR_IR_REGION_H
14#define MLIR_IR_REGION_H
15
16#include "mlir/IR/Block.h"
17
18namespace mlir {
19class TypeRange;
20template <typename ValueRangeT>
21class ValueTypeRange;
22class IRMapping;
23
24/// This class contains a list of basic blocks and a link to the parent
25/// operation it is attached to.
26class Region {
27public:
28 Region() = default;
29 explicit Region(Operation *container);
30 ~Region();
31
32 /// Return the context this region is inserted in. The region must have a
33 /// valid parent container.
35
36 /// Return a location for this region. This is the location attached to the
37 /// parent container. The region must have a valid parent container.
39
40 //===--------------------------------------------------------------------===//
41 // Block list management
42 //===--------------------------------------------------------------------===//
43
44 using BlockListType = llvm::iplist<Block>;
45 BlockListType &getBlocks() { return blocks; }
47 push_back(new Block);
48 return back();
49 }
50
51 // Iteration over the blocks in the region.
52 using iterator = BlockListType::iterator;
53 using reverse_iterator = BlockListType::reverse_iterator;
54
55 iterator begin() { return blocks.begin(); }
56 iterator end() { return blocks.end(); }
57 reverse_iterator rbegin() { return blocks.rbegin(); }
58 reverse_iterator rend() { return blocks.rend(); }
59
60 bool empty() { return blocks.empty(); }
61 void push_back(Block *block) { blocks.push_back(block); }
62 void push_front(Block *block) { blocks.push_front(block); }
63
64 Block &back() { return blocks.back(); }
65 Block &front() { return blocks.front(); }
66
67 /// Return true if this region has exactly one block.
68 bool hasOneBlock() { return !empty() && std::next(begin()) == end(); }
69
70 /// getSublistAccess() - Returns pointer to member of region.
72 return &Region::blocks;
73 }
74
75 //===--------------------------------------------------------------------===//
76 // Argument Handling
77 //===--------------------------------------------------------------------===//
78
79 // This is the list of arguments to the block.
84
85 /// Returns the argument types of the first block within the region.
87
88 using args_iterator = BlockArgListType::iterator;
89 using reverse_args_iterator = BlockArgListType::reverse_iterator;
90 args_iterator args_begin() { return getArguments().begin(); }
91 args_iterator args_end() { return getArguments().end(); }
94
95 bool args_empty() { return getArguments().empty(); }
96
97 /// Add one value to the argument list.
99 return front().addArgument(type, loc);
100 }
101
102 /// Insert one value to the position in the argument list indicated by the
103 /// given iterator. The existing arguments are shifted. The block is expected
104 /// not to have predecessors.
106 return front().insertArgument(it, type, loc);
107 }
108
109 /// Add one argument to the argument list for each type specified in the list.
110 /// `locs` contains the locations for each of the new arguments, and must be
111 /// of equal size to `types`.
113 ArrayRef<Location> locs);
114
115 /// Add one value to the argument list at the specified position.
117 return front().insertArgument(index, type, loc);
118 }
119
120 /// Erase the argument at 'index' and remove it from the argument list.
122
123 unsigned getNumArguments() { return getArguments().size(); }
124 BlockArgument getArgument(unsigned i) { return getArguments()[i]; }
125
126 //===--------------------------------------------------------------------===//
127 // Operation list utilities
128 //===--------------------------------------------------------------------===//
129
130 /// This class provides iteration over the held operations of blocks directly
131 /// within a region.
132 class OpIterator final
133 : public llvm::iterator_facade_base<OpIterator, std::forward_iterator_tag,
134 Operation> {
135 public:
136 /// Initialize OpIterator for a region, specify `end` to return the iterator
137 /// to last operation.
138 explicit OpIterator(Region *region, bool end = false);
139
140 using llvm::iterator_facade_base<OpIterator, std::forward_iterator_tag,
141 Operation>::operator++;
143 Operation *operator->() const { return &*operation; }
144 Operation &operator*() const { return *operation; }
145
146 /// Compare this iterator with another.
147 bool operator==(const OpIterator &rhs) const {
148 return operation == rhs.operation;
149 }
150 bool operator!=(const OpIterator &rhs) const { return !(*this == rhs); }
151
152 private:
153 void skipOverBlocksWithNoOps();
154
155 /// The region whose operations are being iterated over.
156 Region *region;
157 /// The block of 'region' whose operations are being iterated over.
158 Region::iterator block;
159 /// The current operation within 'block'.
160 Block::iterator operation;
161 };
162
163 /// This class provides iteration over the held operations of a region for a
164 /// specific operation type.
165 template <typename OpT>
167
168 /// Return iterators that walk the operations nested directly within this
169 /// region.
170 OpIterator op_begin() { return OpIterator(this); }
171 OpIterator op_end() { return OpIterator(this, /*end=*/true); }
173
174 /// Return iterators that walk operations of type 'T' nested directly within
175 /// this region.
176 template <typename OpT>
180 template <typename OpT>
184 template <typename OpT>
190
191 //===--------------------------------------------------------------------===//
192 // Misc. utilities
193 //===--------------------------------------------------------------------===//
194
195 /// Return the region containing this region or nullptr if the region is
196 /// attached to a top-level operation.
198
199 /// Return the parent operation this region is attached to.
200 Operation *getParentOp() { return container; }
201
202 /// Find the first parent operation of the given type, or nullptr if there is
203 /// no ancestor operation.
204 template <typename ParentT>
205 ParentT getParentOfType() {
206 auto *region = this;
207 do {
208 if (auto parent = dyn_cast_or_null<ParentT>(region->container))
209 return parent;
210 } while ((region = region->getParentRegion()));
211 return ParentT();
212 }
213 template <typename... ParentT>
214 std::enable_if_t<(sizeof...(ParentT) > 1), Operation *> getParentOfType() {
215 auto *region = this;
216 do {
217 if (!region->container)
218 return nullptr;
219 if (isa<ParentT...>(region->container))
220 return region->container;
221 } while ((region = region->getParentRegion()));
222 return nullptr;
223 }
224
225 /// Return the number of this region in the parent operation.
226 unsigned getRegionNumber();
227
228 /// Return true if this region is a proper ancestor of the `other` region.
229 bool isProperAncestor(Region *other);
230
231 /// Return true if this region is ancestor of the `other` region. A region
232 /// is considered as its own ancestor, use `isProperAncestor` to avoid this.
233 bool isAncestor(Region *other) {
234 return this == other || isProperAncestor(other);
235 }
236
237 /// Clone the internal blocks from this region into dest. Any
238 /// cloned blocks are appended to the back of dest. If the mapper
239 /// contains entries for block arguments, these arguments are not included
240 /// in the respective cloned block.
241 ///
242 /// Calling this method from multiple threads is generally safe if through the
243 /// process of cloning, no new uses of 'Value's from outside the region are
244 /// created. Using the mapper, it is possible to avoid adding uses to outside
245 /// operands by remapping them to 'Value's owned by the caller thread.
246 void cloneInto(Region *dest, IRMapping &mapper);
247 /// Clone this region into 'dest' before the given position in 'dest'.
248 void cloneInto(Region *dest, Region::iterator destPos, IRMapping &mapper);
249
250 /// Takes body of another region (that region will have no body after this
251 /// operation completes). The current body of this region is cleared.
252 void takeBody(Region &other) {
254 blocks.clear();
255 blocks.splice(blocks.end(), other.getBlocks());
256 }
257
258 /// Returns 'block' if 'block' lies in this region, or otherwise finds the
259 /// ancestor of 'block' that lies in this region. Returns nullptr if the
260 /// latter fails.
262
263 /// Returns 'op' if 'op' lies in this region, or otherwise finds the
264 /// ancestor of 'op' that lies in this region. Returns nullptr if the
265 /// latter fails.
267
268 /// Drop all operand uses from operations within this region, which is
269 /// an essential step in breaking cyclic dependences between references when
270 /// they are to be deleted.
271 void dropAllReferences();
272
273 //===--------------------------------------------------------------------===//
274 // Walkers
275 //===--------------------------------------------------------------------===//
276
277 /// Walk all nested operations, blocks or regions (including this region),
278 /// depending on the type of callback.
279 ///
280 /// The order in which operations, blocks or regions at the same nesting
281 /// level are visited (e.g., lexicographical or reverse lexicographical order)
282 /// is determined by `Iterator`. The walk order for enclosing operations,
283 /// blocks or regions with respect to their nested ones is specified by
284 /// `Order` (post-order by default).
285 ///
286 /// A callback on a operation or block is allowed to erase that operation or
287 /// block if either:
288 /// * the walk is in post-order, or
289 /// * the walk is in pre-order and the walk is skipped after the erasure.
290 ///
291 /// See Operation::walk for more details.
292 template <WalkOrder Order = WalkOrder::PostOrder,
293 typename Iterator = ForwardIterator, typename FnT,
294 typename ArgT = detail::first_argument<FnT>,
295 typename RetT = detail::walkResultType<FnT>>
296 RetT walk(FnT &&callback) {
297 if constexpr (std::is_same<ArgT, Region *>::value &&
298 Order == WalkOrder::PreOrder) {
299 // Pre-order walk on regions: invoke the callback on this region.
300 if constexpr (std::is_same<RetT, void>::value) {
301 callback(this);
302 } else {
303 RetT result = callback(this);
304 if (result.wasSkipped())
305 return WalkResult::advance();
306 if (result.wasInterrupted())
307 return WalkResult::interrupt();
308 }
309 }
310
311 // Walk nested operations, blocks or regions.
312 for (auto &block : *this) {
313 if constexpr (std::is_same<RetT, void>::value) {
314 block.walk<Order, Iterator>(callback);
315 } else {
316 if (block.walk<Order, Iterator>(callback).wasInterrupted())
317 return WalkResult::interrupt();
318 }
319 }
320
321 if constexpr (std::is_same<ArgT, Region *>::value &&
322 Order == WalkOrder::PostOrder) {
323 // Post-order walk on regions: invoke the callback on this block.
324 return callback(this);
325 }
326 if constexpr (!std::is_same<RetT, void>::value)
327 return WalkResult::advance();
328 }
329
330 //===--------------------------------------------------------------------===//
331 // CFG view utilities
332 //===--------------------------------------------------------------------===//
333
334 /// Displays the CFG in a window. This is for use from the debugger and
335 /// depends on Graphviz to generate the graph.
336 /// This function is defined in ViewOpGraph.cpp and only works with that
337 /// target linked.
338 void viewGraph(const Twine &regionName);
339 void viewGraph();
340
341private:
342 BlockListType blocks;
343
344 /// This is the object we are part of.
345 Operation *container = nullptr;
346};
347
348/// This class provides an abstraction over the different types of ranges over
349/// Regions. In many cases, this prevents the need to explicitly materialize a
350/// SmallVector/std::vector. This class should be used in places that are not
351/// suitable for a more derived type (e.g. ArrayRef) or a template range
352/// parameter.
355 RegionRange,
356 PointerUnion<Region *, const std::unique_ptr<Region> *, Region **>,
357 Region *, Region *, Region *> {
358 /// The type representing the owner of this range. This is either an owning
359 /// list of regions, a list of region unique pointers, or a list of region
360 /// pointers.
361 using OwnerT =
363
364public:
365 using RangeBaseT::RangeBaseT;
366
368
369 template <typename Arg, typename = std::enable_if_t<std::is_constructible<
371 RegionRange(Arg &&arg LLVM_LIFETIME_BOUND)
372 : RegionRange(ArrayRef<std::unique_ptr<Region>>(std::forward<Arg>(arg))) {
373 }
374 template <typename Arg>
376 Arg &&arg LLVM_LIFETIME_BOUND,
377 std::enable_if_t<std::is_constructible<ArrayRef<Region *>, Arg>::value>
378 * = nullptr)
379 : RegionRange(ArrayRef<Region *>(std::forward<Arg>(arg))) {}
380 RegionRange(ArrayRef<std::unique_ptr<Region>> regions);
382
383private:
384 /// See `llvm::detail::indexed_accessor_range_base` for details.
385 static OwnerT offset_base(const OwnerT &owner, ptrdiff_t index);
386 /// See `llvm::detail::indexed_accessor_range_base` for details.
387 static Region *dereference_iterator(const OwnerT &owner, ptrdiff_t index);
388
389 /// Allow access to `offset_base` and `dereference_iterator`.
390 friend RangeBaseT;
391};
392
393llvm::raw_ostream &operator<<(llvm::raw_ostream &os, Region &region);
394
395} // namespace mlir
396
397#endif // MLIR_IR_REGION_H
This class represents an argument of a Block.
Definition Value.h:306
Block represents an ordered list of Operations.
Definition Block.h:33
OpListType::iterator iterator
Definition Block.h:150
BlockArgument insertArgument(args_iterator it, Type type, Location loc)
Insert one value to the position in the argument list indicated by the given iterator.
Definition Block.cpp:192
Operation & front()
Definition Block.h:163
Operation & back()
Definition Block.h:162
BlockArgument addArgument(Type type, Location loc)
Add one value to the argument list.
Definition Block.cpp:158
BlockArgListType getArguments()
Definition Block.h:97
void eraseArgument(unsigned index)
Erase the argument at 'index' and remove it from the argument list.
Definition Block.cpp:198
This is a utility class for mapping one set of IR entities to another.
Definition IRMapping.h:26
This class defines the main interface for locations in MLIR and acts as a non-nullable wrapper around...
Definition Location.h:76
MLIRContext is the top-level object for a collection of MLIR operations.
Definition MLIRContext.h:63
Operation is the basic unit of execution within MLIR.
Definition Operation.h:88
RegionRange(Arg &&arg LLVM_LIFETIME_BOUND)
Definition Region.h:371
RegionRange(Arg &&arg LLVM_LIFETIME_BOUND, std::enable_if_t< std::is_constructible< ArrayRef< Region * >, Arg >::value > *=nullptr)
Definition Region.h:375
RegionRange(MutableArrayRef< Region > regions={})
Definition Region.cpp:275
This class provides iteration over the held operations of blocks directly within a region.
Definition Region.h:134
OpIterator(Region *region, bool end=false)
Initialize OpIterator for a region, specify end to return the iterator to last operation.
Definition Region.cpp:226
bool operator==(const OpIterator &rhs) const
Compare this iterator with another.
Definition Region.h:147
Operation & operator*() const
Definition Region.h:144
OpIterator & operator++()
Definition Region.cpp:232
Operation * operator->() const
Definition Region.h:143
bool operator!=(const OpIterator &rhs) const
Definition Region.h:150
This class contains a list of basic blocks and a link to the parent operation it is attached to.
Definition Region.h:26
llvm::iplist< Block > BlockListType
Definition Region.h:44
Block & front()
Definition Region.h:65
Region * getParentRegion()
Return the region containing this region or nullptr if the region is attached to a top-level operatio...
Definition Region.cpp:45
reverse_args_iterator args_rend()
Definition Region.h:93
BlockArgument insertArgument(args_iterator it, Type type, Location loc)
Insert one value to the position in the argument list indicated by the given iterator.
Definition Region.h:105
void eraseArgument(unsigned index)
Erase the argument at 'index' and remove it from the argument list.
Definition Region.h:121
BlockArgListType getArguments()
Definition Region.h:81
args_iterator args_begin()
Definition Region.h:90
iterator_range< op_iterator< OpT > > getOps()
Definition Region.h:185
iterator_range< args_iterator > addArguments(TypeRange types, ArrayRef< Location > locs)
Add one argument to the argument list for each type specified in the list.
Definition Region.cpp:41
reverse_iterator rend()
Definition Region.h:58
detail::op_iterator< OpT, OpIterator > op_iterator
This class provides iteration over the held operations of a region for a specific operation type.
Definition Region.h:166
Operation * findAncestorOpInRegion(Operation &op)
Returns 'op' if 'op' lies in this region, or otherwise finds the ancestor of 'op' that lies in this r...
Definition Region.cpp:168
unsigned getRegionNumber()
Return the number of this region in the parent operation.
Definition Region.cpp:62
OpIterator op_begin()
Return iterators that walk the operations nested directly within this region.
Definition Region.h:170
void dropAllReferences()
Drop all operand uses from operations within this region, which is an essential step in breaking cycl...
Definition Region.cpp:181
Block & emplaceBlock()
Definition Region.h:46
bool isAncestor(Region *other)
Return true if this region is ancestor of the other region.
Definition Region.h:233
void push_back(Block *block)
Definition Region.h:61
BlockArgListType::iterator args_iterator
Definition Region.h:88
iterator_range< OpIterator > getOps()
Definition Region.h:172
BlockArgument insertArgument(unsigned index, Type type, Location loc)
Add one value to the argument list at the specified position.
Definition Region.h:116
static BlockListType Region::* getSublistAccess(Block *)
getSublistAccess() - Returns pointer to member of region.
Definition Region.h:71
op_iterator< OpT > op_begin()
Return iterators that walk operations of type 'T' nested directly within this region.
Definition Region.h:177
Block & back()
Definition Region.h:64
bool empty()
Definition Region.h:60
BlockListType::reverse_iterator reverse_iterator
Definition Region.h:53
void cloneInto(Region *dest, IRMapping &mapper)
Clone the internal blocks from this region into dest.
Definition Region.cpp:70
iterator end()
Definition Region.h:56
args_iterator args_end()
Definition Region.h:91
bool isProperAncestor(Region *other)
Return true if this region is a proper ancestor of the other region.
Definition Region.cpp:50
unsigned getNumArguments()
Definition Region.h:123
iterator begin()
Definition Region.h:55
Region()=default
Location getLoc()
Return a location for this region.
Definition Region.cpp:31
ValueTypeRange< BlockArgListType > getArgumentTypes()
Returns the argument types of the first block within the region.
Definition Region.cpp:36
BlockArgument getArgument(unsigned i)
Definition Region.h:124
Operation * getParentOp()
Return the parent operation this region is attached to.
Definition Region.h:200
MutableArrayRef< BlockArgument > BlockArgListType
Definition Region.h:80
MLIRContext * getContext()
Return the context this region is inserted in.
Definition Region.cpp:24
BlockListType & getBlocks()
Definition Region.h:45
reverse_args_iterator args_rbegin()
Definition Region.h:92
OpIterator op_end()
Definition Region.h:171
BlockListType::iterator iterator
Definition Region.h:52
void push_front(Block *block)
Definition Region.h:62
void takeBody(Region &other)
Takes body of another region (that region will have no body after this operation completes).
Definition Region.h:252
reverse_iterator rbegin()
Definition Region.h:57
op_iterator< OpT > op_end()
Definition Region.h:181
ParentT getParentOfType()
Find the first parent operation of the given type, or nullptr if there is no ancestor operation.
Definition Region.h:205
Block * findAncestorBlockInRegion(Block &block)
Returns 'block' if 'block' lies in this region, or otherwise finds the ancestor of 'block' that lies ...
Definition Region.cpp:154
bool args_empty()
Definition Region.h:95
std::enable_if_t<(sizeof...(ParentT) > 1), Operation * > getParentOfType()
Definition Region.h:214
BlockArgListType::reverse_iterator reverse_args_iterator
Definition Region.h:89
BlockArgument addArgument(Type type, Location loc)
Add one value to the argument list.
Definition Region.h:98
bool hasOneBlock()
Return true if this region has exactly one block.
Definition Region.h:68
RetT walk(FnT &&callback)
Walk all nested operations, blocks or regions (including this region), depending on the type of callb...
Definition Region.h:296
This class provides an abstraction over the various different ranges of value types.
Definition TypeRange.h:37
Instances of the Type class are uniqued, have an immutable identifier and an optional mutable compone...
Definition Types.h:74
This class implements iteration on the types of a given range of values.
Definition TypeRange.h:135
static WalkResult advance()
Definition WalkResult.h:47
static WalkResult interrupt()
Definition WalkResult.h:46
A utility iterator that filters out operations that are not 'OpT'.
This class provides iteration over the held operations of a block for a specific operation type.
decltype(first_argument_type(std::declval< T >())) first_argument
Type definition of the first argument to the given callable 'T'.
Definition Visitors.h:90
decltype(walk(nullptr, std::declval< FnT >())) walkResultType
Utility to provide the return type of a templated walk method.
Definition Visitors.h:431
Include the generated interface declarations.
raw_ostream & operator<<(raw_ostream &os, const AliasResult &result)
WalkOrder
Traversal order for region, block and operation walk utilities.
Definition Visitors.h:28
This iterator enumerates the elements in "forward" order.
Definition Visitors.h:31