Go to the source code of this file.
|
template<typename TerminatorTy > |
static TerminatorTy | verifyAndGetTerminator (Operation *op, Region ®ion, StringRef errorMessage) |
| Verifies that the first block of the given region is terminated by a TerminatorTy. More...
|
|
static void | replaceOpWithRegion (PatternRewriter &rewriter, Operation *op, Region ®ion, ValueRange blockArgs={}) |
| Replaces the given op with the contents of the given single-block region, using the operands of the block terminator to replace operation results. More...
|
|
static void | printInitializationList (OpAsmPrinter &p, Block::BlockArgListType blocksArgs, ValueRange initializers, StringRef prefix="") |
| Prints the initialization list in the form of <prefix>(inner = outer, inner2 = outer2, <...>) where 'inner' values are assumed to be region arguments and 'outer' values are regular SSA values. More...
|
|
template<typename OpTy > |
static LogicalResult | verifyTypeRangesMatch (OpTy op, TypeRange left, TypeRange right, StringRef message) |
| Verifies that two ranges of types match, i.e. More...
|
|
static ParseResult | parseSwitchCases (OpAsmParser &p, DenseI64ArrayAttr &cases, SmallVectorImpl< std::unique_ptr< Region >> &caseRegions) |
| Parse the case regions and values. More...
|
|
static void | printSwitchCases (OpAsmPrinter &p, Operation *op, DenseI64ArrayAttr cases, RegionRange caseRegions) |
| Print the case regions and values. More...
|
|
◆ GET_OP_CLASSES
◆ GET_OP_LIST
◆ parseSwitchCases()
◆ printInitializationList()
Prints the initialization list in the form of <prefix>(inner = outer, inner2 = outer2, <...>) where 'inner' values are assumed to be region arguments and 'outer' values are regular SSA values.
Definition at line 432 of file SCF.cpp.
◆ printSwitchCases()
Print the case regions and values.
Definition at line 4007 of file SCF.cpp.
◆ replaceOpWithRegion()
Replaces the given op with the contents of the given single-block region, using the operands of the block terminator to replace operation results.
Definition at line 113 of file SCF.cpp.
◆ verifyAndGetTerminator()
template<typename TerminatorTy >
static TerminatorTy verifyAndGetTerminator |
( |
Operation * |
op, |
|
|
Region & |
region, |
|
|
StringRef |
errorMessage |
|
) |
| |
|
static |
Verifies that the first block of the given region
is terminated by a TerminatorTy.
Reports errors on the given operation if it is not the case.
Definition at line 93 of file SCF.cpp.
◆ verifyTypeRangesMatch()
Verifies that two ranges of types match, i.e.
have the same number of entries and that types are pairwise equals. Reports errors on the given operation in case of mismatch.
Definition at line 3236 of file SCF.cpp.