[mlir] Support getSuccessorInputs from parent op
authorMogball <jeffniu22@gmail.com>
Mon, 13 Jun 2022 22:02:02 +0000 (22:02 +0000)
committerMogball <jeffniu22@gmail.com>
Mon, 13 Jun 2022 22:21:34 +0000 (22:21 +0000)
commit537f220891168d4feaebf37d44ae559b2393b8ad
tree02ac95461a8003b6ff62f8b281dc4b7fbbd61da6
parent68df5c5c132fe0913e24407175a8b5c4be3ba349
[mlir] Support getSuccessorInputs from parent op

Ops that implement `RegionBranchOpInterface` are allowed to indicate that they can branch back to themselves in `getSuccessorRegions`, but there is no API that allows them to specify the forwarded operands. This patch enables that by changing `getSuccessorEntryOperands` to accept `None`.

Fixes #54928

Reviewed By: rriddle

Differential Revision: https://reviews.llvm.org/D127239
13 files changed:
mlir/include/mlir/Dialect/SCF/SCFOps.td
mlir/include/mlir/Interfaces/ControlFlowInterfaces.td
mlir/lib/Analysis/AliasAnalysis/LocalAliasAnalysis.cpp
mlir/lib/Analysis/DataFlowAnalysis.cpp
mlir/lib/Dialect/Affine/IR/AffineOps.cpp
mlir/lib/Dialect/Async/IR/Async.cpp
mlir/lib/Dialect/SCF/SCF.cpp
mlir/lib/Dialect/Transform/IR/TransformOps.cpp
mlir/lib/Interfaces/ControlFlowInterfaces.cpp
mlir/test/Analysis/test-alias-analysis.mlir
mlir/test/Transforms/sccp-structured.mlir
mlir/test/lib/Dialect/Test/TestDialect.cpp
mlir/test/lib/Dialect/Test/TestOps.td