[all-commits] [llvm/llvm-project] 8e9d50: [InstSimplify] fold uno/ord comparison if fpclass ...

[Alex MacLean via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8e9d50cdd14b366249bbb61cb3a1d4586289bfee
      https://github.com/llvm/llvm-project/commit/8e9d50cdd14b366249bbb61cb3a1d4586289bfee
  Author: Alex MacLean <amaclean at nvidia.com>
  Date:   2024-07-09 (Tue, 09 Jul 2024)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/floating-point-compare.ll
    M llvm/test/Transforms/InstSimplify/known-never-nan.ll

  Log Message:
  -----------
  [InstSimplify] fold uno/ord comparison if fpclass is always NaN (#97763)

In InstSimplify we already fold `fcmp ord/uno` to a constant when both
operands are known to be non-NaN. This change slightly generalizes this
to also handle the case where either of the operands is known to always
be NaN.

Proof: https://alive2.llvm.org/ce/z/AhCmJN



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