[all-commits] [llvm/llvm-project] 375fa6: [Loads] Use willNotFreeBetween() for dereferenceab...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 375fa6fb02035afc8719e8484f0c914a96987fd8
      https://github.com/llvm/llvm-project/commit/375fa6fb02035afc8719e8484f0c914a96987fd8
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-06-04 (Thu, 04 Jun 2026)

  Changed paths:
    M llvm/lib/Analysis/Loads.cpp
    M llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll

  Log Message:
  -----------
  [Loads] Use willNotFreeBetween() for dereferenceable-at-point (#201353)

If dereferenceable-at-point semantics are enabled, use
willNotFreeBetween() to check whether frees are known to not occur
between the definition point of the value and the context instruction.

We already use this logic for dereferenceable assumptions, this enables
it for other dereferenceability fact (under deref-at-point).



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