Lines Matching refs:DI
146 void ProfileVerifierPassT<FType, BType>::debugEntry (DetailedBlockInfo *DI) {
147 dbgs() << "TROUBLE: Block " << DI->BB->getName() << " in "
148 << DI->BB->getParent()->getName() << ":"
149 << "BBWeight=" << format("%20.20g",DI->BBWeight) << ","
150 << "inWeight=" << format("%20.20g",DI->inWeight) << ","
151 << "inCount=" << DI->inCount << ","
152 << "outWeight=" << format("%20.20g",DI->outWeight) << ","
153 << "outCount=" << DI->outCount << "\n";
156 printDebugInfo(&(DI->BB->getParent()->getEntryBlock()));
221 DetailedBlockInfo *DI) {
223 DEBUG(debugEntry(DI));
224 dbgs() << "Block " << DI->BB->getName() << " in Function "
225 << DI->BB->getParent()->getName() << ": ";
241 DetailedBlockInfo DI;
242 DI.BB = BB;
243 DI.outCount = DI.inCount = 0;
244 DI.inWeight = DI.outWeight = 0;
251 DI.inWeight += ReadOrAssert(PI->getEdge(0,BB));
252 DI.inCount++;
256 DI.inWeight += ReadOrAssert(PI->getEdge(*bpi,BB));
257 DI.inCount++;
269 DI.outWeight += w;
270 DI.outCount++;
274 DI.outWeight += ReadOrAssert(PI->getEdge(BB,*bbi));
275 DI.outCount++;
280 DI.BBWeight = PI->getExecutionCount(BB);
281 CheckValue(DI.BBWeight == ProfileInfoT<FType, BType>::MissingValue,
282 "BasicBlock has missing value", &DI);
283 CheckValue(DI.BBWeight < 0,
284 "BasicBlock has negative value", &DI);
288 if (DI.outWeight > DI.inWeight) {
301 if (DI.inWeight > DI.outWeight) {
318 if (DI.inCount > 0 && DI.outCount == 0) {
321 CheckValue(!Equals(DI.inWeight,DI.BBWeight),
322 "inWeight and BBWeight do not match", &DI);
324 } else if (DI.inCount == 0 && DI.outCount > 0) {
327 CheckValue(!Equals(DI.BBWeight,DI.outWeight),
328 "BBWeight and outWeight do not match", &DI);
331 if (DI.inWeight > DI.outWeight && !isExitReachable)
332 CheckValue(!Equals(DI.inWeight,DI.outWeight),
333 "inWeight and outWeight do not match", &DI);
334 if (DI.inWeight < DI.outWeight && !isSetJmpTarget)
335 CheckValue(!Equals(DI.inWeight,DI.outWeight),
336 "inWeight and outWeight do not match", &DI);
