llvm/llvm-project

[Attributor] Make use of analysis in the MustBeExecutedExplorer

Open

#175 geöffnet am 13. März 2020

Auf GitHub ansehen
 (3 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C++ (10.782 Forks)batch import
good first issuegsochelp wantedllvm::Attributor

Repository-Metriken

Stars
 (26.378 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 1T 2h) (1.000 gemergte PRs in 30 T)

Beschreibung

Right now the MustBeExecutedContextExplorer Explorer is created without analysis, e.g., without a dominator tree. As a consequence it is not able to determine non-trivial control flow merge points which reduces the "must-be-executed-context" substantially.

The task is to provide the appropriate analysis getters to the Explorer during creation and update the tests accordingly. If tests for the new capabilities are missing, thus the affected tests do not show the expected effect, new tests need to be added.

Contributor Guide