[all-commits] [llvm/llvm-project] 9e587c: [SCCP] Simplify [us]cmp(X, Y) into X - Y (#144717)

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9e587ce6f0da91ee71dd6920dff0930b291169bb
      https://github.com/llvm/llvm-project/commit/9e587ce6f0da91ee71dd6920dff0930b291169bb
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-07-20 (Sun, 20 Jul 2025)

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    A llvm/test/Transforms/SCCP/uscmp.ll

  Log Message:
  -----------
  [SCCP] Simplify [us]cmp(X, Y) into X - Y (#144717)

If the difference between [us]cmp's operands is not greater than 1, we
can simplify it into `X - Y`.
Alive2: https://alive2.llvm.org/ce/z/JS55so
llvm-opt-benchmark diff:
https://github.com/dtcxzyw/llvm-opt-benchmark/pull/2464/files



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications