[all-commits] [llvm/llvm-project] 70012f: [SCEV] Fold (C1 * A /u C2) -> A /u (C2 /u C1), if...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 70012fda6312ba87bc0bf9009402e0869a816d1f
      https://github.com/llvm/llvm-project/commit/70012fda6312ba87bc0bf9009402e0869a816d1f
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-09-11 (Thu, 11 Sep 2025)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/mul-udiv-folds.ll
    M llvm/test/Transforms/LoopStrengthReduce/duplicated-phis.ll

  Log Message:
  -----------
  [SCEV] Fold  (C1 * A /u C2) -> A /u (C2 /u C1), if C2 > C1. (#157656)

If C2 >u C1 and C1 >u 1, fold to A /u (C2 /u C1).

Depends on https://github.com/llvm/llvm-project/pull/157555.

Alive2 Proof: https://alive2.llvm.org/ce/z/BWvQYN

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



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