llvm/llvm-project

[Attributor] Make use of analysis in the MustBeExecutedExplorer

Open

#175 opened on 2020年3月13日

GitHub で見る
 (3 comments) (0 reactions) (0 assignees)C++ (10,782 forks)batch import
good first issuegsochelp wantedllvm::Attributor

Repository metrics

Stars
 (26,378 stars)
PR merge metrics
 (平均マージ 1d 2h) (30d で 1,000 merged PRs)

説明

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.

コントリビューターガイド