// If we found a pointer, check if it could be the same as our pointer.
AliasResult R = BatchAA.alias(LoadLoc, MemLoc);
- if (isLoad) {
- if (R == AliasResult::NoAlias)
- continue;
+ if (R == AliasResult::NoAlias)
+ continue;
+ if (isLoad) {
// Must aliased loads are defs of each other.
if (R == AliasResult::MustAlias)
return MemDepResult::getDef(Inst);
continue;
}
- // Stores don't depend on other no-aliased accesses.
- if (R == AliasResult::NoAlias)
- continue;
-
// Stores don't alias loads from read-only memory.
if (BatchAA.pointsToConstantMemory(LoadLoc))
continue;