1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
|
/* NSC -- new Scala compiler
* Copyright 2005-2011 LAMP/EPFL
* @author Martin Odersky
*/
package scala.tools.nsc
package util
class Statistics extends scala.reflect.internal.util.Statistics {
var nodeByType = new ClassCounts
var microsByType = new ClassCounts
var visitsByType = new ClassCounts
var pendingTreeTypes: List[Class[_]] = List()
var typerTime: Long = 0L
val typedApplyCount = new Counter
val typedIdentCount = new Counter
val typedSelectCount = new Counter
val typerNanos = new Timer
val classReadNanos = new Timer
val failedApplyNanos = new Timer
val failedOpEqNanos = new Timer
val failedSilentNanos = new Timer
val implicitSearchCount = new Counter
val implicitNanos = new Timer
val oftypeImplicitHits = new Counter
val inscopeImplicitHits = new Counter
val triedImplicits = new Counter
val plausiblyCompatibleImplicits = new Counter
val matchingImplicits = new Counter
val typedImplicits = new Counter
val foundImplicits = new Counter
val inscopeSucceedNanos = new Timer
val inscopeFailNanos = new Timer
val oftypeSucceedNanos = new Timer
val oftypeFailNanos = new Timer
val implicitCacheHits = new Counter
val implicitCacheMisses = new Counter
val improvesCount = new Counter
val improvesCachedCount = new Counter
val subtypeAppInfos = new SubCounter(subtypeCount)
val subtypeImprovCount = new SubCounter(subtypeCount)
val subtypeETNanos = new Timer
val matchesPtNanos = new Timer
val isReferencedNanos = new Timer
val ctr1 = new Counter
val ctr2 = new Counter
val ctr3 = new Counter
val ctr4 = new Counter
val counter1: SubCounter = new SubCounter(subtypeCount)
val counter2: SubCounter = new SubCounter(subtypeCount)
val timer1: Timer = new Timer
val timer2: Timer = new Timer
val macroExpandCount = new Counter
val macroExpandNanos = new Timer
val patmatNanos = new Timer
val patmatAnaDPLL = new Timer
val patmatAnaVarEq = new Timer
val patmatCNF = new Timer
val patmatAnaExhaust = new Timer
val patmatAnaReach = new Timer
val patmatCNFSizes = new collection.mutable.HashMap[Int, Int] withDefaultValue 0
}
object Statistics extends Statistics
abstract class StatisticsInfo {
import Statistics._
val global: Global
import global._
var phasesShown = List("parser", "typer", "patmat", "erasure", "cleanup")
def countNodes(tree: Tree, counts: ClassCounts) {
for (t <- tree) counts(t.getClass) += 1
}
def showRelative(base: Long)(value: Long) =
value+showPercent(value, base)
def showRelTyper(timer: Timer) =
timer+showPercent(timer.nanos, typerNanos.nanos)
def showRelPatmat(timer: Timer) =
timer+showPercent(timer.nanos, patmatNanos.nanos)
def showCounts[T](counts: scala.collection.mutable.Map[T, Int]) =
counts.toSeq.sortWith(_._2 > _._2).map {
case (cls: Class[_], cnt) =>
cls.toString.substring(cls.toString.lastIndexOf("$") + 1)+": "+cnt
case (o, cnt) =>
o.toString +": "+cnt
}
def print(phase: Phase) = if (phasesShown contains phase.name) {
inform("*** Cumulative statistics at phase " + phase)
inform("#created tree nodes : " + nodeCount)
inform("#created tree nodes by type: "+showCounts(nodeByType))
if (phase.name != "parser") {
val counts = new ClassCounts
for (u <- currentRun.units; t <- u.body) counts(t.getClass) += 1
inform("#retained nodes : " + counts.values.sum)
inform("#retained nodes by type : " + showCounts(counts))
inform("#typechecked identifiers : " + typedIdentCount)
inform("#typechecked selections : " + typedSelectCount)
inform("#typechecked applications: " + typedApplyCount)
inform("#raw type creations : " + rawTypeCount)
inform(" of which in failed : " + rawTypeFailed)
inform(" of which in implicits : " + rawTypeImpl)
inform("#unique types : " + uniqueTypeCount)
inform("#symbols : " + symbolCount)
inform(" of which type symbols : " + typeSymbolCount)
inform(" of which class symbols : " + classSymbolCount)
inform("#base type seqs : " + baseTypeSeqCount)
inform("avg base type seq length : " + baseTypeSeqLenTotal.value.toFloat / baseTypeSeqCount.value)
inform("#singleton base type seqs: " + singletonBaseTypeSeqCount)
inform("#compound base type seqs : " + compoundBaseTypeSeqCount)
inform("#typeref base type seqs : " + typerefBaseTypeSeqCount)
inform("#findMember ops : " + findMemberCount)
inform(" of which in failed : " + findMemberFailed)
inform(" of which in implicits : " + findMemberImpl)
inform("#notfound member : " + noMemberCount)
inform("#multiple member : " + multMemberCount)
inform("#asSeenFrom ops : " + asSeenFromCount)
inform("#subtype : " + subtypeCount)
inform(" of which in failed : " + subtypeFailed)
inform(" of which in implicits : " + subtypeImpl)
inform(" of which in app impl : " + subtypeAppInfos)
inform(" of which in improv : " + subtypeImprovCount)
inform("#sametype : " + sametypeCount)
inform("#toplevel lub : " + lubCount)
inform("#all lub : " + nestedLubCount)
inform("ms type-flow-analysis: " + analysis.timer.millis)
if (phase.name == "typer") {
inform("time spent typechecking : " + showRelTyper(typerNanos))
inform("time classfilereading : " + showRelTyper(classReadNanos))
inform("time spent in implicits : " + showRelTyper(implicitNanos))
inform(" successful in scope : " + showRelTyper(inscopeSucceedNanos))
inform(" failed in scope : " + showRelTyper(inscopeFailNanos))
inform(" successful of type : " + showRelTyper(oftypeSucceedNanos))
inform(" failed of type : " + showRelTyper(oftypeFailNanos))
inform(" assembling parts : " + showRelTyper(subtypeETNanos))
inform(" matchesPT : " + showRelTyper(matchesPtNanos))
inform("implicit cache hits : " + showRelative(implicitCacheHits.value + implicitCacheMisses.value)(implicitCacheHits.value))
inform("time spent in failed : " + showRelTyper(failedSilentNanos))
inform(" failed apply : " + showRelTyper(failedApplyNanos))
inform(" failed op= : " + showRelTyper(failedOpEqNanos))
inform("time spent ref scanning : " + showRelTyper(isReferencedNanos))
inform("time spent in lubs : " + showRelTyper(lubNanos))
inform("micros by tree node : " + showCounts(microsByType))
inform("#visits by tree node : " + showCounts(visitsByType))
val average = new ClassCounts
for (c <- microsByType.keysIterator) average(c) = microsByType(c)/visitsByType(c)
inform("avg micros by tree node : " + showCounts(average))
inform("time spent in <:< : " + showRelTyper(subtypeNanos))
inform("time spent in findmember : " + showRelTyper(findMemberNanos))
inform("time spent in asSeenFrom : " + showRelTyper(asSeenFromNanos))
inform("#implicit searches : " + implicitSearchCount)
inform("#tried, plausible, matching, typed, found implicits: "+triedImplicits+", "+plausiblyCompatibleImplicits+", "+matchingImplicits+", "+typedImplicits+", "+foundImplicits)
inform("#implicit improves tests : " + improvesCount)
inform("#implicit improves cached : " + improvesCachedCount)
inform("#implicit inscope hits : " + inscopeImplicitHits)
inform("#implicit oftype hits : " + oftypeImplicitHits)
inform("#macro expansions : " + macroExpandCount)
inform("#time spent in macroExpand : " + showRelTyper(macroExpandNanos))
}
if (ctr1 != null) inform("#ctr1 : " + ctr1)
if (ctr2 != null) inform("#ctr2 : " + ctr2)
if (ctr3 != null) inform("#ctr3 : " + ctr3)
if (ctr4 != null) inform("#ctr4 : " + ctr4)
if (counter1 != null) inform("#counter1 : " + counter1)
if (counter2 != null) inform("#counter2 : " + counter2)
if (timer1 != null) inform("#timer1 : " + timer1)
if (timer2 != null) inform("#timer2 : " + timer2)
//for (t <- uniques.iterator) println("unique: "+t)
if (phase.name == "patmat") {
inform("time spent in patmat : " + patmatNanos )
inform(" of which DPLL : " + showRelPatmat(patmatAnaDPLL ))
inform("of which in CNF conversion : " + showRelPatmat(patmatCNF ))
inform(" CNF size counts : " + showCounts(patmatCNFSizes ))
inform("of which variable equality : " + showRelPatmat(patmatAnaVarEq ))
inform(" of which in exhaustivity : " + showRelPatmat(patmatAnaExhaust))
inform("of which in unreachability : " + showRelPatmat(patmatAnaReach ))
}
}
}
}
|
