[PATCH] D147932: ValueTracking: Implement computeKnownFPClass for various rounding intrinsics

Jay Foad via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue May 16 06:18:11 PDT 2023


foad added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4873-4874
         FPClassTest InterestedSrcs = InterestedClasses;
         if (InterestedClasses & fcZero)
-          InterestedClasses |= fcNormal | fcSubnormal;
+          InterestedSrcs |= fcNormal | fcSubnormal;
 
----------------
This doesn't seem to match the code any more? I guess you want:
```
  if (InterestedClass & fcPosFinite)
    InterestedSrcs |= fcPosFinite;
```
etc.

(Strictly I think you ought to do this for fcNan too, throughout computeKnownFPClass, in case InterestedClasses only contains one of fcSNan or fcQNan.)


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147932/new/

https://reviews.llvm.org/D147932



More information about the llvm-commits mailing list