Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove incorrect usages of the term "setses" (#5841) | Bruce He | 2023-07-26 | 1 | -20/+20 |
| | | | This change applies to the Reaching Definitions Analysis. | ||||
* | Reaching Definitions Analysis for LocalGraph (#5817) | Bruce He | 2023-07-19 | 1 | -0/+178 |
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. |