• Home
• org.scala-native
• nscplugin_3.5.1
• 0.5.6
• source code
• Fresh.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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)
  }
}