Slots

addStrSource

private Void addStr(ShortcutExpr expr, Bool topLevel)

Assemble code to build a string using sys::StrBuf.

addToErrTableSource

private Void addToErrTable(Int start, Int end, Int handler, CType? errType)

andSource

private Void and(CondExpr expr, Cond? cond)

asExprSource

private Void asExpr(TypeCheckExpr tc)

assignSource

private Void assign(BinaryExpr expr)

Simple assignment using =

assignFieldSource

private Void assignField(BinaryExpr assign)

assignLocalVarSource

private Void assignLocalVar(BinaryExpr assign)

backpatchSource

private Void backpatch(Int pos, Int mark := this.code.size)

Backpacth the mark of forward jump using the given pos which was returned by jump(). If mark is defaulted, then we use the current instruction as the mark.

blockSource

Void block(Block block)

boolLiteralSource

private Void boolLiteral(LiteralExpr expr)

breakOrContinueStmtSource

private Void breakOrContinueStmt(Stmt stmt)

callSource

private Void call(CallExpr call, Bool leave := call.leave)

cmpNotNullSource

private Void cmpNotNull(UnaryExpr unary)

cmpNullSource

private Void cmpNull(UnaryExpr unary)

codeSource

Buf code

coerceSource

private Void coerce(TypeCheckExpr tc)

coerceOpSource

private Void coerceOp(CType from, CType to)

compareOpSource

private Void compareOp(Obj lhs, FOp opCode, Expr rhs)

Generate a comparison. The lhs can be either a ctype or an expr.

computeTableRangeSource

private Int[]? computeTableRange(SwitchStmt stmt)

Compute the range of this switch and return as a list of [min, max] if the switch is a candidate for a table switch as a series of contiguous (or near contiguous) cases which can be represented an offset into a jump table. Return null if the switch is not numeric or too sparse to use as a table switch.

condSource

private Void cond(CondExpr expr, Cond cond)

condEndSource

private Void condEnd(Cond cond)

decimalLiteralSource

private Void decimalLiteral(LiteralExpr expr)

durationLiteralSource

private Void durationLiteral(LiteralExpr expr)

dynamicCallSource

private Void dynamicCall(CallExpr call)

elvisSource

private Void elvis(BinaryExpr binary)

equalsSwitchStmtSource

private Void equalsSwitchStmt(SwitchStmt stmt)

errCountSource

Int errCount

errTableSource

Buf errTable

exprSource

Void expr(Expr expr)

finishCodeSource

Buf finishCode()

Finish writing out the exception handling table

finishErrTableSource

Buf finishErrTable()

Finish writing out the exception handling table

finishLinesSource

Buf finishLines()

Finish writing out the line number table

floatLiteralSource

private Void floatLiteral(LiteralExpr expr)

forStmtSource

private Void forStmt(ForStmt stmt)

fpodSource

FPod fpod

ifStmtSource

private Void ifStmt(IfStmt stmt)

inProtectedRegionSource

private Bool inProtectedRegion()

intLiteralSource

private Void intLiteral(LiteralExpr expr)

invokeCallSource

private Void invokeCall(CallExpr call, Bool leave := call.leave)

isEmptyStrLiteralSource

private Bool isEmptyStrLiteral(Expr expr)

isExprSource

private Void isExpr(TypeCheckExpr tc)

isnotExprSource

private Void isnotExpr(TypeCheckExpr tc)

jumpSource

private Int jump(FOp op, Int mark := 65535)

Add the specified jump opcode and two bytes for the jump location. If a backward jump then pass the mark; if a a forward jump we return the code pos to backpatch the mark later.

lastLineSource

Int lastLine := -1

leavesToReturnSource

Int[]? leavesToReturn

lineSource

private Void line(Location loc)

Map the opcode we are getting ready to add to the specified line number

lineCountSource

Int lineCount

linesSource

Buf lines

listLiteralSource

private Void listLiteral(ListLiteralExpr list)

loadFieldSource

private Void loadField(FieldExpr fexpr, Bool dupTarget := false)

loadLocalVarSource

private Void loadLocalVar(LocalVarExpr var)

localVarDefStmtSource

private Void localVarDefStmt(LocalDefStmt stmt)

locationSource

Location location

loopStackSource

Loop[] loopStack

makeSource

new make(Compiler compiler, Location location, FPod fpod)

mapLiteralSource

private Void mapLiteral(MapLiteralExpr map)

markSource

private Int mark()

Get the current location as a mark to use for backwards jump.

notSource

private Void not(UnaryExpr unary)

notSameSource

private Void notSame(BinaryExpr binary)

nullLiteralSource

private Void nullLiteral()

opSource

Void op(FOp op, Int? arg := null)

Append a opcode with option two byte argument.

opTypeSource

Void opType(FOp opcode, CType arg)

Append a opcode with a type argument.

orSource

private Void or(CondExpr expr, Cond? cond)

protectedRegionsSource

ProtectedRegion[]? protectedRegions

rangeLiteralSource

private Void rangeLiteral(RangeLiteralExpr r)

returnLocalSource

MethodVar? returnLocal

returnStmtSource

private Void returnStmt(ReturnStmt stmt)

sameSource

private Void same(BinaryExpr binary)

shortcutSource

private Void shortcut(ShortcutExpr call)

shortcutAssignSource

private Void shortcutAssign(ShortcutExpr c)

This method is used for complex assignments: prefix/postfix increment and special dual assignment operators like "+=".

slotLiteralSource

private Void slotLiteral(SlotLiteralExpr expr)

stmtSource

Void stmt(Stmt stmt)

storeFieldSource

private Void storeField(FieldExpr fexpr)

storeLocalVarSource

private Void storeLocalVar(LocalVarExpr var)

strLiteralSource

private Void strLiteral(LiteralExpr expr)

switchBlockSource

private Int switchBlock(Block? block, CType? popType := null)

switchStmtSource

private Void switchStmt(SwitchStmt stmt)

tableSwitchStmtSource

private Void tableSwitchStmt(SwitchStmt stmt, Int min, Int max)

ternarySource

private Void ternary(TernaryExpr ternary)

throwStmtSource

private Void throwStmt(ThrowStmt stmt)

tryCatchSource

private Int tryCatch(Catch c, Int start, Int end, ProtectedRegion region)

tryStmtSource

private Void tryStmt(TryStmt stmt)

typeLiteralSource

private Void typeLiteral(LiteralExpr expr)

uriLiteralSource

private Void uriLiteral(LiteralExpr expr)

whileStmtSource

private Void whileStmt(WhileStmt stmt)

withBlockSource

private Void withBlock(WithBlockExpr withBlock)