[all-commits] [llvm/llvm-project] db58a9: InstSimplify: Update another cannotBeOrderedLessTh...

[Matt Arsenault via All-commits]

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

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/floating-point-compare.ll

  Log Message:
  -----------
  InstSimplify: Update another cannotBeOrderedLessThanZero use

Pass all the optional arguments to enable assumes.


  Commit: d362aab2432dd494b0f8ba214bcbdf7d07003c27
      https://github.com/llvm/llvm-project/commit/d362aab2432dd494b0f8ba214bcbdf7d07003c27
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-07-07 (Fri, 07 Jul 2023)

  Changed paths:
    M llvm/test/Transforms/InstCombine/ldexp.ll

  Log Message:
  -----------
  InstCombine: Add baseline tests for ldexp reassociation combine


  Commit: 4f9aad964f4a8fb364f8069eca1825865ca85b80
      https://github.com/llvm/llvm-project/commit/4f9aad964f4a8fb364f8069eca1825865ca85b80
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-07-07 (Fri, 07 Jul 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/test/Transforms/InstCombine/ldexp.ll

  Log Message:
  -----------
  InstCombine: Fold ldexp(ldexp(x, a), b) -> ldexp(x, a + b)

The problem here is overflow or underflow which would have occurred in
the inner operation, which the exponent offsetting avoids. We can do
this if we know the two exponents are in the same direction, or
reassoc flags allow unsafe reassociates.


Compare: https://github.com/llvm/llvm-project/compare/4db6e149624c...4f9aad964f4a