IFUPLAInstrDecodeAux.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Don Curry April 30, 1987 11:02:40 pm PDT
DIRECTORY Core, CoreOps, IFUPLAInstrDecode, IO, PLAOps, REFBit, Rope, TerminalIO, WireIconExtras;
IFUPLAInstrDecodeAux: CEDAR PROGRAM
IMPORTS CoreOps, IO, PLAOps, REFBit, Rope, TerminalIO, WireIconExtras =
BEGIN
log:   IO.STREAM ← TerminalIO.TOS[];
PLA:   TYPE = PLAOps.PLA;
Term:   TYPE = PLAOps.Term;
ROPE:   TYPE = Rope.ROPE;
root:   ROPE = "InstrDecode";
plaRoot:  ROPE = Rope.Cat["IFUPLA", root];
PLAs:   TYPE = REF PLAsRec;
PLAsRec:  TYPE = RECORD[seq: SEQUENCE size: CARDINAL OF PLA];
main:   PLA ← InitMain[];
subs:   PLAs ← InitSubs[];
fields:   PLAs ← InitFields[];
nofSubPlas: INT = IFUPLAInstrDecode.InstrDecodeOutCount; -- 1;
InitMain: PROC RETURNS[pla: PLA] = {
pla ← PLAOps.ReadPLAFile[plaRoot, log, TRUE];
ShowPLA["Main ", pla];
TerminalIO.PutF["\n"]};
InitSubs: PROC RETURNS[plas: PLAs] = {
subTerms:  INT ← 0;
maxOuts:   INT ← 0;
phSize:   INT ← 0;
plas      ← NEW[PLAsRec[nofSubPlas]];
FOR index: INT IN [0..nofSubPlas) DO
plaName: ROPE ← IO.PutFR["%g%g", IO.rope[plaRoot], IO.int[index] ];
subpla: PLA ← PLAOps.ReadPLAFile[plaName, log, TRUE];
outs:  INT ← REFBit.Desc[subpla.out].bitForm.size;
terms:  INT ← subpla.termList.length;
plas[index]  ← subpla;
maxOuts   ← MAX[maxOuts, outs];
subTerms   ← subTerms + terms;
phSize   ← phSize  + PhSize[outs, terms];
ENDLOOP;
FOR index: INT IN [0..nofSubPlas) DO
ShowPLA[IO.PutFR["Sub%g ", IO.int[index]], plas[index]] ENDLOOP;
TerminalIO.PutF["MaxOuts: %3g\n", IO.int[maxOuts]];
TerminalIO.PutF["PhSize: %3g\n", IO.int[phSize]];
TerminalIO.PutF["SubTerms: %3g\n", IO.int[subTerms]];
TerminalIO.PutF["\n"]};
InitFields: PROC RETURNS[plas: PLAs] = {
subTerms:  INT ← 0;
maxOuts:   INT ← 0;
phSize:   INT ← 0;
format: PLAOps.Format ← REFBit.Desc[main.out].fieldForm;
plas      ← NEW[PLAsRec[format.size]];
TerminalIO.PutF["\n"];
FOR field: INT IN [0..format.size) DO
plas[field]    ← PLAOps.NewPLA
[main.data, main.out, IO.PutFR["%gOut%g", IO.rope[main.name], IO.int[field]]];
plas[field].time  ← main.time;
plas[field].termList ← PLAOps.CopyTermListForField
[main.termList, format[field].firstBit, format[field].bitSize];
maxOuts   ← MAX[maxOuts, format[field].bitSize];
subTerms   ← subTerms + plas[field].termList.length;
phSize   ← phSize + PhSize[format[field].bitSize, plas[field].termList.length];
TerminalIO.PutF[(IF (field+1 MOD 10)=0 THEN "!" ELSE ".")];
ENDLOOP;
TerminalIO.PutF["\n"];
FOR field: INT IN [0..format.size) DO
ShowPLA[
IO.PutFR["Field%g", IO.int[field]], plas[field],
1, format[field].bitSize] ENDLOOP;
TerminalIO.PutF["MaxOuts: %3g\n", IO.int[maxOuts]];
TerminalIO.PutF["PhSize: %3g\n", IO.int[phSize]];
TerminalIO.PutF["SubTerms: %3g\n", IO.int[subTerms]];
TerminalIO.PutF["\n"]};
InitFields: PROC RETURNS[tLists: TLists] = {
subTerms:  INT ← 0;
maxOuts:   INT ← 0;
phSize:   INT ← 0;
maxOutTerms: INT ← 0;
maxTerms:  INT ← 0;
fields:    INT ← REFBit.Desc[main.out].fieldForm.size;
tLists      ← NEW[TListsRec[fields]];
format:    PLAOps.Format ← REFBit.Desc[main.out].fieldForm;
FOR field: INT IN [0..fields) DO
tLists[index]  ← PLAOps.CopyTermListForField
[main.termList, format[field].firstBit, format[field].bitSize];
maxOuts   ← MAX[maxOuts, format[field].bitSize];
subTerms   ← subTerms + tLists[index].length;
phSize   ← phSize + PhSize[format[field].bitSize, tLists[index].length];
ENDLOOP;
FOR index: INT IN [0..nofSubPlas) DO
ShowPLA[IO.PutFR["Sub%g", IO.int[index]], plas[index]] ENDLOOP;
TerminalIO.PutF["MaxOuts: %3g\n", IO.int[maxOuts]];
TerminalIO.PutF["PhSize: %3g\n", IO.int[phSize]];
TerminalIO.PutF["SubTerms: %3g\n", IO.int[subTerms]]};
ShowPLA: PROC[name: ROPE, pla: PLA, fields, outs: INT ← 0] = {
terms: INT ← pla.termList.length;
IF fields=0 THEN fields ← REFBit.Desc[pla.out].fieldForm.size;
IF outs=0  THEN outs ← REFBit.Desc[pla.out].bitForm.size;
TerminalIO.PutF["PLA:%5g Terms:%3g Outs:%3g/%3g PhSz:%3g",
IO.rope[name],
IO.int[terms],
IO.int[fields],
IO.int[outs],
IO.int[PhSize[outs, terms] ] ];
TerminalIO.PutF[" MxI/T:%2g MxT/O:%2g\n",
IO.int[MaxInsPerTerm[pla]],
IO.int[MaxTermsPerOut[pla]]]};
PhSize: PROC[outs, terms: INT] RETURNS[max: INT ← 0] =
{RETURN[outs + MAX[outs*2, terms]]};
MaxInsPerTerm: PROC[pla: PLA] RETURNS[max: INT ← 0] = {
bitFormat: PLAOps.Format ← REFBit.Desc[pla.data].bitForm;
FOR term: Term ← pla.termList.begin, term.next WHILE term#NIL DO
thisTermMax: INT ← 0;
FOR in: INT IN [0..bitFormat.size) DO
IF PLAOps.GetInQrt[term, bitFormat[in].firstBit]#dontcare
THEN thisTermMax ← thisTermMax+1 ENDLOOP;
max ← MAX[max, thisTermMax] ENDLOOP};
MaxTermsPerOut: PROC[pla: PLA] RETURNS[max: INT ← 0] = {
bitFormat: PLAOps.Format ← REFBit.Desc[pla.out].bitForm;
FOR out: INT IN [0..bitFormat.size) DO
thisOutMax: INT ← 0;
FOR term: Term ← pla.termList.begin, term.next WHILE term#NIL DO
IF PLAOps.GetOutQrt[term, bitFormat[out].firstBit]=one
THEN thisOutMax ← thisOutMax+1 ENDLOOP;
max ← MAX[max, thisOutMax] ENDLOOP};
CheckConsistancyOfInstrDecodePLAs: PROC[plas: PLAs] = {
DeCONS: PROC[rope: ROPE, list: LIST OF ROPE]
RETURNS[LIST OF ROPE] = {
IF Rope.Equal[rope, list.first] THEN RETURN[list.rest];
FOR temp: LIST OF ROPE ← list, temp.rest WHILE temp.rest#NIL DO
IF NOT Rope.Equal[rope, temp.rest.first] THEN LOOP;
temp.rest ← temp.rest.rest;
EXIT REPEAT FINISHED => TerminalIO.PutF
["\n ERROR: %g not driven by any of the Instruction Decode PLA's", IO.rope[rope]]
ENDLOOP;
RETURN[list]};
main:  Core.Wire ← WireIconExtras.RecWire[plaRoot.Cat[".", root, "Out"]];
outlist: LIST OF ROPE;
FOR index: INT IN [0..nofSubPlas) DO
sub: Core.Wire ← WireIconExtras.RefWire[plas[index].out, "SubPLAOut"];
FOR field: INT IN [0..sub.size) DO
outlist ← CONS[CoreOps.GetShortWireName[sub[field]], outlist] ENDLOOP ENDLOOP;
FOR field: INT IN [0..main.size) DO
outlist ← DeCONS[CoreOps.GetShortWireName[main[field]], outlist] ENDLOOP;
IF outlist#NIL THEN ERROR}; -- main pla did not define these outputs
END.