llvm/llvm-project

[Attributor] Cleanup and upstream `Attribute::MaxObjectSize`

Open

#179 ouverte le 14 mars 2020

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)C++ (10 782 forks)batch import
gsochelp 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

We introduced a new llvm::Attribute in the Attributor tutorial (https://youtu.be/HVvvCSSLiTw) which never made it out of the prototype stage: https://github.com/jdoerfert/llvm-project/tree/feature/max_obj_size

The meaning of the attribute is described in the tutorial along with the rational, what code is there, and what needs to be done (to some degree).

  • Write a short RFC for a the attribute and send it to llvm-dev
  • Create the attribute with all the pluming (taken from the prototype)
  • Extract the deduction code from the prototype, rebase it, cleanup and additional tests, put it up for review
  • Extract the alias analysis interaction code, rebase it, cleanup and additional tests, put it up for review
  • Determine if and how we can use assumed information of dereferenceability and max object size inside of AANoAlias.

Guide contributeur

Direction de recherche
Consultez la branche prototype (jdoerfert/llvm project feature/max obj size), comprenez la conception de l'attribut et suivez les étapes : rédigez un RFC à llvm dev, créez l'attribut avec l'infrastructure, extrayez et nettoyez le code de déduction et d'interaction avec l'analyse d'alias, et déterminez comment utiliser les informations supposées dans AANoAlias.
Stack technique
cpp
Domaine
compilerstooling
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.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
3-5 jours
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.
Claire
Prérequis
C++LLVM internalsGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
25