Interflow

class Interflow(val mode: Mode)(implicit val linked: Result) extends Visit with Opt with NoOpt with Eval with Combine with Inline with PolyInline with Intrinsics with Log
Companion
object
trait Log
trait Inline
trait Combine
trait Eval
trait NoOpt
trait Opt
trait Visit
class Object
trait Matchable
class Any

Value members

Concrete methods

def allTodo(): Seq[Global]
def blockFresh: Fresh
def contextDepth(): Int
def getDone(name: Global): Define
def getModulePurity(name: Global): Boolean
def getOriginal(name: Global): Define
def hasContext(value: String): Boolean
def hasModulePurity(name: Global): Boolean
def hasOriginal(name: Global): Boolean
def hasStarted(name: Global): Boolean
def isBlacklisted(name: Global): Boolean
def isDone(name: Global): Boolean
def markBlacklisted(name: Global): Unit
def markStarted(name: Global): Unit
def maybeDone(name: Global): Option[Define]
def maybeOriginal(name: Global): Option[Define]
def popBlockFresh(): Unit
def popContext(): Unit
def popMergeProcessor(): Unit
def popTodo(): Global
def pushBlockFresh(value: Fresh): Unit
def pushContext(value: String): Unit
def pushTodo(name: Global): Unit
def result(): Seq[Defn]
def setDone(name: Global, value: Define): Unit
def setModulePurity(name: Global, value: Boolean): Unit

Inherited methods

def adapt(args: Seq[Val], sig: Type)(implicit state: State): Seq[Val]
Inherited from
Inline
def adapt(value: Val, ty: Type)(implicit state: State): Val
Inherited from
Inline
def argumentTypes(name: Global): Seq[Type]
Inherited from
Visit
def combine(conv: Conv, ty: Type, value: Val)(implicit state: State): Val
Inherited from
Combine
def combine(comp: Comp, ty: Type, l: Val, r: Val)(implicit state: State): Val
Inherited from
Combine
def combine(bin: Bin, ty: Type, l: Val, r: Val)(implicit state: State, origPos: Position): Val
Inherited from
Combine
def debug[T](msg: String)(f: => T): T
Inherited from
Log
def duplicateName(name: Global, argtys: Seq[Type]): Global
Inherited from
Visit
def eval(value: Val)(implicit state: State, origPos: Position): Val
Inherited from
Eval
def eval(conv: Conv, ty: Type, value: Val)(implicit state: State): Val
Inherited from
Eval
def eval(comp: Comp, ty: Type, l: Val, r: Val)(implicit state: State): Val
Inherited from
Eval
def eval(bin: Bin, ty: Type, l: Val, r: Val)(implicit state: State, origPos: Position): Val
Inherited from
Eval
def eval(op: Op)(implicit state: State, linked: Result, origPos: Position): Val
Inherited from
Eval
def in[T](msg: String)(f: => T): T
Inherited from
Log
def inline(name: Global, args: Seq[Val])(implicit state: State, linked: Result, origPos: Position): Val
Inherited from
Inline
def intrinsic(ty: Type, name: Global, rawArgs: Seq[Val])(implicit state: State, origPos: Position): Option[Val]
Inherited from
Intrinsics
def log(msg: => String): Unit
Inherited from
Log
def noOpt(defn: Define): Unit
Inherited from
NoOpt
def noOptGlobal(name: Global): Unit
Inherited from
NoOpt
def noOptInst(inst: Inst): Unit
Inherited from
NoOpt
def noOptInsts(insts: Seq[Inst]): Unit
Inherited from
NoOpt
def noOptNext(next: Next): Unit
Inherited from
NoOpt
def noOptOp(op: Op): Unit
Inherited from
NoOpt
def noOptVal(value: Val): Unit
Inherited from
NoOpt
def opt(name: Global): Define
Inherited from
Opt
def originalFunctionType(name: Global): Type
Inherited from
Visit
def originalName(name: Global): Global
Inherited from
Visit
def polyInline(op: Method, args: Seq[Val])(implicit state: State, linked: Result, origPos: Position): Val
Inherited from
PolyInline
def process(insts: Array[Inst], args: Seq[Val], state: State, doInline: Boolean, retTy: Type)(implicit originDefnPos: Position): Seq[MergeBlock]
Inherited from
Opt
def run(insts: Array[Inst], offsets: Map[Local, Int], from: Local)(implicit state: State): Cf
Inherited from
Eval
def shallDuplicate(name: Global, argtys: Seq[Type]): Boolean
Inherited from
Visit
def shallInline(name: Global, args: Seq[Val])(implicit state: State, linked: Result): Boolean
Inherited from
Inline
def shallOpt(name: Global): Boolean
Inherited from
Opt
def shallPolyInline(op: Method, args: Seq[Val])(implicit state: State, linked: Result): Boolean
Inherited from
PolyInline
def shallVisit(name: Global): Boolean
Inherited from
Visit
def visitDuplicate(name: Global, argtys: Seq[Type]): Option[Define]
Inherited from
Visit
def visitEntries(): Unit
Inherited from
Visit
def visitEntry(name: Global): Unit
Inherited from
Visit
def visitLoop(): Unit
Inherited from
Visit
def visitMethod(name: Global): Unit
Inherited from
Visit
def visitRoot(name: Global): Unit
Inherited from
Visit
def withLogger(f: String => Unit => Unit): Unit
Inherited from
Log

Concrete fields

val mode: Mode

Inherited fields

val arrayApplyIntrinsics: Set[Global]
Inherited from
Intrinsics
val arrayIntrinsics: Set[Global]
Inherited from
Intrinsics
Inherited from
Intrinsics
val arrayUpdateIntrinsics: Set[Global]
Inherited from
Intrinsics
val intrinsics: Set[Global]
Inherited from
Intrinsics

Implicits

Implicits

implicit