-- TamGenImpl.mesa
-- Generated by Lisp
-- Date:  2-Nov-87 12:57:51
DIRECTORY TamarinUtil;
TamGenImpl: CEDAR PROGRAM 
  IMPORTS TamarinUtil
  = BEGIN OPEN TamarinUtil;

  ResetTamarinDefs[];


-- Micro Code Fields

TamConstant[$pAltCxt, 0];
TamConstant[$sAltCxt, 3];
TamConstant[$pByteAddr, 3];
TamConstant[$sByteAddr, 1];
TamConstant[$pDone, 4];
TamConstant[$sDone, 1];
TamConstant[$pDpCCode, 5];
TamConstant[$sDpCCode, 6];
TamConstant[$pDswap, 11];
TamConstant[$sDswap, 1];
TamConstant[$pEUop, 12];
TamConstant[$sEUop, 7];
TamConstant[$pEuCCode, 19];
TamConstant[$sEuCCode, 2];
TamConstant[$pForceDone, 21];
TamConstant[$sForceDone, 1];
TamConstant[$pInvertCCode, 22];
TamConstant[$sInvertCCode, 1];
TamConstant[$pK, 23];
TamConstant[$sK, 9];
TamConstant[$pK2, 32];
TamConstant[$sK2, 4];
TamConstant[$pLatchFetchPc, 36];
TamConstant[$sLatchFetchPc, 1];
TamConstant[$pLatchPc, 37];
TamConstant[$sLatchPc, 1];
TamConstant[$pMemCCode, 38];
TamConstant[$sMemCCode, 2];
TamConstant[$pMemLatchSrc, 40];
TamConstant[$sMemLatchSrc, 2];
TamConstant[$pMemOffset, 42];
TamConstant[$sMemOffset, 1];
TamConstant[$pMemOp, 43];
TamConstant[$sMemOp, 2];
TamConstant[$pMisc, 45];
TamConstant[$sMisc, 2];
TamConstant[$pMuxBus, 47];
TamConstant[$sMuxBus, 3];
TamConstant[$pMuxCCode, 50];
TamConstant[$sMuxCCode, 3];
TamConstant[$pNewArg, 53];
TamConstant[$sNewArg, 4];
TamConstant[$pNewArg2, 57];
TamConstant[$sNewArg2, 4];
TamConstant[$pNewBotCxt, 61];
TamConstant[$sNewBotCxt, 1];
TamConstant[$pNewTopCxt, 62];
TamConstant[$sNewTopCxt, 1];
TamConstant[$pNewTos, 63];
TamConstant[$sNewTos, 4];
TamConstant[$pNextInstA, 67];
TamConstant[$sNextInstA, 8];
TamConstant[$pNextInstB, 75];
TamConstant[$sNextInstB, 8];
TamConstant[$pOpLength, 83];
TamConstant[$sOpLength, 3];
TamConstant[$pOpMask, 86];
TamConstant[$sOpMask, 2];
TamConstant[$pPcSrc, 88];
TamConstant[$sPcSrc, 2];
TamConstant[$pPhysAddrSrc, 90];
TamConstant[$sPhysAddrSrc, 1];
TamConstant[$pRCxt, 91];
TamConstant[$sRCxt, 1];
TamConstant[$pRD1addr, 92];
TamConstant[$sRD1addr, 4];
TamConstant[$pRD2addr, 96];
TamConstant[$sRD2addr, 4];
TamConstant[$pRaddr, 100];
TamConstant[$sRaddr, 3];
TamConstant[$pTag, 103];
TamConstant[$sTag, 2];
TamConstant[$pW2addr, 105];
TamConstant[$sW2addr, 3];
TamConstant[$pWCxt, 108];
TamConstant[$sWCxt, 1];
TamConstant[$pWaddr, 109];
TamConstant[$sWaddr, 3];
TamConstant[$pWriteF, 112];
TamConstant[$sWriteF, 1];
TamConstant[$pWriteOctal, 113];
TamConstant[$sWriteOctal, 1];
TamConstant[$pWriteT, 114];
TamConstant[$sWriteT, 1];
TamConstant[$pWriteTags, 115];
TamConstant[$sWriteTags, 1];
TamConstant[$pWriteData, 116];
TamConstant[$sWriteData, 1];
TamConstant[$pSetFlags, 117];
TamConstant[$sSetFlags, 1];
TamConstant[$pClrFlags, 118];
TamConstant[$sClrFlags, 1];
TamConstant[$pUnused, 119];
TamConstant[$sUnused, 1];

-- Data Path Condition Code Setup

DpCCode[63, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[62, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[61, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[60, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[59, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[58, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[57, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[56, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[55, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[54, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[53, "1100000000000000000000000000000000", "1100000000000000000000000000000000", 
"0011100000000000000000000000000000", "0011100000000000000000000000000000", 
"0000011000000000000000000000000000"];
DpCCode[52, "1000010000000000000000000000000000", "0000000000000000000000000000000000", 
"0111101000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000011111111"];
DpCCode[51, "1000010000000000000000000000000000", "0000000000000000000000000000000000", 
"0111101000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[51, "1100000000000000000000000000000000", "1100000000000000000000000000000000", 
"0011100000000000000000000000000000", "0011100000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[50, "0000000000000000000000000000000000", "0000000000000000000000000000100000", 
"0000000000000000000000000000000000", "1111111111111111111111111111011111", 
"0000000000000000000000000000000000"];
DpCCode[50, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "1111111111111111111111111111100000", 
"0000000000000000000000000000000000"];
DpCCode[49, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "1110000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[48, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0000000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000", "0011100000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0000000000000000000000000000000000", "1000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0110000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0000000000000000000000000000000000", "0100000000000000000000000000000000", 
"0000000000000000000000000000000000", "1000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0000000000000000000000000000000000", "0010110000000000000000000000000000", 
"0000000000000000000000000000000000", "0000001000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0011100000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "1000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0110000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0100000000000000000000000000000000", "0000000000000000000000000000000000", 
"1000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[47, "0010110000000000000000000000000000", "0000000000000000000000000000000000", 
"0000001000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[46, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1111111000000000000000000000000000"];
DpCCode[45, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000011111111"];
DpCCode[44, "1011010000000000000000000000000000", "0000000000000000000000000000000000", 
"0100101000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[43, "0000000000000000000000000000000000", "0000000000000000000000000000001111", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[42, "0000000000000000000000000000000000", "0000000000000000000000000000000001", 
"0000000000000000000000000000000000", "0000000000000000000000000000001110", 
"0000000000000000000000000000000000"];
DpCCode[42, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000001111", 
"0000000000000000000000000000000000"];
DpCCode[41, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[40, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[39, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[38, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[37, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[36, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[35, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[34, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[33, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[32, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[31, "1101000000000000000000000000000000", "0000000000000000000000000000000000", 
"0010111000000000000000000000000000", "1100111111111111111111111111111000", 
"0000000000000000000000000000000000"];
DpCCode[30, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[29, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1110000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[28, "0010110000000000000000000000000000", "0000000000000000000000000000000000", 
"0000001000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[27, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[26, "0000000000000000000000000000000000", "1100000000000000000000000000000000", 
"1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[26, "0000000000000000000000000000000000", "1010000000000000000000000000000000", 
"1100000000000000000000000000000000", "0100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[25, "0000000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[25, "0000000000000000000000000000000000", "1010000000000000000000000000000000", 
"0000000000000000000000000000000000", "0101000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[24, "0000000000000000000000000000000000", "0000100000000000000000000000000000", 
"0000000000000000000000000000000000", "1111011111111111111111111111111111", 
"0000000000000000000000000000000000"];
DpCCode[23, "0100000000000000000000000000000000", "0100000000000000000000000000000000", 
"1000000000000000000000000000000000", "1000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[23, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1100000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[22, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[21, "0000000000000000000000000000000000", "1011110000000000000000111000000000", 
"0000000000000000000000000000000000", "0100001111111111111111000111111111", 
"0000000000000000000000000000000000"];
DpCCode[20, "1110010000000000000000000000000000", "0000000000000000000000000000000000", 
"0001101000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[19, "1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0011100000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[19, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[18, "0000000000000000000000000000000000", "1100000000000000000000000000000000", 
"1100000000000000000000000000000000", "0011100000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[18, "1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0011100000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[18, "1100000000000000000000000000000000", "1100000000000000000000000000000000", 
"0011100000000000000000000000000000", "0011100000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[18, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1100000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[17, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1100111111111111111111111111111000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[16, "1101000000000000000000000000000000", "0000000000000000000000000000000000", 
"0010111000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[15, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[14, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1111111111111111111111111111111111"];
DpCCode[13, "1011000000000000000000000000000000", "0000000000000000000000000000000000", 
"0100111000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[13, "1011010000000000000000000000000000", "0000000000000000000000000000000000", 
"0100101000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[12, "1101100000000000000000000000000000", "0000000000000000000000000000000000", 
"0010011000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[11, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1100000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[10, "1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[10, "1010000000000000000000000000000000", "0000000000000000000000000000000000", 
"0100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[9, "1000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0110000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[8, "0100000000000000000000000000000000", "0000000000000000000000000000000000", 
"1000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[7, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[6, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[5, "1110010000000000000000000000000000", "0000000000000000000000000000000000", 
"0001101000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[4, "1000001000000000000000000000000000", "0000000000000000000000000000000000", 
"0111110111111111111111111111111111", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[3, "1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[3, "1011000000000000000000000000000000", "0000000000000000000000000000000000", 
"0100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[2, "0000000000000000000000000000000000", "1100000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[2, "0000000000000000000000000000000000", "1011000000000000000000000000000000", 
"0000000000000000000000000000000000", "0100000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[2, "1100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[2, "1011000000000000000000000000000000", "0000000000000000000000000000000000", 
"0100000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[1, "1101010000000000000000000000000000", "0000000000000000000000000000000000", 
"0010101000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];
DpCCode[0, "0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000", "0000000000000000000000000000000000", 
"0000000000000000000000000000000000"];


-- Special Registers on D1

SpecRegConst[0, 10, "0000000000000000000000000000000000"];
SpecRegConst[0, 11, "0011111111111111111111111111111111"];

-- Special Registers on D2

SpecRegConst[1, 10, "1011110000000000000000111000000000"];
SpecRegConst[1, 11, "1011110000000000000000111000010000"];
SpecRegConst[1, 12, "0000000000000000000000000000000000"];
SpecRegConst[1, 13, "1000001000000000000000000000000000"];
SpecRegConst[1, 14, "1011110000000000000000000000000000"];
SpecRegConst[1, 15, "0000000111111111111111111111111111"];


  GetUCode[];

END.