{PrUnDefs.dfn
	22-Jun-85  9:16:04
}

{Copyright 1985 Xerox Corporation.  All rights reserved.
    This is unpublished proprietary software and or documentation.
    Information contained here is proprietary to Xerox and is for Xerox internal use and is furnished to others only under a confidential disclosure agreement.
}

{
	General Unify State:
	PC is unchanged
	Register upUnPC {setup at entry to unify, maybe modified later} contains
		0	if 2 byte opcode,
		1	if 4 byte opcode
		2	if 6 byte opcode
		-1	if new PC
	Register upPFcont contains a restart index for correctly resarting after PF's
	values used in PrUn3.mc are:
		30 - 3E
	values used in PrUn1.mc are:
		20 - 28
}

{	PrMapTTforRead -- PrMapTTforReadret -- L0 values}
Set[L0.PrUn3.1, 1],{PrUn3}
Set[L0.PrUn3.2, 2],{PrUn3}
Set[L0.PrUn3.3, 3],{PrUn3}
Set[L0.PrUn3.4, 4],{PrUn3}
Set[L0.PrUn3.5, 5],{PrUn3}
Set[L0.PrUn3.7, 6],{PrUn3}
Set[L0.PrUn3.8, 7],{PrUn3}
Set[L0.PrUn2.1, 8],{PrUn2}
Set[L0.PrUn1.1, 9],{PrUn1}
Set[L0.PrUn1.2, 0A],{PrUn1}
Set[L0.PrUn1.3, 0B],{PrUn1}
Set[L0.PrUn1.4, 0C],{PrUn1}
Set[L0.PrUn1.5, 0D],{PrUn1}
Set[L0.PrUn3.14, 0E],{PrUn3}
Set[L0.PrUUn1.2, 0F],{PrUUn1}

{	PrMapTTforWrite -- PrMapTTforWriteret -- L0 values}
Set[L0.PrUn3.6, 1],{PrUn3}
Set[L0.PrUn3.9, 2],{PrUn3}
Set[L0.PrUn1.6, 3],{PrUn1}
Set[L0.PrUn1.7, 4],{PrUn1}
Set[L0.PrUn1.8, 5],{PrUn1}
Set[L0.PrUn1.9, 6],{PrUn1}
Set[L0.PrUn1.10, 7],{PrUn1}
Set[L0.PrUn1.11, 8],{PrUn1}
Set[L0.PrUn1.21, 9],{PrUn1}
Set[L0.PrR3.11, 0A],{PrR3}
Set[L0.PrU5.11, 0B],{PrU5}
Set[L0.PrU5.12, 0C],{PrU5}
Set[L0.PrR9.1, 0D],{PrR9}
Set[L0.PrR7.24, 0E],{PrR7}
Set[L0.PrR7.25, 0F],{PrR7}

{	PrremapTTR -- PrremapTTRret -- L0 values}
Set[L0.PrUn3.11, 2],{PrUn3}
Set[L0.PrUn3.12, 3],{PrUn3}
Set[L0.PrUn3.13, 4],{PrUn3}
Set[L0.PrUn1.15, 5],{PrUn1}
Set[L0.PrUn1.16, 6],{PrUn1}
Set[L0.PrUn1.17, 7],{PrUn1}
Set[L0.PrUn1.18, 8],{PrUn1}
Set[L0.PrUn1.19, 9],{PrUn1}
Set[L0.PrR3.6, 0A],{PrR3}
Set[L0.PrR3.7, 0B],{PrR3}
Set[L0.PrR3.8, 0C],{PrR3}
Set[L0.PrR3.9, 0D],{PrR3}
Set[L0.PrR3.10, 0E],{PrR3}

{	PrremapTTW -- PrremapTTWret -- L0 values}
Set[L0.PrUn1.20, 1],{PrUn1}
Set[L0.PrUn3.10, 2],{PrUn3}
Set[L0.PrUn1.22, 3],{PrUn1}

{	PrMapCforRead -- PrMapCforReadret -- L0 values}
Set[L0.PrUn2.2, 1],{PrUn2}
Set[L0.PrUn1.13, 2],{PrUn1}

{	PrMapCforWrite -- PrMapCforWriteret -- L0 values}
Set[L0.PrUn4.10, 1],{PrUn4}

{	PrMapHforRead -- PrMapHforReadret -- L0 values}
Set[L0.PrUn1.12, 1],{PrUn1}

{	PrMapHforWrite -- PrMapHforWriteret -- L0 values}
Set[L0.PrUn5.4, 1],{PrUn5}
Set[L0.PrR10.2, 2],{PrR10}
Set[L0.PrR5.4, 3],{PrR5}
Set[L0.PrR4.1, 4],{PrR4}
Set[L0.PrUn5.5, 5],{PrUn5}
Set[L0.PrUU1.5, 6],{PrUU1}
Set[L0.PrU5.14, 7],{PrU5}
Set[L0.PrR10.8, 8],{PrR10}
Set[L0.PrR7.1, 9],{PrR7}
Set[L0.PrR7.11, 0A],{PrR7}
Set[L0.PrR7.17, 0B],{PrR7}

{	PrMapSforWrite -- PrMapSforWriteret -- L0 values}
Set[L0.PrUn1.14, 1],{PrUn1}
Set[L0.PrUn5.1, 2],{PrUn5}

{	PrMapSforRead -- PrMapSforReadret -- L0 values}
Set[L0.PrUUn1.1, 1],{PrUUn1}
Set[L0.PrUn4.11, 2],{PrUn4}
Set[L0.PrR10.6, 3],{PrR10}
Set[L0.PrR7.12, 4],{PrR7}
Set[L0.PrR7.15, 5],{PrR7}

{	PR.T0Riu.C1 -- PR.T0Runless / PR.T0RNotunless -- L1 values}
Set[L1.PrUn3.1, 1],{PrUn3}
Set[L1.PrUn5.3, 2],{PrUn5}
Set[L1.PrR7.3, 3],{PrR7}
Set[L1.PrR8.1, 4],{PrR8}

{	PR.T1Ciu.C1 -- PR.T1Cunless / PR.T1CNotunless -- L1 values}
Set[L1.PrUn3.2, 1],{PrUn3}
Set[L1.PrUn3.3, 2],{PrUn3}
Set[L1.PrUn3.4, 3],{PrUn3}
Set[L1.PrUn3.5, 4],{PrUn3}
Set[L1.PrUn3.6, 5],{PrUn3}
Set[L1.PrUn3.7, 6],{PrUn3}
Set[L1.PrUn4.2, 8],{PrUn4}
Set[L1.PrUn4.3, 9],{PrUn4}
Set[L1.PrUn5.1, 0A],{PrUn5}
Set[L1.PrR7.1, 0B],{PrR7}

{	PrMapTTforWrite4 -- PrMapTTforWrite4ret -- L0 values}
Set[L0.PrUn4.9, 2],{PrUn4}
Set[L0.PrR7.22, 3],{PrR7}
Set[L0.PrR7.26, 4],{PrR7}

{	PrMapTTforRead4 -- PrMapTTforRead4ret -- L0 values}
Set[L0.PrR9.3, 2],{PrR9}
Set[L0.PrR9.4, 3],{PrR9}
Set[L0.PrU5.13, 4],{PrU5}
Set[L0.PrR8.5, 5],{PrR8}
Set[L0.PrR8.6, 6],{PrR8}
Set[L0.PrR7.21, 7],{PrR7}
Set[L0.PrB.1, 8],{PrB}
Set[L0.PrR7.28, 9],{PrR7}
Set[L0.PrU4.7, 0A],{PrU4}

{	PrMapTTforWrite2  --  PrMapTTforWrite2ret  L0}
Set[L0.PrR2.13, 1],{PrR2}
Set[L0.PrR2.1, 2],{PrR2}
Set[L0.PrR6.1, 3],{PrR6}
Set[L0.PrR6.3, 4],{PrR6}
Set[L0.PrR6.4, 5],{PrR6}
Set[L0.PrR6.2, 6],{PrR6}
Set[L0.PrR2.50, 8],{PrR2}
Set[L0.PrR2.51, 9],{PrR2}

{	PrMapTTforRead2  --  PrMapTTforRead2ret  L0}
Set[L0.PrR2.10, 1],{PrR2}
Set[L0.PrR2.12, 2],{PrR2}
Set[L0.PrR1.1, 3],{PrR1}
Set[L0.PrR1.2, 4],{PrR1}
Set[L0.PrR3.1, 5],{PrR3}
Set[L0.PrR3.2, 6],{PrR3}
Set[L0.PrR3.3, 7],{PrR3}
Set[L0.PrR6.5, 8],{PrR6}
Set[L0.PrR1.3, 9],{PrR1}
Set[L0.PrR2.52, 0A],{PrR2}
Set[L0.PrR3.4, 0B],{PrR3}
Set[L0.PrR3.5, 0C],{PrR3}
Set[L0.PrR4.2, 0D],{PrR4}
Set[L0.PrR4.3, 0E],{PrR4}
Set[L0.PrR4.4, 0F],{PrR4}
Set[L0.PrR4.5, 0],{PrR4}

{	PrremapTTW2  --  PrremapTTW2ret  L0}
Set[L0.PrR2.8, 1],{PrR2}
Set[L0.PrR2.9, 2],{PrR2}
Set[L0.PrR2.2, 3],{PrR2}
Set[L0.PrR2.3, 4],{PrR2}
Set[L0.PrR2.4, 5],{PrR2}
Set[L0.PrR2.5, 6],{PrR2}
Set[L0.PrR2.6, 7],{PrR2}
Set[L0.PrR2.7, 8],{PrR2}
Set[L0.PrR2.14, 9],{PrR2}
Set[L0.PrR2.15, 0A],{PrR2}
Set[L0.PrR2.16, 0B],{PrR2}

{	PrHWMapFix  --  PrHWMapFixret  L0}
Set[L0.PrR5.2, 1],{PrR5}
Set[L0.PrR5.3, 2],{PrR5}

{	PrSRMapFix  --  PrSRMapFixret  L0}
Set[L0.PrR5.1, 1],{PrR5}

{	PrTRMapFix  --  PrTRMapFixret  L0}
Set[L0.PrR1.4, 1],{PrR1}
Set[L0.PrU2.4, 2],{PrU2}
Set[L0.PrU2.5, 3],{PrU2}
Set[L0.Prng.5, 4],{PrU5}
Set[L0.PrR1.23, 6],{PrR1}{uses 7 also}

{	PrTWMapFix  --  PrTWMapFixret  L0}
Set[L0.PrU4.4, 1],{PrU4}

{	PrReadY  --  PrReadYret  L0}
Set[L0.PrR10.1, 1],{PrR10}
Set[L0.PrUn5.2, 2],{PrU5}
Set[L0.PrUU1.6, 3],{PrUU1}

{	PrWriteY  --  PrWriteYret  L0}
Set[L0.PrR10.3, 1],{PrR10}
Set[L0.PrR10.4, 2],{PrR10}
Set[L0.PrR10.7, 3],{PrR10}
Set[L0.PrR9.5, 4],{PrR9}
Set[L0.PrR10.5, 5],{PrR10}

{	restore.registers L1 values}
Set[L1.retry, 1],{PrR3}
Set[L1.trust, 2],{PrR3}

	{ E N D }