[all-commits] [llvm/llvm-project] f4fae7: [Attributor] Distinguish COHERENT accesses in addi...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/users/jdoerfert/attributor_non_exact_acc
  Home:   https://github.com/llvm/llvm-project
  Commit: f4fae7759d2cb30c4b6c51f559e1cba9e5bfd9c2
      https://github.com/llvm/llvm-project/commit/f4fae7759d2cb30c4b6c51f559e1cba9e5bfd9c2
  Author: Johannes Doerfert <jdoerfert.llvm at gmail.com>
  Date:   2026-07-06 (Mon, 06 Jul 2026)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/multiple-offsets-pointer-info.ll
    M llvm/test/Transforms/Attributor/nocapture-2.ll

  Log Message:
  -----------
  [Attributor] Distinguish COHERENT accesses in addition to exact ones

When we find overlapping accesses, an access is exact when it will hit
the same memory. Otherwise we treated it like an unknown access that
could overwrite any part of the overlapping value. Using size and
alignment we can introduce a new category, COHERENT, which means the
access migth not be at the exact address but if it is affecting the
initial range it will do so with the proper value, e.g., it will not
write part of the range but all or nothing.



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