[all-commits] [llvm/llvm-project] 1f4aff: [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: 1f4aff85d0c97a2252b463bd8b9680af29909a24
      https://github.com/llvm/llvm-project/commit/1f4aff85d0c97a2252b463bd8b9680af29909a24
  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