TamarinLisp.mesa
Copyright © 1987 by Xerox Corporation. All rights reserved.
Last Edited by: Alan Bell May 22, 1987 4:13:12 pm PDT
TamarinLisp:
CEDAR
DEFINITIONS
= BEGIN
LORA: TYPE = LIST OF REF ANY;
TamConst: TYPE = REF TamConstRec;
TamConstRec: TYPE = RECORD[key: ATOM, val: INT];
UCodeWord: TYPE = REF UCodeWordRec;
UCodeWordRec: TYPE = RECORD[type: NAT, aAddr, bAddr: NAT,
aeMI, aoMI, beMI, boMI: Rope.ROPE];
DpCondCode: TYPE = REF DpCondCodeRec;
DpCondCodeRec: TYPE = RECORD[index: NAT, d1, d2, nD1, nD, d1XorD2: Rope.ROPE];
SpecRegConstant: TYPE = REF SpecRegConstRec;
SpecRegConstRec: TYPE = RECORD[index: NAT, val: Rope.ROPE];
GetTamarinConstants: PROC RETURNS[res: LORA];
GetDpCondCodes: PROC RETURNS[res: LORA];
GetSpecRegConstants: PROC RETURNS[res: LORA];
GetUCodeContents: PROC RETURNS[res: LORA];
TamConstant: PROC [atm: ATOM, val: INT];
DpCCode: PROC [index: NAT, d1, d2, nD1, nD, d1XorD2: Rope.ROPE];
SpecRegConst: PROC [wh, index: NAT, val: Rope.ROPE];
AddUCode: PROC [aAddr, bAddr: NAT, aeMI, aoMI, beMI, boMI: Rope.ROPE];
END.