More detailed stats

Mostly used to profile compileStdLib. Stats are about base types and mixin forwarders.

Author: odersky

compiler/src/dotty/tools/dotc/core/SymDenotations.scala

@@ -1670,6 +1670,7 @@ object SymDenotations {
       }
 
       /*>|>*/ ctx.debugTraceIndented(s"$tp.baseType($this)") /*<|<*/ {
+        Stats.record("baseTypeOf")
         tp match {
           case tp: CachedType =>
           val btrCache = baseTypeCache
@@ -1679,8 +1680,9 @@ object SymDenotations {
                 btrCache.put(tp, NoPrefix)
                 basetp = computeBaseTypeOf(tp)
                 if (!basetp.exists) Stats.record("base type miss")
-                if (isCachable(tp, baseTypeCache)) {
-                  if (!basetp.exists) Stats.record("cached base type miss")
+                if (isCachable(tp, btrCache)) {
+                  if (basetp.exists) Stats.record("cached base type hit")
+                  else Stats.record("cached base type miss")
                   btrCache.put(tp, basetp)
                 }
                 else btrCache.remove(tp)

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -848,7 +848,7 @@ object Types {
     /** The basetype TypeRef of this type with given class symbol,
      *  but without including any type arguments
      */
-    final def baseType(base: Symbol)(implicit ctx: Context): Type = /*ctx.traceIndented(s"$this baseType $base")*/ /*>|>*/ track("baseType") /*<|<*/ {
+    final def baseType(base: Symbol)(implicit ctx: Context): Type = /*ctx.traceIndented(s"$this baseType $base")*/ /*>|>*/ track("base type") /*<|<*/ {
       base.denot match {
         case classd: ClassDenotation => classd.baseTypeOf(this)
         case _ => NoType

compiler/src/dotty/tools/dotc/transform/ResolveSuper.scala

@@ -62,11 +62,17 @@ class ResolveSuper extends MiniPhaseTransform with IdentityDenotTransformer { th
 
     def superAccessors(mixin: ClassSymbol): List[Tree] =
       for (superAcc <- mixin.info.decls.filter(_.isSuperAccessor).toList)
-        yield polyDefDef(implementation(superAcc.asTerm), forwarder(rebindSuper(cls, superAcc)))
+        yield {
+          util.Stats.record("super accessors")
+          polyDefDef(implementation(superAcc.asTerm), forwarder(rebindSuper(cls, superAcc)))
+        }
 
     def methodOverrides(mixin: ClassSymbol): List[Tree] =
       for (meth <- mixin.info.decls.toList if needsForwarder(meth))
-        yield polyDefDef(implementation(meth.asTerm), forwarder(meth))
+        yield {
+          util.Stats.record("method forwarders")
+          polyDefDef(implementation(meth.asTerm), forwarder(meth))
+        }
 
     val overrides = mixins.flatMap(mixin => superAccessors(mixin) ::: methodOverrides(mixin))