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)