DIRECTORY
DragOpsCross USING [XopBase, TrapBase, TrapWidthBytes, bytesPerWord, TrapIndex, Word],
--XopBase, TrapBase, TrapWidthBytes, Inst, wordsPerPage, bytesPerWord, charsPerWord, bitsPerByte, bitsPerCharacter, bitsPerWord, logWordsPerPage, logBitsPerByte, logBitsPerChar, logBytesPerWord, logCharsPerWord, logBitsPerWord, logBytesPerPage, PageCount, PageNumber, maxPagesInVM, SixBitIndex, FiveBitIndex, Word, TwoWords, FourBitIndex, Half, ThreeBitIndex, FourHalves, TwoHalves, Byte, ZerosByte, OnesByte, EightBytes, FourBytes, ByteIndex, BytesPerWord, TwoBytes, Comparison, ByteAddress, WordAddress, FieldDescriptor, TrapWidthWords, KernalLimit, TrapIndex, StackUnderflowTrap, IFUPageFaultTrap, ResetTrap, IFUStackOverflowTrap, EUStackOverflowTrap, RescheduleTrap, ALUCondOver, ALUCondBC, ALUCondIL, ALUCondDO, EUPageFault, EUWriteFault, AUFault, euStack, euJunk, euMAR, euField, euConstant, euAux, euBogus, euLast, ifuXBus, ifuStatus, ifuSLimit, ifuYoungestL, ifuYoungestPC, ifuEldestL, ifuEldestPC, ifuBogus, ifuL, ifuS, ifuPC, ifuLast, IFUStatusRec, IFUStackIndex, IFUStackSize, IFUOverflow, EUStackIndex, EUStackSize, EULocalIndex, EULocals, EUAuxIndex, EUAuxRegs, EUConstIndex, EUConstants, IOLocation, ioRescheduleRequest, ioResetRequest
DragOpsCrossUtils USING [IntToWord, CardToWord],
--BytePCToWordAddress, WordAddressToBytePC, IOOperandToCard, CardToIOOperand, FieldDescriptorToCard, CardToFieldDescriptor, StatusToWord, WordToStatus, BytesToWord, BytesToHalf, WordToBytes, HalfToBytes, HalvesToWord, WordToHalves, HighHalf, LowHalf, LeftHalf, RightHalf, SwapHalves, WordToInt, IntToWord, WordToCard, HalfToCard, ByteToCard, CardToWord, CardToHalf, CardToByte, DragAnd, DragOr, DragXor, DragNot, VanillaAdd, VanillaSub, AddDelta, HalfNot, HalfAnd, HalfOr, HalfXor, HalfShift, DoubleWordShiftLeft, SingleWordShiftLeft, SingleWordShiftRight, TrapIndexToBytePC, XopToBytePC
HandCoding,	--Has opcode and register defs.
HandCodingPseudos,	--GenLabel, GenLabelHere, SetLabel, Halt, Pause, MakeLabelGlobal, UseLabel8B, UseLabel16, UseLabel32, ProcedureEntry, ProcedureExit, EnableTraps, IndexedJump, SetupField, ExtractField, ShiftLeft, LoadProcessorReg, StoreProcessorReg, DisableTraps, CauseReschedule, CauseReset, GetSPLimit, SetSPLimit, GetL, SetL, GetYoungestPC, GetYoungestL, GetEldestPC, GetEldestL, SetYoungestPC, SetYoungestL, SetEldestPC, SetEldestL
HandCodingSupport;	--Area, GetCurrentArea, ReserveData, SetOutputPC, GetProc, PutProc, ProcList, NewArea, GenWithArea, Gen1WithArea, ForceOut, GetOutputPC, WordAlign, OutputByte, OutputOneByte, OutputAlphaBeta, OutputAlphaBetaGammaDelta, OutputWord

GenRBC: CEDAR PROGRAM
IMPORTS DragOpsCrossUtils, HandCoding, HandCodingPseudos, HandCodingSupport
= BEGIN OPEN DragOpsCrossUtils, HandCoding, HandCodingPseudos, HandCodingSupport;

Word: TYPE = DragOpsCross.Word;

aux0: AuxRegSpec = [aux[0]];
aux1: AuxRegSpec = [aux[1]];
aux2: AuxRegSpec = [aux[2]];
aux3: AuxRegSpec = [aux[3]];
aux4: AuxRegSpec = [aux[4]];
aux5: AuxRegSpec = [aux[5]];
aux6: AuxRegSpec = [aux[6]];
aux14: AuxRegSpec = [aux[14]];
aux15: AuxRegSpec = [aux[15]];
const5: ConstSpec = [const[5]];
const6: ConstSpec = [const[6]];
const7: ConstSpec = [const[7]];
const8: ConstSpec = [const[8]];
const9: ConstSpec = [const[9]];
const10: ConstSpec = [const[10]];
const11: ConstSpec = [const[11]];


All: PROC = {

FillXop: PROC [inst: CARDINAL, dest: Label] = {
SetOutputPC[inst * DragOpsCross.TrapWidthBytes + DragOpsCross.XopBase * DragOpsCross.bytesPerWord];
drJDB[UseLabel16[dest]];
};

FillTrap: PROC [tx: DragOpsCross.TrapIndex, dest: Label] = {
SetOutputPC[LOOPHOLE[tx, CARDINAL] * DragOpsCross.TrapWidthBytes + DragOpsCross.TrapBase * DragOpsCross.bytesPerWord];
drJDB[UseLabel16[dest]];
};

area: Area = GetCurrentArea[];
savePC: LONG CARDINAL;

start: Label = GenLabel[];
dummy: Label = GenLabel[];
BoundsCheck: Label = GenLabel[];
BCUnexpected: Label = GenLabel[];

enterRJBTest: Label = GenLabel[];
enterRBCTest: Label = GenLabel[];


GenRJB: PROC = {
RJBTest: PROC [a, b: INT] ~ {
endTest: Label = GenLabel[];
badRJB: Label = GenLabel[];
okRJGBJ0: Label = GenLabel[];
okRJGB0: Label = GenLabel[];
okRJLEBJ1: Label = GenLabel[];
okRJLEB1: Label = GenLabel[];
okRJGEBJ0: Label = GenLabel[];
okRJGEB0: Label = GenLabel[];
okRJGEBJ1: Label = GenLabel[];
okRJGEB1: Label = GenLabel[];
okRJLEBJ0: Label = GenLabel[];
okRJLEB0: Label = GenLabel[];
okRJLBJ0: Label = GenLabel[];
okRJLB0: Label = GenLabel[];

ax: Word _ IntToWord[a];
bx: Word _ IntToWord[b];

drLIQB[bx]; drLIQB[ax];
drRJGBJ[topSrc, belowSrc, UseLabel8B[okRJGBJ0]]; Pause[]; SetLabel[okRJGBJ0];
drRJGB[topSrc, belowSrc, UseLabel8B[okRJGB0]]; Pause[]; SetLabel[okRJGB0];
drRJGBJ[topSrc, topSrc, UseLabel8B[badRJB]];
drRJGB[topSrc, topSrc, UseLabel8B[badRJB]];

drRJLEBJ[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJLEB[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJLEBJ[topSrc, topSrc, UseLabel8B[okRJLEBJ1]]; Pause[]; SetLabel[okRJLEBJ1];
drRJLEB[topSrc, topSrc, UseLabel8B[okRJLEB1]]; Pause[]; SetLabel[okRJLEB1];

drRJGEBJ[topSrc, belowSrc, UseLabel8B[okRJGEBJ0]]; Pause[]; SetLabel[okRJGEBJ0];
drRJGEB[topSrc, belowSrc, UseLabel8B[okRJGEB0]]; Pause[]; SetLabel[okRJGEB0];
drRJGEBJ[topSrc, topSrc, UseLabel8B[okRJGEBJ1]]; Pause[]; SetLabel[okRJGEBJ1];
drRJGEB[topSrc, topSrc, UseLabel8B[okRJGEB1]]; Pause[]; SetLabel[okRJGEB1];

drRJLBJ[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJLB[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJLBJ[topSrc, topSrc, UseLabel8B[badRJB]];
drRJLB[popSrc, popSrc, UseLabel8B[badRJB]];

drLIQB[ax]; drLIQB[bx];
drRJGBJ[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJGB[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJLEBJ[topSrc, belowSrc, UseLabel8B[okRJLEBJ0]]; Pause[]; SetLabel[okRJLEBJ0];
drRJLEB[topSrc, belowSrc, UseLabel8B[okRJLEB0]]; Pause[]; SetLabel[okRJLEB0];
drRJGEBJ[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJGEB[topSrc, belowSrc, UseLabel8B[badRJB]];
drRJLBJ[topSrc, belowSrc, UseLabel8B[okRJLBJ0]]; Pause[]; SetLabel[okRJLBJ0];
drRJLB[popSrc, belowSrcPop, UseLabel8B[okRJLB0]]; Pause[]; SetLabel[okRJLB0];

drJDB[UseLabel16[endTest]];

SetLabel[badRJB]; Pause[];
SetLabel[endTest];
};
SetLabel[enterRJBTest];
RJBTest[ 17777777777B, FIRST[INT]];
RJBTest[             0B, FIRST[INT]];
RJBTest[-17777777777B, FIRST[INT]];
RJBTest[ 17777777777B,           0B];
RJBTest[           1B,           0B];
RJBTest[           0B,          -1B];
};


GenRBC: PROC = {
 RBCTest: PROC [a, b: LONG CARDINAL] ~ {
ax: Word _ CardToWord[a];
bx: Word _ CardToWord[b];
RBCok: Label _ GenLabel[];
RBCbad: Label _ GenLabel[];
IF a < b THEN {
drROR[const3, const0, const0];	--Indicate BC trap not expected.
drLIQB[bx];
drLIQB[ax];
drQBC[pushAtop, reg0];
drRBC[pushDst, reg1, reg0];
drRJEBJ[popSrc, reg1, UseLabel8B[RBCok]];
SetLabel[RBCbad]; Pause[]; SetLabel[RBCok];
drRJNEB[popSrc, reg1, UseLabel8B[RBCbad]];
drEXDIS[];
drLIQB[bx];
drBC[];
drLIQB[ax];
drRJNEB[popSrc, belowSrcPop, UseLabel8B[RBCbad]];
}
ELSE {
drROR[const3, const2, const2];	--Indicate BC trap expected.
drLIQB[bx];
drLIQB[ax];
drQBC[pushAtop, reg0];
Pause[]; Pause[];	--Skipped by trap return
drRBC[pushDst, reg1, reg0];
Pause[];	--Skipped by trap return
drEXDIS[];
drLIQB[bx];
drBC[];
Pause[]; Pause[]; Pause[];
drLIQB[bx];
drRJEBJ[popSrc, belowSrcPop, UseLabel8B[RBCok]];
SetLabel[RBCbad]; Pause[];
SetLabel[RBCok];
drLIQB[ax];
drRJNEB[popSrc, belowSrcPop, UseLabel8B[RBCbad]];
};
};

SetLabel[enterRBCTest];
RBCTest[0, 0];
RBCTest[0, 1];
RBCTest[1, 1];
RBCTest[17777777777B, 17777777777B];
RBCTest[17777777776B, 17777777777B];
RBCTest[37777777777B, 17777777777B];
RBCTest[20000000000B, 1];
RBCTest[20000000000B, 17777777777B];
};

WordAlign[area];
SetLabel[dummy];  --A breakpoint would be placed here if Pause[] and Halt[] didn't work
Pause[]; Pause[]; Pause[]; Pause[]; Pause[]; Halt[123B];

WordAlign[area];
SetLabel[BoundsCheck];
drALS[0];  --ALS[1 - nargs], where nargs includes 1 for IFUstatus
drLC3[];
drRJNEB[popSrc, const2, UseLabel8B[BCUnexpected]];
GetYoungestPC[];	--Advance return PC by 4
drRVADD[topDst, const6, topSrc];  --Must not use ADDB here because of Carry
SetYoungestPC[];
drRETK[377B];  --RETK[nResults - 1]
SetLabel[BCUnexpected]; Pause[];


savePC _ GetOutputPC[area];
FillTrap[ResetTrap, start];
FillTrap[ALUCondBC, BoundsCheck];
FillXop[0, dummy];
FillXop[377B, dummy];
SetOutputPC[savePC];

WordAlign[area]; SetLabel[start];

drASL[255];
drLIQB[IntToWord[-1]];
drROR[const2, topSrc, popSrc];	--Put -1 in const2.
drLIB[4];
drROR[const6, topSrc, popSrc];	--Put 4 in const6 for BC trap
drROR[const3, const0, const0];	--Indicate BC trap not expected.

GenRJB[];
GenRBC[];

Halt[177777B];	--Terminate here at the end of the program

};

END.

rGenRBC.mesa
Copyright c 1984, 1985 by Xerox Corporation.  All rights reserved.
Edward Fiala February 7, 1986 5:17:09 pm PST

This diagnostic tests the arithmetic conditional jumps RJGB(J), RJGEB(J), RJLB(J), and RJLEB(J); and the conditional trap opcodes RBC, BC, and QBC.  When correctly executed it terminates with a HALT[177777b] at PC = 4014042B on instruction 403 cycle 1074.

In this diagnostic, the auxiliary registers are called aux0, aux1, ..., aux15; the locals are called reg0, reg1, ..., reg15; and the constants are called const0, const1, ..., const15.
  const2 contains -1.
  const3 is used as an enabling flag for the bounds-check subroutine.
const6 contains 4 for bounds-check trap subroutine.
The Xop trap locations assigned to each opcode are at at opcode*TrapWidthBytes + xopBase*bytesPerWord = 4,000,000B + 20B * opcode, and the trap location assigned to each trap are at TrapIndex*TrapWidthBytes + TrapBase*bytesPerWord = 4,002,000B + 20B * TrapIndex.  The TrapIndex definitions are in DragOpsCross.
Test RJxB and RJxBJ opcodes on <a, b>, <b, a>, and <a, a>, where x = G, GE, L, or LE.
a > b for all calls to RJBTest.
First, test RJGB and RJGBJ.
Equal arguments should not jump.
Next, test RJLEB and RJLEBJ.
Thirdly, test RJGEB and RJGEBJ.
Fourthly, test RJLB and RJLBJ.
Now reverse the arguments
RBC: If Ra < Rb (unsigned) then Rc _ Ra else trap
QBC: If Rs < Rb (unsigned) then Rd _ Rs else trap.
BC: If not Stack[S-1] < Stack[S] (unsigned) then trap; S _ S - 1.
Test the RBC, QBC, and BC opcodes on the value a and bound b.
Trap here with the return PC pointing at an opcode which experienced a bounds check trap; this trap is always enabled, so no special enabling action is necessary.  Unless const3 = -1, Pause[] (boounds check unexpected); otherwise, increment PC by 4 and return.
Opcodes 0 and 377B are intercepted by the simulator, but make them trap to dummy here anyway.
Simulator execution begins here on a Reset.
const0 is in a ROM, so it requires no initialization; const2 is initialized to -1 here; the other constants require no initialization for this diagnostic.
When there is nothing on the stack, S should be at L-1
�Êã–81.25 in leftMargin 1.25 in rightMargin 6.0 in lineLength˜
codeš
œ™Kšœ
Ïm
œ7™BK™,K™K™ÿ
K™—š
Ïk	˜	Kšœ
žœEÏcý˜Ô	KšœžœŸË˜üKšœŸ˜+KšœŸ¢˜µKšœŸå
˜ø
K˜—šœžœ
ž˜KšžœD˜KKšœžœ
žœE˜QK˜K–20 sp tabStopsšœžœ˜K–20 sp tabStops˜K–40 sp tabStopsš
œ“™“K–40 sp tabStopsš
œ3™3K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStopsš
œ˜K–40 sp tabStops˜K–40 sp tabStops˜K–40 sp tabStops˜K–40 sp tabStops˜K–40 sp tabStops˜K–40 sp tabStops˜!K–40 sp tabStops˜!K–40 sp tabStops˜K–20 sp tabStops˜šÏnœžœ˜
K˜Kš
œ¶™¶š œžœžœ˜/Kš
œc˜cKš
œ˜K˜K˜—š œžœ.˜<KšœžœžœU˜vKš
œ˜K˜—K˜Kš
œ˜Kšœžœ
žœ
˜K˜K˜K˜K˜ K˜!K˜K˜!K˜!K˜K˜Kš
œU™Uš œžœ˜Kš
œ™š œžœžœ˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜Kš
œ™K˜MK˜JKš
œ ™ K˜,K˜+K˜Kš
œ™K˜/K˜.K˜NK˜KK˜Kš
œ™K˜PK˜MK˜NK˜KK˜Kš
œ™K˜.K˜-K˜,K˜+K˜Kš
œ™K˜K˜.K˜-K˜PK˜MK˜/K˜.K˜MK˜MK˜K˜K˜K˜Kš
œ˜K˜—K˜Kšœžœ
žœ˜#Kšœžœ
žœ˜%Kšœžœ
žœ˜#Kš
œ%˜%Kš
œ%˜%Kš
œ%˜%K˜—K˜K˜Kš
œ¦
™¦
š œžœ˜Kš
œ=™=šœ
 œžœž
œ˜(K˜K˜Kš
œ˜Kš
œ˜šžœžœ˜KšœŸ ˜?K˜K˜K˜K˜K˜)K˜+K˜*K˜
K˜K˜K˜K˜1K˜
—šžœ˜KšœŸ˜;K˜K˜K˜KšœŸ˜*K˜Kšœ	Ÿ˜!K˜
K˜K˜K˜K˜K˜0K˜K˜K˜K˜1K˜—K˜—K˜K˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ$˜$Kš
œ$˜$Kš
œ$˜$Kš
œ˜Kš
œ$˜$Kš
œ˜—J˜J˜JšœŸE˜WJ˜8J˜Kš
œ„™„K˜K˜KšœŸ6˜AK˜K˜2KšœŸ˜)Kšœ"Ÿ)˜KKš
œ˜KšœŸ˜#K˜ K˜K˜Kš
œ]™]Kš
œ˜Kš
œ˜K˜!K˜Kš
œ˜Kš
œ˜K˜Kš
œ+™+K˜!K˜Kš
œš
™š
˜Kš
œ6™6—K˜KšœŸ˜2K˜	KšœŸ˜<KšœŸ ˜?J˜Jš
œ	˜	Jš
œ	˜	J˜JšœŸ*˜9K˜˜K˜——Kšžœ
˜—K˜—…—!Ä1