[all-commits] [llvm/llvm-project] 5ee9be: [SCEV] Look thru more expressions in isKnownMultip...

[Ramkumar Ramachandra via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5ee9be9300f62a4c2b6cfa894b5f6648228be7c0
      https://github.com/llvm/llvm-project/commit/5ee9be9300f62a4c2b6cfa894b5f6648228be7c0
  Author: Ramkumar Ramachandra <artagnon at tenstorrent.com>
  Date:   2026-09-17 (Thu, 17 Sep 2026)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/DependenceAnalysis/DifferentOffsets.ll
    M llvm/test/Analysis/DependenceAnalysis/MIVCheckConst.ll

  Log Message:
  -----------
  [SCEV] Look thru more expressions in isKnownMultipleOf (#219951)

Generalize the existing logic to look through AddRecs to look through
Add, Mul, and MinMax expressions in isKnownMultipleOf, noting that this
simply increases precision of added predicates, allowing us to add more
fine-grained predicates. It also fixes an underlying bug in the case the
AddRec wraps. The patch has no optimization impact at the moment, and
only serves to have higher precision in its sole user,
DependenceAnalysis.

Proof: https://alive2.llvm.org/ce/z/JLCqGJ



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