[all-commits] [llvm/llvm-project] d6f221: ValueTracking: Add baseline test for fmul computeK...

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d6f221869c1d1bf11cd2111efd368077684c6657
      https://github.com/llvm/llvm-project/commit/d6f221869c1d1bf11cd2111efd368077684c6657
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-13 (Thu, 13 Apr 2023)

  Changed paths:
    A llvm/test/Transforms/Attributor/nofpclass-nan-fmul.ll

  Log Message:
  -----------
  ValueTracking: Add baseline test for fmul computeKnownFPClass handling


  Commit: 4d044bfb33980a3453c9cd456c261750f1971b8a
      https://github.com/llvm/llvm-project/commit/4d044bfb33980a3453c9cd456c261750f1971b8a
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-13 (Thu, 13 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass-nan-fmul.ll
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  ValueTracking: Handle no-nan check for computeKnownFPClass for fmul

Copy the logic from isKnownNeverNaN for fadd/fsub. Leave the
extension to handle the zero case for a future change.


  Commit: 054cac104f917de9ed6d2226f564ea8167cdaf95
      https://github.com/llvm/llvm-project/commit/054cac104f917de9ed6d2226f564ea8167cdaf95
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-13 (Thu, 13 Apr 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass-nan-fmul.ll
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  ValueTracking: Address todo for nan fmul handling in computeKnownFPClass

If both operands can't be zero or nan, the result can't be nan.


  Commit: fc7c706e3f93fa1f700a7ded2ae797aad32d892e
      https://github.com/llvm/llvm-project/commit/fc7c706e3f93fa1f700a7ded2ae797aad32d892e
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-13 (Thu, 13 Apr 2023)

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

  Log Message:
  -----------
  ValueTracking: Add cannotBeOrderedLessThanZero to KnownFPClass

Eventually we should be able to replace the existing
CannotBeOrderedLessThanZero.


  Commit: 9ac1329df4cd93685a6ceebd073307ef5fd27951
      https://github.com/llvm/llvm-project/commit/9ac1329df4cd93685a6ceebd073307ef5fd27951
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-13 (Thu, 13 Apr 2023)

  Changed paths:
    A llvm/test/Transforms/Attributor/nofpclass-sin-cos.ll

  Log Message:
  -----------
  ValueTracking: Add baseline test for computeKnownFPClass for sin/cos


Compare: https://github.com/llvm/llvm-project/compare/7ea34403f394...9ac1329df4cd