scala.scalanative.nir.Fresh.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of nscplugin_3.6.2-RC3 Show documentation

nscplugin

There is a newer version: 0.5.6

package scala.scalanative
package nir

final class Fresh private (private var start: Long) {
  def apply(): Local = {
    start += 1
    val value = start
    Local(value)
  }
  def last = Local(start)
  def skip(n: Long): Unit = start += n
}

object Fresh {
  def apply(start: Long = 0L): Fresh =
    new Fresh(start)

  def apply(insts: Seq[Inst]): Fresh = {
    var max = -1L
    insts.foreach {
      case Inst.Let(local, _, Next.Unwind(Val.Local(exc, _), _)) =>
        max = Math.max(max, local.id)
        max = Math.max(max, exc.id)
      case Inst.Let(local, _, _) =>
        max = Math.max(max, local.id)
      case Inst.Label(local, params) =>
        max = Math.max(max, local.id)
        params.foreach { param => max = Math.max(max, param.id.id) }
      case Inst.Throw(_, Next.Unwind(Val.Local(exc, _), _)) =>
        max = Math.max(max, exc.id)
      case Inst.Unreachable(Next.Unwind(Val.Local(exc, _), _)) =>
        max = Math.max(max, exc.id)
      case _ =>
        ()
    }
    new Fresh(max)
  }
}