diff options
| author | Bruce He <44327446+zm2he@users.noreply.github.com> | 2023-07-19 21:52:55 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-19 17:52:55 -0400 |
| commit | f61bf9f46addc0b6885b60b3e0f1c4ccc7e64473 (patch) | |
| tree | 92dd1216ad6d3982e0f51f797b3030f8dea2ee25 /src/passes/LoopInvariantCodeMotion.cpp | |
| parent | a15d71f5fb4f3488e8a25071cb8813fe6045290e (diff) | |
| download | binaryen-f61bf9f46addc0b6885b60b3e0f1c4ccc7e64473.tar.gz binaryen-f61bf9f46addc0b6885b60b3e0f1c4ccc7e64473.tar.bz2 binaryen-f61bf9f46addc0b6885b60b3e0f1c4ccc7e64473.zip | |
Reaching Definitions Analysis for LocalGraph (#5817)
This change implements a reaching definitions analysis which is intended
to be equivalent to the information provided by LocalGraph, specifically
the Flower class of LocalGraph.
It also introduces a CRTP utility in visitor-transfer-function.h which
implements most commonly found visitor-type transfer function
functionalities. The MonotoneCFGAnalyzer is also modified to add a phase
to collect results after the analysis is solved from the final CFG
states.
Diffstat (limited to 'src/passes/LoopInvariantCodeMotion.cpp')
0 files changed, 0 insertions, 0 deletions