Lines Matching defs:ARC

621   LazyCallGraph::RefSCC &ARC = *CG.lookupRefSCC(A);
625 EXPECT_TRUE(ARC.isParentOf(BRC));
627 EXPECT_TRUE(ARC.isParentOf(CRC));
629 EXPECT_FALSE(ARC.isParentOf(DRC));
631 EXPECT_TRUE(ARC.isAncestorOf(DRC));
633 EXPECT_FALSE(DRC.isChildOf(ARC));
635 EXPECT_TRUE(DRC.isDescendantOf(ARC));
643 ARC.insertOutgoingEdge(A, D, LazyCallGraph::Edge::Call);
652 EXPECT_TRUE(ARC.isParentOf(DRC));
654 EXPECT_TRUE(ARC.isAncestorOf(DRC));
656 EXPECT_TRUE(DRC.isChildOf(ARC));
658 EXPECT_TRUE(DRC.isDescendantOf(ARC));
664 EXPECT_EQ(&ARC, CG.lookupRefSCC(A));
669 ARC.switchOutgoingEdgeToRef(A, D);
673 EXPECT_TRUE(ARC.isParentOf(DRC));
675 EXPECT_TRUE(ARC.isAncestorOf(DRC));
677 EXPECT_TRUE(DRC.isChildOf(ARC));
679 EXPECT_TRUE(DRC.isDescendantOf(ARC));
685 EXPECT_EQ(&ARC, CG.lookupRefSCC(A));
690 ARC.switchOutgoingEdgeToCall(A, D);
694 EXPECT_TRUE(ARC.isParentOf(DRC));
696 EXPECT_TRUE(ARC.isAncestorOf(DRC));
698 EXPECT_TRUE(DRC.isChildOf(ARC));
700 EXPECT_TRUE(DRC.isDescendantOf(ARC));
706 EXPECT_EQ(&ARC, CG.lookupRefSCC(A));
711 ARC.removeOutgoingEdge(A, D);
715 EXPECT_FALSE(ARC.isParentOf(DRC));
717 EXPECT_TRUE(ARC.isAncestorOf(DRC));
719 EXPECT_FALSE(DRC.isChildOf(ARC));
721 EXPECT_TRUE(DRC.isDescendantOf(ARC));
727 EXPECT_EQ(&ARC, CG.lookupRefSCC(A));
771 LazyCallGraph::RefSCC &ARC = *CG.lookupRefSCC(A1);
775 ASSERT_EQ(&ARC, CG.lookupRefSCC(A2));
776 ASSERT_EQ(&ARC, CG.lookupRefSCC(A3));
810 EXPECT_EQ(&ARC, CG.lookupRefSCC(A1));
811 EXPECT_EQ(&ARC, CG.lookupRefSCC(A2));
812 EXPECT_EQ(&ARC, CG.lookupRefSCC(A3));
824 EXPECT_TRUE(ARC.isParentOf(CRC));
834 EXPECT_EQ(&ARC, &*I) << "Actual RefSCC: " << *I;
863 LazyCallGraph::RefSCC &ARC = *CG.lookupRefSCC(A1);
867 ASSERT_EQ(&ARC, CG.lookupRefSCC(A2));
868 ASSERT_EQ(&ARC, CG.lookupRefSCC(A3));
902 EXPECT_EQ(&ARC, CG.lookupRefSCC(A1));
903 EXPECT_EQ(&ARC, CG.lookupRefSCC(A2));
904 EXPECT_EQ(&ARC, CG.lookupRefSCC(A3));
916 EXPECT_TRUE(ARC.isParentOf(CRC));
926 EXPECT_EQ(&ARC, &*I) << "Actual RefSCC: " << *I;
966 LazyCallGraph::RefSCC &ARC = *CG.lookupRefSCC(A);
972 auto MergedRCs = ARC.insertIncomingRefEdge(D, A);
984 EXPECT_EQ(&ARC, CG.lookupRefSCC(A));
985 EXPECT_EQ(&ARC, CG.lookupRefSCC(B));
986 EXPECT_EQ(&ARC, CG.lookupRefSCC(C));
987 EXPECT_EQ(&ARC, CG.lookupRefSCC(D));
990 EXPECT_EQ(4, ARC.size());
991 EXPECT_EQ(&DC, &ARC[0]);
992 EXPECT_EQ(&CC, &ARC[1]);
993 EXPECT_EQ(&BC, &ARC[2]);
994 EXPECT_EQ(&AC, &ARC[3]);
999 EXPECT_EQ(&ARC, &*I) << "Actual RefSCC: " << *I;
1039 LazyCallGraph::RefSCC &ARC = *CG.lookupRefSCC(A);
1046 auto MergedRCs = ARC.insertIncomingRefEdge(D, A);
1058 EXPECT_EQ(&ARC, CG.lookupRefSCC(A));
1059 EXPECT_EQ(&ARC, CG.lookupRefSCC(B));
1060 EXPECT_EQ(&ARC, CG.lookupRefSCC(C));
1061 EXPECT_EQ(&ARC, CG.lookupRefSCC(D));
1066 EXPECT_EQ(&ARC, &*I) << "Actual RefSCC: " << *I;
1109 LazyCallGraph::RefSCC &ARC = *CG.lookupRefSCC(A1);
1113 ASSERT_EQ(&ARC, CG.lookupRefSCC(A2));
1114 ASSERT_EQ(&ARC, CG.lookupRefSCC(A3));
1193 EXPECT_EQ(&ARC, CG.lookupRefSCC(A1));
1194 EXPECT_EQ(&ARC, CG.lookupRefSCC(A2));
1195 EXPECT_EQ(&ARC, CG.lookupRefSCC(A3));
1215 EXPECT_EQ(&ARC, &*I) << "Actual RefSCC: " << *I;
1367 LazyCallGraph::RefSCC &ARC = *NewRCs[1];
1368 EXPECT_EQ(&ARC, CG.lookupRefSCC(A));
1369 EXPECT_EQ(1, std::distance(ARC.begin(), ARC.end()));
1377 EXPECT_EQ(&ARC, &*J);