Lines Matching refs:O1
886 static bool notDifferentParent(const Value *O1, const Value *O2) { in notDifferentParent() argument
888 const Function *F1 = getParent(O1); in notDifferentParent()
1566 const Value *O1 = getUnderlyingObject(V1, MaxLookupSearchDepth); in aliasCheck() local
1571 if (const ConstantPointerNull *CPN = dyn_cast<ConstantPointerNull>(O1)) in aliasCheck()
1578 if (O1 != O2) { in aliasCheck()
1580 if (isIdentifiedObject(O1) && isIdentifiedObject(O2)) in aliasCheck()
1585 if ((isa<Argument>(O1) && isIdentifiedFunctionLocal(O2)) || in aliasCheck()
1586 (isa<Argument>(O2) && isIdentifiedFunctionLocal(O1))) in aliasCheck()
1598 if (isEscapeSource(O1) && AAQI.CI->isNotCapturedBefore( in aliasCheck()
1599 O2, dyn_cast<Instruction>(O1), /*OrAt*/ true)) in aliasCheck()
1602 O1, dyn_cast<Instruction>(O2), /*OrAt*/ true)) in aliasCheck()
1613 O1, getMinimalExtentFrom(*V2, V2Size, DL, NullIsValidLocation), DL, in aliasCheck()
1618 for (AssumptionCache::ResultElem &Elem : AC.assumptionsFor(O1)) { in aliasCheck()
1648 if ((O1 == HintO1 && O2 == HintO2) || (O1 == HintO2 && O2 == HintO1)) { in aliasCheck()
1711 aliasCheckRecursive(V1, V1Size, V2, V2Size, AAQI, O1, O2); in aliasCheck()
1765 AAQueryInfo &AAQI, const Value *O1, const Value *O2) { in aliasCheckRecursive() argument
1767 AliasResult Result = aliasGEP(GV1, V1Size, V2, V2Size, O1, O2, AAQI); in aliasCheckRecursive()
1771 AliasResult Result = aliasGEP(GV2, V2Size, V1, V1Size, O2, O1, AAQI); in aliasCheckRecursive()
1801 if (O1 == O2) { in aliasCheckRecursive()
1804 (isObjectSize(O1, V1Size.getValue(), DL, TLI, NullIsValidLocation) || in aliasCheckRecursive()