Lines Matching refs:ReachSet
383 const ReachabilitySet &ReachSet) { in populateAliasMap() argument
384 for (const auto &OuterMapping : ReachSet.value_mappings()) { in populateAliasMap()
404 const SmallVectorImpl<Value *> &RetVals, const ReachabilitySet &ReachSet) { in populateExternalRelations() argument
430 for (const auto &OuterMapping : ReachSet.value_mappings()) { in populateExternalRelations()
501 const ReachabilitySet &ReachSet, const AliasAttrMap &AMap) { in FunctionInfo() argument
504 populateAliasMap(AliasMap, ReachSet); in FunctionInfo()
505 populateExternalRelations(Summary.RetParamRelations, Fn, RetVals, ReachSet); in FunctionInfo()
596 MatchState State, ReachabilitySet &ReachSet, in propagate() argument
600 if (ReachSet.insert(From, To, State)) in propagate()
605 ReachabilitySet &ReachSet, in initializeWorkList() argument
618 propagate(Edge.Other, Src, MatchState::FlowFromReadOnly, ReachSet, in initializeWorkList()
620 propagate(Src, Edge.Other, MatchState::FlowToWriteOnly, ReachSet, in initializeWorkList()
636 ReachabilitySet &ReachSet, AliasMemSet &MemSet, in processWorkListItem() argument
657 MatchState::FlowFromMemAliasNoReadWrite, ReachSet, WorkList); in processWorkListItem()
658 for (const auto &Mapping : ReachSet.reachableValueAliases(*FromNodeBelow)) { in processWorkListItem()
662 propagate(Src, *ToNodeBelow, ToState, ReachSet, WorkList); in processWorkListItem()
684 propagate(FromNode, AssignEdge.Other, State, ReachSet, WorkList); in processWorkListItem()
688 propagate(FromNode, RevAssignEdge.Other, State, ReachSet, WorkList); in processWorkListItem()
693 propagate(FromNode, MemAlias, State, ReachSet, WorkList); in processWorkListItem()
735 const ReachabilitySet &ReachSet) { in buildAttrMap() argument
757 for (const auto &Mapping : ReachSet.reachableValueAliases(Dst)) { in buildAttrMap()
788 ReachabilitySet ReachSet; in buildInfoFrom() local
792 initializeWorkList(WorkList, ReachSet, Graph); in buildInfoFrom()
796 processWorkListItem(Item, Graph, ReachSet, MemSet, NextList); in buildInfoFrom()
804 auto IValueAttrMap = buildAttrMap(Graph, ReachSet); in buildInfoFrom()
806 return FunctionInfo(Fn, GraphBuilder.getReturnValues(), ReachSet, in buildInfoFrom()