[all-commits] [llvm/llvm-project] 469c02: [mlir] Add support for merging identical blocks du...

[River Riddle via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 469c02d0581a4bd7539c7dd62063c29072b55852
      https://github.com/llvm/llvm-project/commit/469c02d0581a4bd7539c7dd62063c29072b55852
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2020-05-04 (Mon, 04 May 2020)

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

  Log Message:
  -----------
  [mlir] Add support for merging identical blocks during canonicalization

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.

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