diff options
| author | donald chen <chenxunyu1993@gmail.com> | 2024-08-25 19:21:47 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-25 19:21:47 +0800 |
| commit | b6603e1bf11dee4761e49af6581c8b8f074b705d (patch) | |
| tree | bd0f172e5553a469f2dc1bbbb60ca5a8b7b1a0ac /mlir/test/lib/Analysis/DataFlow/TestDenseDataFlowAnalysis.h | |
| parent | 51365212362c4d0e32a0c747ab85bbf3919944b8 (diff) | |
[mlir] [dataflow] Refactoring the definition of program points in data flow analysis (#105656)
This patch distinguishes between program points and lattice anchors in
data flow analysis, where lattice anchors represent locations where a
lattice can be attached, while program points denote points in program
execution.
Related discussions:
https://discourse.llvm.org/t/rfc-unify-the-semantics-of-program-points/80671/8
Diffstat (limited to 'mlir/test/lib/Analysis/DataFlow/TestDenseDataFlowAnalysis.h')
| -rw-r--r-- | mlir/test/lib/Analysis/DataFlow/TestDenseDataFlowAnalysis.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mlir/test/lib/Analysis/DataFlow/TestDenseDataFlowAnalysis.h b/mlir/test/lib/Analysis/DataFlow/TestDenseDataFlowAnalysis.h index 57fe0ca458de..86eb8651cb90 100644 --- a/mlir/test/lib/Analysis/DataFlow/TestDenseDataFlowAnalysis.h +++ b/mlir/test/lib/Analysis/DataFlow/TestDenseDataFlowAnalysis.h @@ -206,7 +206,7 @@ public: /// At an entry point, the underlying value of a value is itself. void setToEntryState(UnderlyingValueLattice *lattice) override { propagateIfChanged(lattice, - lattice->join(UnderlyingValue{lattice->getPoint()})); + lattice->join(UnderlyingValue{lattice->getAnchor()})); } /// Look for the most underlying value of a value. |