[all-commits] [llvm/llvm-project] 6c50e2: [SCEV] Don't require NUW at first add when checkin...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6c50e2b2dda185816b3a4d65cef6771dad5113d8
      https://github.com/llvm/llvm-project/commit/6c50e2b2dda185816b3a4d65cef6771dad5113d8
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-07-23 (Wed, 23 Jul 2025)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/LoopAccessAnalysis/different-strides-safe-dep-due-to-backedge-taken-count.ll
    M llvm/test/Analysis/LoopAccessAnalysis/positive-dependence-distance-different-access-sizes.ll

  Log Message:
  -----------
  [SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw> (#149795)

Relax the NUW requirements for isKnownPredicateViaNoOverflow, if the
second operand (Y) is an ADD. The code only simplifies the condition if
C1 < C2, so if the second ADD is NUW, it doesn't matter whether the
first operand also has the NUW flag, as it cannot wrap if C1 < C2.

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


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



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