Lines Matching refs:MemBehaviorAA
3143 const AAMemoryBehavior &MemBehaviorAA, in mayAliasWithArgument()
3165 bool IsReadOnly = MemBehaviorAA.isAssumedReadOnly(); in mayAliasWithArgument()
3167 A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL); in mayAliasWithArgument()
3188 const AAMemoryBehavior &MemBehaviorAA, in isKnownNoAliasDueToNoAliasPreservation()
3281 if (mayAliasWithArgument(A, AAR, MemBehaviorAA, CB, OtherArgNo)) in isKnownNoAliasDueToNoAliasPreservation()
3291 auto &MemBehaviorAA = in updateImpl() local
3293 if (MemBehaviorAA.isAssumedReadNone()) { in updateImpl()
3294 A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL); in updateImpl()
3303 if (isKnownNoAliasDueToNoAliasPreservation(A, AAR, MemBehaviorAA, in updateImpl()
7294 const auto &MemBehaviorAA = A.getAAFor<AAMemoryBehavior>( in updateImpl() local
7296 intersectAssumedBits(MemBehaviorAA.getAssumed()); in updateImpl()
7459 const auto &MemBehaviorAA = in analyzeUseIn() local
7463 intersectAssumedBits(MemBehaviorAA.getAssumed()); in analyzeUseIn()
7937 const auto &MemBehaviorAA = in updateImpl() local
7939 if (MemBehaviorAA.isAssumedReadNone()) { in updateImpl()
7940 if (MemBehaviorAA.isKnownReadNone()) in updateImpl()
7944 A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL); in updateImpl()