[all-commits] [llvm/llvm-project] 4511d3: [InstSimplify] Add test for icmp of uadd.sat/usub....

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4511d3c33cba90d5d53a1fd6eed89ef9a3f696e1
      https://github.com/llvm/llvm-project/commit/4511d3c33cba90d5d53a1fd6eed89ef9a3f696e1
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-19 (Mon, 19 Jun 2023)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/saturating-add-sub.ll

  Log Message:
  -----------
  [InstSimplify] Add test for icmp of uadd.sat/usub.sat (NFC)


  Commit: f6a8775c5d9fa6cd49f404da70982f2e7b91c88c
      https://github.com/llvm/llvm-project/commit/f6a8775c5d9fa6cd49f404da70982f2e7b91c88c
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-19 (Mon, 19 Jun 2023)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/saturating-add-sub.ll

  Log Message:
  -----------
  [InstSimplify] Fold icmp of uadd.sat/usub.sat (PR63381)

Fold uadd.sat(X, Y) uge X and usub.sat(X, Y) ule X to true.

Proof: https://alive2.llvm.org/ce/z/596m9X

Fixes https://github.com/llvm/llvm-project/issues/63381.


Compare: https://github.com/llvm/llvm-project/compare/3f8d8c1aac30...f6a8775c5d9f