[all-commits] [llvm/llvm-project] d55692: Reapply "ValueTracking: Identify implied fp classe...

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d55692d60d218f402ce107520daabed15f2d9ef6
      https://github.com/llvm/llvm-project/commit/d55692d60d218f402ce107520daabed15f2d9ef6
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-12-01 (Fri, 01 Dec 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass-implied-by-fcmp.ll
    M llvm/test/Transforms/InstSimplify/assume-fcmp-constant-implies-class.ll

  Log Message:
  -----------
  Reapply "ValueTracking: Identify implied fp classes by general fcmp (#66505)"

This reverts commit 96a0d714d58e48c363ee6abbbcdfd7a6ce646ac1.

Avoid assert with dynamic denormal-fp-math We don't recognize compares
with 0 as an exact class test if we don't know the denormal mode. We could
try to do better here, but it's probably not worth it.

Fixes asserts reported after 1adce7d8e47e2438f99f91607760b825e5e3cc37