Pourquoi Clang optimise-t-il ce code?

Question

Le but du code est de trouver le nombre total de 32 bits à virgule flottante modèles de bits qui représentent des valeurs entre 0 et 1. Il me semble que cela devrait fonctionner, mais pour une raison quelconque, l'assemblée de sortie de Clang est essentiellement l'équivalent de return 0;.

J'ai compilé ce avec Clang 3.3 et Clang 3.4.1, à l'aide de -std=c++1y -Wall -Wextra -pedantic -O2 et -std=c++1y -Wall -Wextra -pedantic -O3

Clang 3.4 optimise tout de suite avec -O2 -O3.

Clang 3.3 optimise tout de suite avec-O3.

Par "optimise tout de suite", je veux dire que c'est l'assemblée de sortie du programme:

main:                                   # @main
    xorl    %eax, %eax
    ret

#include <limits>
#include <cstring>
#include <cstdint>

template <class TO, class FROM>
inline TO punning_cast(const FROM &input)
{
    TO out;
    std::memcpy(&out, &input, sizeof(TO));
    return out;
}

int main()
{
    uint32_t i = std::numeric_limits<uint32_t>::min();
    uint32_t count = 0;

    while (1)
    {
        float n = punning_cast<float>(i);
        if(n >= 0.0f && n <= 1.0f)
            count++;
        if (i == std::numeric_limits<uint32_t>::max())
            break;
        i++;
    }

    return count;
}

Answer 1

Je viens de posté ceci à la fin du commentaire de train, mais je n'ai pas assez de réputation encore. :)

Voici un test plus simple affaire qui souligne que c'est un bug du compilateur:

http://coliru.stacked-crooked.com/a/58b3f9b4edd8e373

#include <cstdint>

int main()
{
    uint32_t i = 0;
    uint32_t count = 1;

    while (1)
    {
        if( i < 5 )
            count+=1;

        if (i == 0xFFFFFFFF)
            break;
        i++;
    }

    return count; // should return 6
}

L'assemblée, montre que les sorties 1, au lieu de 6. Il ne pense pas que c'est une boucle infinie, soit, dans ce cas, l'assemblée n'a pas de retour de main.

Answer 2

Ce n'est pas une réponse mais un point de données qui est trop gros pour un commentaire.

Fait intéressant, si vous imprimez count juste avant le retour clang sera encore optimiser le tout et imprimer 0 avec -O3 et 1065353218 avec -O0. (À noter qu' echo $? des rapports que la valeur de retour est toujours 2, quel que soit le rendement réel a été). Pour moi, ce la fait ressembler à un bug du compilateur.

Si vous tournez votre while en for:

for (uint32_t i = std::numeric_limits<uint32_t>::min(); i != std::numeric_limits<uint32_t>::max(); ++i)
{
    float n = punning_cast<float>(i);
    if(n >= 0.0f && n <= 1.0f)
        count++;
}

Puis la même réponse pour les deux niveaux d'optimisation. Certainement vrai si vous imprimez, et bien que je n'ai pas regardé le montage, il est probablement vrai aussi pour les non imprimés cas, car il prend du temps avant la fin. (clang 3.4)

J'ai trouvé des bugs dans LLVM avant (drôle de modèle d'affaires qui a fait grand bruit de ferraille erreur de segmentation) et ils ont été sensibles de la réparer si vous donnez un bel exemple clair de la faute. Je vous suggère de soumettre un rapport de bogue.

Answer 3

En utilisant l'exemple de mukunda ci-dessus, dans la catégorie 3.4 avec -O2, le problème semble être en phase de vectorisation. Le code vectorisé saute à l'entrée pour dépasser le code vectorisé:

 br i1 true, label %middle.block, label %vector.ph
 

Ainsi, la valeur de count reste inchangée depuis son initialisation.

 *** IR Dump Before Combine redundant instructions ***
; Function Attrs: nounwind readnone ssp uwtable
define i32 @main() #0 {
entry:
  br i1 true, label %middle.block, label %vector.ph

vector.ph:                                        ; preds = %entry
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i32 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %vec.phi = phi <4 x i32> [ <i32 1, i32 0, i32 0, i32 0>, %vector.ph ], [ %4, %vector.body ]
  %vec.phi8 = phi <4 x i32> [ zeroinitializer, %vector.ph ], [ %5, %vector.body ]
  %broadcast.splatinsert = insertelement <4 x i32> undef, i32 %index, i32 0
  %broadcast.splat = shufflevector <4 x i32> %broadcast.splatinsert, <4 x i32> undef, <4 x i32> zeroinitializer
  %induction = add <4 x i32> %broadcast.splat, <i32 0, i32 1, i32 2, i32 3>
  %induction7 = add <4 x i32> %broadcast.splat, <i32 4, i32 5, i32 6, i32 7>
  %0 = icmp ult <4 x i32> %induction, <i32 5, i32 5, i32 5, i32 5>
  %1 = icmp ult <4 x i32> %induction7, <i32 5, i32 5, i32 5, i32 5>
  %2 = zext <4 x i1> %0 to <4 x i32>
  %3 = zext <4 x i1> %1 to <4 x i32>
  %4 = add <4 x i32> %2, %vec.phi
  %5 = add <4 x i32> %3, %vec.phi8
  %6 = icmp eq <4 x i32> %induction, <i32 -1, i32 -1, i32 -1, i32 -1>
  %7 = icmp eq <4 x i32> %induction7, <i32 -1, i32 -1, i32 -1, i32 -1>
  %8 = add <4 x i32> %induction, <i32 1, i32 1, i32 1, i32 1>
  %9 = add <4 x i32> %induction7, <i32 1, i32 1, i32 1, i32 1>
  %index.next = add i32 %index, 8
  %10 = icmp eq i32 %index.next, 0
  br i1 %10, label %middle.block, label %vector.body, !llvm.loop !1

middle.block:                                     ; preds = %vector.body, %entry
  %resume.val = phi i32 [ 0, %entry ], [ 0, %vector.body ]
  %trunc.resume.val = phi i32 [ 0, %entry ], [ 0, %vector.body ]
  %rdx.vec.exit.phi = phi <4 x i32> [ <i32 1, i32 0, i32 0, i32 0>, %entry ], [ %4, %vector.body ]
  %rdx.vec.exit.phi9 = phi <4 x i32> [ zeroinitializer, %entry ], [ %5, %vector.body ]
  %bin.rdx = add <4 x i32> %rdx.vec.exit.phi9, %rdx.vec.exit.phi
  %rdx.shuf = shufflevector <4 x i32> %bin.rdx, <4 x i32> undef, <4 x i32> <i32 2, i32 3, i32 undef, i32 undef>
  %bin.rdx10 = add <4 x i32> %bin.rdx, %rdx.shuf
  %rdx.shuf11 = shufflevector <4 x i32> %bin.rdx10, <4 x i32> undef, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef>
  %bin.rdx12 = add <4 x i32> %bin.rdx10, %rdx.shuf11
  %11 = extractelement <4 x i32> %bin.rdx12, i32 0
  %cmp.n = icmp eq i32 0, %resume.val
  br i1 %cmp.n, label %while.end, label %scalar.ph

scalar.ph:                                        ; preds = %middle.block
  br label %while.body
while.body:                                       ; preds = %while.body, %scalar.ph
  %i.0 = phi i32 [ %trunc.resume.val, %scalar.ph ], [ %inc, %while.body ]
  %count.0 = phi i32 [ %11, %scalar.ph ], [ %add.count.0, %while.body ]
  %cmp = icmp ult i32 %i.0, 5
  %add = zext i1 %cmp to i32
  %add.count.0 = add i32 %add, %count.0
  %cmp1 = icmp eq i32 %i.0, -1
  %inc = add i32 %i.0, 1
  br i1 %cmp1, label %while.end, label %while.body, !llvm.loop !4

while.end:                                        ; preds = %middle.block, %while.body
  %add.count.0.lcssa = phi i32 [ %add.count.0, %while.body ], [ %11, %middle.block ]
  ret i32 %add.count.0.lcssa
}
 

L'optimiseur efface ensuite le code inaccessible et inefficace, qui représente presque le corps de la fonction.