[all-commits] [llvm/llvm-project] b276de: [mlir] Add a DCE pass for dead symbols.

[River Riddle via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: b276dec5b65dfb885bf661484b9eab1e719c5e47
      https://github.com/llvm/llvm-project/commit/b276dec5b65dfb885bf661484b9eab1e719c5e47
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2020-01-27 (Mon, 27 Jan 2020)

  Changed paths:
    M mlir/include/mlir/IR/SymbolTable.h
    M mlir/include/mlir/Transforms/Passes.h
    M mlir/lib/IR/SymbolTable.cpp
    M mlir/lib/Transforms/CMakeLists.txt
    A mlir/lib/Transforms/SymbolDCE.cpp
    A mlir/test/IR/test-symbol-dce.mlir

  Log Message:
  -----------
  [mlir] Add a DCE pass for dead symbols.

Summary: This pass deletes all symbols that are found to be unreachable. This is done by computing the set of operations that are known to be live, propagating that liveness to other symbols, and then deleting all symbols that are not within this live set.

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