llvm-project icon indicating copy to clipboard operation
llvm-project copied to clipboard

[ValueTracking] use KnownBits to compute fpclass from bitcast

Open AlexMaclean opened this issue 1 year ago • 1 comments

When we encounter a bitcast from an integer type we can use the information from KnownBits to glean some information about the fpclass:

  • If the sign bit is known, we can transfer this information over.
  • If the float is IEEE format and enough of the bits are known, we may be able to prove it is NaN or that it can never be NaN.

AlexMaclean avatar Jul 04 '24 20:07 AlexMaclean