ControlFlowInterfaces.h File Reference

#include "mlir/IR/OpDefinition.h"
#include "mlir/Interfaces/ControlFlowInterfaces.h.inc"

Go to the source code of this file.

Classes
class	mlir::SuccessorOperands
	This class models how operands are forwarded to block arguments in control flow. More...
class	mlir::RegionSuccessor
	This class represents a successor of a region. More...
class	mlir::RegionBranchPoint
	This class represents a point being branched from in the methods of the RegionBranchOpInterface. More...
class	mlir::InvocationBounds
	This class represents upper and lower bounds on the number of times a region of a RegionBranchOpInterface can be invoked. More...
struct	mlir::OpTrait::ReturnLike< ConcreteType >
	This trait indicates that a terminator operation is "return-like". More...

Namespaces
	mlir
	Include the generated interface declarations.
	mlir::detail
	Detect if any of the given parameter types has a sub-element handler.
	mlir::OpTrait

Functions
std::optional< BlockArgument >	mlir::detail::getBranchSuccessorArgument (const SuccessorOperands &operands, unsigned operandIndex, Block *successor)
	Return the BlockArgument corresponding to operand operandIndex in some successor if operandIndex is within the range of operands, or std::nullopt if operandIndex isn't a successor operand index. More...
LogicalResult	mlir::detail::verifyBranchSuccessorOperands (Operation *op, unsigned succNo, const SuccessorOperands &operands)
	Verify that the given operands match those of the given successor block. More...
LogicalResult	mlir::detail::verifyTypesAlongControlFlowEdges (Operation *op)
	Verify that types match along control flow edges described the given op. More...
bool	mlir::operator!= (RegionBranchPoint lhs, RegionBranchPoint rhs)
bool	mlir::insideMutuallyExclusiveRegions (Operation *a, Operation *b)
	Return true if a and b are in mutually exclusive regions as per RegionBranchOpInterface. More...
Region *	mlir::getEnclosingRepetitiveRegion (Operation *op)
	Return the first enclosing region of the given op that may be executed repetitively as per RegionBranchOpInterface or nullptr if no such region exists. More...
Region *	mlir::getEnclosingRepetitiveRegion (Value value)
	Return the first enclosing region of the given Value that may be executed repetitively as per RegionBranchOpInterface or nullptr if no such region exists. More...