llvm/llvm-project

[Attributor] Make use of analysis in the MustBeExecutedExplorer

Open

#175 ouverte le 13 mars 2020

Voir sur GitHub
 (3 commentaires) (0 réactions) (0 assignés)C++ (10 782 forks)batch import
good first issuegsochelp wantedllvm::Attributor

Métriques du dépôt

Stars
 (26 378 stars)
Métriques de merge PR
 (Merge moyen 1j 2h) (1 000 PRs mergées en 30 j)

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.

Guide contributeur

Direction de recherche
Comprenez la classe MustBeExecutedContextExplorer et identifiez les getters d'analyse nécessaires (par exemple, l'arbre de dominance). Ensuite, mettez à jour les tests existants et ajoutez de nouveaux tests pour vérifier le comportement amélioré.
Stack technique
cpp
Domaine
compilers
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
5
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
C++Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
50