[all-commits] [llvm/llvm-project] dc3faf: ValueTracking: Identify implied fp classes by gene...

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dc3faf0ed0e3f1ea9e435a006167d9649f865da1
      https://github.com/llvm/llvm-project/commit/dc3faf0ed0e3f1ea9e435a006167d9649f865da1
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-11-10 (Fri, 10 Nov 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:
  -----------
  ValueTracking: Identify implied fp classes by general fcmp (#66505)

Previously we could recognize exact class tests performed by
an fcmp with special values (0s, infs and smallest normal).
Expand this to recognize the implied classes by a compare with a general
constant. e.g. fcmp ogt x, 1 implies positive and non-0.
    
The API should be better merged with fcmpToClassTest but that
made the diff way bigger, will try to do that in a future
patch.