[ivy]<Satterthwaite>CrossCompiler>tPeepholeDefs.mesa!1

file PeepholeDefs.mesa
last edited by Sweet 9-Oct-81 9:41:10
last edited by Satterthwaite November 27, 1985 2:39:25 pm PST
DIRECTORY
Alloc: TYPE USING [Notifier],
CodeDefs: TYPE USING [
BYTE, CCIndex, CodeCCIndex, CodeCCNull, JumpCCIndex, JumpType, JumpCCNull],
FOpCodes: TYPE USING [qNULL],
PrincOps: TYPE USING [FieldDescriptor];
PeepholeDefs: DEFINITIONS = {
BYTE: TYPE = CodeDefs.BYTE;
PeepComponent: TYPE = RECORD [
index: CodeDefs.CodeCCIndex,
inst: BYTE,
params: ARRAY [1..3] OF WORD];
NullComponent: PeepComponent = [
index: CodeDefs.CodeCCNull,
inst: FOpCodes.qNULL,
params: [0,0,0]];
PeepState: TYPE = RECORD [ -- can't use current Machine Dep since holes
SELECT OVERLAID * FROM
old => [
a: CodeDefs.CodeCCIndex,
aInst: BYTE,
aP: ARRAY [1..3] OF WORD,
b: CodeDefs.CodeCCIndex,
bInst: BYTE,
bP: ARRAY [1..3] OF WORD,
c: CodeDefs.CodeCCIndex,
cInst: BYTE,
cP: ARRAY [1..3] OF WORD],
fast => [aComp, bComp, cComp: PeepComponent],
ENDCASE];
NullState: PeepState = [fast[NullComponent, NullComponent, NullComponent]];
JumpPeepState: TYPE = RECORD[
c: CodeDefs.JumpCCIndex,
bP, cP: ARRAY [1..3] OF WORD,
bInst: BYTE,
b: CodeDefs.CodeCCIndex,
cInst: BYTE];
NullJumpState: JumpPeepState = [
c: CodeDefs.JumpCCNull,
bP: [0,0,0],
cP: [0,0,0],
bInst: FOpCodes.qNULL,
b: CodeDefs.CodeCCNull,
cInst: FOpCodes.qNULL];
ConsPeepState: TYPE = RECORD [a, b, c, d: PeepComponent];
NullConsState: ConsPeepState = [
NullComponent, NullComponent, NullComponent, NullComponent];
StateExtent: TYPE = {abc, bc, c};
CJump: ARRAY CodeDefs.JumpType[JumpE..ZJumpN] OF CodeDefs.JumpType = [
JumpN, JumpE, JumpGE, JumpL, JumpLE, JumpG,
UJumpGE, UJumpL, UJumpLE, UJumpG, ZJumpN, ZJumpE];
SetRealInst: PROC [BOOL];
NextInteresting: PROC [c: CodeDefs.CCIndex] RETURNS [CodeDefs.CCIndex];
PrevInteresting: PROC [c: CodeDefs.CCIndex] RETURNS [CodeDefs.CCIndex];
InitParameters: PROC [
p: POINTER TO PeepState, ci: CodeDefs.CodeCCIndex, extent: StateExtent];
InitConsState: PROC [p: POINTER TO ConsPeepState, di: CodeDefs.CodeCCIndex];
InitJParametersBC: PROC [
p: POINTER TO JumpPeepState, ci: CodeDefs.JumpCCIndex];
SlidePeepState2: PROC [p: POINTER TO PeepState, ci: CodeDefs.CodeCCIndex];
SlidePeepState1: PROC [p: POINTER TO PeepState, ci: CodeDefs.CodeCCIndex];
SlideConsState: PROC [p: POINTER TO ConsPeepState, di: CodeDefs.CodeCCIndex];
PeepZ: PROC [start: CodeDefs.CodeCCIndex];
HalfByteGlobal: PROC [c: CodeDefs.CCIndex, double: BOOL ← FALSE] RETURNS [BOOL];
HalfByteLocal: PROC [c: CodeDefs.CCIndex, double: BOOL ← FALSE] RETURNS [BOOL];
LoadInst: PROC [c: CodeDefs.CCIndex] RETURNS [BOOL];
DblLoadInst: PROC [c: CodeDefs.CCIndex] RETURNS [BOOL];
PackPair: PROC [l, r: [0..16)] RETURNS [w: WORD];
UnpackPair: PROC [w: WORD] RETURNS [l, r: [0..16)];
UnpackFD: PROC [d: PrincOps.FieldDescriptor] RETURNS [p, s: CARDINAL];
Delete2: PROC [a, b: CodeDefs.CCIndex];
Delete3: PROC [a, b, c: CodeDefs.CCIndex];
RemoveThisPop: PROC [ci: CodeDefs.CCIndex] RETURNS [didThisTime: BOOL];
CommuteCells: PUBLIC PROC [a, b: CodeDefs.CCIndex];
start: VAR CodeDefs.CodeCCIndex;
NextIsPush: PROC [c: CodeDefs.CCIndex] RETURNS [BOOL];
Peep1, Peep2, Peep3, Peep4, Peep5, Peep6, Peep7, Peep8,
Peep9, Peep10, Peep11, Peep12: PROC;
PeepholeANotify, PeepholeUNotify, PeepholeZNotify: Alloc.Notifier;
}.