]> gcc.gnu.org Git - gcc.git/blame - gcc/global.c
(move_movables): Aviod lossage when CALL_INSN_FUNCTION_USAGE
[gcc.git] / gcc / global.c
CommitLineData
38398762 1/* Allocate registers for pseudo-registers that span basic blocks.
35b2eb05 2 Copyright (C) 1987, 1988, 1991, 1994 Free Software Foundation, Inc.
38398762
RK
3
4This file is part of GNU CC.
5
6GNU CC is free software; you can redistribute it and/or modify
7it under the terms of the GNU General Public License as published by
8the Free Software Foundation; either version 2, or (at your option)
9any later version.
10
11GNU CC is distributed in the hope that it will be useful,
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
17along with GNU CC; see the file COPYING. If not, write to
18the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
19
20
21#include <stdio.h>
22#include "config.h"
23#include "rtl.h"
24#include "flags.h"
25#include "basic-block.h"
26#include "hard-reg-set.h"
27#include "regs.h"
28#include "insn-config.h"
29#include "output.h"
30
31/* This pass of the compiler performs global register allocation.
32 It assigns hard register numbers to all the pseudo registers
33 that were not handled in local_alloc. Assignments are recorded
34 in the vector reg_renumber, not by changing the rtl code.
35 (Such changes are made by final). The entry point is
36 the function global_alloc.
37
38 After allocation is complete, the reload pass is run as a subroutine
39 of this pass, so that when a pseudo reg loses its hard reg due to
40 spilling it is possible to make a second attempt to find a hard
41 reg for it. The reload pass is independent in other respects
42 and it is run even when stupid register allocation is in use.
43
44 1. count the pseudo-registers still needing allocation
45 and assign allocation-numbers (allocnos) to them.
46 Set up tables reg_allocno and allocno_reg to map
47 reg numbers to allocnos and vice versa.
48 max_allocno gets the number of allocnos in use.
49
50 2. Allocate a max_allocno by max_allocno conflict bit matrix and clear it.
51 Allocate a max_allocno by FIRST_PSEUDO_REGISTER conflict matrix
52 for conflicts between allocnos and explicit hard register use
53 (which includes use of pseudo-registers allocated by local_alloc).
54
55 3. for each basic block
56 walk forward through the block, recording which
57 unallocated registers and which hardware registers are live.
58 Build the conflict matrix between the unallocated registers
59 and another of unallocated registers versus hardware registers.
60 Also record the preferred hardware registers
61 for each unallocated one.
62
63 4. Sort a table of the allocnos into order of
64 desirability of the variables.
65
66 5. Allocate the variables in that order; each if possible into
67 a preferred register, else into another register. */
68\f
69/* Number of pseudo-registers still requiring allocation
70 (not allocated by local_allocate). */
71
72static int max_allocno;
73
74/* Indexed by (pseudo) reg number, gives the allocno, or -1
75 for pseudo registers already allocated by local_allocate. */
76
77static int *reg_allocno;
78
79/* Indexed by allocno, gives the reg number. */
80
81static int *allocno_reg;
82
83/* A vector of the integers from 0 to max_allocno-1,
84 sorted in the order of first-to-be-allocated first. */
85
86static int *allocno_order;
87
88/* Indexed by an allocno, gives the number of consecutive
89 hard registers needed by that pseudo reg. */
90
91static int *allocno_size;
92
93/* Indexed by (pseudo) reg number, gives the number of another
6dc42e49 94 lower-numbered pseudo reg which can share a hard reg with this pseudo
38398762
RK
95 *even if the two pseudos would otherwise appear to conflict*. */
96
97static int *reg_may_share;
98
b1ec3c92
CH
99/* Define the number of bits in each element of `conflicts' and what
100 type that element has. We use the largest integer format on the
101 host machine. */
102
103#define INT_BITS HOST_BITS_PER_WIDE_INT
104#define INT_TYPE HOST_WIDE_INT
105
38398762
RK
106/* max_allocno by max_allocno array of bits,
107 recording whether two allocno's conflict (can't go in the same
108 hardware register).
109
110 `conflicts' is not symmetric; a conflict between allocno's i and j
111 is recorded either in element i,j or in element j,i. */
112
b1ec3c92 113static INT_TYPE *conflicts;
38398762
RK
114
115/* Number of ints require to hold max_allocno bits.
116 This is the length of a row in `conflicts'. */
117
118static int allocno_row_words;
119
120/* Two macros to test or store 1 in an element of `conflicts'. */
121
122#define CONFLICTP(I, J) \
123 (conflicts[(I) * allocno_row_words + (J) / INT_BITS] \
b1ec3c92 124 & ((INT_TYPE) 1 << ((J) % INT_BITS)))
38398762
RK
125
126#define SET_CONFLICT(I, J) \
127 (conflicts[(I) * allocno_row_words + (J) / INT_BITS] \
b1ec3c92 128 |= ((INT_TYPE) 1 << ((J) % INT_BITS)))
38398762
RK
129
130/* Set of hard regs currently live (during scan of all insns). */
131
132static HARD_REG_SET hard_regs_live;
133
134/* Indexed by N, set of hard regs conflicting with allocno N. */
135
136static HARD_REG_SET *hard_reg_conflicts;
137
138/* Indexed by N, set of hard regs preferred by allocno N.
139 This is used to make allocnos go into regs that are copied to or from them,
140 when possible, to reduce register shuffling. */
141
142static HARD_REG_SET *hard_reg_preferences;
143
144/* Similar, but just counts register preferences made in simple copy
145 operations, rather than arithmetic. These are given priority because
146 we can always eliminate an insn by using these, but using a register
147 in the above list won't always eliminate an insn. */
148
149static HARD_REG_SET *hard_reg_copy_preferences;
150
151/* Similar to hard_reg_preferences, but includes bits for subsequent
152 registers when an allocno is multi-word. The above variable is used for
153 allocation while this is used to build reg_someone_prefers, below. */
154
155static HARD_REG_SET *hard_reg_full_preferences;
156
157/* Indexed by N, set of hard registers that some later allocno has a
158 preference for. */
159
160static HARD_REG_SET *regs_someone_prefers;
161
162/* Set of registers that global-alloc isn't supposed to use. */
163
164static HARD_REG_SET no_global_alloc_regs;
165
166/* Set of registers used so far. */
167
168static HARD_REG_SET regs_used_so_far;
169
170/* Number of calls crossed by each allocno. */
171
172static int *allocno_calls_crossed;
173
174/* Number of refs (weighted) to each allocno. */
175
176static int *allocno_n_refs;
177
178/* Guess at live length of each allocno.
179 This is actually the max of the live lengths of the regs. */
180
181static int *allocno_live_length;
182
1d56e983
RS
183/* Number of refs (weighted) to each hard reg, as used by local alloc.
184 It is zero for a reg that contains global pseudos or is explicitly used. */
185
186static int local_reg_n_refs[FIRST_PSEUDO_REGISTER];
187
188/* Guess at live length of each hard reg, as used by local alloc.
189 This is actually the sum of the live lengths of the specific regs. */
190
191static int local_reg_live_length[FIRST_PSEUDO_REGISTER];
192
38398762
RK
193/* Test a bit in TABLE, a vector of HARD_REG_SETs,
194 for vector element I, and hard register number J. */
195
196#define REGBITP(TABLE, I, J) TEST_HARD_REG_BIT (TABLE[I], J)
197
198/* Set to 1 a bit in a vector of HARD_REG_SETs. Works like REGBITP. */
199
200#define SET_REGBIT(TABLE, I, J) SET_HARD_REG_BIT (TABLE[I], J)
201
202/* Bit mask for allocnos live at current point in the scan. */
203
b1ec3c92 204static INT_TYPE *allocnos_live;
38398762
RK
205
206/* Test, set or clear bit number I in allocnos_live,
207 a bit vector indexed by allocno. */
208
209#define ALLOCNO_LIVE_P(I) \
b1ec3c92 210 (allocnos_live[(I) / INT_BITS] & ((INT_TYPE) 1 << ((I) % INT_BITS)))
38398762
RK
211
212#define SET_ALLOCNO_LIVE(I) \
b1ec3c92 213 (allocnos_live[(I) / INT_BITS] |= ((INT_TYPE) 1 << ((I) % INT_BITS)))
38398762
RK
214
215#define CLEAR_ALLOCNO_LIVE(I) \
b1ec3c92 216 (allocnos_live[(I) / INT_BITS] &= ~((INT_TYPE) 1 << ((I) % INT_BITS)))
38398762
RK
217
218/* This is turned off because it doesn't work right for DImode.
219 (And it is only used for DImode, so the other cases are worthless.)
220 The problem is that it isn't true that there is NO possibility of conflict;
221 only that there is no conflict if the two pseudos get the exact same regs.
222 If they were allocated with a partial overlap, there would be a conflict.
223 We can't safely turn off the conflict unless we have another way to
224 prevent the partial overlap.
225
226 Idea: change hard_reg_conflicts so that instead of recording which
227 hard regs the allocno may not overlap, it records where the allocno
228 may not start. Change both where it is used and where it is updated.
229 Then there is a way to record that (reg:DI 108) may start at 10
230 but not at 9 or 11. There is still the question of how to record
231 this semi-conflict between two pseudos. */
232#if 0
233/* Reg pairs for which conflict after the current insn
234 is inhibited by a REG_NO_CONFLICT note.
235 If the table gets full, we ignore any other notes--that is conservative. */
236#define NUM_NO_CONFLICT_PAIRS 4
237/* Number of pairs in use in this insn. */
238int n_no_conflict_pairs;
239static struct { int allocno1, allocno2;}
240 no_conflict_pairs[NUM_NO_CONFLICT_PAIRS];
241#endif /* 0 */
242
243/* Record all regs that are set in any one insn.
244 Communication from mark_reg_{store,clobber} and global_conflicts. */
245
246static rtx *regs_set;
247static int n_regs_set;
248
daf55ac6 249/* All registers that can be eliminated. */
38398762
RK
250
251static HARD_REG_SET eliminable_regset;
252
82c68a78
RK
253static int allocno_compare PROTO((int *, int *));
254static void global_conflicts PROTO((void));
255static void expand_preferences PROTO((void));
256static void prune_preferences PROTO((void));
257static void find_reg PROTO((int, HARD_REG_SET, int, int, int));
258static void record_one_conflict PROTO((int));
259static void record_conflicts PROTO((short *, int));
260static void mark_reg_store PROTO((rtx, rtx));
261static void mark_reg_clobber PROTO((rtx, rtx));
262static void mark_reg_conflicts PROTO((rtx));
263static void mark_reg_death PROTO((rtx));
264static void mark_reg_live_nc PROTO((int, enum machine_mode));
265static void set_preference PROTO((rtx, rtx));
266static void dump_conflicts PROTO((FILE *));
38398762
RK
267\f
268/* Perform allocation of pseudo-registers not allocated by local_alloc.
269 FILE is a file to output debugging information on,
ab40ad2b 270 or zero if such output is not desired.
38398762 271
ab40ad2b
RS
272 Return value is nonzero if reload failed
273 and we must not do any more for this function. */
274
275int
38398762
RK
276global_alloc (file)
277 FILE *file;
278{
279#ifdef ELIMINABLE_REGS
280 static struct {int from, to; } eliminables[] = ELIMINABLE_REGS;
281#endif
daf55ac6
RK
282 int need_fp
283 = (! flag_omit_frame_pointer
284#ifdef EXIT_IGNORE_STACK
285 || (current_function_calls_alloca && EXIT_IGNORE_STACK)
286#endif
287 || FRAME_POINTER_REQUIRED);
288
38398762
RK
289 register int i;
290 rtx x;
291
292 max_allocno = 0;
293
294 /* A machine may have certain hard registers that
295 are safe to use only within a basic block. */
296
297 CLEAR_HARD_REG_SET (no_global_alloc_regs);
298#ifdef OVERLAPPING_REGNO_P
299 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
300 if (OVERLAPPING_REGNO_P (i))
301 SET_HARD_REG_BIT (no_global_alloc_regs, i);
302#endif
303
304 /* Build the regset of all eliminable registers and show we can't use those
305 that we already know won't be eliminated. */
306#ifdef ELIMINABLE_REGS
307 for (i = 0; i < sizeof eliminables / sizeof eliminables[0]; i++)
308 {
309 SET_HARD_REG_BIT (eliminable_regset, eliminables[i].from);
310
311 if (! CAN_ELIMINATE (eliminables[i].from, eliminables[i].to)
daf55ac6 312 || (eliminables[i].to == STACK_POINTER_REGNUM && need_fp))
38398762
RK
313 SET_HARD_REG_BIT (no_global_alloc_regs, eliminables[i].from);
314 }
7b0957a7 315#if FRAME_POINTER_REGNUM != HARD_FRAME_POINTER_REGNUM
daf55ac6
RK
316 SET_HARD_REG_BIT (eliminable_regset, HARD_FRAME_POINTER_REGNUM);
317 if (need_fp)
7b0957a7
DE
318 SET_HARD_REG_BIT (no_global_alloc_regs, HARD_FRAME_POINTER_REGNUM);
319#endif
daf55ac6 320
38398762
RK
321#else
322 SET_HARD_REG_BIT (eliminable_regset, FRAME_POINTER_REGNUM);
daf55ac6 323 if (need_fp)
38398762
RK
324 SET_HARD_REG_BIT (no_global_alloc_regs, FRAME_POINTER_REGNUM);
325#endif
326
327 /* Track which registers have already been used. Start with registers
328 explicitly in the rtl, then registers allocated by local register
b4b4db94 329 allocation. */
38398762
RK
330
331 CLEAR_HARD_REG_SET (regs_used_so_far);
b4b4db94
RS
332#ifdef LEAF_REGISTERS
333 /* If we are doing the leaf function optimization, and this is a leaf
334 function, it means that the registers that take work to save are those
335 that need a register window. So prefer the ones that can be used in
336 a leaf function. */
337 {
338 char *cheap_regs;
339 static char leaf_regs[] = LEAF_REGISTERS;
340
341 if (only_leaf_regs_used () && leaf_function_p ())
342 cheap_regs = leaf_regs;
343 else
344 cheap_regs = call_used_regs;
345 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
346 if (regs_ever_live[i] || cheap_regs[i])
347 SET_HARD_REG_BIT (regs_used_so_far, i);
348 }
349#else
350 /* We consider registers that do not have to be saved over calls as if
351 they were already used since there is no cost in using them. */
38398762
RK
352 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
353 if (regs_ever_live[i] || call_used_regs[i])
354 SET_HARD_REG_BIT (regs_used_so_far, i);
b4b4db94 355#endif
38398762
RK
356
357 for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
358 if (reg_renumber[i] >= 0)
359 SET_HARD_REG_BIT (regs_used_so_far, reg_renumber[i]);
360
361 /* Establish mappings from register number to allocation number
362 and vice versa. In the process, count the allocnos. */
363
364 reg_allocno = (int *) alloca (max_regno * sizeof (int));
365
366 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
367 reg_allocno[i] = -1;
368
369 /* Initialize the shared-hard-reg mapping
370 from the list of pairs that may share. */
371 reg_may_share = (int *) alloca (max_regno * sizeof (int));
4c9a05bc 372 bzero ((char *) reg_may_share, max_regno * sizeof (int));
38398762
RK
373 for (x = regs_may_share; x; x = XEXP (XEXP (x, 1), 1))
374 {
375 int r1 = REGNO (XEXP (x, 0));
376 int r2 = REGNO (XEXP (XEXP (x, 1), 0));
377 if (r1 > r2)
378 reg_may_share[r1] = r2;
379 else
380 reg_may_share[r2] = r1;
381 }
382
383 for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
384 /* Note that reg_live_length[i] < 0 indicates a "constant" reg
385 that we are supposed to refrain from putting in a hard reg.
386 -2 means do make an allocno but don't allocate it. */
387 if (reg_n_refs[i] != 0 && reg_renumber[i] < 0 && reg_live_length[i] != -1
388 /* Don't allocate pseudos that cross calls,
389 if this function receives a nonlocal goto. */
390 && (! current_function_has_nonlocal_label
391 || reg_n_calls_crossed[i] == 0))
392 {
393 if (reg_may_share[i] && reg_allocno[reg_may_share[i]] >= 0)
394 reg_allocno[i] = reg_allocno[reg_may_share[i]];
395 else
396 reg_allocno[i] = max_allocno++;
397 if (reg_live_length[i] == 0)
398 abort ();
399 }
400 else
401 reg_allocno[i] = -1;
402
403 allocno_reg = (int *) alloca (max_allocno * sizeof (int));
404 allocno_size = (int *) alloca (max_allocno * sizeof (int));
405 allocno_calls_crossed = (int *) alloca (max_allocno * sizeof (int));
406 allocno_n_refs = (int *) alloca (max_allocno * sizeof (int));
407 allocno_live_length = (int *) alloca (max_allocno * sizeof (int));
4c9a05bc
RK
408 bzero ((char *) allocno_size, max_allocno * sizeof (int));
409 bzero ((char *) allocno_calls_crossed, max_allocno * sizeof (int));
410 bzero ((char *) allocno_n_refs, max_allocno * sizeof (int));
411 bzero ((char *) allocno_live_length, max_allocno * sizeof (int));
38398762
RK
412
413 for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
414 if (reg_allocno[i] >= 0)
415 {
416 int allocno = reg_allocno[i];
417 allocno_reg[allocno] = i;
418 allocno_size[allocno] = PSEUDO_REGNO_SIZE (i);
419 allocno_calls_crossed[allocno] += reg_n_calls_crossed[i];
420 allocno_n_refs[allocno] += reg_n_refs[i];
421 if (allocno_live_length[allocno] < reg_live_length[i])
422 allocno_live_length[allocno] = reg_live_length[i];
423 }
424
1d56e983
RS
425 /* Calculate amount of usage of each hard reg by pseudos
426 allocated by local-alloc. This is to see if we want to
427 override it. */
4c9a05bc
RK
428 bzero ((char *) local_reg_live_length, sizeof local_reg_live_length);
429 bzero ((char *) local_reg_n_refs, sizeof local_reg_n_refs);
1d56e983
RS
430 for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
431 if (reg_allocno[i] < 0 && reg_renumber[i] >= 0)
432 {
34e56753
RS
433 int regno = reg_renumber[i];
434 int endregno = regno + HARD_REGNO_NREGS (regno, PSEUDO_REGNO_MODE (i));
435 int j;
436
437 for (j = regno; j < endregno; j++)
438 {
439 local_reg_n_refs[j] += reg_n_refs[i];
440 local_reg_live_length[j] += reg_live_length[i];
441 }
1d56e983 442 }
34e56753 443
1d56e983
RS
444 /* We can't override local-alloc for a reg used not just by local-alloc. */
445 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
446 if (regs_ever_live[i])
447 local_reg_n_refs[i] = 0;
448
38398762
RK
449 /* Allocate the space for the conflict and preference tables and
450 initialize them. */
451
452 hard_reg_conflicts
453 = (HARD_REG_SET *) alloca (max_allocno * sizeof (HARD_REG_SET));
4c9a05bc 454 bzero ((char *) hard_reg_conflicts, max_allocno * sizeof (HARD_REG_SET));
38398762
RK
455
456 hard_reg_preferences
457 = (HARD_REG_SET *) alloca (max_allocno * sizeof (HARD_REG_SET));
4c9a05bc 458 bzero ((char *) hard_reg_preferences, max_allocno * sizeof (HARD_REG_SET));
38398762
RK
459
460 hard_reg_copy_preferences
461 = (HARD_REG_SET *) alloca (max_allocno * sizeof (HARD_REG_SET));
4c9a05bc
RK
462 bzero ((char *) hard_reg_copy_preferences,
463 max_allocno * sizeof (HARD_REG_SET));
38398762
RK
464
465 hard_reg_full_preferences
466 = (HARD_REG_SET *) alloca (max_allocno * sizeof (HARD_REG_SET));
4c9a05bc
RK
467 bzero ((char *) hard_reg_full_preferences,
468 max_allocno * sizeof (HARD_REG_SET));
38398762
RK
469
470 regs_someone_prefers
471 = (HARD_REG_SET *) alloca (max_allocno * sizeof (HARD_REG_SET));
4c9a05bc 472 bzero ((char *) regs_someone_prefers, max_allocno * sizeof (HARD_REG_SET));
38398762
RK
473
474 allocno_row_words = (max_allocno + INT_BITS - 1) / INT_BITS;
475
b1ec3c92
CH
476 conflicts = (INT_TYPE *) alloca (max_allocno * allocno_row_words
477 * sizeof (INT_TYPE));
4c9a05bc
RK
478 bzero ((char *) conflicts,
479 max_allocno * allocno_row_words * sizeof (INT_TYPE));
38398762 480
b1ec3c92 481 allocnos_live = (INT_TYPE *) alloca (allocno_row_words * sizeof (INT_TYPE));
38398762
RK
482
483 /* If there is work to be done (at least one reg to allocate),
484 perform global conflict analysis and allocate the regs. */
485
486 if (max_allocno > 0)
487 {
488 /* Scan all the insns and compute the conflicts among allocnos
489 and between allocnos and hard regs. */
490
491 global_conflicts ();
492
493 /* Eliminate conflicts between pseudos and eliminable registers. If
494 the register is not eliminated, the pseudo won't really be able to
495 live in the eliminable register, so the conflict doesn't matter.
496 If we do eliminate the register, the conflict will no longer exist.
1d56e983
RS
497 So in either case, we can ignore the conflict. Likewise for
498 preferences. */
38398762
RK
499
500 for (i = 0; i < max_allocno; i++)
1d56e983
RS
501 {
502 AND_COMPL_HARD_REG_SET (hard_reg_conflicts[i], eliminable_regset);
503 AND_COMPL_HARD_REG_SET (hard_reg_copy_preferences[i],
504 eliminable_regset);
505 AND_COMPL_HARD_REG_SET (hard_reg_preferences[i], eliminable_regset);
506 }
38398762
RK
507
508 /* Try to expand the preferences by merging them between allocnos. */
509
510 expand_preferences ();
511
512 /* Determine the order to allocate the remaining pseudo registers. */
513
514 allocno_order = (int *) alloca (max_allocno * sizeof (int));
515 for (i = 0; i < max_allocno; i++)
516 allocno_order[i] = i;
517
518 /* Default the size to 1, since allocno_compare uses it to divide by.
519 Also convert allocno_live_length of zero to -1. A length of zero
520 can occur when all the registers for that allocno have reg_live_length
521 equal to -2. In this case, we want to make an allocno, but not
522 allocate it. So avoid the divide-by-zero and set it to a low
523 priority. */
524
525 for (i = 0; i < max_allocno; i++)
526 {
527 if (allocno_size[i] == 0)
528 allocno_size[i] = 1;
529 if (allocno_live_length[i] == 0)
530 allocno_live_length[i] = -1;
531 }
532
533 qsort (allocno_order, max_allocno, sizeof (int), allocno_compare);
534
535 prune_preferences ();
536
537 if (file)
538 dump_conflicts (file);
539
540 /* Try allocating them, one by one, in that order,
541 except for parameters marked with reg_live_length[regno] == -2. */
542
543 for (i = 0; i < max_allocno; i++)
544 if (reg_live_length[allocno_reg[allocno_order[i]]] >= 0)
545 {
546 /* If we have more than one register class,
547 first try allocating in the class that is cheapest
548 for this pseudo-reg. If that fails, try any reg. */
549 if (N_REG_CLASSES > 1)
550 {
1d56e983 551 find_reg (allocno_order[i], HARD_CONST (0), 0, 0, 0);
38398762
RK
552 if (reg_renumber[allocno_reg[allocno_order[i]]] >= 0)
553 continue;
554 }
b1ec3c92 555 if (reg_alternate_class (allocno_reg[allocno_order[i]]) != NO_REGS)
1d56e983 556 find_reg (allocno_order[i], HARD_CONST (0), 1, 0, 0);
38398762
RK
557 }
558 }
559
560 /* Do the reloads now while the allocno data still exist, so that we can
561 try to assign new hard regs to any pseudo regs that are spilled. */
562
7e860cf7
RS
563#if 0 /* We need to eliminate regs even if there is no rtl code,
564 for the sake of debugging information. */
38398762 565 if (n_basic_blocks > 0)
7e860cf7 566#endif
ab40ad2b 567 return reload (get_insns (), 1, file);
38398762
RK
568}
569
570/* Sort predicate for ordering the allocnos.
571 Returns -1 (1) if *v1 should be allocated before (after) *v2. */
572
573static int
574allocno_compare (v1, v2)
575 int *v1, *v2;
576{
577 /* Note that the quotient will never be bigger than
578 the value of floor_log2 times the maximum number of
579 times a register can occur in one insn (surely less than 100).
580 Multiplying this by 10000 can't overflow. */
581 register int pri1
582 = (((double) (floor_log2 (allocno_n_refs[*v1]) * allocno_n_refs[*v1])
35b2eb05
RK
583 / allocno_live_length[*v1])
584 * 10000 * allocno_size[*v1]);
38398762
RK
585 register int pri2
586 = (((double) (floor_log2 (allocno_n_refs[*v2]) * allocno_n_refs[*v2])
35b2eb05
RK
587 / allocno_live_length[*v2])
588 * 10000 * allocno_size[*v2]);
38398762
RK
589 if (pri2 - pri1)
590 return pri2 - pri1;
591
592 /* If regs are equally good, sort by allocno,
593 so that the results of qsort leave nothing to chance. */
594 return *v1 - *v2;
595}
596\f
597/* Scan the rtl code and record all conflicts and register preferences in the
598 conflict matrices and preference tables. */
599
600static void
601global_conflicts ()
602{
603 register int b, i;
604 register rtx insn;
605 short *block_start_allocnos;
606
607 /* Make a vector that mark_reg_{store,clobber} will store in. */
608 regs_set = (rtx *) alloca (max_parallel * sizeof (rtx) * 2);
609
610 block_start_allocnos = (short *) alloca (max_allocno * sizeof (short));
611
612 for (b = 0; b < n_basic_blocks; b++)
613 {
4c9a05bc 614 bzero ((char *) allocnos_live, allocno_row_words * sizeof (INT_TYPE));
38398762
RK
615
616 /* Initialize table of registers currently live
617 to the state at the beginning of this basic block.
618 This also marks the conflicts among them.
619
620 For pseudo-regs, there is only one bit for each one
621 no matter how many hard regs it occupies.
622 This is ok; we know the size from PSEUDO_REGNO_SIZE.
623 For explicit hard regs, we cannot know the size that way
624 since one hard reg can be used with various sizes.
625 Therefore, we must require that all the hard regs
626 implicitly live as part of a multi-word hard reg
627 are explicitly marked in basic_block_live_at_start. */
628
629 {
b1ec3c92
CH
630 register int offset;
631 REGSET_ELT_TYPE bit;
38398762
RK
632 register regset old = basic_block_live_at_start[b];
633 int ax = 0;
634
69887ad9
RK
635#ifdef HARD_REG_SET
636 hard_regs_live = old[0];
637#else
638 COPY_HARD_REG_SET (hard_regs_live, old);
639#endif
38398762
RK
640 for (offset = 0, i = 0; offset < regset_size; offset++)
641 if (old[offset] == 0)
b1ec3c92 642 i += REGSET_ELT_BITS;
38398762
RK
643 else
644 for (bit = 1; bit; bit <<= 1, i++)
645 {
646 if (i >= max_regno)
647 break;
648 if (old[offset] & bit)
649 {
650 register int a = reg_allocno[i];
651 if (a >= 0)
652 {
653 SET_ALLOCNO_LIVE (a);
654 block_start_allocnos[ax++] = a;
655 }
656 else if ((a = reg_renumber[i]) >= 0)
657 mark_reg_live_nc (a, PSEUDO_REGNO_MODE (i));
658 }
659 }
660
661 /* Record that each allocno now live conflicts with each other
662 allocno now live, and with each hard reg now live. */
663
664 record_conflicts (block_start_allocnos, ax);
665 }
666
667 insn = basic_block_head[b];
668
669 /* Scan the code of this basic block, noting which allocnos
670 and hard regs are born or die. When one is born,
671 record a conflict with all others currently live. */
672
673 while (1)
674 {
675 register RTX_CODE code = GET_CODE (insn);
676 register rtx link;
677
678 /* Make regs_set an empty set. */
679
680 n_regs_set = 0;
681
682 if (code == INSN || code == CALL_INSN || code == JUMP_INSN)
683 {
38398762
RK
684
685#if 0
2049526b 686 int i = 0;
38398762
RK
687 for (link = REG_NOTES (insn);
688 link && i < NUM_NO_CONFLICT_PAIRS;
689 link = XEXP (link, 1))
690 if (REG_NOTE_KIND (link) == REG_NO_CONFLICT)
691 {
692 no_conflict_pairs[i].allocno1
693 = reg_allocno[REGNO (SET_DEST (PATTERN (insn)))];
694 no_conflict_pairs[i].allocno2
695 = reg_allocno[REGNO (XEXP (link, 0))];
696 i++;
697 }
698#endif /* 0 */
699
700 /* Mark any registers clobbered by INSN as live,
701 so they conflict with the inputs. */
702
703 note_stores (PATTERN (insn), mark_reg_clobber);
704
705 /* Mark any registers dead after INSN as dead now. */
706
707 for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
708 if (REG_NOTE_KIND (link) == REG_DEAD)
709 mark_reg_death (XEXP (link, 0));
710
711 /* Mark any registers set in INSN as live,
712 and mark them as conflicting with all other live regs.
713 Clobbers are processed again, so they conflict with
714 the registers that are set. */
715
716 note_stores (PATTERN (insn), mark_reg_store);
717
718#ifdef AUTO_INC_DEC
719 for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
720 if (REG_NOTE_KIND (link) == REG_INC)
b1ec3c92 721 mark_reg_store (XEXP (link, 0), NULL_RTX);
38398762
RK
722#endif
723
333e0f7d
RS
724 /* If INSN has multiple outputs, then any reg that dies here
725 and is used inside of an output
726 must conflict with the other outputs. */
727
728 if (GET_CODE (PATTERN (insn)) == PARALLEL && !single_set (insn))
729 for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
730 if (REG_NOTE_KIND (link) == REG_DEAD)
731 {
732 int used_in_output = 0;
733 int i;
734 rtx reg = XEXP (link, 0);
735
736 for (i = XVECLEN (PATTERN (insn), 0) - 1; i >= 0; i--)
737 {
738 rtx set = XVECEXP (PATTERN (insn), 0, i);
739 if (GET_CODE (set) == SET
740 && GET_CODE (SET_DEST (set)) != REG
741 && !rtx_equal_p (reg, SET_DEST (set))
742 && reg_overlap_mentioned_p (reg, SET_DEST (set)))
743 used_in_output = 1;
744 }
745 if (used_in_output)
746 mark_reg_conflicts (reg);
747 }
748
38398762
RK
749 /* Mark any registers set in INSN and then never used. */
750
751 while (n_regs_set > 0)
752 if (find_regno_note (insn, REG_UNUSED,
753 REGNO (regs_set[--n_regs_set])))
754 mark_reg_death (regs_set[n_regs_set]);
755 }
756
757 if (insn == basic_block_end[b])
758 break;
759 insn = NEXT_INSN (insn);
760 }
761 }
762}
763/* Expand the preference information by looking for cases where one allocno
764 dies in an insn that sets an allocno. If those two allocnos don't conflict,
765 merge any preferences between those allocnos. */
766
767static void
768expand_preferences ()
769{
770 rtx insn;
771 rtx link;
772 rtx set;
773
774 /* We only try to handle the most common cases here. Most of the cases
775 where this wins are reg-reg copies. */
776
777 for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
778 if (GET_RTX_CLASS (GET_CODE (insn)) == 'i'
779 && (set = single_set (insn)) != 0
780 && GET_CODE (SET_DEST (set)) == REG
781 && reg_allocno[REGNO (SET_DEST (set))] >= 0)
782 for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
783 if (REG_NOTE_KIND (link) == REG_DEAD
784 && GET_CODE (XEXP (link, 0)) == REG
785 && reg_allocno[REGNO (XEXP (link, 0))] >= 0
786 && ! CONFLICTP (reg_allocno[REGNO (SET_DEST (set))],
787 reg_allocno[REGNO (XEXP (link, 0))])
788 && ! CONFLICTP (reg_allocno[REGNO (XEXP (link, 0))],
789 reg_allocno[REGNO (SET_DEST (set))]))
790 {
791 int a1 = reg_allocno[REGNO (SET_DEST (set))];
792 int a2 = reg_allocno[REGNO (XEXP (link, 0))];
793
794 if (XEXP (link, 0) == SET_SRC (set))
795 {
796 IOR_HARD_REG_SET (hard_reg_copy_preferences[a1],
797 hard_reg_copy_preferences[a2]);
798 IOR_HARD_REG_SET (hard_reg_copy_preferences[a2],
799 hard_reg_copy_preferences[a1]);
800 }
801
802 IOR_HARD_REG_SET (hard_reg_preferences[a1],
803 hard_reg_preferences[a2]);
804 IOR_HARD_REG_SET (hard_reg_preferences[a2],
805 hard_reg_preferences[a1]);
806 IOR_HARD_REG_SET (hard_reg_full_preferences[a1],
807 hard_reg_full_preferences[a2]);
808 IOR_HARD_REG_SET (hard_reg_full_preferences[a2],
809 hard_reg_full_preferences[a1]);
810 }
811}
812\f
813/* Prune the preferences for global registers to exclude registers that cannot
814 be used.
815
816 Compute `regs_someone_prefers', which is a bitmask of the hard registers
817 that are preferred by conflicting registers of lower priority. If possible,
818 we will avoid using these registers. */
819
820static void
821prune_preferences ()
822{
823 int i, j;
824 int allocno;
825
826 /* Scan least most important to most important.
827 For each allocno, remove from preferences registers that cannot be used,
828 either because of conflicts or register type. Then compute all registers
d45cf215 829 preferred by each lower-priority register that conflicts. */
38398762
RK
830
831 for (i = max_allocno - 1; i >= 0; i--)
832 {
833 HARD_REG_SET temp;
834
835 allocno = allocno_order[i];
836 COPY_HARD_REG_SET (temp, hard_reg_conflicts[allocno]);
837
838 if (allocno_calls_crossed[allocno] == 0)
839 IOR_HARD_REG_SET (temp, fixed_reg_set);
840 else
841 IOR_HARD_REG_SET (temp, call_used_reg_set);
842
843 IOR_COMPL_HARD_REG_SET
844 (temp,
845 reg_class_contents[(int) reg_preferred_class (allocno_reg[allocno])]);
846
847 AND_COMPL_HARD_REG_SET (hard_reg_preferences[allocno], temp);
848 AND_COMPL_HARD_REG_SET (hard_reg_copy_preferences[allocno], temp);
849 AND_COMPL_HARD_REG_SET (hard_reg_full_preferences[allocno], temp);
850
851 CLEAR_HARD_REG_SET (regs_someone_prefers[allocno]);
852
853 /* Merge in the preferences of lower-priority registers (they have
854 already been pruned). If we also prefer some of those registers,
855 don't exclude them unless we are of a smaller size (in which case
856 we want to give the lower-priority allocno the first chance for
857 these registers). */
858 for (j = i + 1; j < max_allocno; j++)
859 if (CONFLICTP (allocno, allocno_order[j]))
860 {
861 COPY_HARD_REG_SET (temp,
862 hard_reg_full_preferences[allocno_order[j]]);
863 if (allocno_size[allocno_order[j]] <= allocno_size[allocno])
864 AND_COMPL_HARD_REG_SET (temp,
865 hard_reg_full_preferences[allocno]);
866
867 IOR_HARD_REG_SET (regs_someone_prefers[allocno], temp);
868 }
869 }
870}
871\f
872/* Assign a hard register to ALLOCNO; look for one that is the beginning
873 of a long enough stretch of hard regs none of which conflicts with ALLOCNO.
874 The registers marked in PREFREGS are tried first.
875
876 LOSERS, if non-zero, is a HARD_REG_SET indicating registers that cannot
877 be used for this allocation.
878
b1ec3c92
CH
879 If ALT_REGS_P is zero, consider only the preferred class of ALLOCNO's reg.
880 Otherwise ignore that preferred class and use the alternate class.
38398762
RK
881
882 If ACCEPT_CALL_CLOBBERED is nonzero, accept a call-clobbered hard reg that
883 will have to be saved and restored at calls.
884
1d56e983
RS
885 RETRYING is nonzero if this is called from retry_global_alloc.
886
38398762
RK
887 If we find one, record it in reg_renumber.
888 If not, do nothing. */
889
890static void
b1ec3c92 891find_reg (allocno, losers, alt_regs_p, accept_call_clobbered, retrying)
38398762
RK
892 int allocno;
893 HARD_REG_SET losers;
b1ec3c92 894 int alt_regs_p;
38398762 895 int accept_call_clobbered;
1d56e983 896 int retrying;
38398762
RK
897{
898 register int i, best_reg, pass;
899#ifdef HARD_REG_SET
900 register /* Declare it register if it's a scalar. */
901#endif
1d56e983 902 HARD_REG_SET used, used1, used2;
38398762 903
b1ec3c92
CH
904 enum reg_class class = (alt_regs_p
905 ? reg_alternate_class (allocno_reg[allocno])
906 : reg_preferred_class (allocno_reg[allocno]));
38398762
RK
907 enum machine_mode mode = PSEUDO_REGNO_MODE (allocno_reg[allocno]);
908
909 if (accept_call_clobbered)
910 COPY_HARD_REG_SET (used1, call_fixed_reg_set);
911 else if (allocno_calls_crossed[allocno] == 0)
912 COPY_HARD_REG_SET (used1, fixed_reg_set);
913 else
914 COPY_HARD_REG_SET (used1, call_used_reg_set);
915
916 /* Some registers should not be allocated in global-alloc. */
917 IOR_HARD_REG_SET (used1, no_global_alloc_regs);
918 if (losers)
919 IOR_HARD_REG_SET (used1, losers);
920
921 IOR_COMPL_HARD_REG_SET (used1, reg_class_contents[(int) class]);
1d56e983
RS
922 COPY_HARD_REG_SET (used2, used1);
923
38398762
RK
924 IOR_HARD_REG_SET (used1, hard_reg_conflicts[allocno]);
925
926 /* Try each hard reg to see if it fits. Do this in two passes.
d45cf215 927 In the first pass, skip registers that are preferred by some other pseudo
38398762
RK
928 to give it a better chance of getting one of those registers. Only if
929 we can't get a register when excluding those do we take one of them.
930 However, we never allocate a register for the first time in pass 0. */
931
932 COPY_HARD_REG_SET (used, used1);
933 IOR_COMPL_HARD_REG_SET (used, regs_used_so_far);
934 IOR_HARD_REG_SET (used, regs_someone_prefers[allocno]);
935
936 best_reg = -1;
937 for (i = FIRST_PSEUDO_REGISTER, pass = 0;
938 pass <= 1 && i >= FIRST_PSEUDO_REGISTER;
939 pass++)
940 {
941 if (pass == 1)
942 COPY_HARD_REG_SET (used, used1);
943 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
944 {
945#ifdef REG_ALLOC_ORDER
946 int regno = reg_alloc_order[i];
947#else
948 int regno = i;
949#endif
950 if (! TEST_HARD_REG_BIT (used, regno)
951 && HARD_REGNO_MODE_OK (regno, mode))
952 {
953 register int j;
954 register int lim = regno + HARD_REGNO_NREGS (regno, mode);
955 for (j = regno + 1;
956 (j < lim
957 && ! TEST_HARD_REG_BIT (used, j));
958 j++);
959 if (j == lim)
960 {
961 best_reg = regno;
962 break;
963 }
964#ifndef REG_ALLOC_ORDER
965 i = j; /* Skip starting points we know will lose */
966#endif
967 }
968 }
969 }
970
971 /* See if there is a preferred register with the same class as the register
972 we allocated above. Making this restriction prevents register
973 preferencing from creating worse register allocation.
974
975 Remove from the preferred registers and conflicting registers. Note that
976 additional conflicts may have been added after `prune_preferences' was
977 called.
978
979 First do this for those register with copy preferences, then all
980 preferred registers. */
981
982 AND_COMPL_HARD_REG_SET (hard_reg_copy_preferences[allocno], used);
983 GO_IF_HARD_REG_SUBSET (hard_reg_copy_preferences[allocno],
984 reg_class_contents[(int) NO_REGS], no_copy_prefs);
985
986 if (best_reg >= 0)
987 {
988 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
989 if (TEST_HARD_REG_BIT (hard_reg_copy_preferences[allocno], i)
990 && HARD_REGNO_MODE_OK (i, mode)
991 && (REGNO_REG_CLASS (i) == REGNO_REG_CLASS (best_reg)
992 || reg_class_subset_p (REGNO_REG_CLASS (i),
993 REGNO_REG_CLASS (best_reg))
994 || reg_class_subset_p (REGNO_REG_CLASS (best_reg),
995 REGNO_REG_CLASS (i))))
996 {
997 register int j;
998 register int lim = i + HARD_REGNO_NREGS (i, mode);
999 for (j = i + 1;
1000 (j < lim
1001 && ! TEST_HARD_REG_BIT (used, j)
1002 && (REGNO_REG_CLASS (j)
1003 == REGNO_REG_CLASS (best_reg + (j - i))
1004 || reg_class_subset_p (REGNO_REG_CLASS (j),
1005 REGNO_REG_CLASS (best_reg + (j - i)))
1006 || reg_class_subset_p (REGNO_REG_CLASS (best_reg + (j - i)),
1007 REGNO_REG_CLASS (j))));
1008 j++);
1009 if (j == lim)
1010 {
1011 best_reg = i;
1012 goto no_prefs;
1013 }
1014 }
1015 }
1016 no_copy_prefs:
1017
1018 AND_COMPL_HARD_REG_SET (hard_reg_preferences[allocno], used);
1019 GO_IF_HARD_REG_SUBSET (hard_reg_preferences[allocno],
1020 reg_class_contents[(int) NO_REGS], no_prefs);
1021
1022 if (best_reg >= 0)
1023 {
1024 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
1025 if (TEST_HARD_REG_BIT (hard_reg_preferences[allocno], i)
1026 && HARD_REGNO_MODE_OK (i, mode)
1027 && (REGNO_REG_CLASS (i) == REGNO_REG_CLASS (best_reg)
1028 || reg_class_subset_p (REGNO_REG_CLASS (i),
1029 REGNO_REG_CLASS (best_reg))
1030 || reg_class_subset_p (REGNO_REG_CLASS (best_reg),
1031 REGNO_REG_CLASS (i))))
1032 {
1033 register int j;
1034 register int lim = i + HARD_REGNO_NREGS (i, mode);
1035 for (j = i + 1;
1036 (j < lim
1037 && ! TEST_HARD_REG_BIT (used, j)
1038 && (REGNO_REG_CLASS (j)
1039 == REGNO_REG_CLASS (best_reg + (j - i))
1040 || reg_class_subset_p (REGNO_REG_CLASS (j),
1041 REGNO_REG_CLASS (best_reg + (j - i)))
1042 || reg_class_subset_p (REGNO_REG_CLASS (best_reg + (j - i)),
1043 REGNO_REG_CLASS (j))));
1044 j++);
1045 if (j == lim)
1046 {
1047 best_reg = i;
1048 break;
1049 }
1050 }
1051 }
1052 no_prefs:
1053
cfcf04a6
RK
1054 /* If we haven't succeeded yet, try with caller-saves.
1055 We need not check to see if the current function has nonlocal
1056 labels because we don't put any pseudos that are live over calls in
1057 registers in that case. */
1058
1d56e983
RS
1059 if (flag_caller_saves && best_reg < 0)
1060 {
1061 /* Did not find a register. If it would be profitable to
1062 allocate a call-clobbered register and save and restore it
1063 around calls, do that. */
1064 if (! accept_call_clobbered
1065 && allocno_calls_crossed[allocno] != 0
1066 && CALLER_SAVE_PROFITABLE (allocno_n_refs[allocno],
1067 allocno_calls_crossed[allocno]))
1068 {
b1ec3c92 1069 find_reg (allocno, losers, alt_regs_p, 1, retrying);
1d56e983
RS
1070 if (reg_renumber[allocno_reg[allocno]] >= 0)
1071 {
1072 caller_save_needed = 1;
1073 return;
1074 }
1075 }
1076 }
1077
1078 /* If we haven't succeeded yet,
1079 see if some hard reg that conflicts with us
1080 was utilized poorly by local-alloc.
1081 If so, kick out the regs that were put there by local-alloc
1082 so we can use it instead. */
1083 if (best_reg < 0 && !retrying
1084 /* Let's not bother with multi-reg allocnos. */
1085 && allocno_size[allocno] == 1)
1086 {
1087 /* Count from the end, to find the least-used ones first. */
1088 for (i = FIRST_PSEUDO_REGISTER - 1; i >= 0; i--)
17a0a76d
RK
1089 {
1090#ifdef REG_ALLOC_ORDER
1091 int regno = reg_alloc_order[i];
1092#else
1093 int regno = i;
1094#endif
34e56753 1095
17a0a76d
RK
1096 if (local_reg_n_refs[regno] != 0
1097 /* Don't use a reg no good for this pseudo. */
1098 && ! TEST_HARD_REG_BIT (used2, regno)
1099 && HARD_REGNO_MODE_OK (regno, mode)
1100 && (((double) local_reg_n_refs[regno]
1101 / local_reg_live_length[regno])
1102 < ((double) allocno_n_refs[allocno]
1103 / allocno_live_length[allocno])))
1104 {
1105 /* Hard reg REGNO was used less in total by local regs
1106 than it would be used by this one allocno! */
1107 int k;
1108 for (k = 0; k < max_regno; k++)
1109 if (reg_renumber[k] >= 0)
1110 {
1111 int r = reg_renumber[k];
1112 int endregno
1113 = r + HARD_REGNO_NREGS (r, PSEUDO_REGNO_MODE (k));
34e56753 1114
17a0a76d
RK
1115 if (regno >= r && regno < endregno)
1116 reg_renumber[k] = -1;
1117 }
1118
1119 best_reg = regno;
1120 break;
1121 }
1122 }
1d56e983
RS
1123 }
1124
38398762
RK
1125 /* Did we find a register? */
1126
1127 if (best_reg >= 0)
1128 {
1129 register int lim, j;
1130 HARD_REG_SET this_reg;
1131
1132 /* Yes. Record it as the hard register of this pseudo-reg. */
1133 reg_renumber[allocno_reg[allocno]] = best_reg;
1134 /* Also of any pseudo-regs that share with it. */
1135 if (reg_may_share[allocno_reg[allocno]])
1136 for (j = FIRST_PSEUDO_REGISTER; j < max_regno; j++)
1137 if (reg_allocno[j] == allocno)
1138 reg_renumber[j] = best_reg;
1139
1140 /* Make a set of the hard regs being allocated. */
1141 CLEAR_HARD_REG_SET (this_reg);
1142 lim = best_reg + HARD_REGNO_NREGS (best_reg, mode);
1143 for (j = best_reg; j < lim; j++)
1144 {
1145 SET_HARD_REG_BIT (this_reg, j);
1146 SET_HARD_REG_BIT (regs_used_so_far, j);
1d56e983
RS
1147 /* This is no longer a reg used just by local regs. */
1148 local_reg_n_refs[j] = 0;
38398762
RK
1149 }
1150 /* For each other pseudo-reg conflicting with this one,
1151 mark it as conflicting with the hard regs this one occupies. */
1152 lim = allocno;
1153 for (j = 0; j < max_allocno; j++)
1154 if (CONFLICTP (lim, j) || CONFLICTP (j, lim))
1155 {
1156 IOR_HARD_REG_SET (hard_reg_conflicts[j], this_reg);
1157 }
1158 }
38398762
RK
1159}
1160\f
1161/* Called from `reload' to look for a hard reg to put pseudo reg REGNO in.
1162 Perhaps it had previously seemed not worth a hard reg,
1163 or perhaps its old hard reg has been commandeered for reloads.
1164 FORBIDDEN_REGS indicates certain hard regs that may not be used, even if
1165 they do not appear to be allocated.
1166 If FORBIDDEN_REGS is zero, no regs are forbidden. */
1167
1168void
1169retry_global_alloc (regno, forbidden_regs)
1170 int regno;
1171 HARD_REG_SET forbidden_regs;
1172{
1173 int allocno = reg_allocno[regno];
1174 if (allocno >= 0)
1175 {
1176 /* If we have more than one register class,
1177 first try allocating in the class that is cheapest
1178 for this pseudo-reg. If that fails, try any reg. */
1179 if (N_REG_CLASSES > 1)
1d56e983 1180 find_reg (allocno, forbidden_regs, 0, 0, 1);
38398762 1181 if (reg_renumber[regno] < 0
b1ec3c92 1182 && reg_alternate_class (regno) != NO_REGS)
1d56e983 1183 find_reg (allocno, forbidden_regs, 1, 0, 1);
38398762
RK
1184
1185 /* If we found a register, modify the RTL for the register to
1186 show the hard register, and mark that register live. */
1187 if (reg_renumber[regno] >= 0)
1188 {
1189 REGNO (regno_reg_rtx[regno]) = reg_renumber[regno];
1190 mark_home_live (regno);
1191 }
1192 }
1193}
1194\f
1195/* Record a conflict between register REGNO
1196 and everything currently live.
1197 REGNO must not be a pseudo reg that was allocated
1198 by local_alloc; such numbers must be translated through
1199 reg_renumber before calling here. */
1200
1201static void
1202record_one_conflict (regno)
1203 int regno;
1204{
1205 register int j;
1206
1207 if (regno < FIRST_PSEUDO_REGISTER)
1208 /* When a hard register becomes live,
1209 record conflicts with live pseudo regs. */
1210 for (j = 0; j < max_allocno; j++)
1211 {
1212 if (ALLOCNO_LIVE_P (j))
1213 SET_HARD_REG_BIT (hard_reg_conflicts[j], regno);
1214 }
1215 else
1216 /* When a pseudo-register becomes live,
1217 record conflicts first with hard regs,
1218 then with other pseudo regs. */
1219 {
1220 register int ialloc = reg_allocno[regno];
1221 register int ialloc_prod = ialloc * allocno_row_words;
1222 IOR_HARD_REG_SET (hard_reg_conflicts[ialloc], hard_regs_live);
1223 for (j = allocno_row_words - 1; j >= 0; j--)
1224 {
1225#if 0
1226 int k;
1227 for (k = 0; k < n_no_conflict_pairs; k++)
1228 if (! ((j == no_conflict_pairs[k].allocno1
1229 && ialloc == no_conflict_pairs[k].allocno2)
1230 ||
1231 (j == no_conflict_pairs[k].allocno2
1232 && ialloc == no_conflict_pairs[k].allocno1)))
1233#endif /* 0 */
1234 conflicts[ialloc_prod + j] |= allocnos_live[j];
1235 }
1236 }
1237}
1238
1239/* Record all allocnos currently live as conflicting
1240 with each other and with all hard regs currently live.
1241 ALLOCNO_VEC is a vector of LEN allocnos, all allocnos that
1242 are currently live. Their bits are also flagged in allocnos_live. */
1243
1244static void
1245record_conflicts (allocno_vec, len)
1246 register short *allocno_vec;
1247 register int len;
1248{
1249 register int allocno;
1250 register int j;
1251 register int ialloc_prod;
1252
1253 while (--len >= 0)
1254 {
1255 allocno = allocno_vec[len];
1256 ialloc_prod = allocno * allocno_row_words;
1257 IOR_HARD_REG_SET (hard_reg_conflicts[allocno], hard_regs_live);
1258 for (j = allocno_row_words - 1; j >= 0; j--)
1259 conflicts[ialloc_prod + j] |= allocnos_live[j];
1260 }
1261}
1262\f
1263/* Handle the case where REG is set by the insn being scanned,
1264 during the forward scan to accumulate conflicts.
1265 Store a 1 in regs_live or allocnos_live for this register, record how many
1266 consecutive hardware registers it actually needs,
1267 and record a conflict with all other registers already live.
1268
1269 Note that even if REG does not remain alive after this insn,
1270 we must mark it here as live, to ensure a conflict between
1271 REG and any other regs set in this insn that really do live.
1272 This is because those other regs could be considered after this.
1273
1274 REG might actually be something other than a register;
1275 if so, we do nothing.
1276
1277 SETTER is 0 if this register was modified by an auto-increment (i.e.,
1278 a REG_INC note was found for it).
1279
1280 CLOBBERs are processed here by calling mark_reg_clobber. */
1281
1282static void
1283mark_reg_store (orig_reg, setter)
1284 rtx orig_reg, setter;
1285{
1286 register int regno;
1287 register rtx reg = orig_reg;
1288
1289 /* WORD is which word of a multi-register group is being stored.
1290 For the case where the store is actually into a SUBREG of REG.
1291 Except we don't use it; I believe the entire REG needs to be
1292 made live. */
1293 int word = 0;
1294
1295 if (GET_CODE (reg) == SUBREG)
1296 {
1297 word = SUBREG_WORD (reg);
1298 reg = SUBREG_REG (reg);
1299 }
1300
1301 if (GET_CODE (reg) != REG)
1302 return;
1303
1304 if (setter && GET_CODE (setter) == CLOBBER)
1305 {
1306 /* A clobber of a register should be processed here too. */
1307 mark_reg_clobber (orig_reg, setter);
1308 return;
1309 }
1310
1311 regs_set[n_regs_set++] = reg;
1312
1313 if (setter)
1314 set_preference (reg, SET_SRC (setter));
1315
1316 regno = REGNO (reg);
1317
1318 if (reg_renumber[regno] >= 0)
1319 regno = reg_renumber[regno] /* + word */;
1320
1321 /* Either this is one of the max_allocno pseudo regs not allocated,
1322 or it is or has a hardware reg. First handle the pseudo-regs. */
1323 if (regno >= FIRST_PSEUDO_REGISTER)
1324 {
1325 if (reg_allocno[regno] >= 0)
1326 {
1327 SET_ALLOCNO_LIVE (reg_allocno[regno]);
1328 record_one_conflict (regno);
1329 }
1330 }
1331 /* Handle hardware regs (and pseudos allocated to hard regs). */
1332 else if (! fixed_regs[regno])
1333 {
1334 register int last = regno + HARD_REGNO_NREGS (regno, GET_MODE (reg));
1335 while (regno < last)
1336 {
1337 record_one_conflict (regno);
1338 SET_HARD_REG_BIT (hard_regs_live, regno);
1339 regno++;
1340 }
1341 }
1342}
1343\f
1344/* Like mark_reg_set except notice just CLOBBERs; ignore SETs. */
1345
1346static void
1347mark_reg_clobber (reg, setter)
1348 rtx reg, setter;
1349{
1350 register int regno;
1351
1352 /* WORD is which word of a multi-register group is being stored.
1353 For the case where the store is actually into a SUBREG of REG.
1354 Except we don't use it; I believe the entire REG needs to be
1355 made live. */
1356 int word = 0;
1357
1358 if (GET_CODE (setter) != CLOBBER)
1359 return;
1360
1361 if (GET_CODE (reg) == SUBREG)
1362 {
1363 word = SUBREG_WORD (reg);
1364 reg = SUBREG_REG (reg);
1365 }
1366
1367 if (GET_CODE (reg) != REG)
1368 return;
1369
1370 regs_set[n_regs_set++] = reg;
1371
1372 regno = REGNO (reg);
1373
1374 if (reg_renumber[regno] >= 0)
1375 regno = reg_renumber[regno] /* + word */;
1376
1377 /* Either this is one of the max_allocno pseudo regs not allocated,
1378 or it is or has a hardware reg. First handle the pseudo-regs. */
1379 if (regno >= FIRST_PSEUDO_REGISTER)
1380 {
1381 if (reg_allocno[regno] >= 0)
1382 {
1383 SET_ALLOCNO_LIVE (reg_allocno[regno]);
1384 record_one_conflict (regno);
1385 }
1386 }
1387 /* Handle hardware regs (and pseudos allocated to hard regs). */
1388 else if (! fixed_regs[regno])
1389 {
1390 register int last = regno + HARD_REGNO_NREGS (regno, GET_MODE (reg));
1391 while (regno < last)
1392 {
1393 record_one_conflict (regno);
1394 SET_HARD_REG_BIT (hard_regs_live, regno);
1395 regno++;
1396 }
1397 }
333e0f7d
RS
1398}
1399
1400/* Record that REG has conflicts with all the regs currently live.
1401 Do not mark REG itself as live. */
1402
1403static void
1404mark_reg_conflicts (reg)
1405 rtx reg;
1406{
1407 register int regno;
1408
1409 if (GET_CODE (reg) == SUBREG)
1410 reg = SUBREG_REG (reg);
1411
1412 if (GET_CODE (reg) != REG)
1413 return;
1414
1415 regno = REGNO (reg);
1416
1417 if (reg_renumber[regno] >= 0)
1418 regno = reg_renumber[regno];
1419
1420 /* Either this is one of the max_allocno pseudo regs not allocated,
1421 or it is or has a hardware reg. First handle the pseudo-regs. */
1422 if (regno >= FIRST_PSEUDO_REGISTER)
1423 {
1424 if (reg_allocno[regno] >= 0)
1425 record_one_conflict (regno);
1426 }
1427 /* Handle hardware regs (and pseudos allocated to hard regs). */
1428 else if (! fixed_regs[regno])
1429 {
1430 register int last = regno + HARD_REGNO_NREGS (regno, GET_MODE (reg));
1431 while (regno < last)
1432 {
1433 record_one_conflict (regno);
1434 regno++;
1435 }
1436 }
38398762
RK
1437}
1438\f
1439/* Mark REG as being dead (following the insn being scanned now).
1440 Store a 0 in regs_live or allocnos_live for this register. */
1441
1442static void
1443mark_reg_death (reg)
1444 rtx reg;
1445{
1446 register int regno = REGNO (reg);
1447
1448 /* For pseudo reg, see if it has been assigned a hardware reg. */
1449 if (reg_renumber[regno] >= 0)
1450 regno = reg_renumber[regno];
1451
1452 /* Either this is one of the max_allocno pseudo regs not allocated,
1453 or it is a hardware reg. First handle the pseudo-regs. */
1454 if (regno >= FIRST_PSEUDO_REGISTER)
1455 {
1456 if (reg_allocno[regno] >= 0)
1457 CLEAR_ALLOCNO_LIVE (reg_allocno[regno]);
1458 }
1459 /* Handle hardware regs (and pseudos allocated to hard regs). */
1460 else if (! fixed_regs[regno])
1461 {
1462 /* Pseudo regs already assigned hardware regs are treated
1463 almost the same as explicit hardware regs. */
1464 register int last = regno + HARD_REGNO_NREGS (regno, GET_MODE (reg));
1465 while (regno < last)
1466 {
1467 CLEAR_HARD_REG_BIT (hard_regs_live, regno);
1468 regno++;
1469 }
1470 }
1471}
1472
1473/* Mark hard reg REGNO as currently live, assuming machine mode MODE
1474 for the value stored in it. MODE determines how many consecutive
1475 registers are actually in use. Do not record conflicts;
1476 it is assumed that the caller will do that. */
1477
1478static void
1479mark_reg_live_nc (regno, mode)
1480 register int regno;
1481 enum machine_mode mode;
1482{
1483 register int last = regno + HARD_REGNO_NREGS (regno, mode);
1484 while (regno < last)
1485 {
1486 SET_HARD_REG_BIT (hard_regs_live, regno);
1487 regno++;
1488 }
1489}
1490\f
1491/* Try to set a preference for an allocno to a hard register.
1492 We are passed DEST and SRC which are the operands of a SET. It is known
1493 that SRC is a register. If SRC or the first operand of SRC is a register,
1494 try to set a preference. If one of the two is a hard register and the other
1495 is a pseudo-register, mark the preference.
1496
6dc42e49 1497 Note that we are not as aggressive as local-alloc in trying to tie a
38398762
RK
1498 pseudo-register to a hard register. */
1499
1500static void
1501set_preference (dest, src)
1502 rtx dest, src;
1503{
1504 int src_regno, dest_regno;
1505 /* Amount to add to the hard regno for SRC, or subtract from that for DEST,
1506 to compensate for subregs in SRC or DEST. */
1507 int offset = 0;
1508 int i;
1509 int copy = 1;
1510
1511 if (GET_RTX_FORMAT (GET_CODE (src))[0] == 'e')
1512 src = XEXP (src, 0), copy = 0;
1513
1514 /* Get the reg number for both SRC and DEST.
1515 If neither is a reg, give up. */
1516
1517 if (GET_CODE (src) == REG)
1518 src_regno = REGNO (src);
1519 else if (GET_CODE (src) == SUBREG && GET_CODE (SUBREG_REG (src)) == REG)
1520 {
1521 src_regno = REGNO (SUBREG_REG (src));
1522 offset += SUBREG_WORD (src);
1523 }
1524 else
1525 return;
1526
1527 if (GET_CODE (dest) == REG)
1528 dest_regno = REGNO (dest);
1529 else if (GET_CODE (dest) == SUBREG && GET_CODE (SUBREG_REG (dest)) == REG)
1530 {
1531 dest_regno = REGNO (SUBREG_REG (dest));
1532 offset -= SUBREG_WORD (dest);
1533 }
1534 else
1535 return;
1536
1537 /* Convert either or both to hard reg numbers. */
1538
1539 if (reg_renumber[src_regno] >= 0)
1540 src_regno = reg_renumber[src_regno];
1541
1542 if (reg_renumber[dest_regno] >= 0)
1543 dest_regno = reg_renumber[dest_regno];
1544
1545 /* Now if one is a hard reg and the other is a global pseudo
1546 then give the other a preference. */
1547
1548 if (dest_regno < FIRST_PSEUDO_REGISTER && src_regno >= FIRST_PSEUDO_REGISTER
1549 && reg_allocno[src_regno] >= 0)
1550 {
1551 dest_regno -= offset;
1552 if (dest_regno >= 0 && dest_regno < FIRST_PSEUDO_REGISTER)
1553 {
1554 if (copy)
1555 SET_REGBIT (hard_reg_copy_preferences,
1556 reg_allocno[src_regno], dest_regno);
1557
1558 SET_REGBIT (hard_reg_preferences,
1559 reg_allocno[src_regno], dest_regno);
1560 for (i = dest_regno;
1561 i < dest_regno + HARD_REGNO_NREGS (dest_regno, GET_MODE (dest));
1562 i++)
1563 SET_REGBIT (hard_reg_full_preferences, reg_allocno[src_regno], i);
1564 }
1565 }
1566
1567 if (src_regno < FIRST_PSEUDO_REGISTER && dest_regno >= FIRST_PSEUDO_REGISTER
1568 && reg_allocno[dest_regno] >= 0)
1569 {
1570 src_regno += offset;
1571 if (src_regno >= 0 && src_regno < FIRST_PSEUDO_REGISTER)
1572 {
1573 if (copy)
1574 SET_REGBIT (hard_reg_copy_preferences,
1575 reg_allocno[dest_regno], src_regno);
1576
1577 SET_REGBIT (hard_reg_preferences,
1578 reg_allocno[dest_regno], src_regno);
1579 for (i = src_regno;
1580 i < src_regno + HARD_REGNO_NREGS (src_regno, GET_MODE (src));
1581 i++)
1582 SET_REGBIT (hard_reg_full_preferences, reg_allocno[dest_regno], i);
1583 }
1584 }
1585}
1586\f
1587/* Indicate that hard register number FROM was eliminated and replaced with
1588 an offset from hard register number TO. The status of hard registers live
1589 at the start of a basic block is updated by replacing a use of FROM with
1590 a use of TO. */
1591
1592void
1593mark_elimination (from, to)
1594 int from, to;
1595{
1596 int i;
1597
1598 for (i = 0; i < n_basic_blocks; i++)
b1ec3c92
CH
1599 if ((basic_block_live_at_start[i][from / REGSET_ELT_BITS]
1600 & ((REGSET_ELT_TYPE) 1 << (from % REGSET_ELT_BITS))) != 0)
38398762 1601 {
b1ec3c92
CH
1602 basic_block_live_at_start[i][from / REGSET_ELT_BITS]
1603 &= ~ ((REGSET_ELT_TYPE) 1 << (from % REGSET_ELT_BITS));
1604 basic_block_live_at_start[i][to / REGSET_ELT_BITS]
1605 |= ((REGSET_ELT_TYPE) 1 << (to % REGSET_ELT_BITS));
38398762
RK
1606 }
1607}
1608\f
1609/* Print debugging trace information if -greg switch is given,
1610 showing the information on which the allocation decisions are based. */
1611
1612static void
1613dump_conflicts (file)
1614 FILE *file;
1615{
1616 register int i;
1617 register int has_preferences;
1618 fprintf (file, ";; %d regs to allocate:", max_allocno);
1619 for (i = 0; i < max_allocno; i++)
1620 {
1621 int j;
1622 fprintf (file, " %d", allocno_reg[allocno_order[i]]);
1623 for (j = 0; j < max_regno; j++)
1624 if (reg_allocno[j] == allocno_order[i]
1625 && j != allocno_reg[allocno_order[i]])
1626 fprintf (file, "+%d", j);
1627 if (allocno_size[allocno_order[i]] != 1)
1628 fprintf (file, " (%d)", allocno_size[allocno_order[i]]);
1629 }
1630 fprintf (file, "\n");
1631
1632 for (i = 0; i < max_allocno; i++)
1633 {
1634 register int j;
1635 fprintf (file, ";; %d conflicts:", allocno_reg[i]);
1636 for (j = 0; j < max_allocno; j++)
1637 if (CONFLICTP (i, j) || CONFLICTP (j, i))
1638 fprintf (file, " %d", allocno_reg[j]);
1639 for (j = 0; j < FIRST_PSEUDO_REGISTER; j++)
1640 if (TEST_HARD_REG_BIT (hard_reg_conflicts[i], j))
1641 fprintf (file, " %d", j);
1642 fprintf (file, "\n");
1643
1644 has_preferences = 0;
1645 for (j = 0; j < FIRST_PSEUDO_REGISTER; j++)
1646 if (TEST_HARD_REG_BIT (hard_reg_preferences[i], j))
1647 has_preferences = 1;
1648
1649 if (! has_preferences)
1650 continue;
1651 fprintf (file, ";; %d preferences:", allocno_reg[i]);
1652 for (j = 0; j < FIRST_PSEUDO_REGISTER; j++)
1653 if (TEST_HARD_REG_BIT (hard_reg_preferences[i], j))
1654 fprintf (file, " %d", j);
1655 fprintf (file, "\n");
1656 }
1657 fprintf (file, "\n");
1658}
1659
1660void
1661dump_global_regs (file)
1662 FILE *file;
1663{
1664 register int i, j;
1665
1666 fprintf (file, ";; Register dispositions:\n");
1667 for (i = FIRST_PSEUDO_REGISTER, j = 0; i < max_regno; i++)
1668 if (reg_renumber[i] >= 0)
1669 {
1670 fprintf (file, "%d in %d ", i, reg_renumber[i]);
1671 if (++j % 6 == 0)
1672 fprintf (file, "\n");
1673 }
1674
1675 fprintf (file, "\n\n;; Hard regs used: ");
1676 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
1677 if (regs_ever_live[i])
1678 fprintf (file, " %d", i);
1679 fprintf (file, "\n\n");
1680}
This page took 0.443156 seconds and 5 git commands to generate.