[mlir] Remove assert from RegionBranchOpInterface verifier
authorJeff Niu <jeff@modular.com>
Mon, 17 Oct 2022 04:27:20 +0000 (21:27 -0700)
committerJeff Niu <jeff@modular.com>
Mon, 17 Oct 2022 16:23:35 +0000 (09:23 -0700)
commitc870f2067a3bffbb06a5b549321564b5dfbd5481
tree8c0800e480cad79ffb823a84792a95ff3cb47ac3
parentdb0286a09626a3a29ceacbe95a1a05004f62242c
[mlir] Remove assert from RegionBranchOpInterface verifier

This assert is erroneous because an op implementing
`RegionBranchOpInterface` can have variadic regions and in some cases
have zero regions, in which case the only possible control flow is
branching from the parent op to itself.

Reviewed By: rriddle, jpienaar

Differential Revision: https://reviews.llvm.org/D136052
mlir/lib/Interfaces/ControlFlowInterfaces.cpp