search for: brsecondsucc

...e(); >   assert(ExitBr->isConditional() && "If unconditional, it can't be in loop!"); > > +  BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> > +                                            getSuccessor(0)->getTerminator()); > +  BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> > +                                            getSuccessor(1)->getTerminator()); > + >   // At this point, we know we have a conditional branch that > determines whether >   // the loop is exited.  However, we don't know if the branch...

...handle switch instructions (with a single exit) BranchInst *ExitBr = dyn_cast<BranchInst>(ExitingBlock->getTerminator()); + BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> + getSuccessor(0)->getTerminator()); + BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> + getSuccessor(1)->getTerminator()); + if (ExitBr == 0) return getCouldNotCompute(); assert(ExitBr->isConditional() && "If unconditional, it can't be in loop!"); @@ -4315,8 +4320,1...

...eturn getCouldNotCompute(); assert(ExitBr->isConditional() && "If unconditional, it can't be in loop!"); + BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> + getSuccessor(0)->getTerminator()); + BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> + getSuccessor(1)->getTerminator()); + // At this point, we know we have a conditional branch that determines whether // the loop is exited. However, we don't know if the branch is executed each //...

...tBr->isConditional() && "If unconditional, it can't be in >> > loop!"); >> > >> > +  BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> >> > + >> >  getSuccessor(0)->getTerminator()); >> > +  BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> >> > + >> >  getSuccessor(1)->getTerminator()); >> > + >> >   // At this point, we know we have a conditional branch that >> > determines whether >> >   // the loop is exited.  However, we don't kn...

...tCompute(); > > assert(ExitBr->isConditional() && "If unconditional, it can't be in > loop!"); > > > > + BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> > > + > getSuccessor(0)->getTerminator()); > > + BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> > > + > getSuccessor(1)->getTerminator()); > > + > > // At this point, we know we have a conditional branch that > > determines whether > > // the loop is exited. However, we don't know if the branch is > exec...

...nal, it can't be in >> >> > loop!"); >> >> > >> >> > +  BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> >> >> > + >> >> >  getSuccessor(0)->getTerminator()); >> >> > +  BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> >> >> > + >> >> >  getSuccessor(1)->getTerminator()); >> >> > + >> >> >   // At this point, we know we have a conditional branch that >> >> > determines whether >> >> &...

...amp; "If unconditional, it can't be in > >> > loop!"); > >> > > >> > + BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> > >> > + > >> > getSuccessor(0)->getTerminator()); > >> > + BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> > >> > + > >> > getSuccessor(1)->getTerminator()); > >> > + > >> > // At this point, we know we have a conditional branch that > >> > determines whether > >> > // the loop is exi...

...>>> >> > loop!"); >>> >> > >>> >> > +  BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> >>> >> > + >>> >> >  getSuccessor(0)->getTerminator()); >>> >> > +  BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> >>> >> > + >>> >> >  getSuccessor(1)->getTerminator()); >>> >> > + >>> >> >   // At this point, we know we have a conditional branch that >>> >> > determines whether...

...; > loop!"); >>>> >> > >>>> >> > +  BranchInst* BrFirstSucc = dyn_cast<BranchInst>(ExitBr-> >>>> >> > + >>>> >> >  getSuccessor(0)->getTerminator()); >>>> >> > +  BranchInst* BrSecondSucc = dyn_cast<BranchInst>(ExitBr-> >>>> >> > + >>>> >> >  getSuccessor(1)->getTerminator()); >>>> >> > + >>>> >> >   // At this point, we know we have a conditional branch that >>>> >> &gt...