[all-commits] [llvm/llvm-project] 7893de: [Loads] Always pass down context in isSafeToLoadUn...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7893defd8b56e70ebad4eaf79a1f14caf4a9d1d1
      https://github.com/llvm/llvm-project/commit/7893defd8b56e70ebad4eaf79a1f14caf4a9d1d1
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-06-08 (Mon, 08 Jun 2026)

  Changed paths:
    M llvm/include/llvm/Analysis/Loads.h
    M llvm/lib/Analysis/Loads.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/loadstore-metadata.ll

  Log Message:
  -----------
  [Loads] Always pass down context in isSafeToLoadUnconditionally() (#201833)

There is context-sensitive reasoning we can perform without a dominator
tree -- it doesn't make sense to drop the context instruction just
because there is no DT.

Also handle the case where the start instruction and the context
instruction are the same in willNotFreeBetween(). In that case we want
the function return true, not false.



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