Lines Matching refs:AliasResult

863 AliasResult BasicAAResult::alias(const MemoryLocation &LocA,  in alias()
927 AliasResult AR = in getModRefInfo()
931 if (AR == AliasResult::NoAlias) in getModRefInfo()
966 AliasResult::NoAlias) in getModRefInfo()
1047 AliasResult BasicAAResult::aliasGEP( in aliasGEP()
1055 return AliasResult::MayAlias; in aliasGEP()
1059 AliasResult BaseAlias = in aliasGEP()
1062 return BaseAlias == AliasResult::NoAlias ? AliasResult::NoAlias in aliasGEP()
1063 : AliasResult::MayAlias; in aliasGEP()
1072 return AliasResult::MayAlias; in aliasGEP()
1086 return AliasResult::NoAlias; in aliasGEP()
1094 return AliasResult::NoAlias; in aliasGEP()
1104 AliasResult BaseAlias = in aliasGEP()
1110 if (BaseAlias != AliasResult::MustAlias) { in aliasGEP()
1111 assert(BaseAlias == AliasResult::NoAlias || in aliasGEP()
1112 BaseAlias == AliasResult::MayAlias); in aliasGEP()
1118 return AliasResult::MayAlias; in aliasGEP()
1147 return AliasResult::MayAlias; in aliasGEP()
1153 AliasResult AR = AliasResult::PartialAlias; in aliasGEP()
1164 return AliasResult::NoAlias; in aliasGEP()
1169 return AliasResult::MayAlias; in aliasGEP()
1219 return AliasResult::NoAlias; in aliasGEP()
1229 return AliasResult::NoAlias; in aliasGEP()
1283 return AliasResult::NoAlias; in aliasGEP()
1287 return AliasResult::NoAlias; in aliasGEP()
1292 return AliasResult::MayAlias; in aliasGEP()
1295 static AliasResult MergeAliasResults(AliasResult A, AliasResult B) { in MergeAliasResults()
1300 if ((A == AliasResult::PartialAlias && B == AliasResult::MustAlias) || in MergeAliasResults()
1301 (B == AliasResult::PartialAlias && A == AliasResult::MustAlias)) in MergeAliasResults()
1302 return AliasResult::PartialAlias; in MergeAliasResults()
1304 return AliasResult::MayAlias; in MergeAliasResults()
1309 AliasResult
1318 AliasResult Alias = in aliasSelect()
1321 if (Alias == AliasResult::MayAlias) in aliasSelect()
1322 return AliasResult::MayAlias; in aliasSelect()
1323 AliasResult ThisAlias = in aliasSelect()
1331 AliasResult Alias = AAQI.AAR.alias(MemoryLocation(SI->getTrueValue(), SISize), in aliasSelect()
1333 if (Alias == AliasResult::MayAlias) in aliasSelect()
1334 return AliasResult::MayAlias; in aliasSelect()
1336 AliasResult ThisAlias = in aliasSelect()
1344 AliasResult BasicAAResult::aliasPHI(const PHINode *PN, LocationSize PNSize, in aliasPHI()
1348 return AliasResult::NoAlias; in aliasPHI()
1354 std::optional<AliasResult> Alias; in aliasPHI()
1356 AliasResult ThisAlias = AAQI.AAR.alias( in aliasPHI()
1365 if (*Alias == AliasResult::MayAlias) in aliasPHI()
1400 return AliasResult::MayAlias; in aliasPHI()
1415 return AliasResult::MayAlias; in aliasPHI()
1421 return AliasResult::MayAlias; in aliasPHI()
1433 AliasResult Alias = AAQI.AAR.alias(MemoryLocation(V1Srcs[0], PNSize), in aliasPHI()
1438 if (Alias == AliasResult::MayAlias) in aliasPHI()
1439 return AliasResult::MayAlias; in aliasPHI()
1442 if (isRecursive && Alias != AliasResult::NoAlias) in aliasPHI()
1443 return AliasResult::MayAlias; in aliasPHI()
1450 AliasResult ThisAlias = AAQI.AAR.alias( in aliasPHI()
1453 if (Alias == AliasResult::MayAlias) in aliasPHI()
1462 AliasResult BasicAAResult::aliasCheck(const Value *V1, LocationSize V1Size, in aliasCheck()
1469 return AliasResult::NoAlias; in aliasCheck()
1478 return AliasResult::NoAlias; in aliasCheck()
1487 return AliasResult::MustAlias; in aliasCheck()
1490 return AliasResult::NoAlias; // Scalars cannot alias each other in aliasCheck()
1500 return AliasResult::NoAlias; in aliasCheck()
1503 return AliasResult::NoAlias; in aliasCheck()
1508 return AliasResult::NoAlias; in aliasCheck()
1514 return AliasResult::NoAlias; in aliasCheck()
1527 return AliasResult::NoAlias; in aliasCheck()
1530 return AliasResult::NoAlias; in aliasCheck()
1542 return AliasResult::NoAlias; in aliasCheck()
1582 return AliasResult::NoAlias; in aliasCheck()
1606 return AliasResult::MayAlias; in aliasCheck()
1618 Locs, AAQueryInfo::CacheEntry{AliasResult::NoAlias, 0}); in aliasCheck()
1634 AliasResult Result = in aliasCheck()
1643 Entry.NumAssumptionUses > 0 && Result != AliasResult::NoAlias; in aliasCheck()
1645 Result = AliasResult::MayAlias; in aliasCheck()
1664 Result != AliasResult::MayAlias) in aliasCheck()
1669 AliasResult BasicAAResult::aliasCheckRecursive( in aliasCheckRecursive()
1674 AliasResult Result = aliasGEP(GV1, V1Size, V2, V2Size, O1, O2, AAQI); in aliasCheckRecursive()
1675 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1678 AliasResult Result = aliasGEP(GV2, V2Size, V1, V1Size, O2, O1, AAQI); in aliasCheckRecursive()
1680 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1685 AliasResult Result = aliasPHI(PN, V1Size, V2, V2Size, AAQI); in aliasCheckRecursive()
1686 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1689 AliasResult Result = aliasPHI(PN, V2Size, V1, V1Size, AAQI); in aliasCheckRecursive()
1691 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1696 AliasResult Result = aliasSelect(S1, V1Size, V2, V2Size, AAQI); in aliasCheckRecursive()
1697 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1700 AliasResult Result = aliasSelect(S2, V2Size, V1, V1Size, AAQI); in aliasCheckRecursive()
1702 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1713 return AliasResult::PartialAlias; in aliasCheckRecursive()
1716 return AliasResult::MayAlias; in aliasCheckRecursive()