llvm/llvm-project

[Attributor] Make use of analysis in the MustBeExecutedExplorer

Open

#175 aberto em 13 de mar. de 2020

Ver no GitHub
 (3 comments) (0 reactions) (0 assignees)C++ (10.782 forks)batch import
good first issuegsochelp wantedllvm::Attributor

Métricas do repositório

Stars
 (26.378 stars)
Métricas de merge de PR
 (Mesclagem média 1d 2h) (1.000 fundiu PRs em 30d)

Description

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.

Guia do colaborador