DIRECTORY Basics USING [DoubleShiftLeft], DebuggerDefs, DragOpsCross USING [], --Word, wordsPerPage, bytesPerWord, charsPerWord, bitsPerByte, bitsPerCharacter, bitsPerWord, bytesPerPage, logWordsPerPage, logBitsPerByte, logBitsPerChar, logBytesPerWord, logCharsPerWord, logBitsPerWord, logBytesPerPage, PageCount, PageNumber, maxPagesInVM, SixBitIndex, FiveBitIndex, TwoWords, FourBitIndex, Half, ThreeBitIndex, FourHalves, TwoHalves, Byte, ZerosByte, OnesByte, EightBytes, FourBytes, ByteIndex, BytesPerWord, TwoBytes, Comparison, ByteAddress, WordAddress, FieldDescriptor, RegIndex, PadByte, Lit8, Op4, Op8, JDist8, Inst, OIFormat, OQBformat, LRformat, QRformat, ShortRegQR, OBformat, LRBformat, RRformat, ODBformat, LRRBformat, RJBformat, ShortRegRJB, JBBformat, TrapWidthWords, TrapWidthBytes, XopBase, TrapBase, KernalLimit, TrapIndex, StackUnderflowTrap, IFUPageFaultTrap, ResetTrap, IFUStackOverflowTrap, EUStackOverflowTrap, RescheduleTrap, ALUCondFalse, ALUCondEZ, ALUCondLZ, ALUCondLE, ALUCondSpare, ALUCondNE, ALUCondGE, ALUCondGZ, ALUCondOver, ALUCondBC, ALUCondIL, ALUCondDO, ALUCondNotOver, ALUCondNB, ALUCondNI, ModeFault, MemAccessFault, IOAccessFault, EUPageFault, EUWriteFault, AUFault, euStack, euJunk, euToKBus, euMAR, euField, euConstant, euAux, euBogus, euLast, ifuYoungestL, ifuYoungestPC, ifuEldestL, ifuEldestPC, ifuSLimit, ifuBogus, ifuL, ifuS, ifuPC, ifuLast, EURegs, EULegalRegs, IFURegs, IFULegalRegs, StackedStatusWord, IFUStackIndex, IFUStackSize, IFUOverflow, EUStackIndex, EUStackSize, EULocalIndex, EULocals, EUAuxIndex, EUAuxRegs, EUConstIndex, EUConstants, IOLocation, ioRescheduleRequest, ioResetRequest, IOOperand, PCmdFormat, PCmdByteSelect, PCmdClass, PCmdSpace, PCmdDirection DragOpsCrossUtils USING [CardToWord], --InstToBytes, InstToFormat, BytePCToWordAddress, WordAddressToBytePC, IOOperandToCard, CardToIOOperand, FieldDescriptorToCard, CardToFieldDescriptor, 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, XopToBytePC, TrapIndexToBytePC, FieldUnit HandCoding, --Has opcode and register defs. HandCodingPseudos, --Label, SetLabel, GenLabel, GenLabelHere, UseLabel8A, UseLabel8B, UseLabel16, UseLabel32, LReg, PReg, SReg, AddReg, SubReg, SetRegConst, MoveReg, MoveRegI, LRegI, IndexedJump, ProcedureEntry, ProcedureExit, SetupField, ExtractField, ShiftLeft, LoadProcessorReg, StoreProcessorReg, CauseReschedule, CauseReset, GetSPLimit, SetSPLimit, GetYoungestPC, GetYoungestStatus, GetEldestPC, GetEldestStatus, SetYoungestPC, SetYoungestStatus, SetEldestPC, SetEldestStatus, Pause, Halt HandCodingSupport; --Area, GetProc, PutProc, ProcList, NewArea, GenWithArea, Gen1WithArea, ForceOut, GetCurrentArea, LoadArea, GetOutputPC, SetOutputPC, WordAlign, ReserveData, OutputByte, OutputOneByte, OutputAlphaBeta, OutputAlphaBetaGammaDelta, OutputWord GenSFCI: CEDAR PROGRAM IMPORTS Basics, DragOpsCrossUtils, HandCoding, HandCodingPseudos, HandCodingSupport = BEGIN OPEN DebuggerDefs, DragOpsCrossUtils, HandCoding, HandCodingPseudos, HandCodingSupport; All: PROC = { area: Area = GetCurrentArea[]; InitializeWord: PROC [pc, value: CARD] = { oldPC: LONG CARDINAL = GetOutputPC[area]; bytePC: LONG CARDINAL _ Basics.DoubleShiftLeft[[lc[pc]], 2].lc; SetOutputPC[bytePC]; --pc is a byte address OutputWord[area, CardToWord[value], FALSE]; SetOutputPC[oldPC]; }; GenSFCI: PROC = { DoSFCI: PROC [destPC, memLoc: LONG CARDINAL] ~ { InitializeWord[memLoc, destPC]; drLIQB[CardToWord[memLoc]]; drSFCI[]; drADDB[1]; drRETN[]; SetOutputPC[destPC]; }; enterSFCITestPC: LONG CARDINAL = 1774000B * bytesPerWord; firstJumpPC: LONG CARDINAL = IF withSoftCard THEN 5000000B ELSE 400100B; endTestPC: LONG CARDINAL = 1776000B * bytesPerWord; okSFCI: Label = GenLabel[]; okStk: Label = GenLabel[]; badStk: Label = GenLabel[]; endTest: Label = GenLabel[]; exitTest: Label = GenLabel[]; drJQB[CardToWord[enterSFCITestPC]]; SetOutputPC[enterSFCITestPC]; drLIB[0]; --Counter used to verify that the calls and returns have occurred. InitializeWord[1772777B, firstJumpPC]; drLIQB[CardToWord[1772777B]]; drSFCI[]; drJEBBJ[16B, UseLabel8B[okSFCI]]; Pause[]; SetLabel[okSFCI]; drJQB[UseLabel32[exitTest]]; SetOutputPC[firstJumpPC]; IF withSoftCard THEN { --1 megabyte limit confines PC to [4,000,000B..10,000,000B) and storage references to [1,000,000B..2,000,000B). DoSFCI[ 5010020B, 1773000B]; --SFCI does push 1773000B, [s] = 16B after the RETN DoSFCI[ 5020040B, 1773001B]; --SFCI does push 1773001B, [s] = 15B after the RETN DoSFCI[ 5040100B, 1773002B]; --SFCI does push 1773002B, [s] = 14B after the RETN DoSFCI[ 5100200B, 1773003B]; --SFCI does push 1773003B, [s] = 13B after the RETN DoSFCI[ 5200400B, 1773004B]; --SFCI does push 1773004B, [s] = 12B after the RETN DoSFCI[ 5401000B, 1773005B]; --SFCI does push 1773005B, [s] = 11B after the RETN DoSFCI[ 6002000B, 1773006B]; --SFCI does push 1773006B, [s] = 10B after the RETN DoSFCI[ 6004001B, 1773007B]; --SFCI does push 1773007B, [s] = 07B after the RETN DoSFCI[ 4060002B, 1773010B]; --SFCI does push 1773010B, [s] = 06B after the RETN DoSFCI[ 4070004B, 1773011B]; --SFCI does push 1773011B, [s] = 05B after the RETN DoSFCI[ 4100010B, 1773012B]; --SFCI does push 1773012B, [s] = 04B after the RETN DoSFCI[ 4200020B, 1773013B]; --SFCI does push 1773013B, [s] = 03B after the RETN DoSFCI[ 4400040B, 1773014B]; --SFCI does push 1773014B, [s] = 02B after the RETN DoSFCI[ 4677777B, 1773015B]; --SFCI does push 1773015B, [s] = 01B after the RETN } ELSE { DoSFCI[ 1000200B, 1773000B]; --SFCI does push 1773000B, [s] = 16B after the RETN DoSFCI[ 2000400B, 1773001B]; --SFCI does push 1773001B, [s] = 15B after the RETN DoSFCI[ 4010000B, 1773002B]; --SFCI does push 1773002B, [s] = 14B after the RETN DoSFCI[ 10002000B, 1773003B]; --SFCI does push 1773003B, [s] = 13B after the RETN DoSFCI[ 20004001B, 1773004B]; --SFCI does push 1773004B, [s] = 12B after the RETN DoSFCI[ 40001002B, 1773005B]; --SFCI does push 1773005B, [s] = 11B after the RETN DoSFCI[ 100020004B, 1773006B]; --SFCI does push 1773006B, [s] = 10B after the RETN DoSFCI[ 200040010B, 1773007B]; --SFCI does push 1773007B, [s] = 07B after the RETN DoSFCI[ 400100020B, 1773010B]; --SFCI does push 1773010B, [s] = 06B after the RETN DoSFCI[ 1000000000B, 1773011B]; --SFCI does push 1773011B, [s] = 05B after the RETN DoSFCI[ 2000000000B, 1773012B]; --SFCI does push 1773012B, [s] = 04B after the RETN DoSFCI[20000200040B, 1773013B]; --SFCI does push 1773013B, [s] = 03B after the RETN DoSFCI[10000000000B, 1773014B]; --SFCI does push 1773014B, [s] = 02B after the RETN DoSFCI[ 4000000000B, 1773015B]; --SFCI does push 1773015B, [s] = 01B after the RETN }; drJQB[UseLabel32[endTest]]; SetOutputPC[endTestPC]; SetLabel[endTest]; drLIQB[CardToWord[1773015B]]; drRJEBJ[popSrc, belowSrcPop, UseLabel8B[okStk]]; SetLabel[badStk]; Pause[]; SetLabel[okStk]; drLIQB[CardToWord[1773014B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773013B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773012B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773011B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773010B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773007B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773006B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773005B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773004B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773003B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773002B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773001B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1773000B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drLIQB[CardToWord[1772777B]]; drRJNEB[popSrc, belowSrcPop, UseLabel8B[badStk]]; drRETN[]; SetLabel[exitTest]; }; GenSFCI[]; Halt[177777B]; --Terminate here at the end of the program }; END. ÊGenSFCI.mesa Copyright c 1985, 1986, 1987 by Xerox Corporation. All rights reserved. Edward Fiala February 10, 1986 4:33:18 pm PST Curry, September 11, 1986 8:20:35 pm PDT Curry, September 11, 1986 7:17:27 pm PDT Added definition for SetYoungestL Fiala November 5, 1986 6:07:04 pm PST Cosmetic edits; use SetYoungestStatus rather than SetYoungestL. Fiala March 25, 1987 3:46:32 pm PST Change Reset, Pause, and Halt for operation with GenDebugger; move the storage addresses which hold the PC from 3xxx to 1773xxx to lie within the megabyte covered by GenDebugger; provide different set of PC's for withSoftCard = TRUE and FALSE. Load with "quad -cx GenDebugger GenSFCI". This diagnostic tests the SFCI opcode. When correctly executed with withSoftCard = TRUE, it terminates with a Halt[177777B] on instruction 102, cycle 535, PC = 7770172B. Lizard requires that all storage touched by a program be declared in advance. This procedure declares a word that will be touched and initializes its value. DoSFCI initializes memLoc to hold a PC, pushes memLoc onto the stack, executes an SFCI opcode, and changes the PC to be the destination PC. Each call to DoSFCI will push another memLoc onto the stack; later accumulated stack values are checked and popped. When a RETN is eventually executed, ADDB[1] at each SFCI return point count to verify that control really passed through the different procedure return points. Exercise every bit position of the pc address; must avoid the vector for Xops and Traps and the debugger in byte positions [4000000B..4040000B). A Lizard bug prevents defining Labels at addresses with the high-order bit = 1. Begin at PC = userBasePC = 1010000B * 4, L = 1, S = 0 as established in GenDebugger. ÊÀ˜codešœ™Kšœ Ïmœ=™HK™-K™(KšœJ™JK™eK™—K™KšœÕ™Õ—K˜šÏk ˜ Kšœžœ˜Kšœ ˜ Kšœ žœÏcå˜üKšœžœŸÕ˜ûKšœ Ÿ˜,KšœŸÚ˜îKšœŸï˜ƒK˜—šœ žœž˜KšžœL˜SKšœžœžœS˜_K˜šÏnœžœ˜ K˜Kšœ˜K˜Kšœ™š œžœ žœ˜*Kšœžœžœ˜)Kšœžœžœ*˜?KšœŸ˜+Kšœ$žœ˜+Kšœ˜K˜—K˜š œžœ˜K˜Kšœ¡™¡š œžœžœžœ˜0K˜K˜K˜ Kšœ ˜ K˜ Kšœ˜K˜—K˜Kšœžœžœ˜9Kšœ žœžœžœžœ žœ ˜HKšœžœžœ˜3K˜K˜K˜J˜K˜K˜K˜#K˜Jšœ™Kšœ ŸB˜LKšœ&˜&Kšœ˜K˜ Kšœ<˜