Lines Matching defs:Succ1

1942 // - Succ1 is non-null iff the sole/taken target is an outgoing block.
1954   BasicBlock *Succ1 = nullptr;
1961     Succ1 = Branch->getSuccessor(1);
1962     Succ1 = Outgoing.count(Succ1) ? Succ1 : nullptr;
1963     assert(Succ0 || Succ1);
1964     if (Succ0 && !Succ1) {
1966     } else if (Succ1 && !Succ0) {
1974   assert(Succ0 || Succ1);
1975   return std::make_tuple(Condition, Succ0, Succ1);
2017     BasicBlock *Succ1;
2018     std::tie(Condition, Succ0, Succ1) =
2021     if (Succ0 && Succ1) {
2024       auto Succ1Iter = find(Outgoing, Succ1);
2033       auto SuccIter = Succ0 ? find(Outgoing, Succ0) : find(Outgoing, Succ1);
2074     BasicBlock *Succ1;
2075     std::tie(Condition, Succ0, Succ1) =
2079     // Succ0 and Succ1 in the set of outgoing blocks. The predicates
2080     // for Succ0 and Succ1 complement each other. If Succ0 is visited
2083     // control must reach Succ1, which means that the incoming value of
2084     // the predicate from `In` is true for Succ1.
2089       if (Out != Succ0 && Out != Succ1) {
2091       } else if (!Succ0 || !Succ1 || OneSuccessorDone) {
2096         assert(Succ0 && Succ1);