1 /* -----------------------------------------------------------------------------
2 * $Id: Regs.h,v 1.2 1998/12/02 13:21:20 simonm Exp $
4 * Registers used in STG code. Might or might not correspond to
5 * actual machine registers.
7 * ---------------------------------------------------------------------------*/
13 * This file should do the right thing if we have no machine-registers
14 * defined, i.e. everything lives in the RegTable.
18 * This is the table that holds shadow-locations for all the STG
19 * registers. The shadow locations are used when:
21 * 1) the particular register isn't mapped to a real machine
22 * register, probably because there's a shortage of real registers.
23 * 2) caller-saves registers are saved across a CCall
35 StgUnion rR9; /* used occasionally by heap/stack checks */
36 StgUnion rR10; /* used occasionally by heap/stack checks */
51 extern StgRegTable MainRegTable;
54 * Registers Hp and HpLim are global across the entire system, and are
55 * copied into the RegTable before executing a thread.
57 * Registers Sp, Su, and SpLim are saved in the TSO for the
58 * thread, but are copied into the RegTable before executing a thread.
60 * All other registers are "general purpose", and are used for passing
61 * arguments to functions, and returning values. The code generator
62 * knows how many of these are in real registers, and avoids
63 * generating code that uses non-real registers. General purpose
64 * registers are never saved when returning to the scheduler, instead
65 * we save whatever is live at the time on the stack, and restore it
66 * later. This should reduce the context switch time, amongst other
69 * For argument passing, the stack will be used in preference to
70 * pseudo-registers if the architecture has too few general purpose
73 * Some special RTS functions like newArray and the Integer primitives
74 * expect their arguments to be in registers R1-Rn, so we use these
75 * (pseudo-)registers in those cases.
79 * Locations for saving per-thread registers.
82 #define SAVE_Sp (CurrentTSO->sp)
83 #define SAVE_Su (CurrentTSO->su)
84 #define SAVE_SpLim (CurrentTSO->splim)
86 #define SAVE_Hp (MainRegTable.rHp)
87 #define SAVE_HpLim (MainRegTable.rHpLim)
89 /* We sometimes need to save registers across a C-call, eg. if they
90 * are clobbered in the standard calling convention. We define the
91 * save locations for all registers in the register table.
94 #define SAVE_R1 (MainRegTable.rR1)
95 #define SAVE_R2 (MainRegTable.rR2)
96 #define SAVE_R3 (MainRegTable.rR3)
97 #define SAVE_R4 (MainRegTable.rR4)
98 #define SAVE_R5 (MainRegTable.rR5)
99 #define SAVE_R6 (MainRegTable.rR6)
100 #define SAVE_R7 (MainRegTable.rR7)
101 #define SAVE_R8 (MainRegTable.rR8)
103 #define SAVE_F1 (MainRegTable.rF1)
104 #define SAVE_F2 (MainRegTable.rF2)
105 #define SAVE_F3 (MainRegTable.rF3)
106 #define SAVE_F4 (MainRegTable.rF4)
108 #define SAVE_D1 (MainRegTable.rD1)
109 #define SAVE_D2 (MainRegTable.rD2)
111 #define SAVE_L1 (MainRegTable.rL1)
113 /* -----------------------------------------------------------------------------
114 * Emit the GCC-specific register declarations for each machine
115 * register being used. If any STG register isn't mapped to a machine
116 * register, then map it to an offset from BaseReg.
118 * First, the general purpose registers. The idea is, if a particular
119 * general-purpose STG register can't be mapped to a real machine
120 * register, it won't be used at all. Instead, we'll use the stack.
122 * This is an improvement on the way things used to be done, when all
123 * registers were mapped to locations in the register table, and stuff
124 * was being shifted from the stack to the register table and back
125 * again for no good reason (on register-poor architectures).
128 #define GLOBAL_REG_DECL(type,name,reg) register type name REG(reg);
131 GLOBAL_REG_DECL(StgUnion,R1,REG_R1)
133 #define R1 (BaseReg->rR1)
137 GLOBAL_REG_DECL(StgUnion,R2,REG_R2)
139 #define R2 (BaseReg->rR2)
143 GLOBAL_REG_DECL(StgUnion,R3,REG_R3)
145 # define R3 (BaseReg->rR3)
149 GLOBAL_REG_DECL(StgUnion,R4,REG_R4)
151 # define R4 (BaseReg->rR4)
155 GLOBAL_REG_DECL(StgUnion,R5,REG_R5)
157 # define R5 (BaseReg->rR5)
161 GLOBAL_REG_DECL(StgUnion,R6,REG_R6)
163 # define R6 (BaseReg->rR6)
167 GLOBAL_REG_DECL(StgUnion,R7,REG_R7)
169 # define R7 (BaseReg->rR7)
173 GLOBAL_REG_DECL(StgUnion,R8,REG_R8)
175 # define R8 (BaseReg->rR8)
179 GLOBAL_REG_DECL(StgUnion,R9,REG_R9)
181 # define R9 (BaseReg->rR9)
185 GLOBAL_REG_DECL(StgUnion,R10,REG_R10)
187 # define R10 (BaseReg->rR10)
191 GLOBAL_REG_DECL(StgFloat,F1,REG_F1)
193 #define F1 (BaseReg->rF1)
197 GLOBAL_REG_DECL(StgFloat,F2,REG_F2)
199 #define F2 (BaseReg->rF2)
203 GLOBAL_REG_DECL(StgFloat,F3,REG_F3)
205 #define F3 (BaseReg->rF3)
209 GLOBAL_REG_DECL(StgFloat,F4,REG_F4)
211 #define F4 (BaseReg->rF4)
215 GLOBAL_REG_DECL(StgDouble,D1,REG_D1)
217 #define D1 (BaseReg->rD1)
221 GLOBAL_REG_DECL(StgDouble,D2,REG_D2)
223 #define D2 (BaseReg->rD2)
227 GLOBAL_REG_DECL(StgNat64,L1,REG_L1)
229 #define L1 (BaseReg->rL1)
233 * If BaseReg isn't mapped to a machine register, just use the global
234 * address of the current register table (CurrentRegTable in
235 * concurrent Haskell, MainRegTable otherwise).
239 GLOBAL_REG_DECL(StgRegTable *,BaseReg,REG_Base)
241 #define BaseReg (&MainRegTable)
245 GLOBAL_REG_DECL(P_,Sp,REG_Sp)
247 #define Sp (BaseReg->rSp)
251 GLOBAL_REG_DECL(StgUpdateFrame *,Su,REG_Su)
253 #define Su (BaseReg->rSu)
257 GLOBAL_REG_DECL(P_,SpLim,REG_SpLim)
259 #define SpLim (BaseReg->rSpLim)
263 GLOBAL_REG_DECL(P_,Hp,REG_Hp)
265 #define Hp (BaseReg->rHp)
269 GLOBAL_REG_DECL(P_,HpLim,REG_HpLim)
271 #define HpLim (BaseReg->rHpLim)
274 /* -----------------------------------------------------------------------------
275 For any registers which are denoted "caller-saves" by the C calling
276 convention, we have to emit code to save and restore them across C
278 -------------------------------------------------------------------------- */
280 #ifdef CALLER_SAVES_R1
281 #define CALLER_SAVE_R1 SAVE_R1 = R1;
282 #define CALLER_RESTORE_R1 R1 = SAVE_R1;
284 #define CALLER_SAVE_R1 /* nothing */
285 #define CALLER_RESTORE_R1 /* nothing */
288 #ifdef CALLER_SAVES_R2
289 #define CALLER_SAVE_R2 SAVE_R2 = R2;
290 #define CALLER_RESTORE_R2 R2 = SAVE_R2;
292 #define CALLER_SAVE_R2 /* nothing */
293 #define CALLER_RESTORE_R2 /* nothing */
296 #ifdef CALLER_SAVES_R3
297 #define CALLER_SAVE_R3 SAVE_R3 = R3;
298 #define CALLER_RESTORE_R3 R3 = SAVE_R3;
300 #define CALLER_SAVE_R3 /* nothing */
301 #define CALLER_RESTORE_R3 /* nothing */
304 #ifdef CALLER_SAVES_R4
305 #define CALLER_SAVE_R4 SAVE_R4 = R4;
306 #define CALLER_RESTORE_R4 R4 = SAVE_R4;
308 #define CALLER_SAVE_R4 /* nothing */
309 #define CALLER_RESTORE_R4 /* nothing */
312 #ifdef CALLER_SAVES_R5
313 #define CALLER_SAVE_R5 SAVE_R5 = R5;
314 #define CALLER_RESTORE_R5 R5 = SAVE_R5;
316 #define CALLER_SAVE_R5 /* nothing */
317 #define CALLER_RESTORE_R5 /* nothing */
320 #ifdef CALLER_SAVES_R6
321 #define CALLER_SAVE_R6 SAVE_R6 = R6;
322 #define CALLER_RESTORE_R6 R6 = SAVE_R6;
324 #define CALLER_SAVE_R6 /* nothing */
325 #define CALLER_RESTORE_R6 /* nothing */
328 #ifdef CALLER_SAVES_R7
329 #define CALLER_SAVE_R7 SAVE_R7 = R7;
330 #define CALLER_RESTORE_R7 R7 = SAVE_R7;
332 #define CALLER_SAVE_R7 /* nothing */
333 #define CALLER_RESTORE_R7 /* nothing */
336 #ifdef CALLER_SAVES_R8
337 #define CALLER_SAVE_R8 SAVE_R8 = R8;
338 #define CALLER_RESTORE_R8 R8 = SAVE_R8;
340 #define CALLER_SAVE_R8 /* nothing */
341 #define CALLER_RESTORE_R8 /* nothing */
344 #ifdef CALLER_SAVES_R9
345 #define CALLER_SAVE_R9 SAVE_R9 = R9;
346 #define CALLER_RESTORE_R9 R9 = SAVE_R9;
348 #define CALLER_SAVE_R9 /* nothing */
349 #define CALLER_RESTORE_R9 /* nothing */
352 #ifdef CALLER_SAVES_R10
353 #define CALLER_SAVE_R10 SAVE_R10 = R10;
354 #define CALLER_RESTORE_R10 R10 = SAVE_R10;
356 #define CALLER_SAVE_R10 /* nothing */
357 #define CALLER_RESTORE_R10 /* nothing */
360 #ifdef CALLER_SAVES_F1
361 #define CALLER_SAVE_F1 SAVE_F1 = F1;
362 #define CALLER_RESTORE_F1 F1 = SAVE_F1;
364 #define CALLER_SAVE_F1 /* nothing */
365 #define CALLER_RESTORE_F1 /* nothing */
368 #ifdef CALLER_SAVES_F2
369 #define CALLER_SAVE_F2 SAVE_F2 = F2;
370 #define CALLER_RESTORE_F2 F2 = SAVE_F2;
372 #define CALLER_SAVE_F2 /* nothing */
373 #define CALLER_RESTORE_F2 /* nothing */
376 #ifdef CALLER_SAVES_F3
377 #define CALLER_SAVE_F3 SAVE_F3 = F3;
378 #define CALLER_RESTORE_F3 F3 = SAVE_F3;
380 #define CALLER_SAVE_F3 /* nothing */
381 #define CALLER_RESTORE_F3 /* nothing */
384 #ifdef CALLER_SAVES_F4
385 #define CALLER_SAVE_F4 SAVE_F4 = F4;
386 #define CALLER_RESTORE_F4 F4 = SAVE_F4;
388 #define CALLER_SAVE_F4 /* nothing */
389 #define CALLER_RESTORE_F4 /* nothing */
392 #ifdef CALLER_SAVES_D1
393 #define CALLER_SAVE_D1 SAVE_D1 = D1;
394 #define CALLER_RESTORE_D1 D1 = SAVE_D1;
396 #define CALLER_SAVE_D1 /* nothing */
397 #define CALLER_RESTORE_D1 /* nothing */
400 #ifdef CALLER_SAVES_D2
401 #define CALLER_SAVE_D2 SAVE_D2 = D2;
402 #define CALLER_RESTORE_D2 D2 = SAVE_D2;
404 #define CALLER_SAVE_D2 /* nothing */
405 #define CALLER_RESTORE_D2 /* nothing */
408 #ifdef CALLER_SAVES_L1
409 #define CALLER_SAVE_L1 SAVE_L1 = L1;
410 #define CALLER_RESTORE_L1 L1 = SAVE_L1;
412 #define CALLER_SAVE_L1 /* nothing */
413 #define CALLER_RESTORE_L1 /* nothing */
416 #ifdef CALLER_SAVES_Sp
417 #define CALLER_SAVE_Sp SAVE_Sp = Sp;
418 #define CALLER_RESTORE_Sp Sp = SAVE_Sp;
420 #define CALLER_SAVE_Sp /* nothing */
421 #define CALLER_RESTORE_Sp /* nothing */
424 #ifdef CALLER_SAVES_Su
425 #define CALLER_SAVE_Su SAVE_Su = Su;
426 #define CALLER_RESTORE_Su Su = SAVE_Su;
428 #define CALLER_SAVE_Su /* nothing */
429 #define CALLER_RESTORE_Su /* nothing */
432 #ifdef CALLER_SAVES_SpLim
433 #define CALLER_SAVE_SpLim SAVE_SpLim = SpLim;
434 #define CALLER_RESTORE_SpLim SpLim = SAVE_SpLim;
436 #define CALLER_SAVE_SpLim /* nothing */
437 #define CALLER_RESTORE_SpLim /* nothing */
440 #ifdef CALLER_SAVES_Hp
441 #define CALLER_SAVE_Hp SAVE_Hp = Hp;
442 #define CALLER_RESTORE_Hp Hp = SAVE_Hp;
444 #define CALLER_SAVE_Hp /* nothing */
445 #define CALLER_RESTORE_Hp /* nothing */
448 #ifdef CALLER_SAVES_HpLim
449 #define CALLER_SAVE_HpLim SAVE_HpLim = HpLim;
450 #define CALLER_RESTORE_HpLim HpLim = SAVE_HpLim;
452 #define CALLER_SAVE_HpLim /* nothing */
453 #define CALLER_RESTORE_HpLim /* nothing */
456 #ifdef CALLER_SAVES_Base
457 #define CALLER_SAVE_Base /* nothing */
458 #define CALLER_RESTORE_Base BaseReg = &MainRegTable;
460 #define CALLER_SAVE_Base /* nothing */
461 #define CALLER_RESTORE_Base /* nothing */
464 /* ----------------------------------------------------------------------------
465 Handy bunches of saves/restores
466 ------------------------------------------------------------------------ */
468 #define CALLER_SAVE_USER \
485 #define CALLER_SAVE_SYSTEM \
492 #define CALLER_RESTORE_USER \
509 #define CALLER_RESTORE_SYSTEM \
510 CALLER_RESTORE_Base \
513 CALLER_RESTORE_SpLim \
517 #define CALLER_SAVE_ALL \
521 #define CALLER_RESTORE_ALL \
522 CALLER_RESTORE_SYSTEM \