esmeta
API
Generated with
esmeta/esmeta/esmeta.compiler/Compiler

Compiler

esmeta.compiler.Compiler
See theCompiler companion object
class Compiler(spec: Spec, log: Boolean, opt: Boolean)

extensible helper of compiler from metalangauge to IR

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type SimpleOp = PartialFunction[(FuncBuilder, List[Expr]), Expr]

simple operations

simple operations

Attributes

Value members

Concrete methods

def F: EBool
def T: EBool
inline def add(l: Expr, r: Expr): EBinary
def addFunc(fb: FuncBuilder, body: Step, prefix: List[Inst]): Unit

get body instruction

get body instruction

Attributes

inline def and(l: Expr, r: Expr): EBinary
def arityCheck(pair: (String, SimpleOp)): (String, SimpleOp)
def compile(algo: Algorithm): Unit

compile an algorithm to an IR function

compile an algorithm to an IR function

Attributes

def compile(fb: FuncBuilder, step: Step): Unit

compile algorithm steps

compile algorithm steps

Attributes

def compile(x: Variable): Name

compile local variable

compile local variable

Attributes

def compile(fb: FuncBuilder, ref: Reference): Ref

compile references

compile references

Attributes

def compile(fb: FuncBuilder, expr: Expression): Expr

compile expressions

compile expressions

Attributes

def compile(fb: FuncBuilder, expr: MathOpExpression): Expr

compile mathematical operators

compile mathematical operators

Attributes

def compile(op: BinaryExpressionOperator): BOp

compile binary operators

compile binary operators

Attributes

def compile(op: UnaryExpressionOperator): UOp

compile unary operators

compile unary operators

Attributes

def compile(fb: FuncBuilder, lit: Literal): Expr

compile literals

compile literals

Attributes

def compile(op: BitwiseExpressionOperator): BOp

compile bitwise operations

compile bitwise operations

Attributes

def compile(fb: FuncBuilder, cond: Condition): Expr

compile branch conditions

compile branch conditions

Attributes

def compile(fb: FuncBuilder, list: Expr, tyOpt: Option[Type], x: Local, givenCond: => Expr): Expr

compile contains condition with additional constraints

compile contains condition with additional constraints

Attributes

def compile(param: Param): Param

compile algorithm parameters

compile algorithm parameters

Attributes

def compile(ty: Type): Type

compile types

compile types

Attributes

def compileShortCircuit(fb: FuncBuilder, x: Ref, cond: Condition, thenStep: Step, elseStep: Option[Step]): Inst

handle short circuiting

handle short circuiting

Attributes

def compileShorthand(fb: FuncBuilder, fname: String, args: List[Expr]): Expr

compile shorthands

compile shorthands

Attributes

def compileWithScope(fb: FuncBuilder, step: Step): Inst

compile with a new scope and convert it into an instruction

compile with a new scope and convert it into an instruction

Attributes

inline def dec(e: Expr): EBinary
inline def equal(l: Expr, r: Expr): EBinary
inline def exists(r: Ref): Expr

operation helpers

operation helpers

Attributes

inline def exists(e: Expr): Expr
inline def floor(expr: Expr): EUnary
def getBuiltinPrefix(fb: FuncBuilder, ps: List[Param]): List[Inst]

get prefix instructions for builtin functions

get prefix instructions for builtin functions

Attributes

def getKind(head: Head): FuncKind
def getProductionData(lhsName: String, rhsName: String): Option[(Lhs, Int)]

production helpers

production helpers

Attributes

def grammar: Grammar

grammar

grammar

Attributes

inline def hasFields(fb: FuncBuilder, base: Expr, fs: List[String]): Expr
def hasInvokeExpr(cond: Condition): Boolean

check if condition contains invoke expression

check if condition contains invoke expression

Attributes

inline def inc(e: Expr): EBinary
inline def is(l: Expr, r: Expr): EBinary
inline def isIntegral(x: Expr): EBinary
inline def lessThan(l: Expr, r: Expr): EBinary
inline def neg(expr: Expr): EUnary
def not(expr: Expr): Expr
def one: EMath
inline def or(l: Expr, r: Expr): EBinary
def returnIfAbrupt(fb: FuncBuilder, expr: Expr, check: Boolean, immediateReturn: Boolean, returnAbrupt: Boolean): Expr
inline def sub(l: Expr, r: Expr): EBinary
def zero: EMath

literal helpers

literal helpers

Attributes

Concrete fields

val excluded: Set[String]
val exprRules: Map[String, Expr]

load manual compile rules for expressions

load manual compile rules for expressions

Attributes

val fixClosurePrefixAOs: List[Regex]

list of function names which need to replace head to built-in when creating closure (ex: Await)

list of function names which need to replace head to built-in when creating closure (ex: Await)

Attributes

val funcs: ListBuffer[Func]

compiled algorithms

compiled algorithms

Attributes

val instRules: Map[String, Inst]

load manual compile rules for instructions

load manual compile rules for instructions

Attributes

val manualFuncMap: Map[String, Func]

load manually created IR functions

load manually created IR functions

Attributes

val manualFuncs: List[Func]

load manually created IR functions

load manually created IR functions

Attributes

val manualRules: CompileRule

load manual compile rules

load manual compile rules

Attributes

val noReturnComp: Set[String]
lazy val result: Program

compiled specification

compiled specification

Attributes

val shorthands: Set[String]
val simpleOps: Map[String, SimpleOp]
val tyModel: TyModel

load manual compile rules

load manual compile rules

Attributes

var unusedRules: Set[String]

get unused manual compile rules

get unused manual compile rules

Attributes

Generated with