reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1271 if (TrueBBI.IsDone && FalseBBI.IsDone) { 1285 bool FNeedSub = !FalseBBI.Predicate.empty(); 1298 bool FalseFeasible = FeasibilityAnalysis(FalseBBI, RevCond, 1304 if (ValidDiamond(TrueBBI, FalseBBI, Dups, Dups2, 1320 } else if (ValidForkedDiamond(TrueBBI, FalseBBI, Dups, Dups2, 1341 if (ValidTriangle(TrueBBI, FalseBBI, false, Dups, Prediction) && 1357 if (ValidTriangle(TrueBBI, FalseBBI, true, Dups, Prediction) && 1384 if (ValidTriangle(FalseBBI, TrueBBI, false, Dups, 1386 MeetIfcvtSizeLimit(*FalseBBI.BB, 1387 FalseBBI.NonPredSize + FalseBBI.ExtraCost, 1387 FalseBBI.NonPredSize + FalseBBI.ExtraCost, 1388 FalseBBI.ExtraCost2, Prediction.getCompl()) && 1389 FeasibilityAnalysis(FalseBBI, RevCond, true)) { 1395 if (ValidTriangle(FalseBBI, TrueBBI, true, Dups, 1397 MeetIfcvtSizeLimit(*FalseBBI.BB, 1398 FalseBBI.NonPredSize + FalseBBI.ExtraCost, 1398 FalseBBI.NonPredSize + FalseBBI.ExtraCost, 1399 FalseBBI.ExtraCost2, Prediction.getCompl()) && 1400 FeasibilityAnalysis(FalseBBI, RevCond, true, true)) { 1406 if (ValidSimple(FalseBBI, Dups, Prediction.getCompl()) && 1407 MeetIfcvtSizeLimit(*FalseBBI.BB, 1408 FalseBBI.NonPredSize + FalseBBI.ExtraCost, 1408 FalseBBI.NonPredSize + FalseBBI.ExtraCost, 1409 FalseBBI.ExtraCost2, Prediction.getCompl()) && 1410 FeasibilityAnalysis(FalseBBI, RevCond)) {