[PATCH] D139317: ValueTracking: Teach isKnownNeverInfinity about sqrt

[Kevin P. Neal via Phabricator via llvm-commits]

kpn accepted this revision.
kpn added a comment.
This revision is now accepted and ready to land.

I believe this is correct. I'm looking at n3054 Annex F and it says that sqrt(+inf) returns +inf. But since you are checking that the input cannot be inf it follows that the output cannot be inf.

LGTM


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

https://reviews.llvm.org/D139317