[all-commits] [llvm/llvm-project] 029e10: [ValueTracking] Bail out on x86_fp80 when computin...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 029e10289a02b438f1a22f401c94ed60ab4bb704
      https://github.com/llvm/llvm-project/commit/029e10289a02b438f1a22f401c94ed60ab4bb704
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-03-09 (Sun, 09 Mar 2025)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/fcmp.ll

  Log Message:
  -----------
  [ValueTracking] Bail out on x86_fp80 when computing fpclass with knownbits (#130477)

In https://github.com/llvm/llvm-project/pull/97762, we assume the
minimum possible value of X is NaN implies X is NaN. But it doesn't hold
for x86_fp80 format. If the knownbits of X are
`?'011111111111110'????????????????????????????????????????????????????????????????`,
the minimum possible value of X is NaN/unnormal. However, it can be a
normal value.

Closes https://github.com/llvm/llvm-project/issues/130408.



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