[llvm] [AssumeBundles] Dereferenceable used in bundle only applies at assume. (PR #126117)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Tue Feb 11 09:58:45 PST 2025
================
@@ -171,7 +169,7 @@ static bool isDereferenceableAndAlignedPointer(
Size, DL, CtxI, AC, DT, TLI,
Visited, MaxDepth);
- if (CtxI && (!UseDerefAtPointSemantics || !V->canBeFreed())) {
+ if (CtxI && !V->canBeFreed()) {
----------------
fhahn wrote:
Added + a TODO to extend to check between assume & use, thanks
https://github.com/llvm/llvm-project/pull/126117
More information about the llvm-commits
mailing list