missed fold: (X * 0.0) * constant => X * 0.0

Métriques du dépôt

Stars

26 378 stars (26 378 stars)

Métriques de merge PR

Merge moyen 1j 2h (Merge moyen 1j 2h)1 000 PRs mergées en 30 j (1 000 PRs mergées en 30 j)

Description

define float @src(float %0) {
entry:
  %1 = fmul float %0, 0.000000e+00
  %2 = fmul float %1, 3.000000e+00
  ret float %2
}

define float @tgt(float %0) {
entry:
  %1 = fmul float %0, 0.000000e+00
  ret float %1
}

Guide contributeur

Direction de recherche

Le problème démontre un pliage manqué de (X * 0.0) * constante en X * 0.0. Le lien alive2 confirme que la transformation est correcte. Examinez la passe InstCombine de LLVM, en particulier le code qui gère le pliage de fmul. Les fichiers pertinents se trouvent probablement dans llvm/lib/Transforms/InstCombine/InstructionCombining.cpp ou InstCombineMulDivRem.cpp. Il y a un assigné mais aucune PR liée. Recherchez les modèles de pliage existants pour fmul avec zéro et étendez les pour gérer le cas où une multiplication par une constante suit une multiplication par zéro. Testez la correction avec l'exemple IR fourni.

Stack technique

Aucun

Domaine

backend

Type d'issue

Bug

DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.

3

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

GitC++LLVM basics

Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.

40