[phylum]<CTamarin>Tam>TamarinUtil.mesa!10

TamarinUtil.mesa

Last Edited by: Alan Bell September 15, 1987 3:17:22 pm PDT

Krivacic September 4, 1987 5:34:52 pm PDT

DIRECTORY

CoreCreate,

List,

Rope;

TamarinUtil: CEDAR DEFINITIONS

= BEGIN

LORA: TYPE = List.LORA;

ROPE: TYPE = Rope.ROPE;

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, nD2, d1XorD2: Rope.ROPE];

SpecRegConstant: TYPE = REF SpecRegConstRec;

SpecRegConstRec: TYPE = RECORD[index: NAT, val: Rope.ROPE];

BitOnP: PROC [word, pos: NAT] RETURNS [v: BOOLEAN];

DataBusToWire: PROC [wr: CoreCreate.Wire, n: INT] RETURNS [res: CoreCreate.Wire];

MakeDataBus: PROC [name: ROPE] RETURNS [res: CoreCreate.Wire];

ConvertDataBus: PROC [wire: CoreCreate.Wire] RETURNS [res: CoreCreate.Wire];

RopeBitOnP: PROC [word: ROPE, pos: INT] RETURNS [v: BOOLEAN];

ConvertDataBusBlock: PROC [wire: CoreCreate.Wire, name: Rope.ROPE ← NIL] RETURNS [res: CoreCreate.Wire];

ConvertDataBusBlockPermute: PROC [wire: CoreCreate.Wire, name: Rope.ROPE ← NIL] RETURNS [res: CoreCreate.Wire];

ResetTamarinDefs: PROC;

GetTamarinConstants: PROC RETURNS[res: LORA];

GetDpCondCodes: PROC RETURNS[res: LORA];

GetSpecRegConstants: PROC RETURNS[resD1: LORA, resD2: 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];

GetUCode: PROC;

END.