[all-commits] [llvm/llvm-project] 2d0272: [SCEV] Collect guard info for ICMP NE w/o constant...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2d027260b0f8ef9b2e0b2fc8c254b2b8da0ae4f7
      https://github.com/llvm/llvm-project/commit/2d027260b0f8ef9b2e0b2fc8c254b2b8da0ae4f7
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-10-14 (Tue, 14 Oct 2025)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/ptrtoint.ll
    M llvm/test/Transforms/IndVarSimplify/pointer-loop-guards.ll
    M llvm/test/Transforms/LoopUnroll/scevunroll.ll

  Log Message:
  -----------
  [SCEV] Collect guard info for ICMP NE w/o constants. (#160500)

When collecting information from loop guards, use UMax(1, %b - %a) for
ICMP NE %a, %b, if neither are constant.

This improves results in some cases, and will be even more useful
together with
 * https://github.com/llvm/llvm-project/pull/160012
 * https://github.com/llvm/llvm-project/pull/159942

https://alive2.llvm.org/ce/z/YyBvoT

PR: https://github.com/llvm/llvm-project/pull/160500



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