[all-commits] [llvm/llvm-project] be7138: ValueTracking: Add baseline tests for frem compute...

[Matt Arsenault via All-commits]

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

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

  Log Message:
  -----------
  ValueTracking: Add baseline tests for frem computeKnownFPClass


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

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass-fdiv.ll

  Log Message:
  -----------
  ValueTracking: fdiv sign handling in computeKnownFPClass

Copy what cannotBeOrderedLessThanZeroImpl checks for fdiv.


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

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

  Log Message:
  -----------
  ValueTracking: Add new tests for computeKnownFPClass copysign handling

It's currently broken


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

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass-frem.ll

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

I barely understand what this does, but try to
handle the last case required to delete cannotBeOrderedLessThanZeroImpl.
Also improve by following fdiv handling for nans and identical operand case.


Compare: https://github.com/llvm/llvm-project/compare/b59d672ed489...de7bfec8850e