PeepholeDefs.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Sweet March 17, 1980 11:43 AM
Satterthwaite October 18, 1982 1:16 pm
Russ Atkinson (RRA) March 6, 1985 11:07:54 pm PST
DIRECTORY
Alloc USING [Notifier],
CodeDefs USING [Byte, CCIndex, CodeCCIndex, CodeCCNull, JumpCCIndex, JumpCCNull],
FOpCodes USING [qNOOP],
PrincOps USING [FieldDescriptor];
PeepComponent:
TYPE =
RECORD [
index: CodeDefs.CodeCCIndex,
inst: CodeDefs.Byte,
params: ARRAY [1..3] OF WORD];
NullComponent: PeepComponent = [
index: CodeDefs.CodeCCNull,
inst: FOpCodes.qNOOP,
params: [0,0,0]];
PeepState:
TYPE =
RECORD [
-- can't use current Machine Dep since holes
SELECT
OVERLAID *
FROM
old => [
a: CodeDefs.CodeCCIndex,
aInst: CodeDefs.Byte,
aP: ARRAY [1..3] OF WORD,
b: CodeDefs.CodeCCIndex,
bInst: CodeDefs.Byte,
bP: ARRAY [1..3] OF WORD,
c: CodeDefs.CodeCCIndex,
cInst: CodeDefs.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: CodeDefs.Byte,
b: CodeDefs.CodeCCIndex,
cInst: CodeDefs.Byte];
NullJumpState: JumpPeepState = [
c: CodeDefs.JumpCCNull,
bP: [0,0,0],
cP: [0,0,0],
bInst: FOpCodes.qNOOP,
b: CodeDefs.CodeCCNull,
cInst: FOpCodes.qNOOP];
StateExtent: TYPE = {abc, bc, c};
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];
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];
PeepZ: PROC [start: CodeDefs.CodeCCIndex];
HalfByteGlobal: PROC [c: CodeDefs.CCIndex] RETURNS [BOOL];
HalfByteLocal: PROC [c: CodeDefs.CCIndex] RETURNS [BOOL];
LoadInst: 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];
PeepholeUNotify, PeepholeZNotify: Alloc.Notifier;
}.