[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