[all-commits] [llvm/llvm-project] 369d81: [ValueTracking] use KnownBits to compute fpclass f...

[Alex MacLean via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 369d8148e09c2b91174ec01e845bc504cf622c45
      https://github.com/llvm/llvm-project/commit/369d8148e09c2b91174ec01e845bc504cf622c45
  Author: Alex MacLean <amaclean at nvidia.com>
  Date:   2024-08-30 (Fri, 30 Aug 2024)

  Changed paths:
    M clang/test/Headers/__clang_hip_math.hip
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass.ll

  Log Message:
  -----------
  [ValueTracking] use KnownBits to compute fpclass from bitcast (#97762)

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 or rule out some fpclasses such as NaN, Zero, or Inf.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications