[PATCH] D79134: [mlir] Add support for merging identical blocks during canonicalization

[River Riddle via Phabricator via llvm-commits]

rriddle created this revision.
rriddle added reviewers: mehdi_amini, jpienaar.
Herald added subscribers: llvm-commits, Kayjukh, frgossen, grosul1, bader, Joonsoo, liufengdb, aartbik, lucyrfox, mgester, arpith-jacob, nicolasvasilache, antiagainst, shauheen, dexonsmith.
Herald added a reviewer: mravishankar.
Herald added a reviewer: antiagainst.
Herald added a project: LLVM.

This revision adds support for merging identical blocks, or those with the same operations that branch to the same successors. Operands that mismatch between the different blocks are replaced with new block arguments added to the merged block.

Depends On D79077 <https://reviews.llvm.org/D79077>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D79134

Files:
  llvm/include/llvm/ADT/STLExtras.h
  mlir/include/mlir/IR/BlockSupport.h
  mlir/include/mlir/IR/Operation.h
  mlir/include/mlir/IR/OperationSupport.h
  mlir/include/mlir/IR/Value.h
  mlir/lib/IR/OperationSupport.cpp
  mlir/lib/IR/Value.cpp
  mlir/lib/Transforms/Utils/RegionUtils.cpp
  mlir/test/Dialect/SPIRV/canonicalize.mlir
  mlir/test/Transforms/canonicalize-block-merge.mlir
  mlir/test/Transforms/canonicalize-dce.mlir
  mlir/test/Transforms/canonicalize.mlir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D79134.261052.patch
Type: text/x-patch
Size: 29095 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200429/50f1460b/attachment.bin>