scala.scalanative.nir.parser.Inst.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tools_2.11 Show documentation

tools

The newest version!

package scala.scalanative
package nir
package parser

import fastparse.all._

object Inst extends Base[nir.Inst] {
  import Base.IgnoreWhitespace._

  private val unwind: P[Next] =
    P(Next.parser.?).map(_.getOrElse(nir.Next.None))

  val None = P("none".! map (_ => nir.Inst.None))
  val Label =
    P(Local.parser ~ ("(" ~ Val.Local.rep(sep = ",") ~ ")").? ~ ":" map {
      case (name, params) => nir.Inst.Label(name, params getOrElse Seq())
    })
  val Let =
    P(Local.parser ~ "=" ~ Op.parser map {
      case (name, op) => nir.Inst.Let(name, op)
    })
  val Unreachable = P("unreachable".! map (_ => nir.Inst.Unreachable))
  val Ret =
    P("ret" ~ Val.parser.? map (v => nir.Inst.Ret(v.getOrElse(nir.Val.None))))
  val Jump = P("jump" ~ Next.parser map (nir.Inst.Jump(_)))
  val If =
    P("if" ~ Val.parser ~ "then" ~ Next.parser ~ "else" ~ Next.parser map {
      case (cond, thenp, elsep) => nir.Inst.If(cond, thenp, elsep)
    })
  val Switch =
    P("switch" ~ Val.parser ~ "{" ~ Next.parser.rep ~ "default" ~ "=>" ~ Next.parser ~ "}" map {
      case (scrut, cases, default) => nir.Inst.Switch(scrut, default, cases)
    })
  val Throw = P("throw" ~ Val.parser ~ unwind).map {
    case (value, unwind) => nir.Inst.Throw(value, unwind)
  }
  override val parser: P[nir.Inst] =
    None | Label | Let | Unreachable | Ret | Jump | If | Switch | Throw
}