Record stats of SimpleIdentityMap sizes >= 4

odersky · odersky · commit b81b3b9fd509 · 2019-01-19T09:15:40.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/util/SimpleIdentityMap.scala b/compiler/src/dotty/tools/dotc/util/SimpleIdentityMap.scala
@@ -139,6 +139,7 @@ object SimpleIdentityMap {
     private def value(i: Int): V = bindings(i + 1).asInstanceOf[V]
 
     def size: Int = bindings.length / 2
+    Stats.record(s"SimpleIdentityMap/$size")
 
     def apply(k: K): V = {
       var i = 0
