[all-commits] [llvm/llvm-project] 4b2d61: [DA] use alias analysis cross iteration mode (#116...

[Sebastian Pop via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4b2d6157744ca7693e6e904bd53d435df1ff6ee8
      https://github.com/llvm/llvm-project/commit/4b2d6157744ca7693e6e904bd53d435df1ff6ee8
  Author: Sebastian Pop <spop at nvidia.com>
  Date:   2025-01-29 (Wed, 29 Jan 2025)

  Changed paths:
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    A llvm/test/Analysis/DependenceAnalysis/FlipFlopBaseAddress.ll

  Log Message:
  -----------
  [DA] use alias analysis cross iteration mode (#116628)

This patch fixes two bugs:
https://github.com/llvm/llvm-project/issues/41488
https://github.com/llvm/llvm-project/issues/53942

The dependence analysis assumes that the base address of array accesses
is invariant across loop iterations. In both bugs the base address
evolves following loop iterations: the base address flip-flops between
two different memory objects.

The patch uses the cross iteration mode of alias analysis to disambiguate the
base objects.



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