[PATCH] D78681: [mlir][Standard] Add canonicalization for collapsing pass through cond_br successors.

[River Riddle via Phabricator via llvm-commits]

rriddle created this revision.
rriddle added a reviewer: benvanik.
Herald added subscribers: llvm-commits, Kayjukh, frgossen, grosul1, Joonsoo, liufengdb, aartbik, lucyrfox, mgester, arpith-jacob, nicolasvasilache, antiagainst, shauheen, jpienaar, mehdi_amini.
Herald added a project: LLVM.
rriddle added a child revision: D78682: [mlir][Standard] Add a canonicalization to simplify cond_br when the successors are identical.

This revision adds support for the following canonicalization:

    cond_br %cond, ^bb1, ^bb2
  ^bb1
    br ^bbN(...)
  ^bb2
    br ^bbK(...)
  
    cond_br %cond, ^bbN(...), ^bbK(...)


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D78681

Files:
  mlir/lib/Dialect/StandardOps/IR/Ops.cpp
  mlir/test/Dialect/Standard/canonicalize-cf.mlir
  mlir/test/Transforms/canonicalize.mlir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D78681.259418.patch
Type: text/x-patch
Size: 8203 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200422/06c183ea/attachment.bin>