[PATCH] D139316: ValueTracking: Teach isKnownNeverInfinity about rounding intrinsics

[Joshua Cranmer via Phabricator via llvm-commits]

jcranmer-intel added a comment.

In D139316#3981280 <https://reviews.llvm.org/D139316#3981280>, @kpn wrote:

> Are we certain that a value that is very close to infinity won't trip over into infinity after rounding?

I'm thinking it might not be true for ppc_fp128--{largest_finite64, 0.75} should round into infinity I think? All of the other IEEE-like floating point types should have it be true, though--even e4m3 and e5m2 have largest_finite be an integer.


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

https://reviews.llvm.org/D139316