VolumeTracker should deal with Phi nodes appropriately
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 53
- Forks
- 16
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
The volume tracker does not appropriately handle phi nodes.
The issue arises when a phi node exists in a loop header, where there is a use prior to a def, and has the following structure:
before_loop:
a0 = ...
loop_header:
a1 = phi(a0, a1)
loop_body:
... = use a1
A test case has been added to the volume tracking testing harness using tests/assays/probabilistic_pcr.bs as the model.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par le harnais de test du suivi des volumes et le cas de test existant dans tests/assays/probabilistic_pcr.bs. Reproduisez le scénario phi dans l’en-tête de boucle avec une utilisation avant la définition, puis suivez la manière dont le traqueur de volumes gère le nœud phi. Le travail est terminé lorsque le test ajouté réussit et que cette structure de boucle est gérée correctement.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 48/100