[mlir] Shape.AssumingOp implements RegionBranchOpInterface.
authorTres Popp <tpopp@google.com>
Fri, 18 Sep 2020 09:14:32 +0000 (11:14 +0200)
committerTres Popp <tpopp@google.com>
Mon, 21 Sep 2020 09:33:11 +0000 (11:33 +0200)
commitffdd4a46a9a90d7b63b840c4b3c775074815f3ed
tree8007a9290558c3958851aaa667a19ac0f4f96cc5
parent4a5cc389c51d267f39286a9a8c58c32f758b9d4b
[mlir] Shape.AssumingOp implements RegionBranchOpInterface.

This adds support for the interface and provides unambigious information
on the control flow as it is unconditional on any runtime values.
The code is tested through confirming that buffer-placement behaves as
expected.

Differential Revision: https://reviews.llvm.org/D87894
mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
mlir/lib/Dialect/Shape/IR/Shape.cpp
mlir/test/Transforms/buffer-placement.mlir