[all-commits] [llvm/llvm-project] 73925e: ValueTracking: Delete body of isKnownNeverInfinity

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 73925ef8b0eacc6792f0e3ea21a3e6d51f5ee8b0
      https://github.com/llvm/llvm-project/commit/73925ef8b0eacc6792f0e3ea21a3e6d51f5ee8b0
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-05-18 (Thu, 18 May 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp

  Log Message:
  -----------
  ValueTracking: Delete body of isKnownNeverInfinity

computeKnownFPClass should now handle infinity checks equally as
well as what this could do before so delete the redundant code.


  Commit: e47b76a82a0300900dbf3c2d3a50552a76305a8c
      https://github.com/llvm/llvm-project/commit/e47b76a82a0300900dbf3c2d3a50552a76305a8c
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-05-18 (Thu, 18 May 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp

  Log Message:
  -----------
  ValueTracking: Delete body of isKnownNeverNaN

This should now be redundant with the nan handling in computeKnownFPClass.


  Commit: 60b8e3a66b64dfb7b7b9d1815018265fd38edaa4
      https://github.com/llvm/llvm-project/commit/60b8e3a66b64dfb7b7b9d1815018265fd38edaa4
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-05-18 (Thu, 18 May 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/test/Transforms/InstCombine/is_fpclass.ll

  Log Message:
  -----------
  InstCombine: Pass all parameters to isKnownNeverNaN

Allows assume handling to work.


  Commit: cac9e427eb1ff3dabda8ac08968b998c3bc5ab47
      https://github.com/llvm/llvm-project/commit/cac9e427eb1ff3dabda8ac08968b998c3bc5ab47
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-05-18 (Thu, 18 May 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  ValueTracking: Handle phi in computeKnownFPClass

Doesn't try the all the tricks computeKnownBits does.


Compare: https://github.com/llvm/llvm-project/compare/e96123dfeabc...cac9e427eb1f