Registers
Fixed Point Processor Registers
Register:
TYPE ~
MACHINE
DEPENDENT {
gpr0 (0), gpr1, gpr2, gpr3, gpr4, gpr5, gpr6, gpr7,
gpr8 (8), gpr9, gpr10, gpr11, gpr12, gpr13, gpr14, gpr15,
gpr16 (16), gpr17, gpr18, gpr19, gpr20, gpr21, gpr22, gpr23,
gpr24 (24), gpr25, gpr26, gpr27, gpr28, gpr29, gpr30, gpr31
};
stackPointer: Register ~ Register.gpr1;
stackPointerOffset:
NAT ~ 68 *
BYTES[TargetArchitecture.Contents];
There are 18 dubble words of floating registers, and 32 words of general registers at the stack.
stackAllocationForArgument:
NAT ~ 8 *
BYTES[TargetArchitecture.Contents];
There are eight words of argument at least.
stackAllocationForLinkArea:
NAT ~ 6 *
BYTES[TargetArchitecture.Contents];
Link area has six words for saved cr, saved lr, saved TOC, and etc.
stackAllocationUnit:
NAT ~ 2 *
BYTES[TargetArchitecture.Contents];
The stack has to be double-word aligned.
tocPointer: Register ~ Register.gpr2;
XER:
TYPE ~
MACHINE
DEPENDENT
RECORD [
SO (0:0..0): BOOLEAN,
OV (0:1..1): BOOLEAN,
CA (0:2..2): BOOLEAN,
reserved0 (0:3..15): [0..4095],
byte (0:16..23): BYTE,
reserved1 (0:24..24): BOOLEAN,
count (0:25..31): [0..127]
];
MQ: TYPE ~ WORD;
SpecialRegister:
TYPE ~
MACHINE
DEPENDENT {
mq (0), xfr (1), rtcu (4), rtcl (5), dec (6), lr (8), ctr (9)
};
Floatingpoint processor
FRegister:
TYPE ~
MACHINE
DEPENDENT {
fpr0 (0), fpr1, fpr2, fpr3, fpr4, fpr5, fpr6, fpr7,
fpr8 (8), fpr9, fpr10, fpr11, fpr12, fpr13, fpr14, fpr15,
fpr16 (16), fpr17, fpr18, fpr19, fpr20, fpr21, fpr22, fpr23,
fpr24 (24), fpr25, fpr26, fpr27, fpr28, fpr29, fpr30, fpr31
};
FloatingPointStatusAndControlRegister:
TYPE ~
MACHINE
DEPENDENT
RECORD [
fpResult (0:0..19): FPResult,
fpException (0:20..31): FPException
];
Branch Processor
ConditionRegister:
TYPE ~
MACHINE
DEPENDENT
RECORD [
cr0 (0:0..3): CCField,
cr1 (0:4..7): CCField,
cr2 (0:8..11): CCField,
cr3 (0:12..15): CCField,
cr4 (0:16..19): CCField,
cr5 (0:20..23): CCField,
cr6 (0:24..27): CCField,
cr7 (0:28..31): CCField
];
LinkRegister: TYPE ~ WORD32;
CountRegister: TYPE ~ WORD32;
MachineStateRegister:
TYPE ~
MACHINE
DEPENDENT
RECORD [
reserved0 (0:0..15): WORD16,
ee (0:16..16): BOOLEAN,
pr (0:17..17): BOOLEAN,
fp (0:18..18): BOOLEAN,
me (0:19..19): BOOLEAN,
fe (0:20..20): BOOLEAN,
reserved1 (0:21..23): [0..7],
al (0:24..24): BOOLEAN,
ip (0:25..25): BOOLEAN,
ir (0:26..26): BOOLEAN,
dr (0:27..27): BOOLEAN,
reserved2 (0:28..31): [0..15]
];
TYPE Components
Op:
TYPE ~
MACHINE
DEPENDENT {
-- bits [0..5]
dozi (9), cmpli (10), cmpi (11), ai (12), -- muli (12), si (12), -- aiDot (13), -- siDot (13), --
cal (14), -- lil (14), -- cau (15), -- liu (15), -- bc (16), b (18), group19 (19), rlimi (20),
rlinm (21), rlmi (22), rlnm (23), oril (24), oriu (25), xoril (26), xoriu (27), andil (28),
andiu (29), group31 (31), l (32), lu (33), lbz (34), lbzu (35), st (36), stu (37),
stb (38), lhz (40), lhzu (41), lha (42), lhau (43), sth (44), lm (46), stm (47),
lfs (48), lfsu (49), lfd (50), lfdu (51), stfs (52), stfsu (53), stfd (54), stfdu (55),
group63 (63) -- , last (63) --
};
SubOpFor31withOE:
TYPE ~
MACHINE
DEPENDENT {
-- bits [22..30]
sf (8), a (10), mul (107), sfe (136), ae (138), sfze (200), aze (202), sfme (232),
me (234), muls (235), doz (264), cax (266), eqv (284), adiv (331), abs (360), divs (363),
-- exts (922), -- nabs (488), last (511)
};
SubOpFor31withoutOE:
TYPE ~
MACHINE
DEPENDENT {
-- bit [21..30]
cmp (0), t (4), mfcr (19), lx (23), sl (24), cntlz (26), and (28), maskg (29),
cmpl (32), lux (55), andc (60), mfmsr (83), lbzx (87), lbzux (119), nor (124), mtcrf (144),
stx (151), slq (152), sle (153), stux (183), sliq (184), stbx (215), sllq (216), sleq (217),
stbux (247), slliq (248), lscbx (277), lhzx (279), lhzux (311), xor (316), mfspr (339),
lhax (343), lhaux (375), sthx (407), orc (412), sthux (439), or (444), mtspr (467), nand(476),
mcrxr (512), lsx (533), lbrx (534), lfsx (535), sr (536), rrib (537), maskir (541), lfsux (567),
lsi (597), lfdx (599), lfdux (631), stsx (661), stbrx (662), stfsx (663), srq (664), sre (665),
stfsux (695), sriq (696), stfdx (727), srlq (728), sreq (729), stfdux (759), srliq (760),
lhbrx (790), sra (792), srai (824), sthbrx (918), sraq (920), srea (921), sraiq (952),
last (1023)
};
SubOpFor19:
TYPE ~
MACHINE
DEPENDENT {
-- bit [21..30]
mcrf (0), bcr (16), crnor (33), crandc (129), crxor (193), crnand (225), crand (257),
creqv (289), crorc (417), cror (449), bcc (528), last (1023)
};
FSubOp3r63:
TYPE ~
MACHINE
DEPENDENT {
-- bit [26..30]
fd (18), fs (20), fa (21), fm (25), fms (28), fma (29), fnms (30), fnma (31) --, last(31) --
};
FSubOp2r63:
TYPE ~
MACHINE
DEPENDENT {
-- bit [21..30]
fcmpu(0), frsp (12), fcmpo (32), mtfsb1 (38), fneg (40), mcrfs (64), mtfsb0 (70), fmr(72),
mtfsfi (134), fnabs (136), fabs (264), mffs (583), mtfsf (711), last (1023)
};
OVException: TYPE ~ BOOLEAN;
Record: TYPE ~ BOOLEAN;
Absolute: TYPE ~ BOOLEAN;
Link: TYPE ~ BOOLEAN;
SI: TYPE ~ CARD16;
UI: TYPE ~ CARD16;
Offset26:
TYPE ~ [-33554432..33554431];
firstOffset26: Offset26 ~ -33554432;
lastOffset26: Offset26 ~ 33554431;
Disp24:
TYPE ~ [-8388608..8388607];
firstDisp24: Disp24 ~ -8388608;
lastDisp24: Disp24 ~ 8388607;
Disp23: TYPE ~ [0..8388607];
Disp16:
TYPE ~
INT16;
-- [-32768..32767]
firstDisp16: Disp16 ~ -32768;
lastDisp16: Disp16 ~ 32767;
Disp14:
TYPE ~ [-8192..8191];
firstDisp14: Disp14 ~ -8192;
lastDisp14: Disp14 ~ 8191;
Disp13: TYPE ~ [0..8191];
BitPosition: TYPE ~ [0..31];
ShiftCount: TYPE ~ [0..31];
CCBitPosition: TYPE ~ [0..31];
CCGroup: TYPE ~ [0..7];
CCField:
TYPE ~
MACHINE
DEPENDENT
RECORD [
lt(0:0..0): BOOLEAN,
rb(0:1..1): BOOLEAN,
eq(0:2..2): BOOLEAN,
so(0:3..3): BOOLEAN
];
FPCCField: TYPE ~ [0..15];
FPCCGroup: TYPE ~ [0..7];
FPResult: TYPE ~ [0..1048575]; -- 20 bits
FPException: TYPE ~ [0..4095]; -- 12 bits
I: TYPE ~ [0..15];
Dummy5: TYPE ~ [0..31];
Dummy2: TYPE ~ [0..3];
Dummy1: TYPE ~ [0..1];
Zero5: TYPE ~ [0..31];
BranchOption:
TYPE ~
MACHINE
DEPENDENT
RECORD [
ifzero: BOOLEAN,
incFlag: BOOLEAN,
ifFalse: BOOLEAN,
ifTrue: BOOLEAN,
always: BOOLEAN
];
FLM:
TYPE ~
MACHINE
DEPENDENT
RECORD [
fpscr0To3: BOOLEAN,
fpscr4To7: BOOLEAN,
fpscr8To11: BOOLEAN,
fpscr12To15: BOOLEAN,
fpscr16To19: BOOLEAN,
fpscr20To23: BOOLEAN,
fpscr24To27: BOOLEAN,
fpscr28To31: BOOLEAN
];
FXM:
TYPE ~
MACHINE
DEPENDENT
RECORD [
cr0To3: BOOLEAN,
cr4To7: BOOLEAN,
cr8To11: BOOLEAN,
cr12To15: BOOLEAN,
cr16To19: BOOLEAN,
cr20To23: BOOLEAN,
cr24To27: BOOLEAN,
cr28To31: BOOLEAN
];
OE:
TYPE ~
MACHINE
DEPENDENT {
a (31)
};
RegisterClass:
TYPE ~
MACHINE
DEPENDENT {
none (LOOPHOLE[TargetArchitecture.RegisterClass.none]),
globals, globalsAndIns, globalsInsAndFloats, globalsInsFloatsOutsAndLocals,
nextAvailable,
all (LOOPHOLE[TargetArchitecture.RegisterClass.all])
} ← nullRegisterClass;
nullRegisterClass: RegisterClass ~ RegisterClass.none;