For ThrowTo ExnContValue ContValue base L0 L1 L3 L4 ADD AND CMP DIV MOD MOV MUL MVN OR RET SUB WRD WRH XOR

c

c

c

source

Syntax

Parser

c

EitherTree GenSeqTree Leaf ListTree MapTree Pair PairTree QuadTree SetTree TripleTree Unused Leaf Pair Unused Assign Block Empty If Return While For Foreach Add Asgn Div Mul Neg Null Num Seqn Sub Var While Pos And Apply Assign Binding Block BoolVal CallCC Divide Empty Equal ExprStmt Greater GreaterEq If Import IswimProg Lambda Less LessEq Let LetRec LetRecStmt LetStmt Match MatchClause Minus MkRef Negate Not NotEqual NumVal Or Pattern Plus Primitives Remainder Return StringVal ThrowTo Times Tuple Val Variable While BooleanTypeValue Equals FalseValue PushFalse PushTrue Test TrueValue ConversionError ToBoolean ToInt ToString ExnContValue SetHandler Alloc Get Put RefTypeValue RefValue LessThan LessThanOrEqual Add Div DivisionByZero IntTypeValue IntValue Mult PushInt Rem Sub Read Write FieldOutOfBounds Fields GetField MkRecord RecordTypeValue RecordValue UnpackRecord App AppCC BindPrims ClosureTypeValue ClosureValue CodeSegment ContTypeValue ContValue DumpEmpty EmptyCont EmptyTypeValue EmptyValue Enter ExceptionTypeValue Exit FunctionSpec GetType Lookup MalformedInstruction MatchError MkClosures MkUserException NonExistentPrimitive PrimTypeValue PrimValue PushEmpty PushMachineException PushType RaiseException Resume ResumeFromDump StackUnderflow TailApp TypeError TypeTypeValue UnboundVariable UnexpectedExit UnexpectedTermination Dup Pop Swap PushString StringTypeValue StringValue UserExceptionValue JArray JFalse JName JNull JNumber JObject JString JTrue App Lam Num Sub Var AddOp App Bind FunType IntType Lam Let Letp NoType Num Opn SubOp Var App EquivQuery EvalQuery FreeNamesQuery FreshQuery Lam Num SubstQuery SwapQuery Var CArrayType CBlock CEmptyStmt CFunctionDecl CInclude CIntExp CIntType CProgram CReturn CStrType CVarDecl Block EmptyStmt IdnDef IdnUse ModuleDecl CAddExp CAndExp CAssignment CDivExp CEqExp CGeExp CGtExp CIdnExp CInitDecl CLeExp CLtExp CModExp CMulExp CNamedType CNeExp CNegExp CNotExp COrExp CSubExp CTypeDef AddExp AndExp Assignment ConstDecl DivExp EqExp GeExp GtExp IdnExp IntExp LeExp LtExp ModExp MulExp NamedType NeExp NegExp NotExp OrExp SubExp TypeDecl VarDecl BuiltinType Constant IntegerValue Module UserType Variable CIfElseStatement CIfStatement CWhileStatement IfStatement WhileStatement Case CaseStatement ForStatement MinMaxCond ValCond CAddrExp CAddrType CCall CDerefExp CStrExp CVoidType Call FPSection ProcDecl ValMode VarMode BuiltinProc Parameter ParamInfo Procedure CFieldExp CIndexExp CRecordType ArrayTypeDef FieldExp FieldIdn FieldList IndexExp RecordTypeDef ArrayType Field RecordType AndExp ArrayVar AssignStmt BoolExp BoolVar Catch EnumConst EnumVar EqualExp ExitStmt ExnConst FieldExp ForStmt GreaterExp IdnExp IfStmt IndexExp IntConst IntExp IntParam IntVar LessExp LoopStmt MinusExp ModExp NegExp NotEqualExp NotExp ObrInt OrExp PlusExp RaiseStmt RecordVar ReturnStmt SlashExp StarExp TryBody TryStmt WhileStmt AddW Beq Bne CmpeqW CmpgtW CmpltW CmpneW Cond DivW Indexed IntDatum Jmp Label LabelDef LdW Local MulW NegW Not Read RemW Ret RISCProg SequenceDatum StW SubW Write AddW Beq Bne CmpeqW CmpgtW CmpltW CmpneW Cond DivW Indexed IntDatum Jmp Label LabelDef LdW Local MulW NegW Not Read RemW Ret SPARC StW SubW Write ArrayType BoolType Constant EnumType EnumTypes ExnType IntType Multiple RecordType RecordTypes Unknown UnknownType Variable Pos Company Dept DU Employee PU AssignStmt Block BooleanLiteral ClassDecl Dot PrimitiveDecl Program UnknownDecl Use VarDecl WhileStmt DisplayGoal MatchGoal TermGoal UnifyGoal Atom Cut Fact Integer Pred Program Rule Var AtomType IntegerType ListType Predicate UnknownType Variable Fork Leaf ADD ADDI AND ANDI BEQ BGE BGT BLE BLT BNE BR BSR CHKI CMP CMPI Comment DIV DIVI LDB LDW MOD MODI MOV MOVI MUL MULI MVN MVNI OR ORI POP PSH RD RET STB STW SUB SUBI Target WRD WRH WRL XOR XORI Add Assign Decl Div Eq For Id IfElse IfThen Mul Ne Num Program Read Str Sub Var While Write BinExp BinExpR Factor Num Program Var VarDecl InOp Leaf PostOp PreOp Val Equal NotSame Same Leaf One Two Leaf One Two Node Tup2 Tup3 Tup4 Tup5 Tup6

LambdaTests

c

source

Parser CaseStatement

Parser source

PrettyPrinter

Desugarer

PrettyPrinter

c

c

ObrTree

SyntaxAnalysis

TryStmt

AttributionTests

c

c

Evaluator

c

base L0 L1 L3 L4

c

c

c

Test

c

c

c

c

c

c

c

Driver

Driver

Analyser NameAnalyser TypeAnalyser TypeAnalyser NameAnalyser TypeAnalyser NameAnalyser TypeAnalyser SemanticAnalysis PositionalRewriterTests PositionedRewriterTests

Driver Driver

TreeTestDriver

NameAnalyser

SemanticAnalysis

RISCISA

c

c

c

c

c

c

c

c

Parser

AbstractSyntax

PrologTree SyntaxAnalysis

Match

c

SECDBase

SECDBase

c

c

RISCISA

RISCTree SPARCTree

RISCTree SPARCTree

RISCISA

RISCTree SPARCTree

RISCTree SPARCTree

c

c

c

c

c

CodeGenerator SECDBase CodeSegment RISCTransformation SPARCTransformation RISCISA

compiler

tests

SECDBase

SECDBase

ErrorCheck

Lambda

Parser Parser RISCISA

RewritingTests oneohonecompanies Company SampleCompany

iswim

util

Subst

If While Foreach CIfElseStatement CIfStatement CWhileStatement IfStatement WhileStatement IfStmt WhileStmt Beq Bne RISCTree Cond Beq Bne SPARCTree Cond

Parser source WhileStmt

SyntaxAnalysis

Parser

Case

SymbolTable SymbolTable

SyntaxAnalysis

SyntaxAnalysis

Parser source

Parser

EnumVar

Driver TranslatingDriver

RefValue

SECDBase

SECDBase RISC

dataflow

dataflow

SECDBase

SECDBase

ConversionOps

secd

BEQ BGE BGT BLE BLT BNE BR Branch BSR

c

AttributionTests DynamicAttributionTests

c

c

SampleCompany

PicoJavaBenchmark

PicoJavaBenchmark

c

c

Program

c

c

c

c

Test

Match While

c

c

c

Rewriter oneohonecompanies Cut PrologTree SyntaxAnalysis

c

c

c