[llvm] [LAA] Check if invariant accesses is strictly before other access. (PR #92307)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon May 20 06:57:34 PDT 2024
================
@@ -1991,13 +2015,12 @@ getDependenceDistanceStrideAndSize(
return MemoryDepChecker::Dependence::Unknown;
}
- uint64_t TypeByteSize = DL.getTypeAllocSize(ATy);
bool HasSameSize =
DL.getTypeStoreSizeInBits(ATy) == DL.getTypeStoreSizeInBits(BTy);
----------------
fhahn wrote:
Thanks, I've updated the code to only query `DL.getTypeAllocSize` if non of the accessed types is scalable.
At the moment, those sizes will only be used by the newly added code; `getPtrStride` will return 0 for scalable types, so we will for now always return an unknown dependence due to the stride checks above.
https://github.com/llvm/llvm-project/pull/92307
More information about the llvm-commits
mailing list