lib/CodeGen/IfConversion.cpp

188     bool ValidTriangle(BBInfo &TrueBBI, BBInfo &FalseBBI,
191     bool ValidDiamond(BBInfo &TrueBBI, BBInfo &FalseBBI,
497 bool IfConverter::ValidTriangle(BBInfo &TrueBBI, BBInfo &FalseBBI,
533   return TExit && TExit == FalseBBI.BB;
538 bool IfConverter::ValidDiamond(BBInfo &TrueBBI, BBInfo &FalseBBI,
542       FalseBBI.IsBeingAnalyzed || FalseBBI.IsDone)
546   MachineBasicBlock *FT = FalseBBI.TrueBB;
550   if (!FT && blockAlwaysFallThrough(FalseBBI))
551     FT = getNextBlock(FalseBBI.BB);
554   if (TT == NULL && (TrueBBI.IsBrAnalyzable || FalseBBI.IsBrAnalyzable))
556   if  (TrueBBI.BB->pred_size() > 1 || FalseBBI.BB->pred_size() > 1)
560   if (TrueBBI.FalseBB || FalseBBI.FalseBB ||
561       (TrueBBI.ClobbersPred && FalseBBI.ClobbersPred))
566   MachineBasicBlock::iterator FIB = FalseBBI.BB->begin();
568   MachineBasicBlock::iterator FIE = FalseBBI.BB->end();
790   BBInfo &FalseBBI = AnalyzeBlock(BBI.FalseBB, Tokens);
792   if (TrueBBI.IsDone && FalseBBI.IsDone) {
804   bool FNeedSub = !FalseBBI.Predicate.empty();
809   if (CanRevCond && ValidDiamond(TrueBBI, FalseBBI, Dups, Dups2) &&
812                          *FalseBBI.BB, (FalseBBI.NonPredSize - (Dups + Dups2) +
813                                         FalseBBI.ExtraCost),FalseBBI.ExtraCost2,
816       FeasibilityAnalysis(FalseBBI, RevCond)) {
830   if (ValidTriangle(TrueBBI, FalseBBI, false, Dups, Prediction) &&
845   if (ValidTriangle(TrueBBI, FalseBBI, true, Dups, Prediction) &&
870     if (ValidTriangle(FalseBBI, TrueBBI, false, Dups,
872         MeetIfcvtSizeLimit(*FalseBBI.BB,
873                            FalseBBI.NonPredSize + FalseBBI.ExtraCost,
874                            FalseBBI.ExtraCost2, Prediction.getCompl()) &&
875         FeasibilityAnalysis(FalseBBI, RevCond, true)) {
880     if (ValidTriangle(FalseBBI, TrueBBI, true, Dups,
882         MeetIfcvtSizeLimit(*FalseBBI.BB,
883                            FalseBBI.NonPredSize + FalseBBI.ExtraCost,
884                            FalseBBI.ExtraCost2, Prediction.getCompl()) &&
885         FeasibilityAnalysis(FalseBBI, RevCond, true, true)) {
890     if (ValidSimple(FalseBBI, Dups, Prediction.getCompl()) &&
891         MeetIfcvtSizeLimit(*FalseBBI.BB,
892                            FalseBBI.NonPredSize + FalseBBI.ExtraCost,
893                            FalseBBI.ExtraCost2, Prediction.getCompl()) &&
894         FeasibilityAnalysis(FalseBBI, RevCond)) {
1025   BBInfo &FalseBBI = BBAnalysis[BBI.FalseBB->getNumber()];
1027   BBInfo *NextBBI = &FalseBBI;
1111   BBInfo &FalseBBI = BBAnalysis[BBI.FalseBB->getNumber()];
1113   BBInfo *NextBBI = &FalseBBI;
1234   BBInfo &FalseBBI = BBAnalysis[BBI.FalseBB->getNumber()];
1239       TailBB = FalseBBI.TrueBB;
1243   if (TrueBBI.IsDone || FalseBBI.IsDone ||
1245       FalseBBI.BB->pred_size() > 1) {
1249     FalseBBI.IsAnalyzed = false;
1253   if (TrueBBI.BB->hasAddressTaken() || FalseBBI.BB->hasAddressTaken())
1261   BBInfo *BBI2 = &FalseBBI;
1270   if (TrueBBI.ClobbersPred && !FalseBBI.ClobbersPred)
1272   else if (TrueBBI.ClobbersPred == FalseBBI.ClobbersPred) {
1273     if (TrueBBI.NonPredSize > FalseBBI.NonPredSize)
1451   BBI.IsDone = TrueBBI.IsDone = FalseBBI.IsDone = true;