DIRECTORY BigCardinals, FS, IO, Random, Rope; Mult: CEDAR PROGRAM IMPORTS BigCardinals, FS, IO, Random, Rope EXPORTS = BEGIN InitializeFile: PROC [vStream: IO.STREAM] ~ { IO.PutF[vStream, "0 0 0 60 1f | xxxxxxxx\n"]; IO.PutF[vStream, "0 0 0 60 1f | xxxxxxxx\n\n"]; }; WriteVector: PROC [vStream: IO.STREAM, d1, d2: CARD, command: NAT] ~ { resultRope, upperResultRope, lowerResultRope: Rope.ROPE; bigResult: BigCardinals.BigCARD; bigD1, bigD2: BigCardinals.BigCARD; bigD1 _ BigCardinals.BigFromCard[d1]; bigD2 _ BigCardinals.BigFromCard[d2]; bigResult _ BigCardinals.BigMultiply[bigD1, bigD2]; resultRope _ BigCardinals.BigToHexRope[bigResult]; upperResultRope _ IF (Rope.Length[resultRope] > 8) THEN Rope.Substr[resultRope, 0, (Rope.Length[resultRope] - 8)] ELSE "0"; lowerResultRope _ IF (Rope.Length[resultRope] < 9) THEN resultRope ELSE Rope.Substr[resultRope, (Rope.Length[resultRope] - 8), 8]; SELECT command FROM 0 => { -- signed lower mpy IO.PutF[vStream, "%x %x 0 60 1f | xxxxxxxx\n", IO.card[d1], IO.card[d2]]; FOR i: NAT IN [0..8) DO IO.PutF[vStream, "0 0 1 00 7f | xxxxxxxx\n"]; ENDLOOP; IO.PutF[vStream, "0 0 0 70 0f | "]; IO.PutF[vStream, lowerResultRope]; IO.PutF[vStream, "\n\n"]; }; 1 => { -- Upper signed mpy IO.PutF[vStream, "%x %x 0 62 1c | xxxxxxxx\n", IO.card[d1], IO.card[d2]]; FOR i: NAT IN [0..8) DO IO.PutF[vStream, "0 0 2 00 7f | xxxxxxxx\n"]; ENDLOOP; IO.PutF[vStream, "0 0 1 00 7f | xxxxxxxx\n"]; IO.PutF[vStream, "0 0 0 70 0f | "]; IO.PutF[vStream, upperResultRope]; IO.PutF[vStream, "\n\n"]; }; ENDCASE => { -- do Lower as default NULL; }; }; OpenVectorFile: PROC [fileName: Rope.ROPE] RETURNS [vs: IO.STREAM]~ { RETURN [FS.StreamOpen[fileName, $create]]; }; CloseVectorFile: PROC [vs: IO.STREAM] ~ { IO.PutF[vs, ".\n\n"]; -- Put the end of simulation token IO.Close[vs]; }; GenerateVector: PROC [rs: Random.RandomStream] RETURNS [d1, d2: CARD, mode: NAT] ~ { number: INT; signD1, signD2: BOOL; intd1, intd2: INT; number _ Random.ChooseInt[rs, 0, LAST[INT] - 1]; signD1 _ (number MOD 2) = 0; number _ Random.ChooseInt[rs, 0, LAST[INT] - 1]; intd1 _ IF signD1 THEN number ELSE -number; d1 _ LOOPHOLE[intd1, CARD]; number _ Random.ChooseInt[rs, 0, LAST[INT] - 1]; signD2 _ (number MOD 2) = 0; number _ Random.ChooseInt[rs, 0, LAST[INT] - 1]; intd2 _ IF signD2 THEN number ELSE -number; d2 _ LOOPHOLE[intd2, CARD]; mode _ Random.ChooseInt[rs, 0, LAST[INT] - 1] MOD 2; RETURN [d1, d2, mode]; }; vectorFile: Rope.ROPE _ "BigMpyTestVecs.tioga"; vectorStream: IO.STREAM _ NIL; randomStream: Random.RandomStream; randSeed: NAT; numVectors: NAT; mode: NAT; d1, d2: CARD; randSeed _ 0; numVectors _ 1000; vectorStream _ OpenVectorFile[vectorFile]; randomStream _ Random.Create[LAST[INT], randSeed]; InitializeFile[vectorStream]; FOR i: NAT IN [1..numVectors] DO [d1, d2, mode] _ GenerateVector[randomStream]; WriteVector[vectorStream, d1, d2, mode]; ENDLOOP; CloseVectorFile[vectorStream]; END. bMult.mesa Copyright ╙ 1987 by Xerox Corporation. All rights reserved. by Ross May 18, 1987 1:43:40 pm PDT Last Edited by: Ross May 19, 1987 8:30:06 am PDT TamarinBlocks, TamarinOps, TamarinOpsUtils USING [CardToWord, WordToCard]; OPEN TamarinOpsUtils; mpyCommand: TYPE = MACHINE DEPENDENT {Lower(0), SignedUpper(1), UnSignedUpper(2)}; resultH, resultL: TamarinOps.Word; upperResult: CARD; [resultH, resultL] _ TamarinBlocks.Multiplier[CardToWord[d1], CardToWord[d2]]; [resultH, resultL] _ TamarinBlocks.Multiplier[CardToWord[d1], CardToWord[d2]]; 2 => { [resultH, resultL] _ TamarinBlocks.Multiplier[CardToWord[d1], CardToWord[d2]]; IO.PutF[vStream, "%x %x 0 60 1f | xxxxxxxx\n", IO.card[d1], IO.card[d2]]; FOR i: NAT IN [0..8) DO IO.PutF[vStream, "0 0 2 00 7f | xxxxxxxx\n"]; ENDLOOP; IO.PutF[vStream, "0 0 1 00 7f | xxxxxxxx\n"]; upperResult _ WordToCard[resultH]; IF (d1 > 7fffffffh) THEN upperResult _ upperResult + d2; -- adjust for unsigned IO.PutF[vStream, "0 0 0 70 0f | %x\n\n", IO.card[upperResult]]; }; [resultH, resultL] _ TamarinBlocks.Multiplier[CardToWord[d1], CardToWord[d2]]; IO.PutF[vStream, "%x %x 0 60 1f | xxxxxxxx\n", IO.card[d1], IO.card[d2]]; FOR i: NAT IN [0..8) DO IO.PutF[vStream, "0 0 1 00 7f | xxxxxxxx\n"]; ENDLOOP; IO.PutF[vStream, "0 0 0 70 0f | %x\n\n", IO.card[WordToCard[resultL]]]; mode _ 0; -- Testing out only the lower for now Э╩HШЩ IcodeЩ