TargetArchitecture: CEDAR DEFINITIONS ~ {
Address: TYPE[SIZE[CARD32]];
nullAddress: Address ~ LOOPHOLE[FIRST[CARD32]];
Displacement: TYPE ~ INT32 _ nullDisplacement;
nullDisplacement: Displacement ~ 0;
Contents: TYPE[SIZE[CARD32]];
nullContents: Contents ~ LOOPHOLE[FIRST[CARD32]];
zeroContents: Contents ~ LOOPHOLE[CARD32[0]];
Instruction: TYPE[SIZE[CARD32]];
nullInstruction: Instruction ~ LOOPHOLE[FIRST[CARD32]];

RegisterClass: TYPE ~ MACHINE DEPENDENT {
none (0), all (LAST[INT16])
} _ nullRegisterClass;
nullRegisterClass: RegisterClass ~ RegisterClass.none;

IsNullAddress: PROCEDURE [address: Address] RETURNS [BOOLEAN];

AddressFromDisplacement: PROCEDURE [
address: Address, displacement: Displacement]
RETURNS [Address];

DisplacementFromAddresses: PROCEDURE [here: Address, there: Address] 
RETURNS [Displacement];

NextInstruction: PROCEDURE [pc: Address] RETURNS [Address];

PrevInstruction: PROCEDURE [pc: Address] RETURNS [Address];

InstructionFromContents: PROCEDURE [contents: Contents] RETURNS [Instruction];

ContentsFromInstruction: PROCEDURE [instruction: Instruction] 
RETURNS [Contents];

}.
  <  
TargetArchitecture.mesa
Copyright ╙ 1989 by Xerox Corporation.  All rights reserved.
Peter B. Kessler, April 9, 1990 3:48:35 pm PDT

Target-independent definitions.  To be implemented by a corresponding target-dependent implementation module.
Not quite target-independent, since this knows about 32 bit words.

Types
The claim here is that a zero is a zero is a zero, regardless of architecture.
Mostly you don't use TargetArchitecture.RegisterClass, you use a transfer proc from machine specific register classes to a TargetArchitecture.RegisterClass.
Procedures.
Э╩є  ХNewlineDelimiter
Щ unitЩIcodeЪЬ
╧rЬ1Щ<LЪЬ.Щ.LЩ ЧЩmLЩBЧLЩ Ъ╨lnЬ╧kЬЯЬШ)headЩЪЬ	ЯЬЯЬЯЬШLЪЬЯЬЯЬЯЬШ/ЧЪЬЯЬЯЬШ.LЪЬ#Ш#ЧЪЬ
ЯЬЯЬЯЬШLЪЬЯЬЯЬЯЬШ1ЪЬЯЬЯЬШ-LЩNЧЧЪЬЯЬЯЬЯЬШ LЪЬЯЬЯЬЯЬШ7LШ ЧЪЬЯЬЯЬЯ	ЬШ)LЪЬЯЬЯЬШLЪЬШLШ6LЪЬЬЩЬЧLШ ЧЩЪ╧nЬЯ	ЬЯЬЯЬШ>LШ ЧЪаЬЯ	Ь1ЯЬШeLШ ЧЪаЬЯ	Ь!ЯЬШ]LШ ЧЪаЬЯ	ЬЯЬШ;LШ ЧЪаЬЯ	ЬЯЬШ;LШ ЧЪаЬЯ	ЬЯЬШNLШ ЧЪаЬЯ	ЬЯЬШRLШ ЧЧKШЧЧ ЕЧ    ^  Н  