Lines Matching refs:MemBehaviorAA
3830 const AAMemoryBehavior &MemBehaviorAA, in mayAliasWithArgument()
3852 bool IsReadOnly = MemBehaviorAA.isAssumedReadOnly(); in mayAliasWithArgument()
3855 A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL); in mayAliasWithArgument()
3876 Attributor &A, AAResults *&AAR, const AAMemoryBehavior &MemBehaviorAA) { in isKnownNoAliasDueToNoAliasPreservation()
3963 if (mayAliasWithArgument(A, AAR, MemBehaviorAA, CB, OtherArgNo)) in isKnownNoAliasDueToNoAliasPreservation()
3973 auto *MemBehaviorAA = in updateImpl() local
3975 if (MemBehaviorAA && MemBehaviorAA->isAssumedReadNone()) { in updateImpl()
3976 A.recordDependence(*MemBehaviorAA, *this, DepClassTy::OPTIONAL); in updateImpl()
3990 if (MemBehaviorAA && in updateImpl()
3991 isKnownNoAliasDueToNoAliasPreservation(A, AAR, *MemBehaviorAA)) { in updateImpl()
8068 const auto *MemBehaviorAA = A.getAAFor<AAMemoryBehavior>( in updateImpl() local
8070 if (MemBehaviorAA) { in updateImpl()
8071 intersectAssumedBits(MemBehaviorAA->getAssumed()); in updateImpl()
8243 const auto *MemBehaviorAA = in analyzeUseIn() local
8245 if (!MemBehaviorAA) in analyzeUseIn()
8249 intersectAssumedBits(MemBehaviorAA->getAssumed()); in analyzeUseIn()
8749 const auto *MemBehaviorAA = in updateImpl() local
8751 if (MemBehaviorAA && MemBehaviorAA->isAssumedReadNone()) { in updateImpl()
8752 if (MemBehaviorAA->isKnownReadNone()) in updateImpl()
8756 A.recordDependence(*MemBehaviorAA, *this, DepClassTy::OPTIONAL); in updateImpl()