EU2Arith.mesa

DIRECTORY EU2Utils, Dragon, DragOpsCross, Core, Rope;

EU2Arith: CEDAR DEFINITIONS = BEGIN

ROPE: TYPE = Rope.ROPE;

-- Big Endians reservation: 0 is the high-order bit!

-- A CARD is a long cardinal with bytes in the (wrong) Dorado order; it is the correct representation for doing arithmetic

-- A Word is an array of bits in the Dragon order; it is the right representation for bit manipulations

EBFLC: PUBLIC PROC [c: CARD, index: [0..32)] RETURNS [BOOL];

EByteFLC: PUBLIC PROC [c: CARD, index: [0..4)] RETURNS[CARDINAL];

DoubleADD: PUBLIC PROC [a, b: CARD, carry: BOOL] RETURNS [s: CARD, c32: BOOL];

WordNot: PUBLIC PROC [c: CARD] RETURNS [CARD];

WordAnd: PUBLIC PROC [a, b: CARD] RETURNS [CARD];

WordOr: PUBLIC PROC [a, b: CARD] RETURNS [CARD];

WordXor: PUBLIC PROC [a, b: CARD] RETURNS [CARD];

LispTest: PUBLIC PROC [c: CARD] RETURNS [bogus: BOOL];

FieldOp: PUBLIC PROC [left, right, fieldDesc: CARD] RETURNS [result: CARD];

ApplyAluOp: PUBLIC PROC [op: EU2Utils.ALUOpcode, a, b: CARD, carryIn: BOOL] RETURNS [res: CARD, c32: BOOL];

OpToCarryOut: PUBLIC PROC [op: Dragon.ALUOps, computedC, prevC: BOOL] RETURNS [BOOL];

OpToCarryIn: PUBLIC PROC [op: Dragon.ALUOps, c: BOOL] RETURNS [BOOL];

ALUOperation: PUBLIC PROC [aluOp: Dragon.ALUOps, a, b: CARD, prevC: BOOL] RETURNS [res: CARD, c32, nextC: BOOL];

ExplodeKReg: PUBLIC PROC [k: CARD] RETURNS [a, b, c: CARD, st3AIsC: BOOL, lSrc, rSrc, stSrc: NAT];

END.