[all-commits] [llvm/llvm-project] 044b52: [LAA] Perform checks for no-wrap separately from g...

[Florian Hahn via All-commits]

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

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

  Log Message:
  -----------
  [LAA] Perform checks for no-wrap separately from getPtrStride. (#126971)

Reorganize the code in isNoWrap to perform the no-wrap checks without
relying on getPtrStride directly. getPtrStride now uses isNoWrap.

The new structure allows deriving no-wrap in more cases in LAA, because
there are some cases where getPtrStride bails out early because it
cannot return a constant stride, but we can still prove no-wrap for the
pointer.

An example are AddRecs with non-ConstantInt strides with inbound GEPs,
in the improved test cases.

This enables vectorization with runtime checks in a few more cases.

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



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