[all-commits] [llvm/llvm-project] 2c6b23: [DA] handle memory accesses with different offset...

[Sebastian Pop via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2c6b239cc6102398701359dddda8023d26fcb95d
      https://github.com/llvm/llvm-project/commit/2c6b239cc6102398701359dddda8023d26fcb95d
  Author: Sebastian Pop <spop at nvidia.com>
  Date:   2025-05-19 (Mon, 19 May 2025)

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

  Log Message:
  -----------
   [DA] handle memory accesses with different offsets and strides (#123436)

This patch corrects the behavior of the Dependence Analysis for memory
accesses that do not start at the same offset or do not have similar
strides. When offsets or strides cannot be disambiguated at compile
time, DA collects a set of runtime assumptions under which the
dependence test becomes valid. The default remains the same as before
the patch: DA rejects the dependence test as undecidable instead of
collecting runtime assumptions.

---------

Co-authored-by: Michael Kruse <github at meinersbur.de>
Co-authored-by: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>



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