[all-commits] [llvm/llvm-project] 50e80e: [ValueTracking] Merge `cannotBeOrderedLessThanZero...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 50e80e06d1d4d1de200a3b349fcdd0dd0d0eb66d
      https://github.com/llvm/llvm-project/commit/50e80e06d1d4d1de200a3b349fcdd0dd0d0eb66d
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2024-01-31 (Wed, 31 Jan 2024)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    A llvm/test/Analysis/ValueTracking/powi-nneg.ll
    M llvm/test/CodeGen/Thumb2/mve-vmaxnma-commute.ll
    M llvm/test/Transforms/InstCombine/copysign-fneg-fabs.ll
    M llvm/test/Transforms/InstSimplify/floating-point-arithmetic-strictfp.ll

  Log Message:
  -----------
  [ValueTracking] Merge `cannotBeOrderedLessThanZeroImpl` into `computeKnownFPClass` (#76360)

This patch merges the logic of `cannotBeOrderedLessThanZeroImpl` into
`computeKnownFPClass` to improve the signbit inference.

---------

Co-authored-by: Matt Arsenault <arsenm2 at gmail.com>