Lines Matching defs:DI

145   void ProfileVerifierPassT<FType, BType>::debugEntry (DetailedBlockInfo *DI) {
146 dbgs() << "TROUBLE: Block " << DI->BB->getName() << " in "
147 << DI->BB->getParent()->getName() << ":"
148 << "BBWeight=" << format("%20.20g",DI->BBWeight) << ","
149 << "inWeight=" << format("%20.20g",DI->inWeight) << ","
150 << "inCount=" << DI->inCount << ","
151 << "outWeight=" << format("%20.20g",DI->outWeight) << ","
152 << "outCount=" << DI->outCount << "\n";
155 printDebugInfo(&(DI->BB->getParent()->getEntryBlock()));
220 DetailedBlockInfo *DI) {
222 DEBUG(debugEntry(DI));
223 dbgs() << "Block " << DI->BB->getName() << " in Function "
224 << DI->BB->getParent()->getName() << ": ";
240 DetailedBlockInfo DI;
241 DI.BB = BB;
242 DI.outCount = DI.inCount = 0;
243 DI.inWeight = DI.outWeight = 0;
250 DI.inWeight += ReadOrAssert(PI->getEdge(0,BB));
251 DI.inCount++;
255 DI.inWeight += ReadOrAssert(PI->getEdge(*bpi,BB));
256 DI.inCount++;
268 DI.outWeight += w;
269 DI.outCount++;
273 DI.outWeight += ReadOrAssert(PI->getEdge(BB,*bbi));
274 DI.outCount++;
279 DI.BBWeight = PI->getExecutionCount(BB);
280 CheckValue(DI.BBWeight == ProfileInfoT<FType, BType>::MissingValue,
281 "BasicBlock has missing value", &DI);
282 CheckValue(DI.BBWeight < 0,
283 "BasicBlock has negative value", &DI);
287 if (DI.outWeight > DI.inWeight) {
300 if (DI.inWeight > DI.outWeight) {
317 if (DI.inCount > 0 && DI.outCount == 0) {
320 CheckValue(!Equals(DI.inWeight,DI.BBWeight),
321 "inWeight and BBWeight do not match", &DI);
323 } else if (DI.inCount == 0 && DI.outCount > 0) {
326 CheckValue(!Equals(DI.BBWeight,DI.outWeight),
327 "BBWeight and outWeight do not match", &DI);
330 if (DI.inWeight > DI.outWeight && !isExitReachable)
331 CheckValue(!Equals(DI.inWeight,DI.outWeight),
332 "inWeight and outWeight do not match", &DI);
333 if (DI.inWeight < DI.outWeight && !isSetJmpTarget)
334 CheckValue(!Equals(DI.inWeight,DI.outWeight),
335 "inWeight and outWeight do not match", &DI);