[all-commits] [llvm/llvm-project] 89b004: [InstSimplify] Add test for implied cond with equa...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 89b0044ca9a6fb233f8d6dd16db6bd4acc3d3f61
      https://github.com/llvm/llvm-project/commit/89b0044ca9a6fb233f8d6dd16db6bd4acc3d3f61
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-01 (Fri, 01 Dec 2023)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/implies.ll

  Log Message:
  -----------
  [InstSimplify] Add test for implied cond with equal ops and constant (NFC)


  Commit: 460faa0c87f0a9496cdaf6c856aff1886e29afe3
      https://github.com/llvm/llvm-project/commit/460faa0c87f0a9496cdaf6c856aff1886e29afe3
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-01 (Fri, 01 Dec 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/implies.ll

  Log Message:
  -----------
  [InstSimplify] Check common operand with constant earlier

If both icmps have the same operands and the RHS is constant, we
would currently go into the isImpliedCondMatchingOperands() code
path, instead of the isImpliedCondCommonOperandWithConstants()
path. Both are correct, but the latter can produce more accurate
results if the implication is dependent on the sign.


Compare: https://github.com/llvm/llvm-project/compare/cd31cf5989aa...460faa0c87f0