Copyright (C) 1994, Digital Equipment Corp.File: WordGT.m3 Last Modified On Mon Dec 5 15:30:51 PST 1994 By kalsow Modified On Tue Apr 10 11:11:19 1990 By muller
MODULE; IMPORT CG, CallExpr, Expr, ExprRep, Procedure, Target, TWord; IMPORT Int, Bool, WordPlus, Value, Formal, ProcType; VAR Z: CallExpr.MethodList; VAR formals: Value.T; PROCEDURE WordGT Check (ce: CallExpr.T; VAR cs: Expr.CheckState) = BEGIN EVAL Formal.CheckArgs (cs, ce.args, formals, ce.proc); ce.type := Bool.T; END Check; PROCEDURECompile (ce: CallExpr.T) = BEGIN Expr.Compile (ce.args[0]); Expr.Compile (ce.args[1]); CG.Gt (CG.Type.Word); END Compile; PROCEDUREPrepBR (ce: CallExpr.T; true, false: CG.Label; freq: CG.Frequency)= BEGIN Expr.Prep (ce.args[0]); Expr.Prep (ce.args[1]); Expr.Compile (ce.args[0]); Expr.Compile (ce.args[1]); IF (true # CG.No_label) THEN CG.If_gt (true, CG.Type.Word, freq); ELSE CG.If_le (false, CG.Type.Word, freq); END; END PrepBR; PROCEDUREFold (ce: CallExpr.T): Expr.T = VAR w0, w1: Target.Int; BEGIN IF WordPlus.GetArgs (ce.args, w0, w1) THEN RETURN Bool.Map [TWord.LT (w1, w0)]; ELSE RETURN NIL; END; END Fold; PROCEDUREInitialize () = VAR x1 := Formal.NewBuiltin ("x", 0, Int.T); y1 := Formal.NewBuiltin ("y", 1, Int.T); t1 := ProcType.New (Bool.T, x1, y1); BEGIN Z := CallExpr.NewMethodList (2, 2, TRUE, TRUE, TRUE, Bool.T, NIL, CallExpr.NotAddressable, Check, CallExpr.PrepArgs, Compile, CallExpr.NoLValue, CallExpr.NoLValue, PrepBR, CallExpr.NoBranch, Fold, CallExpr.IsNever, (* writable *) CallExpr.IsNever, (* designator *) CallExpr.NotWritable (* noteWriter *)); Procedure.Define ("GT", Z, FALSE, t1); formals := ProcType.Formals (t1); END Initialize; BEGIN END WordGT.