[all-commits] [llvm/llvm-project] f382df: [MLIR][Liveness] Add `currentlyLiveValues`, a way ...

[Aman LaChapelle via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f382dfc06bda1a3082f0be940ab061bf4002a86b
      https://github.com/llvm/llvm-project/commit/f382dfc06bda1a3082f0be940ab061bf4002a86b
  Author: bzcheeseman <aman.lachapelle at gmail.com>
  Date:   2022-07-15 (Fri, 15 Jul 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Liveness.h
    M mlir/lib/Analysis/Liveness.cpp
    M mlir/test/Analysis/test-liveness.mlir

  Log Message:
  -----------
  [MLIR][Liveness] Add `currentlyLiveValues`, a way to get a set of values that are live as of a given operation.

This change allows the user of LivenessBlockInfo to specify an op within the block and get a set of all values that are live as of that op. Semantically it relies on having a dominance-based region that has ordered operations. For DFG regions, computing liveness statically this way doesn't really make sense, it likely needs to be done at runtime.

Reviewed By: rriddle

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