[all-commits] [llvm/llvm-project] aa25c9: [ValueTracking] Fix CannotBeOrderedLessThanZero() ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa25c92f33e42be16446b356ba82a10e7043572d
      https://github.com/llvm/llvm-project/commit/aa25c92f33e42be16446b356ba82a10e7043572d
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-09-29 (Thu, 29 Sep 2022)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/floating-point-compare.ll

  Log Message:
  -----------
  [ValueTracking] Fix CannotBeOrderedLessThanZero() for fdiv (PR58046)

When checking the RHS of fdiv, we should set the SignBitOnly flag,
because a negative zero can become -Inf, which is ordered less
than zero.

Fixes https://github.com/llvm/llvm-project/issues/58046.

Differential Revision: https://reviews.llvm.org/D134876