mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
[LoopIdioms] More LocationSize::precise annotations; NFC
Both of these places reference memset-like loops. Memset is precise. Trying to keep these patches super small so they're easily post-commit verifiable, as requested in D44748. llvm-svn: 350044
This commit is contained in:
parent
e3294952ba
commit
949331654c
@ -1975,7 +1975,8 @@ mayLoopAccessLocation(Value *Ptr, ModRefInfo Access, Loop *L,
|
||||
// If the loop iterates a fixed number of times, we can refine the access
|
||||
// size to be exactly the size of the memset, which is (BECount+1)*StoreSize
|
||||
if (const SCEVConstant *BECst = dyn_cast<SCEVConstant>(BECount))
|
||||
AccessSize = (BECst->getValue()->getZExtValue() + 1) * StoreSize;
|
||||
AccessSize = LocationSize::precise((BECst->getValue()->getZExtValue() + 1) *
|
||||
StoreSize);
|
||||
|
||||
// TODO: For this to be really effective, we have to dive into the pointer
|
||||
// operand in the store. Store to &A[i] of 100 will always return may alias
|
||||
|
@ -779,12 +779,13 @@ mayLoopAccessLocation(Value *Ptr, ModRefInfo Access, Loop *L,
|
||||
// Get the location that may be stored across the loop. Since the access is
|
||||
// strided positively through memory, we say that the modified location starts
|
||||
// at the pointer and has infinite size.
|
||||
uint64_t AccessSize = MemoryLocation::UnknownSize;
|
||||
LocationSize AccessSize = LocationSize::unknown();
|
||||
|
||||
// If the loop iterates a fixed number of times, we can refine the access size
|
||||
// to be exactly the size of the memset, which is (BECount+1)*StoreSize
|
||||
if (const SCEVConstant *BECst = dyn_cast<SCEVConstant>(BECount))
|
||||
AccessSize = (BECst->getValue()->getZExtValue() + 1) * StoreSize;
|
||||
AccessSize = LocationSize::precise((BECst->getValue()->getZExtValue() + 1) *
|
||||
StoreSize);
|
||||
|
||||
// TODO: For this to be really effective, we have to dive into the pointer
|
||||
// operand in the store. Store to &A[i] of 100 will always return may alias
|
||||
|
Loading…
x
Reference in New Issue
Block a user