Lines Matching refs:AliasResult

895 AliasResult BasicAAResult::alias(const MemoryLocation &LocA,  in alias()
959 AliasResult AR = in getModRefInfo()
963 if (AR == AliasResult::NoAlias) in getModRefInfo()
998 AliasResult::NoAlias) in getModRefInfo()
1079 AliasResult BasicAAResult::aliasGEP( in aliasGEP()
1087 return AliasResult::MayAlias; in aliasGEP()
1091 AliasResult BaseAlias = in aliasGEP()
1094 return BaseAlias == AliasResult::NoAlias ? AliasResult::NoAlias in aliasGEP()
1095 : AliasResult::MayAlias; in aliasGEP()
1104 return AliasResult::MayAlias; in aliasGEP()
1118 return AliasResult::NoAlias; in aliasGEP()
1126 return AliasResult::NoAlias; in aliasGEP()
1136 AliasResult BaseAlias = in aliasGEP()
1142 if (BaseAlias != AliasResult::MustAlias) { in aliasGEP()
1143 assert(BaseAlias == AliasResult::NoAlias || in aliasGEP()
1144 BaseAlias == AliasResult::MayAlias); in aliasGEP()
1175 return AliasResult::MayAlias; in aliasGEP()
1182 AliasResult AR = AliasResult::PartialAlias; in aliasGEP()
1193 return AliasResult::NoAlias; in aliasGEP()
1201 return AliasResult::NoAlias; in aliasGEP()
1232 return AliasResult::NoAlias; in aliasGEP()
1238 return AliasResult::MayAlias; in aliasGEP()
1242 return AliasResult::MayAlias; in aliasGEP()
1292 return AliasResult::NoAlias; in aliasGEP()
1302 return AliasResult::NoAlias; in aliasGEP()
1356 return AliasResult::NoAlias; in aliasGEP()
1360 return AliasResult::NoAlias; in aliasGEP()
1365 return AliasResult::MayAlias; in aliasGEP()
1368 static AliasResult MergeAliasResults(AliasResult A, AliasResult B) { in MergeAliasResults()
1373 if ((A == AliasResult::PartialAlias && B == AliasResult::MustAlias) || in MergeAliasResults()
1374 (B == AliasResult::PartialAlias && A == AliasResult::MustAlias)) in MergeAliasResults()
1375 return AliasResult::PartialAlias; in MergeAliasResults()
1377 return AliasResult::MayAlias; in MergeAliasResults()
1382 AliasResult
1391 AliasResult Alias = in aliasSelect()
1394 if (Alias == AliasResult::MayAlias) in aliasSelect()
1395 return AliasResult::MayAlias; in aliasSelect()
1396 AliasResult ThisAlias = in aliasSelect()
1404 AliasResult Alias = AAQI.AAR.alias(MemoryLocation(SI->getTrueValue(), SISize), in aliasSelect()
1406 if (Alias == AliasResult::MayAlias) in aliasSelect()
1407 return AliasResult::MayAlias; in aliasSelect()
1409 AliasResult ThisAlias = in aliasSelect()
1417 AliasResult BasicAAResult::aliasPHI(const PHINode *PN, LocationSize PNSize, in aliasPHI()
1421 return AliasResult::NoAlias; in aliasPHI()
1427 std::optional<AliasResult> Alias; in aliasPHI()
1429 AliasResult ThisAlias = AAQI.AAR.alias( in aliasPHI()
1438 if (*Alias == AliasResult::MayAlias) in aliasPHI()
1473 return AliasResult::MayAlias; in aliasPHI()
1488 return AliasResult::MayAlias; in aliasPHI()
1494 return AliasResult::MayAlias; in aliasPHI()
1506 AliasResult Alias = AAQI.AAR.alias(MemoryLocation(V1Srcs[0], PNSize), in aliasPHI()
1511 if (Alias == AliasResult::MayAlias) in aliasPHI()
1512 return AliasResult::MayAlias; in aliasPHI()
1515 if (isRecursive && Alias != AliasResult::NoAlias) in aliasPHI()
1516 return AliasResult::MayAlias; in aliasPHI()
1523 AliasResult ThisAlias = AAQI.AAR.alias( in aliasPHI()
1526 if (Alias == AliasResult::MayAlias) in aliasPHI()
1535 AliasResult BasicAAResult::aliasCheck(const Value *V1, LocationSize V1Size, in aliasCheck()
1542 return AliasResult::NoAlias; in aliasCheck()
1551 return AliasResult::NoAlias; in aliasCheck()
1560 return AliasResult::MustAlias; in aliasCheck()
1563 return AliasResult::NoAlias; // Scalars cannot alias each other in aliasCheck()
1573 return AliasResult::NoAlias; in aliasCheck()
1576 return AliasResult::NoAlias; in aliasCheck()
1581 return AliasResult::NoAlias; in aliasCheck()
1587 return AliasResult::NoAlias; in aliasCheck()
1600 return AliasResult::NoAlias; in aliasCheck()
1603 return AliasResult::NoAlias; in aliasCheck()
1615 return AliasResult::NoAlias; in aliasCheck()
1655 return AliasResult::NoAlias; in aliasCheck()
1679 return AliasResult::MayAlias; in aliasCheck()
1691 Locs, AAQueryInfo::CacheEntry{AliasResult::NoAlias, 0}); in aliasCheck()
1710 AliasResult Result = in aliasCheck()
1719 Entry.NumAssumptionUses > 0 && Result != AliasResult::NoAlias; in aliasCheck()
1721 Result = AliasResult::MayAlias; in aliasCheck()
1739 Result != AliasResult::MayAlias) { in aliasCheck()
1762 AliasResult BasicAAResult::aliasCheckRecursive( in aliasCheckRecursive()
1767 AliasResult Result = aliasGEP(GV1, V1Size, V2, V2Size, O1, O2, AAQI); in aliasCheckRecursive()
1768 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1771 AliasResult Result = aliasGEP(GV2, V2Size, V1, V1Size, O2, O1, AAQI); in aliasCheckRecursive()
1773 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1778 AliasResult Result = aliasPHI(PN, V1Size, V2, V2Size, AAQI); in aliasCheckRecursive()
1779 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1782 AliasResult Result = aliasPHI(PN, V2Size, V1, V1Size, AAQI); in aliasCheckRecursive()
1784 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1789 AliasResult Result = aliasSelect(S1, V1Size, V2, V2Size, AAQI); in aliasCheckRecursive()
1790 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1793 AliasResult Result = aliasSelect(S2, V2Size, V1, V1Size, AAQI); in aliasCheckRecursive()
1795 if (Result != AliasResult::MayAlias) in aliasCheckRecursive()
1806 return AliasResult::PartialAlias; in aliasCheckRecursive()
1809 return AliasResult::MayAlias; in aliasCheckRecursive()