DIRECTORYCommander,IFUPLAMainPipeControl,IO,PLAOps;IFUPLAMainPipeControlImpl: CEDAR PROGRAMIMPORTS Commander, IO, PLAOps =BEGIN OPEN PO: PLAOps;MainPipeControlIn:		TYPE = IFUPLAMainPipeControl.MainPipeControlIn;MainPipeControlOut:	TYPE = IFUPLAMainPipeControl.MainPipeControlOut;CondEffect:				TYPE = IFUPLAMainPipeControl.CondEffect;MainPipeControlPLA: PO.PLA;MainPipeControlProc:  PROC[argRec: MainPipeControlIn] RETURNS [resRec: MainPipeControlOut] = {arg:	REF MainPipeControlIn		_ NARROW[MainPipeControlPLA.data];res:	REF MainPipeControlOut	_ NARROW[MainPipeControlPLA.out];arg^ _ argRec; PO.GetOutForData[MainPipeControlPLA]; resRec _ res^};condEffectIsSig:	CondEffect _ LAST [CondEffect];forceBubble: 	MainPipeControlOut =[microExcptJmp: bubble, except: [specialCode, bubble]];GenPhBOutputs:  PROC = {maskableTrap: PO.BoolExpr _PO.And[BETrue[[trapsEnabled2: 	TRUE]],PO.Or[BETrue[[eStkOverflow2:		TRUE]],PO.And[BETrue[[instStarting2: 	TRUE]],BETrue[[rschWaitingIn:	TRUE]] ],PO.And[BETrue[[push2: 			TRUE]],BETrue[[iStkNearlyFull:	TRUE]] ]  ] ];stage2Failed: PO.BoolExpr _ PO.Or[BETrue[[reset: 				TRUE]],BETrue[[stage2BAbort: 	TRUE]],PO.And[BETrue[[eUCondition2:	TRUE]],BE[m:[condEffect2: condEffectIsSig],	d:[condEffect2: macroTrap]] ],maskableTrap ];stage2FailedOr1Hold: PO.BoolExpr _ PO.Or[stage2Failed,BETrue[[stage1BHold:  TRUE]] ];loadStage1: PO.BoolExpr _ PO.Or[BEFalse[[microExcptJmpBubble:	TRUE]],	BETrue[[reset:  TRUE]] ];loadStages23: PO.BoolExpr _ PO.Or[ BEFalse[[dPReject:			TRUE]],	BETrue[[reset:  TRUE]] ];Set[ s: stage2Failed,				out: [stage3A:	abort		] ];Set[ s: stage2FailedOr1Hold,	out: [stage2A:	bubble	] ];Set[ s: loadStage1,				out: [loadStage1:	TRUE		] ];Set[ s: loadStages23,				out: [loadStage2:	TRUE		] ];Set[ s: loadStages23,				out: [loadStage3:	TRUE		] ]};GenPhAOutputs:  PROC = {cur, temp: PO.BoolExpr;rschWaitingIn: PO.BoolExpr _ BETrue[[rschWaitingIn: TRUE]];newRschWaiting: PO.BoolExpr _ PO.And[BEFalse[[reset: TRUE]],BEFalse[[rschClearIn: TRUE]],PO.Or[ rschWaitingIn, BETrue[[reschedule: TRUE]] ] ];notCondEffect1Bubble : PO.BoolExpr _PO.Or[BETrue[[reset:  TRUE]],PO.Not[BE[m: [condEffect1: condEffectIsSig], d: [condEffect1: bubble]]] ];stage1BHolding: PO.BoolExpr _ PO.And[BEFalse[[reset: TRUE]],notCondEffect1Bubble,PO.Or[	BETrue[[stage1BHold: 	TRUE]],	BETrue[[dPReject:	TRUE]] ] ];eUStkOverflow:		PO.BoolExpr _ PO.And[BETrue[[trapsEnabled2: 	TRUE]],BETrue[[eStkOverflow2: TRUE]] ];ifuStkOverflow:		PO.BoolExpr _ PO.And[BETrue[[trapsEnabled2:	TRUE]],BETrue[[iStkNearlyFull: TRUE]],PO.Or[BETrue[[dPFaulting: TRUE]],PO.And[BEFalse[[dPReject: TRUE]],PO.Or[BETrue[[push2: TRUE]],BETrue[[eStkOverflow2: TRUE]],BETrue[[instFault2: TRUE]],PO.And[BETrue[[instStarting2: TRUE]], rschWaitingIn],PO.And[BETrue[[eUCondition2: TRUE]],BE[ m: [condEffect2: condEffectIsSig], d: [condEffect2: macroTrap] ] ] ] ] ] ];interlock: PO.BoolExpr _ PO.And[PO.Or[BETrue[[stage1BHold: TRUE]],BETrue[[dPReject: TRUE]] ],notCondEffect1Bubble ];Set[ s: newRschWaiting, out:[ rschWaiting: TRUE ] ];Set[ s: BETrue[[dPFaulting: TRUE]], out:[ stage3BCPipe: abort ] ];Set[ s: stage1BHolding, out:[stage1BHolding:		TRUE,notBcLoadStage1:	TRUE ] ];Set[s: BETrue[[reset: TRUE]], out:[stage2B:			abort,microExcptJmp:	resetting,except:			[specialCode, reset] ] ];cur _ BEFalse[[reset: TRUE]];Set[s: PO.And[cur, BETrue[[protMicroCycle: TRUE]]], out:[microExcptJmp:	none,except:			[specialCode, none] ] ];cur _ PO.And[cur, BEFalse[[protMicroCycle: TRUE]]];Set[s: PO.And[cur, ifuStkOverflow], out:[stage2B:			abort,microExcptJmp:	trap,except:			[specialCode, iStkOFlow] ] ];cur _ PO.And[cur, PO.Not[ifuStkOverflow]];Set[s: PO.And[cur, BETrue[[dPFaulting: TRUE]]], out:[stage2B:			abort,microExcptJmp:	trap,except:			[dpFault] ] ];cur _ PO.And[cur, BEFalse[[dPFaulting: TRUE]]];Set[s: PO.And[cur, BETrue[[dPReject: TRUE]], notCondEffect1Bubble], out: forceBubble ];cur _ PO.And[cur, BEFalse[[dPReject: TRUE]]];temp _ PO.And[cur, BETrue[[eUCondition2: TRUE]]];Set[s:temp, m:[condEffect2: condEffectIsSig], d:[condEffect2: macroTrap], out:[stage2B:			abort,microExcptJmp:	trap,except:			[condCode] ] ];Set[s:temp, m:[condEffect2: condEffectIsSig], d:[condEffect2: macroJump], out:[stage2B:			abort,microExcptJmp:	cJump,except:			[specialCode, cJump] ] ];Set[s:temp, m:[condEffect2: condEffectIsSig], d:[condEffect2: microJump], out:[microExcptJmp:	microJump ] ];cur _ PO.And[cur, BEFalse[[eUCondition2: TRUE]]];Set[s: PO.And[cur, eUStkOverflow], out:[stage2B:			abort,microExcptJmp:	trap,except:			[specialCode, eStkOFlow] ] ];cur _ PO.And[cur,	PO.Not[eUStkOverflow]];Set[s: PO.And[cur, interlock], out: forceBubble ];cur _ PO.And[cur,	PO.Not[interlock]];cur _ PO.And[cur, BETrue[[instStarting2:	TRUE]] ];Set[s: PO.And[cur, BETrue[[trapsEnabled2: TRUE]], rschWaitingIn], out:[rschClear:		TRUE,stage2B:			abort,microExcptJmp:	trap,except:			[specialCode, rschlWait] ]];cur _ PO.And[cur, PO.Or[PO.Not[rschWaitingIn], BEFalse[[trapsEnabled2: TRUE]]]];Set[s:cur, m:[instFault2: TRUE], d:[instFault2: TRUE], out:[stage2B:			abort,microExcptJmp:	trap,except:			[specialCode, ipFault] ]];cur _ PO.And[cur, BEFalse[[instFault2: TRUE]]];};BE: PROC [m, d: MainPipeControlIn ] RETURNS[ PO.BoolExpr ] = {mRef:		REF MainPipeControlIn	_ NARROW[MainPipeControlPLA.mask];dRef:		REF MainPipeControlIn	_ NARROW[MainPipeControlPLA.data];mRef^ _ m; dRef^ _ d; RETURN[PO.GetBEForDataMask[MainPipeControlPLA]]};BETrue:	PROC [ d: MainPipeControlIn ] RETURNS[ PO.BoolExpr ] = { RETURN[ BE[d,d] ] };BEFalse:	PROC [ d: MainPipeControlIn ] RETURNS[ PO.BoolExpr ] = { RETURN[ BE[d,[]] ] };Set: PROC [s: PO.BoolExpr _ NIL,	m, d: MainPipeControlIn _ [ ], out: MainPipeControlOut] = {res:	REF MainPipeControlOut	_ NARROW[MainPipeControlPLA.out];s _ IF s=NIL THEN BE[m,d] ELSE PO.And[s, BE[m,d] ];res^ _ out; PO.SetOutForBE[MainPipeControlPLA, s]};GenMainPipeControl: Commander.CommandProc = {filename: IO.ROPE _ PO.DefaultCMDLine[cmd.commandLine, defaultFile];MainPipeControlPLA _ PO.NewPLA["IFUPLAMainPipeControl.MainPipeControlIn","IFUPLAMainPipeControl.MainPipeControlOut"];GenPhBOutputs[];GenPhAOutputs[];[ ] _ PO.ConvertTermListToCompleteSum[MainPipeControlPLA.termList, FALSE, FALSE, cmd.out];[ ] _ PO.FindAMinimalCover[MainPipeControlPLA.termList, 120, cmd.out];PO.WritePLAFile[filename, cmd.out, MainPipeControlPLA] };ReadMainPipeControl: Commander.CommandProc = {MainPipeControlPLA	_ PO.ReadPLAFile[ PO.DefaultCMDLine[ cmd.commandLine, defaultFile ], cmd.out ]};doc:			IO.ROPE = "Expects the name of the ttt file";defaultFile:	IO.ROPE = "IFUPLAMainPipeControl.ttt";Commander.Register[key:"GenMainPipeControl",		proc: GenMainPipeControl,		doc: doc];Commander.Register[key:"ReadMainPipeControl",		proc: ReadMainPipeControl,		doc: doc];END.  r  IFUPLAMainPipeControlImpl.mesaCopyright c 1984 by Xerox Corporation.  All rights reserved.Last edited by McCreight, June 6, 1986 5:43:46 pm PDTLast edited by Curry, September 14, 1986 4:15:52 pm PDTDon Curry March 9, 1987 5:06:25 pm PSTSet[ s: BETrue[[x2ASrcLit1:  TRUE]],	out: [x2ASrcLit2:	TRUE		] ]};rschClear is generated below and fed back in the same phase A (since it would be expensive to invert its generating condition).  It is just used to compute the newRschWaiting.stage1BHolding: PO.BoolExpr _ PO.Or[BETrue[[reset: 			TRUE]],PO.And[notCondEffect1Bubble,PO.Or[	BETrue[[stage1BHold: 	TRUE]],	BETrue[[dPReject:	TRUE]] ] ] ];interlock: PO.BoolExpr _ PO.And[PO.Or[BETrue[[stage1BHold: TRUE]],PO.And[BETrue[[stage1HoldIfReject: TRUE]],BETrue[[dPReject: TRUE]] ] ],notCondEffect1Bubble ];ResetIntermediate cycle of protected microinstruction sequenceIFU stack overflowData PBus Fault, pipe stage 3RejectALU Condition, pipe stage 2EU stack overflow, pipe stage 2Pipe InterlockReschedule Waiting, pipe stage 2Instruction Fetch Fault, pipe stage 2ELSE new unexceptional microinstruction [ ] Э╩	б  Ш ЪЬЩJЪЬ<Щ<IcodeЪЬ5Щ5JЪЬ7Щ7KЩ&JЩ ЧЪ╧k	Ш	JШ
JЪЬШJЪЭЬШJЪЬШJШ ЧЪ╧nЬЭЬЭШ(JЪЭЬЭЬ
ШJЪЭЬЭЬЭЬ	ШJШ JШ JЪЬЭЬ+ШCJЪЬЭЬ,ШDJЪЬЭЬ$Ш7JЩ JЪЮЬЭЬЭЬШЪЮЬЭЬЭЬ!Ш^JЪЬЭЬЭЬШ>JЪЬЭЬЭЬШ=JЪЬЭЬ3ШDЧJШ JЪЬЭЬШ0ЪЬ"Ш"JЪЬ7Ш7ЧJШ ЪЮЬЭЬШЪЬЭЬШЪЭЬШJЪЬЭЬШЪЭЬШJЪЬЭЬШЪЭЬШJЪЬЭЬШJЪЬЭЬШ ЧЪЭЬШJЪЬЭЬШJЪЬЭЬ
Ш&ЧЧЧЧJШ ЪЬЭЬЭЬШ"JЪЬЭЬШJЪЬЭЬШЪЭЬШJЪЬЭЬШJЪЭЬAШCЧJЪЬШЧJШ ЪЬЭЬЭЬШ)JЪЬШJЪЬЭЬШЧJШ ЪЬЭЬЭЬШ JЪЬЭЬЭЬШ?ЧЪЬЭЬШJЪЭЬЭЬЭЬШ=ЧJШ JЪЬ3Ш3JЪЬ7Ш7JЪЬ)ЭЬШ3JЪЬ+ЭЬШ5JЪЬ+ЭЬШ6JШ JЪЬЭЬЭЬЩBЧJШ ЪЮЬЭЬШJШ JЪЬЭЬ
ШJШ JЪЬпЩпJЪЬЭЬ#ЭЬШ;ЪЬЭЬЭЬШ%JЪЬЭЬШJЪЬЭЬШJЪЭЬ(ЭЬШ5ЧJШ ЪЬЭЬШ$ЪЭЬШJЪЬЭЬШJЪЭЬЭЬAШJЧЧJШ ЪЬЭЬЭЬЩ$JЪЬЭЬЩЪЭЬЩJЪЬЩJЪЭЬЭЬЭЬ	ЩDЧЧJШ ЪЬЭЬЭЬШ%JЪЬЭЬШJЪЬШJЪЭЬЭЬЭЬШBЧJШ ЪЬЭЬЭЬШ%JЪЬЭЬШJЪЬЭЬШ ЧJШ ЪЬЭЬЭЬШ&JЪЬЭЬШJЪЬЭЬШЪЭЬШJЪЬЭЬШЪЭЬШJЪЬЭЬШЪЭЬШJЪЬЭЬШJЪЬЭЬШJЪЬЭЬШJЪЭЬЭЬШ5ЪЭЬШJЪЬЭЬШJЪЭЬMШOЧЧЧЧJШ ЧЪЬЭЬЭЬЩ ЪЭЬЩJЪЬЭЬЩЪЭЬЩJЪЬ#Щ#JЪЬЭЬЩЧЧJЪЬЩJЩ ЧЪЬЭЬЭЬШ ЪЭЬШJЪЬЭЬШJЪЬЭЬШЧJЪЬШJШ ЧJЪЬ+ЭЬШ4JШ JЪЬЭЬ"ШBJШ ЪЬШJЪЬЭЬШJЪЬЭЬШЧJЩ JЪЬЩЪЬЭЬ	Ш#JЪЬШJЪЬШJЪЬ#Ш#ЧJЪЬЭЬШJШ JЪЬ9Щ9ЪЬЭЬ"ЭЬ
Ш9JЪЬШJЪЬ"Ш"ЧJЪЬЭЬ#ЭЬШ3JШ JЪЬЩЪЬЭЬ Ш)JЪЬШJЪЬШJЪЬ'Ш'ЧJЪЬЭЬ
ЭЬШ*JЩ JЪЬЩЪЬЭЬЭЬ
Ш5JЪЬШJЪЬШJЪЬШЧЪЬЭЬЭЬШ/JШ ЧJЪЬЩJЪЬЭЬЭЬ.ШWJЪЬЭЬЭЬШ-JШ JЪЬЩJЪЬЭЬ ЭЬШ1ЪЬOШOJЪЬШJЪЬШJЪЬШЧЪЬOШOJЪЬШJЪЬШJЪЬ#Ш#ЧЪЬOШOJЪЬШЧJЪЬЭЬ!ЭЬШ1JШ JЪЬЩЪЬЭЬШ(JЪЬШJЪЬШJЪЬ'Ш'ЧJЪЬЭЬ
ЭЬШ)JШ JЪЬЩJЪЬЭЬ)Ш2JЪЬЭЬ
ЭЬШ%JШ ЪЬЭЬ!ЭЬШ2JШ ЧJЪЬ Щ ЪЬЭЬ!ЭЬШGJЪЬЭЬШJЪЬШJЪЬШJЪЬ&Ш&ЧJЪ	ЬЭЬ
ЭЬЭЬ-ЭЬШPJШ JЪЬ%Щ%ЪЬЭЬЭЬШ<JЪЬШJЪЬШJЪЬ$Ш$ЧJЪЬЭЬЭЬШ/JШ JЪЬ+Щ+JШ JЪЬШJШ JШ ЧЧЪЭЬЭЬЭЬЭЬШ>JЪЬЭЬЭЬШ?JЪЬЭЬЭЬШ?JЪЬЭЬЭЬ(ШGЧJШ JЪЮЬЭЬЭЬЭЬЭЬЭЬ
ШUЪЮЬЭЬЭЬЭЬЭЬЭЬШWJШ ЧЪЮЬЭЬЭЬЭЬ=Ш\JЪЬЭЬЭЬШ=JЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШ3JЪЬЭЬ%Ш3ЧJШ JШ ЪЮЬШ-JЪЬ
ЭЬЭЬЭЬ.ШDЪЬЭЬШJЪЬ*Ш*JЪЬ,Ш,ЧJЪЬШJЪЬШJЪЬЭЬ;ЭЬЭЬШZJЪЬЭЬ>ШFJЪЭЬ7Ш9ЧJШ ЪЮЬШ.ЪЬЭЬШ#JЪЬЭЬ<Ш@ЧЧJШ JШ JЪЬЭЬЭЬ&Ш4JЪЬЭЬЭЬШ3JЪЬSШSЪЬUШUJШ ЧJЪЭЬШJЩ Ш Щ JЩ ЧЧЧ ЕЧ      )%  