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

[Yingwei Zheng via All-commits]

  Branch: refs/heads/release/20.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 0e96713a3b293267014b665ec76589c9668c8a9f
      https://github.com/llvm/llvm-project/commit/0e96713a3b293267014b665ec76589c9668c8a9f
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-03-11 (Tue, 11 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.

(cherry picked from commit 029e10289a02b438f1a22f401c94ed60ab4bb704)



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