[Mlir-commits] [mlir] [mlir][DataFlow] Add visitBlockTransfer hook to dense analyses (PR #166263)

[Fabian Mora]

fabianmcg wrote:

> It would be better to have an example for when such a customization is necessary.

I do have one example, using dense backward dataflow for liveness analysis.
Without the customization point, the analysis is incorrect because the block transfer function is not removing the successor block arguments from the set.

The reason I didn't include that analysis in this PR is because there's already 2 versions of liveness in upstream. However, none of them suited my use case.

https://github.com/llvm/llvm-project/pull/166263