maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[analyzer] More internal stats collection. 

llvm-svn: 162687
This commit is contained in:
Anna Zaks 2012-08-27 18:38:32 +00:00
parent 10c82cee04
commit 7d2babc046
2 changed files with 18 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
View File

@ -28,6 +28,9 @@ using namespace ento;
STATISTIC(NumOfDynamicDispatchPathSplits, STATISTIC(NumOfDynamicDispatchPathSplits,
"The # of times we split the path due to imprecise dynamic dispatch info"); "The # of times we split the path due to imprecise dynamic dispatch info");
STATISTIC(NumInlinedCalls,
"The # of times we inlined a call");
void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) { void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) {
// Get the entry block in the CFG of the callee. // Get the entry block in the CFG of the callee.
const StackFrameContext *calleeCtx = CE.getCalleeContext(); const StackFrameContext *calleeCtx = CE.getCalleeContext();
@ -442,6 +445,8 @@ bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D,
// added onto the work list so remove it from the node builder. // added onto the work list so remove it from the node builder.
Bldr.takeNodes(Pred); Bldr.takeNodes(Pred);
NumInlinedCalls++;
return true; return true;
} }

17
clang/utils/analyzer/SumTimerInfo.py
View File

@ -28,6 +28,8 @@ if __name__ == '__main__':
ReachableBlocks = 0 ReachableBlocks = 0
ReachedMaxSteps = 0 ReachedMaxSteps = 0
NumSteps = 0 NumSteps = 0
NumInlinedCallSites = 0
NumBifurcatedCallSites = 0
MaxCFGSize = 0 MaxCFGSize = 0
Mode = 1 Mode = 1
for line in f: for line in f:
@ -39,25 +41,31 @@ if __name__ == '__main__':
Count = Count + 1 Count = Count + 1
if (float(s[6]) > MaxTime) : if (float(s[6]) > MaxTime) :
MaxTime = float(s[6]) MaxTime = float(s[6])
if ((("warning generated." in line) or ("warnings generated." in line)) and Mode == 1) : if ((("warning generated." in line) or ("warnings generated" in line)) and Mode == 1) :
s = line.split() s = line.split()
Warnings = Warnings + int(s[0]) Warnings = Warnings + int(s[0])
if (("The # of functions analysed (as top level)." in line) and (Mode == 1)) : if (("The # of functions analysed (as top level)" in line) and (Mode == 1)) :
s = line.split() s = line.split()
FunctionsAnalyzed = FunctionsAnalyzed + int(s[0]) FunctionsAnalyzed = FunctionsAnalyzed + int(s[0])
if (("The % of reachable basic blocks" in line) and (Mode == 1)) : if (("The % of reachable basic blocks" in line) and (Mode == 1)) :
s = line.split() s = line.split()
ReachableBlocks = ReachableBlocks + int(s[0]) ReachableBlocks = ReachableBlocks + int(s[0])
if (("The # of times we reached the max number of steps." in line) and (Mode == 1)) : if (("The # of times we reached the max number of steps" in line) and (Mode == 1)) :
s = line.split() s = line.split()
ReachedMaxSteps = ReachedMaxSteps + int(s[0]) ReachedMaxSteps = ReachedMaxSteps + int(s[0])
if (("The maximum number of basic blocks in a function" in line) and (Mode == 1)) : if (("The maximum number of basic blocks in a function" in line) and (Mode == 1)) :
s = line.split() s = line.split()
if (MaxCFGSize < int(s[0])) : if (MaxCFGSize < int(s[0])) :
MaxCFGSize = int(s[0]) MaxCFGSize = int(s[0])
if (("The # of steps executed." in line) and (Mode == 1)) : if (("The # of steps executed" in line) and (Mode == 1)) :
s = line.split() s = line.split()
NumSteps = NumSteps + int(s[0]) NumSteps = NumSteps + int(s[0])
if (("The # of times we inlined a call" in line) and (Mode == 1)) :
s = line.split()
NumInlinedCallSites = NumInlinedCallSites + int(s[0])
if (("The # of times we split the path due to imprecise dynamic dispatch info" in line) and (Mode == 1)) :
s = line.split()
NumBifurcatedCallSites = NumBifurcatedCallSites + int(s[0])
if ((") Total" in line) and (Mode == 1)) : if ((") Total" in line) and (Mode == 1)) :
s = line.split() s = line.split()
TotalTime = TotalTime + float(s[6]) TotalTime = TotalTime + float(s[6])
@ -69,6 +77,7 @@ if __name__ == '__main__':
print "Reachable Blocks %d" % (ReachableBlocks) print "Reachable Blocks %d" % (ReachableBlocks)
print "Reached Max Steps %d" % (ReachedMaxSteps) print "Reached Max Steps %d" % (ReachedMaxSteps)
print "Number of Steps %d" % (NumSteps) print "Number of Steps %d" % (NumSteps)
print "Number of Inlined calls %d (bifurcated %d)" % (NumInlinedCallSites, NumBifurcatedCallSites)
print "MaxTime %f" % (MaxTime) print "MaxTime %f" % (MaxTime)
print "TotalTime %f" % (TotalTime) print "TotalTime %f" % (TotalTime)
print "Max CFG Size %d" % (MaxCFGSize) print "Max CFG Size %d" % (MaxCFGSize)