[all-commits] [llvm/llvm-project] d40bab: [mlir][liveness] fix bugs in liveness analysis (#1...

[donald chen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d40bab359c408b0084cd3c115213205050401a9e
      https://github.com/llvm/llvm-project/commit/d40bab359c408b0084cd3c115213205050401a9e
  Author: donald chen <chenxunyu1993 at gmail.com>
  Date:   2025-04-02 (Wed, 02 Apr 2025)

  Changed paths:
    M mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
    M mlir/lib/Analysis/DataFlow/LivenessAnalysis.cpp
    M mlir/test/Analysis/DataFlow/test-liveness-analysis.mlir

  Log Message:
  -----------
  [mlir][liveness] fix bugs in liveness analysis (#133416)

This patch fixes the following bugs:
- In SparseBackwardAnalysis, the setToExitState function should
propagate changes if it modifies the lattice. Previously, this issue was
masked because multi-block scenarios were not tested, and the traversal
order of backward data flow analysis starts from the end of the program.
- The method in liveness analysis for determining whether the
non-forwarded operand in branch/region branch operations is live is
incorrect, which may cause originally live variables to be marked as not
live.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications