[all-commits] [llvm/llvm-project] cad62d: [Loads] Support dereferenceable assumption with va...
Florian Hahn via All-commits
all-commits at lists.llvm.org
Mon Jul 14 00:17:55 PDT 2025
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: cad62df49a79df5e5136cfad280c5abc9f62c60b
https://github.com/llvm/llvm-project/commit/cad62df49a79df5e5136cfad280c5abc9f62c60b
Author: Florian Hahn <flo at fhahn.com>
Date: 2025-07-14 (Mon, 14 Jul 2025)
Changed paths:
M llvm/include/llvm/Analysis/AssumeBundleQueries.h
M llvm/lib/Analysis/AssumeBundleQueries.cpp
M llvm/lib/Analysis/Loads.cpp
M llvm/lib/IR/Verifier.cpp
A llvm/test/Transforms/LoopVectorize/dereferenceable-info-from-assumption-variable-size.ll
M llvm/test/Transforms/LoopVectorize/early_exit_store_legality.ll
M llvm/test/Transforms/LoopVectorize/single-early-exit-deref-assumptions.ll
M llvm/test/Verifier/assume-bundles.ll
Log Message:
-----------
[Loads] Support dereferenceable assumption with variable size. (#128436)
Update isDereferenceableAndAlignedPointer to make use of dereferenceable
assumptions with variable sizes via SCEV.
To do so, factor out the logic to check via an assumption to a helper,
and use SE to check if the access size is less than the dereferenceable
size.
PR: https://github.com/llvm/llvm-project/pull/128436
To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications
More information about the All-commits
mailing list