Copyright (C) 1994, Digital Equipment Corp.File: WordPlus.m3 Last Modified On Mon Dec 5 15:30:44 PST 1994 By kalsow Modified On Tue Apr 10 11:16:59 1990 By muller
MODULE; IMPORT CG, CallExpr, Expr, ExprRep, Procedure, Target, TWord; IMPORT Int, IntegerExpr, Value, Formal, ProcType; VAR Z: CallExpr.MethodList; VAR formals: Value.T; PROCEDURE WordPlus Check (ce: CallExpr.T; VAR cs: Expr.CheckState) = BEGIN EVAL Formal.CheckArgs (cs, ce.args, formals, ce.proc); ce.type := Int.T; END Check; PROCEDURECompile (ce: CallExpr.T) = BEGIN Expr.Compile (ce.args[0]); Expr.Compile (ce.args[1]); CG.Add (CG.Type.Word); END Compile; PROCEDUREFold (ce: CallExpr.T): Expr.T = VAR w0, w1, result: Target.Int; BEGIN IF GetArgs (ce.args, w0, w1) THEN TWord.Add (w0, w1, result); RETURN IntegerExpr.New (result); ELSE RETURN NIL; END; END Fold; PROCEDUREGetArgs (args: Expr.List; VAR w0, w1: Target.Int): BOOLEAN = VAR e0, e1: Expr.T; BEGIN e0 := Expr.ConstValue (args[0]); e1 := Expr.ConstValue (args[1]); RETURN (e0 # NIL) AND IntegerExpr.Split (e0, w0) AND (e1 # NIL) AND IntegerExpr.Split (e1, w1); END GetArgs; PROCEDUREInitialize () = VAR x0 := Formal.NewBuiltin ("x", 0, Int.T); y0 := Formal.NewBuiltin ("y", 1, Int.T); t0 := ProcType.New (Int.T, x0, y0); BEGIN Z := CallExpr.NewMethodList (2, 2, TRUE, TRUE, TRUE, Int.T, NIL, CallExpr.NotAddressable, Check, CallExpr.PrepArgs, Compile, CallExpr.NoLValue, CallExpr.NoLValue, CallExpr.NotBoolean, CallExpr.NotBoolean, Fold, CallExpr.IsNever, (* writable *) CallExpr.IsNever, (* designator *) CallExpr.NotWritable (* noteWriter *)); Procedure.Define ("Plus", Z, FALSE, t0); formals := ProcType.Formals (t0); END Initialize; BEGIN END WordPlus.