Stats recording for computing denotations

Author: odersky

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

@@ -477,25 +477,29 @@ object Symbols {
 
     /** Set the denotation of this symbol */
     private[core] def denot_=(d: SymDenotation): Unit = {
+      util.Stats.record("Symbol.denot_=")
       lastDenot = d
       checkedPeriod = Nowhere
     }
 
     /** The current denotation of this symbol */
     final def denot(using Context): SymDenotation = {
+      util.Stats.record("Symbol.denot")
       val lastd = lastDenot
       if (checkedPeriod == ctx.period) lastd
       else computeDenot(lastd)
     }
 
     private def computeDenot(lastd: SymDenotation)(using Context): SymDenotation = {
+      util.Stats.record("Symbol.computeDenot")
       val now = ctx.period
       checkedPeriod = now
       if (lastd.validFor contains now) lastd else recomputeDenot(lastd)
     }
 
     /** Overridden in NoSymbol */
     protected def recomputeDenot(lastd: SymDenotation)(using Context): SymDenotation = {
+      util.Stats.record("Symbol.recomputeDenot")
       val newd = lastd.current.asInstanceOf[SymDenotation]
       lastDenot = newd
       newd

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

@@ -1976,6 +1976,7 @@ object Types {
 
     /** The denotation currently denoted by this type */
     final def denot(using Context): Denotation = {
+      util.Stats.record("NamedType.denot")
       val now = ctx.period
       // Even if checkedPeriod == now we still need to recheck lastDenotation.validFor
       // as it may have been mutated by SymDenotation#installAfter
@@ -1987,6 +1988,7 @@ object Types {
     }
 
     private def computeDenot(using Context): Denotation = {
+      util.Stats.record("NamedType.computeDenot")
 
       def finish(d: Denotation) = {
         if (d.exists)