[all-commits] [llvm/llvm-project] e08036: [LAA] Inline hasComputableBounds in only caller, s...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e080366a76b78a746c53caccf84661b109ccbc20
      https://github.com/llvm/llvm-project/commit/e080366a76b78a746c53caccf84661b109ccbc20
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-02-16 (Sun, 16 Feb 2025)

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    M llvm/test/Analysis/LoopAccessAnalysis/retry-runtime-checks-after-dependence-analysis-forked-pointers.ll

  Log Message:
  -----------
  [LAA] Inline hasComputableBounds in only caller, simplify isNoWrap.

Inline hasComputableBounds into createCheckForAccess. This removes a
level of indirection and allows for passing the AddRec directly to
isNoWrap, removing the need to retrieve the AddRec for the pointer
again.

The early continue for invariant SCEVs now also applies to forked
pointers (i.e. when there's more than one entry in TranslatedPtrs) when
ShouldCheckWrap is true, as those trivially won't wrap.

The change is NFC otherwise. replaceSymbolicStrideSCEV is now called
earlier.



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