diff options
author | donald chen <chenxunyu1993@gmail.com> | 2025-04-02 11:56:13 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-04-02 11:56:13 +0800 |
commit | d40bab359c408b0084cd3c115213205050401a9e (patch) | |
tree | 8acc830d1109d111c5dcb84583807c9ce803681d /flang/lib/Frontend/CompilerInvocation.cpp | |
parent | 03a791f70364921ec3d3b7de8ddc6be8279c2fba (diff) | |
download | llvm-d40bab359c408b0084cd3c115213205050401a9e.zip llvm-d40bab359c408b0084cd3c115213205050401a9e.tar.gz llvm-d40bab359c408b0084cd3c115213205050401a9e.tar.bz2 |
[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.
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions