[all-commits] [llvm/llvm-project] a8feee: [mlir] Add canonicalization for cond_br that feed ...

[River Riddle via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: a8feeee15fea0fcc936fa4a6f2eb891c90d69c3e
      https://github.com/llvm/llvm-project/commit/a8feeee15fea0fcc936fa4a6f2eb891c90d69c3e
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2020-10-18 (Sun, 18 Oct 2020)

  Changed paths:
    M mlir/lib/Dialect/StandardOps/IR/Ops.cpp
    M mlir/test/Dialect/Standard/canonicalize-cf.mlir
    M mlir/test/Transforms/canonicalize-block-merge.mlir

  Log Message:
  -----------
  [mlir] Add canonicalization for cond_br that feed into a cond_br on the same condition

```
   ...
   cond_br %cond, ^bb1(...), ^bb2(...)
 ...
 ^bb1: // has single predecessor
   ...
   cond_br %cond, ^bb3(...), ^bb4(...)
```

 ->

```
   ...
   cond_br %cond, ^bb1(...), ^bb2(...)
 ...
 ^bb1: // has single predecessor
   ...
   br ^bb3(...)
```

Differential Revision: https://reviews.llvm.org/D89604