Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Minor SDoc cleanup | Krzysztof Gogolewski | 2022-09-07 | 1 | -4/+2 |
| | | | | | | | Change calls to renderWithContext with showSDocOneLine; it's more efficient and explanatory. Remove polyPatSig (unused) | ||||
* | document fields of `DominatorSet` | Andreas Klebinger | 2022-05-20 | 1 | -2/+2 |
| | |||||
* | add HasDebugCallStack; remove unneeded extensions | Norman Ramsey | 2022-05-20 | 1 | -16/+19 |
| | |||||
* | add dominator-tree function | Norman Ramsey | 2022-05-20 | 1 | -0/+12 |
| | |||||
* | add dominator analysis of `CmmGraph` | Norman Ramsey | 2022-05-20 | 1 | -0/+200 |
This commit adds module `GHC.Cmm.Dominators`, which provides a wrapper around two existing algorithms in GHC: the Lengauer-Tarjan dominator analysis from the X86 back end and the reverse postorder ordering from the Cmm Dataflow framework. Issue #20726 proposes that we evaluate some alternatives for dominator analysis, but for the time being, the best path forward is simply to use the existing analysis on `CmmGraph`s. This commit addresses a bullet in #21200. |