OSDN Git Service

* regclass.c (fix_register): Add error message.
[pf3gnuchains/gcc-fork.git] / gcc / regclass.c
1 /* Compute register class preferences for pseudo-registers.
2    Copyright (C) 1987, 88, 91-97, 1998 Free Software Foundation, Inc.
3
4 This file is part of GNU CC.
5
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
10
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING.  If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA.  */
20
21
22 /* This file contains two passes of the compiler: reg_scan and reg_class.
23    It also defines some tables of information about the hardware registers
24    and a function init_reg_sets to initialize the tables.  */
25
26 #include "config.h"
27 #include "system.h"
28 #include "rtl.h"
29 #include "hard-reg-set.h"
30 #include "flags.h"
31 #include "basic-block.h"
32 #include "regs.h"
33 #include "insn-config.h"
34 #include "recog.h"
35 #include "reload.h"
36 #include "real.h"
37 #include "toplev.h"
38 #include "output.h"
39
40 #ifndef REGISTER_MOVE_COST
41 #define REGISTER_MOVE_COST(x, y) 2
42 #endif
43
44 /* If we have auto-increment or auto-decrement and we can have secondary
45    reloads, we are not allowed to use classes requiring secondary
46    reloads for pseudos auto-incremented since reload can't handle it.  */
47
48 #ifdef AUTO_INC_DEC
49 #if defined(SECONDARY_INPUT_RELOAD_CLASS) || defined(SECONDARY_OUTPUT_RELOAD_CLASS)
50 #define FORBIDDEN_INC_DEC_CLASSES
51 #endif
52 #endif
53 \f
54 /* Register tables used by many passes.  */
55
56 /* Indexed by hard register number, contains 1 for registers
57    that are fixed use (stack pointer, pc, frame pointer, etc.).
58    These are the registers that cannot be used to allocate
59    a pseudo reg for general use.  */
60
61 char fixed_regs[FIRST_PSEUDO_REGISTER];
62
63 /* Same info as a HARD_REG_SET.  */
64
65 HARD_REG_SET fixed_reg_set;
66
67 /* Data for initializing the above.  */
68
69 static char initial_fixed_regs[] = FIXED_REGISTERS;
70
71 /* Indexed by hard register number, contains 1 for registers
72    that are fixed use or are clobbered by function calls.
73    These are the registers that cannot be used to allocate
74    a pseudo reg whose life crosses calls unless we are able
75    to save/restore them across the calls.  */
76
77 char call_used_regs[FIRST_PSEUDO_REGISTER];
78
79 /* Same info as a HARD_REG_SET.  */
80
81 HARD_REG_SET call_used_reg_set;
82
83 /* HARD_REG_SET of registers we want to avoid caller saving.  */
84 HARD_REG_SET losing_caller_save_reg_set;
85
86 /* Data for initializing the above.  */
87
88 static char initial_call_used_regs[] = CALL_USED_REGISTERS;
89   
90 /* Indexed by hard register number, contains 1 for registers that are
91    fixed use or call used registers that cannot hold quantities across
92    calls even if we are willing to save and restore them.  call fixed
93    registers are a subset of call used registers.  */
94
95 char call_fixed_regs[FIRST_PSEUDO_REGISTER];
96
97 /* The same info as a HARD_REG_SET.  */
98
99 HARD_REG_SET call_fixed_reg_set;
100
101 /* Number of non-fixed registers.  */
102
103 int n_non_fixed_regs;
104
105 /* Indexed by hard register number, contains 1 for registers
106    that are being used for global register decls.
107    These must be exempt from ordinary flow analysis
108    and are also considered fixed.  */
109
110 char global_regs[FIRST_PSEUDO_REGISTER];
111   
112 /* Table of register numbers in the order in which to try to use them.  */
113 #ifdef REG_ALLOC_ORDER
114 int reg_alloc_order[FIRST_PSEUDO_REGISTER] = REG_ALLOC_ORDER;
115 #endif
116
117 /* For each reg class, a HARD_REG_SET saying which registers are in it.  */
118
119 HARD_REG_SET reg_class_contents[N_REG_CLASSES];
120
121 /* The same information, but as an array of unsigned ints.  We copy from
122    these unsigned ints to the table above.  We do this so the tm.h files
123    do not have to be aware of the wordsize for machines with <= 64 regs.  */
124
125 #define N_REG_INTS  \
126   ((FIRST_PSEUDO_REGISTER + (HOST_BITS_PER_INT - 1)) / HOST_BITS_PER_INT)
127
128 static unsigned int_reg_class_contents[N_REG_CLASSES][N_REG_INTS] 
129   = REG_CLASS_CONTENTS;
130
131 /* For each reg class, number of regs it contains.  */
132
133 int reg_class_size[N_REG_CLASSES];
134
135 /* For each reg class, table listing all the containing classes.  */
136
137 enum reg_class reg_class_superclasses[N_REG_CLASSES][N_REG_CLASSES];
138
139 /* For each reg class, table listing all the classes contained in it.  */
140
141 enum reg_class reg_class_subclasses[N_REG_CLASSES][N_REG_CLASSES];
142
143 /* For each pair of reg classes,
144    a largest reg class contained in their union.  */
145
146 enum reg_class reg_class_subunion[N_REG_CLASSES][N_REG_CLASSES];
147
148 /* For each pair of reg classes,
149    the smallest reg class containing their union.  */
150
151 enum reg_class reg_class_superunion[N_REG_CLASSES][N_REG_CLASSES];
152
153 /* Array containing all of the register names */
154
155 char *reg_names[] = REGISTER_NAMES;
156
157 /* For each hard register, the widest mode object that it can contain.
158    This will be a MODE_INT mode if the register can hold integers.  Otherwise
159    it will be a MODE_FLOAT or a MODE_CC mode, whichever is valid for the
160    register.  */
161
162 enum machine_mode reg_raw_mode[FIRST_PSEUDO_REGISTER];
163
164 /* Maximum cost of moving from a register in one class to a register in
165    another class.  Based on REGISTER_MOVE_COST.  */
166
167 static int move_cost[N_REG_CLASSES][N_REG_CLASSES];
168
169 /* Similar, but here we don't have to move if the first index is a subset
170    of the second so in that case the cost is zero.  */
171
172 static int may_move_cost[N_REG_CLASSES][N_REG_CLASSES];
173
174 #ifdef FORBIDDEN_INC_DEC_CLASSES
175
176 /* These are the classes that regs which are auto-incremented or decremented
177    cannot be put in.  */
178
179 static int forbidden_inc_dec_class[N_REG_CLASSES];
180
181 /* Indexed by n, is non-zero if (REG n) is used in an auto-inc or auto-dec
182    context.  */
183
184 static char *in_inc_dec;
185
186 #endif /* FORBIDDEN_INC_DEC_CLASSES */
187
188 #ifdef HAVE_SECONDARY_RELOADS
189
190 /* Sample MEM values for use by memory_move_secondary_cost.  */
191
192 static rtx top_of_stack[MAX_MACHINE_MODE];
193
194 #endif /* HAVE_SECONDARY_RELOADS */
195
196 /* Linked list of reg_info structures allocated for reg_n_info array.
197    Grouping all of the allocated structures together in one lump
198    means only one call to bzero to clear them, rather than n smaller
199    calls.  */
200 struct reg_info_data {
201   struct reg_info_data *next;   /* next set of reg_info structures */
202   size_t min_index;             /* minimum index # */
203   size_t max_index;             /* maximum index # */
204   char used_p;                  /* non-zero if this has been used previously */
205   reg_info data[1];             /* beginning of the reg_info data */
206 };
207
208 static struct reg_info_data *reg_info_head;
209
210
211 /* Function called only once to initialize the above data on reg usage.
212    Once this is done, various switches may override.  */
213
214 void
215 init_reg_sets ()
216 {
217   register int i, j;
218
219   /* First copy the register information from the initial int form into
220      the regsets.  */
221
222   for (i = 0; i < N_REG_CLASSES; i++)
223     {
224       CLEAR_HARD_REG_SET (reg_class_contents[i]);
225
226       for (j = 0; j < FIRST_PSEUDO_REGISTER; j++)
227         if (int_reg_class_contents[i][j / HOST_BITS_PER_INT]
228             & ((unsigned) 1 << (j % HOST_BITS_PER_INT)))
229           SET_HARD_REG_BIT (reg_class_contents[i], j);
230     }
231
232   bcopy (initial_fixed_regs, fixed_regs, sizeof fixed_regs);
233   bcopy (initial_call_used_regs, call_used_regs, sizeof call_used_regs);
234   bzero (global_regs, sizeof global_regs);
235
236   /* Compute number of hard regs in each class.  */
237
238   bzero ((char *) reg_class_size, sizeof reg_class_size);
239   for (i = 0; i < N_REG_CLASSES; i++)
240     for (j = 0; j < FIRST_PSEUDO_REGISTER; j++)
241       if (TEST_HARD_REG_BIT (reg_class_contents[i], j))
242         reg_class_size[i]++;
243
244   /* Initialize the table of subunions.
245      reg_class_subunion[I][J] gets the largest-numbered reg-class
246      that is contained in the union of classes I and J.  */
247
248   for (i = 0; i < N_REG_CLASSES; i++)
249     {
250       for (j = 0; j < N_REG_CLASSES; j++)
251         {
252 #ifdef HARD_REG_SET
253           register              /* Declare it register if it's a scalar.  */
254 #endif
255             HARD_REG_SET c;
256           register int k;
257
258           COPY_HARD_REG_SET (c, reg_class_contents[i]);
259           IOR_HARD_REG_SET (c, reg_class_contents[j]);
260           for (k = 0; k < N_REG_CLASSES; k++)
261             {
262               GO_IF_HARD_REG_SUBSET (reg_class_contents[k], c,
263                                      subclass1);
264               continue;
265
266             subclass1:
267               /* keep the largest subclass */           /* SPEE 900308 */
268               GO_IF_HARD_REG_SUBSET (reg_class_contents[k],
269                                      reg_class_contents[(int) reg_class_subunion[i][j]],
270                                      subclass2);
271               reg_class_subunion[i][j] = (enum reg_class) k;
272             subclass2:
273               ;
274             }
275         }
276     }
277
278   /* Initialize the table of superunions.
279      reg_class_superunion[I][J] gets the smallest-numbered reg-class
280      containing the union of classes I and J.  */
281
282   for (i = 0; i < N_REG_CLASSES; i++)
283     {
284       for (j = 0; j < N_REG_CLASSES; j++)
285         {
286 #ifdef HARD_REG_SET
287           register              /* Declare it register if it's a scalar.  */
288 #endif
289             HARD_REG_SET c;
290           register int k;
291
292           COPY_HARD_REG_SET (c, reg_class_contents[i]);
293           IOR_HARD_REG_SET (c, reg_class_contents[j]);
294           for (k = 0; k < N_REG_CLASSES; k++)
295             GO_IF_HARD_REG_SUBSET (c, reg_class_contents[k], superclass);
296
297         superclass:
298           reg_class_superunion[i][j] = (enum reg_class) k;
299         }
300     }
301
302   /* Initialize the tables of subclasses and superclasses of each reg class.
303      First clear the whole table, then add the elements as they are found.  */
304
305   for (i = 0; i < N_REG_CLASSES; i++)
306     {
307       for (j = 0; j < N_REG_CLASSES; j++)
308         {
309           reg_class_superclasses[i][j] = LIM_REG_CLASSES;
310           reg_class_subclasses[i][j] = LIM_REG_CLASSES;
311         }
312     }
313
314   for (i = 0; i < N_REG_CLASSES; i++)
315     {
316       if (i == (int) NO_REGS)
317         continue;
318
319       for (j = i + 1; j < N_REG_CLASSES; j++)
320         {
321           enum reg_class *p;
322
323           GO_IF_HARD_REG_SUBSET (reg_class_contents[i], reg_class_contents[j],
324                                  subclass);
325           continue;
326         subclass:
327           /* Reg class I is a subclass of J.
328              Add J to the table of superclasses of I.  */
329           p = &reg_class_superclasses[i][0];
330           while (*p != LIM_REG_CLASSES) p++;
331           *p = (enum reg_class) j;
332           /* Add I to the table of superclasses of J.  */
333           p = &reg_class_subclasses[j][0];
334           while (*p != LIM_REG_CLASSES) p++;
335           *p = (enum reg_class) i;
336         }
337     }
338
339   /* Do any additional initialization regsets may need */
340   INIT_ONCE_REG_SET ();
341 }
342
343 /* After switches have been processed, which perhaps alter
344    `fixed_regs' and `call_used_regs', convert them to HARD_REG_SETs.  */
345
346 static void
347 init_reg_sets_1 ()
348 {
349   register unsigned int i, j;
350
351   /* This macro allows the fixed or call-used registers
352      to depend on target flags.  */
353
354 #ifdef CONDITIONAL_REGISTER_USAGE
355   CONDITIONAL_REGISTER_USAGE;
356 #endif
357
358   /* Initialize "constant" tables.  */
359
360   CLEAR_HARD_REG_SET (fixed_reg_set);
361   CLEAR_HARD_REG_SET (call_used_reg_set);
362   CLEAR_HARD_REG_SET (call_fixed_reg_set);
363
364   bcopy (fixed_regs, call_fixed_regs, sizeof call_fixed_regs);
365
366   n_non_fixed_regs = 0;
367
368   for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
369     {
370       if (fixed_regs[i])
371         SET_HARD_REG_BIT (fixed_reg_set, i);
372       else
373         n_non_fixed_regs++;
374
375       if (call_used_regs[i])
376         SET_HARD_REG_BIT (call_used_reg_set, i);
377       if (call_fixed_regs[i])
378         SET_HARD_REG_BIT (call_fixed_reg_set, i);
379       if (CLASS_LIKELY_SPILLED_P (REGNO_REG_CLASS (i)))
380         SET_HARD_REG_BIT (losing_caller_save_reg_set, i);
381     }
382
383   /* Initialize the move cost table.  Find every subset of each class
384      and take the maximum cost of moving any subset to any other.  */
385
386   for (i = 0; i < N_REG_CLASSES; i++)
387     for (j = 0; j < N_REG_CLASSES; j++)
388       {
389         int cost = i == j ? 2 : REGISTER_MOVE_COST (i, j);
390         enum reg_class *p1, *p2;
391
392         for (p2 = &reg_class_subclasses[j][0]; *p2 != LIM_REG_CLASSES; p2++)
393           if (*p2 != i)
394             cost = MAX (cost, REGISTER_MOVE_COST (i, *p2));
395
396         for (p1 = &reg_class_subclasses[i][0]; *p1 != LIM_REG_CLASSES; p1++)
397           {
398             if (*p1 != j)
399               cost = MAX (cost, REGISTER_MOVE_COST (*p1, j));
400
401             for (p2 = &reg_class_subclasses[j][0];
402                  *p2 != LIM_REG_CLASSES; p2++)
403               if (*p1 != *p2)
404                 cost = MAX (cost, REGISTER_MOVE_COST (*p1, *p2));
405           }
406
407         move_cost[i][j] = cost;
408
409         if (reg_class_subset_p (i, j))
410           cost = 0;
411
412         may_move_cost[i][j] = cost;
413       }
414 }
415
416 /* Compute the table of register modes.
417    These values are used to record death information for individual registers
418    (as opposed to a multi-register mode).  */
419
420 static void
421 init_reg_modes ()
422 {
423   register int i;
424
425   for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
426     {
427       reg_raw_mode[i] = choose_hard_reg_mode (i, 1);
428
429       /* If we couldn't find a valid mode, just use the previous mode.
430          ??? One situation in which we need to do this is on the mips where
431          HARD_REGNO_NREGS (fpreg, [SD]Fmode) returns 2.  Ideally we'd like
432          to use DF mode for the even registers and VOIDmode for the odd
433          (for the cpu models where the odd ones are inaccessible).  */
434       if (reg_raw_mode[i] == VOIDmode)
435         reg_raw_mode[i] = i == 0 ? word_mode : reg_raw_mode[i-1];
436     }
437 }
438
439 /* Finish initializing the register sets and
440    initialize the register modes.  */
441
442 void
443 init_regs ()
444 {
445   /* This finishes what was started by init_reg_sets, but couldn't be done
446      until after register usage was specified.  */
447   init_reg_sets_1 ();
448
449   init_reg_modes ();
450
451 #ifdef HAVE_SECONDARY_RELOADS
452   {
453     /* Make some fake stack-frame MEM references for use in
454        memory_move_secondary_cost.  */
455     int i;
456     for (i = 0; i < MAX_MACHINE_MODE; i++)
457       top_of_stack[i] = gen_rtx_MEM (i, stack_pointer_rtx);
458   }
459 #endif
460 }
461
462 #ifdef HAVE_SECONDARY_RELOADS
463
464 /* Compute extra cost of moving registers to/from memory due to reloads.
465    Only needed if secondary reloads are required for memory moves.  */
466
467 int
468 memory_move_secondary_cost (mode, class, in)
469      enum machine_mode mode;
470      enum reg_class class;
471      int in;
472 {
473   enum reg_class altclass;
474   int partial_cost = 0;
475   /* We need a memory reference to feed to SECONDARY... macros.  */
476   rtx mem = top_of_stack[(int) mode];
477
478   if (in)
479     {
480 #ifdef SECONDARY_INPUT_RELOAD_CLASS
481       altclass = SECONDARY_INPUT_RELOAD_CLASS (class, mode, mem);
482 #else
483       altclass = NO_REGS;
484 #endif
485     }
486   else
487     {
488 #ifdef SECONDARY_OUTPUT_RELOAD_CLASS
489       altclass = SECONDARY_OUTPUT_RELOAD_CLASS (class, mode, mem);
490 #else
491       altclass = NO_REGS;
492 #endif
493     }
494
495   if (altclass == NO_REGS)
496     return 0;
497
498   if (in)
499     partial_cost = REGISTER_MOVE_COST (altclass, class);
500   else
501     partial_cost = REGISTER_MOVE_COST (class, altclass);
502
503   if (class == altclass)
504     /* This isn't simply a copy-to-temporary situation.  Can't guess
505        what it is, so MEMORY_MOVE_COST really ought not to be calling
506        here in that case.
507
508        I'm tempted to put in an abort here, but returning this will
509        probably only give poor estimates, which is what we would've
510        had before this code anyways.  */
511     return partial_cost;
512
513   /* Check if the secondary reload register will also need a
514      secondary reload.  */
515   return memory_move_secondary_cost (mode, altclass, in) + partial_cost;
516 }
517 #endif
518
519 /* Return a machine mode that is legitimate for hard reg REGNO and large
520    enough to save nregs.  If we can't find one, return VOIDmode.  */
521
522 enum machine_mode
523 choose_hard_reg_mode (regno, nregs)
524      int regno;
525      int nregs;
526 {
527   enum machine_mode found_mode = VOIDmode, mode;
528
529   /* We first look for the largest integer mode that can be validly
530      held in REGNO.  If none, we look for the largest floating-point mode.
531      If we still didn't find a valid mode, try CCmode.  */
532
533   for (mode = GET_CLASS_NARROWEST_MODE (MODE_INT);
534        mode != VOIDmode;
535        mode = GET_MODE_WIDER_MODE (mode))
536     if (HARD_REGNO_NREGS (regno, mode) == nregs
537         && HARD_REGNO_MODE_OK (regno, mode))
538       found_mode = mode;
539
540   if (found_mode != VOIDmode)
541     return found_mode;
542
543   for (mode = GET_CLASS_NARROWEST_MODE (MODE_FLOAT);
544        mode != VOIDmode;
545        mode = GET_MODE_WIDER_MODE (mode))
546     if (HARD_REGNO_NREGS (regno, mode) == nregs
547         && HARD_REGNO_MODE_OK (regno, mode))
548       found_mode = mode;
549
550   if (found_mode != VOIDmode)
551     return found_mode;
552
553   if (HARD_REGNO_NREGS (regno, CCmode) == nregs
554       && HARD_REGNO_MODE_OK (regno, CCmode))
555     return CCmode;
556
557   /* We can't find a mode valid for this register.  */
558   return VOIDmode;
559 }
560
561 /* Specify the usage characteristics of the register named NAME.
562    It should be a fixed register if FIXED and a
563    call-used register if CALL_USED.  */
564
565 void
566 fix_register (name, fixed, call_used)
567      char *name;
568      int fixed, call_used;
569 {
570   int i;
571
572   /* Decode the name and update the primary form of
573      the register info.  */
574
575   if ((i = decode_reg_name (name)) >= 0)
576     {
577       if ((i == STACK_POINTER_REGNUM
578 #ifdef HARD_FRAME_POINTER_REGNUM
579            || i == HARD_FRAME_POINTER_REGNUM
580 #else
581            || i == FRAME_POINTER_REGNUM
582 #endif
583            )
584           && (fixed == 0 || call_used == 0))
585         {
586           static char* what_option[2][2] = {
587             "call-saved", "call-used", 
588             "no-such-option", "fixed" };
589           
590           error ("can't use '%s' as a %s register", name, 
591                  what_option[fixed][call_used]);
592         }
593       else
594         {
595           fixed_regs[i] = fixed;
596           call_used_regs[i] = call_used;
597         }
598     }
599   else
600     {
601       warning ("unknown register name: %s", name);
602     }
603 }
604
605 /* Mark register number I as global.  */
606
607 void
608 globalize_reg (i)
609      int i;
610 {
611   if (global_regs[i])
612     {
613       warning ("register used for two global register variables");
614       return;
615     }
616
617   if (call_used_regs[i] && ! fixed_regs[i])
618     warning ("call-clobbered register used for global register variable");
619
620   global_regs[i] = 1;
621
622   /* If already fixed, nothing else to do.  */
623   if (fixed_regs[i])
624     return;
625
626   fixed_regs[i] = call_used_regs[i] = call_fixed_regs[i] = 1;
627   n_non_fixed_regs--;
628
629   SET_HARD_REG_BIT (fixed_reg_set, i);
630   SET_HARD_REG_BIT (call_used_reg_set, i);
631   SET_HARD_REG_BIT (call_fixed_reg_set, i);
632 }
633 \f
634 /* Now the data and code for the `regclass' pass, which happens
635    just before local-alloc.  */
636
637 /* The `costs' struct records the cost of using a hard register of each class
638    and of using memory for each pseudo.  We use this data to set up
639    register class preferences.  */
640
641 struct costs
642 {
643   int cost[N_REG_CLASSES];
644   int mem_cost;
645 };
646
647 /* Record the cost of each class for each pseudo.  */
648
649 static struct costs *costs;
650
651 /* Record the same data by operand number, accumulated for each alternative
652    in an insn.  The contribution to a pseudo is that of the minimum-cost
653    alternative.  */
654
655 static struct costs op_costs[MAX_RECOG_OPERANDS];
656
657 /* (enum reg_class) prefclass[R] is the preferred class for pseudo number R.
658    This is available after `regclass' is run.  */
659
660 static char *prefclass;
661
662 /* altclass[R] is a register class that we should use for allocating
663    pseudo number R if no register in the preferred class is available.
664    If no register in this class is available, memory is preferred.
665
666    It might appear to be more general to have a bitmask of classes here,
667    but since it is recommended that there be a class corresponding to the
668    union of most major pair of classes, that generality is not required. 
669
670    This is available after `regclass' is run.  */
671
672 static char *altclass;
673
674 /* Allocated buffers for prefclass and altclass. */
675 static char *prefclass_buffer;
676 static char *altclass_buffer;
677
678 /* Record the depth of loops that we are in.  */
679
680 static int loop_depth;
681
682 /* Account for the fact that insns within a loop are executed very commonly,
683    but don't keep doing this as loops go too deep.  */
684
685 static int loop_cost;
686
687 static int n_occurrences        PROTO((int, char *));
688 static void record_reg_classes  PROTO((int, int, rtx *, enum machine_mode *,
689                                        char **, rtx));
690 static int copy_cost            PROTO((rtx, enum machine_mode, 
691                                        enum reg_class, int));
692 static void record_address_regs PROTO((rtx, enum reg_class, int));
693 #ifdef FORBIDDEN_INC_DEC_CLASSES
694 static int auto_inc_dec_reg_p   PROTO((rtx, enum machine_mode));
695 #endif
696 static void reg_scan_mark_refs  PROTO((rtx, rtx, int, int));
697
698 /* Return the reg_class in which pseudo reg number REGNO is best allocated.
699    This function is sometimes called before the info has been computed.
700    When that happens, just return GENERAL_REGS, which is innocuous.  */
701
702 enum reg_class
703 reg_preferred_class (regno)
704      int regno;
705 {
706   if (prefclass == 0)
707     return GENERAL_REGS;
708   return (enum reg_class) prefclass[regno];
709 }
710
711 enum reg_class
712 reg_alternate_class (regno)
713      int regno;
714 {
715   if (prefclass == 0)
716     return ALL_REGS;
717
718   return (enum reg_class) altclass[regno];
719 }
720
721 /* This prevents dump_flow_info from losing if called
722    before regclass is run.  */
723
724 void
725 regclass_init ()
726 {
727   prefclass = 0;
728 }
729 \f
730 /* Return the number of times character C occurs in string S.  */
731 static int
732 n_occurrences (c, s)
733      int c;
734      char *s;
735 {
736   int n = 0;
737   while (*s)
738     n += (*s++ == c);
739   return n;
740 }
741
742 /* This is a pass of the compiler that scans all instructions
743    and calculates the preferred class for each pseudo-register.
744    This information can be accessed later by calling `reg_preferred_class'.
745    This pass comes just before local register allocation.  */
746
747 void
748 regclass (f, nregs)
749      rtx f;
750      int nregs;
751 {
752 #ifdef REGISTER_CONSTRAINTS
753   register rtx insn;
754   register int i, j;
755   struct costs init_cost;
756   rtx set;
757   int pass;
758
759   init_recog ();
760
761   costs = (struct costs *) xmalloc (nregs * sizeof (struct costs));
762
763 #ifdef FORBIDDEN_INC_DEC_CLASSES
764
765   in_inc_dec = (char *) alloca (nregs);
766
767   /* Initialize information about which register classes can be used for
768      pseudos that are auto-incremented or auto-decremented.  It would
769      seem better to put this in init_reg_sets, but we need to be able
770      to allocate rtx, which we can't do that early.  */
771
772   for (i = 0; i < N_REG_CLASSES; i++)
773     {
774       rtx r = gen_rtx_REG (VOIDmode, 0);
775       enum machine_mode m;
776
777       for (j = 0; j < FIRST_PSEUDO_REGISTER; j++)
778         if (TEST_HARD_REG_BIT (reg_class_contents[i], j))
779           {
780             REGNO (r) = j;
781
782             for (m = VOIDmode; (int) m < (int) MAX_MACHINE_MODE;
783                  m = (enum machine_mode) ((int) m + 1))
784               if (HARD_REGNO_MODE_OK (j, m))
785                 {
786                   PUT_MODE (r, m);
787
788                   /* If a register is not directly suitable for an
789                      auto-increment or decrement addressing mode and
790                      requires secondary reloads, disallow its class from
791                      being used in such addresses.  */
792
793                   if ((0
794 #ifdef SECONDARY_RELOAD_CLASS
795                        || (SECONDARY_RELOAD_CLASS (BASE_REG_CLASS, m, r)
796                            != NO_REGS)
797 #else
798 #ifdef SECONDARY_INPUT_RELOAD_CLASS
799                        || (SECONDARY_INPUT_RELOAD_CLASS (BASE_REG_CLASS, m, r)
800                            != NO_REGS)
801 #endif
802 #ifdef SECONDARY_OUTPUT_RELOAD_CLASS
803                        || (SECONDARY_OUTPUT_RELOAD_CLASS (BASE_REG_CLASS, m, r)
804                            != NO_REGS)
805 #endif
806 #endif
807                        )
808                       && ! auto_inc_dec_reg_p (r, m))
809                     forbidden_inc_dec_class[i] = 1;
810                 }
811           }
812     }
813 #endif /* FORBIDDEN_INC_DEC_CLASSES */
814
815   init_cost.mem_cost = 10000;
816   for (i = 0; i < N_REG_CLASSES; i++)
817     init_cost.cost[i] = 10000;
818
819   /* Normally we scan the insns once and determine the best class to use for
820      each register.  However, if -fexpensive_optimizations are on, we do so
821      twice, the second time using the tentative best classes to guide the
822      selection.  */
823
824   for (pass = 0; pass <= flag_expensive_optimizations; pass++)
825     {
826       /* Zero out our accumulation of the cost of each class for each reg.  */
827
828       bzero ((char *) costs, nregs * sizeof (struct costs));
829
830 #ifdef FORBIDDEN_INC_DEC_CLASSES
831       bzero (in_inc_dec, nregs);
832 #endif
833
834       loop_depth = 0, loop_cost = 1;
835
836       /* Scan the instructions and record each time it would
837          save code to put a certain register in a certain class.  */
838
839       for (insn = f; insn; insn = NEXT_INSN (insn))
840         {
841           char *constraints[MAX_RECOG_OPERANDS];
842           enum machine_mode modes[MAX_RECOG_OPERANDS];
843           int nalternatives;
844           int noperands;
845
846           /* Show that an insn inside a loop is likely to be executed three
847              times more than insns outside a loop.  This is much more aggressive
848              than the assumptions made elsewhere and is being tried as an
849              experiment.  */
850
851           if (GET_CODE (insn) == NOTE
852               && NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_BEG)
853             loop_depth++, loop_cost = 1 << (2 * MIN (loop_depth, 5));
854           else if (GET_CODE (insn) == NOTE
855                    && NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_END)
856             loop_depth--, loop_cost = 1 << (2 * MIN (loop_depth, 5));
857
858           else if ((GET_CODE (insn) == INSN
859                     && GET_CODE (PATTERN (insn)) != USE
860                     && GET_CODE (PATTERN (insn)) != CLOBBER
861                     && GET_CODE (PATTERN (insn)) != ASM_INPUT)
862                    || (GET_CODE (insn) == JUMP_INSN
863                        && GET_CODE (PATTERN (insn)) != ADDR_VEC
864                        && GET_CODE (PATTERN (insn)) != ADDR_DIFF_VEC)
865                    || GET_CODE (insn) == CALL_INSN)
866             {
867               if (GET_CODE (insn) == INSN
868                   && (noperands = asm_noperands (PATTERN (insn))) >= 0)
869                 {
870                   decode_asm_operands (PATTERN (insn), recog_operand, NULL_PTR,
871                                        constraints, modes);
872                   nalternatives = (noperands == 0 ? 0
873                                    : n_occurrences (',', constraints[0]) + 1);
874                 }
875               else
876                 {
877                   int insn_code_number = recog_memoized (insn);
878                   rtx note;
879
880                   set = single_set (insn);
881                   insn_extract (insn);
882
883                   nalternatives = insn_n_alternatives[insn_code_number];
884                   noperands = insn_n_operands[insn_code_number];
885
886                   /* If this insn loads a parameter from its stack slot, then
887                      it represents a savings, rather than a cost, if the
888                      parameter is stored in memory.  Record this fact.  */
889
890                   if (set != 0 && GET_CODE (SET_DEST (set)) == REG
891                       && GET_CODE (SET_SRC (set)) == MEM
892                       && (note = find_reg_note (insn, REG_EQUIV,
893                                                 NULL_RTX)) != 0
894                       && GET_CODE (XEXP (note, 0)) == MEM)
895                     {
896                       costs[REGNO (SET_DEST (set))].mem_cost
897                         -= (MEMORY_MOVE_COST (GET_MODE (SET_DEST (set)),
898                                               GENERAL_REGS, 1)
899                             * loop_cost);
900                       record_address_regs (XEXP (SET_SRC (set), 0),
901                                            BASE_REG_CLASS, loop_cost * 2);
902                       continue;
903                     }
904               
905                   /* Improve handling of two-address insns such as
906                      (set X (ashift CONST Y)) where CONST must be made to
907                      match X. Change it into two insns: (set X CONST)
908                      (set X (ashift X Y)).  If we left this for reloading, it
909                      would probably get three insns because X and Y might go
910                      in the same place. This prevents X and Y from receiving
911                      the same hard reg.
912
913                      We can only do this if the modes of operands 0 and 1
914                      (which might not be the same) are tieable and we only need
915                      do this during our first pass.  */
916
917                   if (pass == 0 && optimize
918                       && noperands >= 3
919                       && insn_operand_constraint[insn_code_number][1][0] == '0'
920                       && insn_operand_constraint[insn_code_number][1][1] == 0
921                       && CONSTANT_P (recog_operand[1])
922                       && ! rtx_equal_p (recog_operand[0], recog_operand[1])
923                       && ! rtx_equal_p (recog_operand[0], recog_operand[2])
924                       && GET_CODE (recog_operand[0]) == REG
925                       && MODES_TIEABLE_P (GET_MODE (recog_operand[0]),
926                                           insn_operand_mode[insn_code_number][1]))
927                     {
928                       rtx previnsn = prev_real_insn (insn);
929                       rtx dest
930                         = gen_lowpart (insn_operand_mode[insn_code_number][1],
931                                        recog_operand[0]);
932                       rtx newinsn
933                         = emit_insn_before (gen_move_insn (dest,
934                                                            recog_operand[1]),
935                                             insn);
936
937                       /* If this insn was the start of a basic block,
938                          include the new insn in that block.
939                          We need not check for code_label here;
940                          while a basic block can start with a code_label,
941                          INSN could not be at the beginning of that block.  */
942                       if (previnsn == 0 || GET_CODE (previnsn) == JUMP_INSN)
943                         {
944                           int b;
945                           for (b = 0; b < n_basic_blocks; b++)
946                             if (insn == basic_block_head[b])
947                               basic_block_head[b] = newinsn;
948                         }
949
950                       /* This makes one more setting of new insns's dest.  */
951                       REG_N_SETS (REGNO (recog_operand[0]))++;
952
953                       *recog_operand_loc[1] = recog_operand[0];
954                       for (i = insn_n_dups[insn_code_number] - 1; i >= 0; i--)
955                         if (recog_dup_num[i] == 1)
956                           *recog_dup_loc[i] = recog_operand[0];
957
958                       insn = PREV_INSN (newinsn);
959                       continue;
960                     }
961
962                   for (i = 0; i < noperands; i++)
963                     {
964                       constraints[i]
965                         = insn_operand_constraint[insn_code_number][i];
966                       modes[i] = insn_operand_mode[insn_code_number][i];
967                     }
968                 }
969
970               /* If we get here, we are set up to record the costs of all the
971                  operands for this insn.  Start by initializing the costs.
972                  Then handle any address registers.  Finally record the desired
973                  classes for any pseudos, doing it twice if some pair of
974                  operands are commutative.  */
975              
976               for (i = 0; i < noperands; i++)
977                 {
978                   op_costs[i] = init_cost;
979
980                   if (GET_CODE (recog_operand[i]) == SUBREG)
981                     recog_operand[i] = SUBREG_REG (recog_operand[i]);
982
983                   if (GET_CODE (recog_operand[i]) == MEM)
984                     record_address_regs (XEXP (recog_operand[i], 0),
985                                          BASE_REG_CLASS, loop_cost * 2);
986                   else if (constraints[i][0] == 'p')
987                     record_address_regs (recog_operand[i],
988                                          BASE_REG_CLASS, loop_cost * 2);
989                 }
990
991               /* Check for commutative in a separate loop so everything will
992                  have been initialized.  We must do this even if one operand
993                  is a constant--see addsi3 in m68k.md.  */
994               
995               for (i = 0; i < noperands - 1; i++)
996                 if (constraints[i][0] == '%')
997                   {
998                     char *xconstraints[MAX_RECOG_OPERANDS];
999                     int j;
1000
1001                     /* Handle commutative operands by swapping the constraints.
1002                        We assume the modes are the same.  */
1003
1004                     for (j = 0; j < noperands; j++)
1005                       xconstraints[j] = constraints[j];
1006
1007                     xconstraints[i] = constraints[i+1];
1008                     xconstraints[i+1] = constraints[i];
1009                     record_reg_classes (nalternatives, noperands,
1010                                         recog_operand, modes, xconstraints,
1011                                         insn);
1012                   }
1013
1014               record_reg_classes (nalternatives, noperands, recog_operand,
1015                                   modes, constraints, insn);
1016
1017               /* Now add the cost for each operand to the total costs for
1018                  its register.  */
1019
1020               for (i = 0; i < noperands; i++)
1021                 if (GET_CODE (recog_operand[i]) == REG
1022                     && REGNO (recog_operand[i]) >= FIRST_PSEUDO_REGISTER)
1023                   {
1024                     int regno = REGNO (recog_operand[i]);
1025                     struct costs *p = &costs[regno], *q = &op_costs[i];
1026
1027                     p->mem_cost += q->mem_cost * loop_cost;
1028                     for (j = 0; j < N_REG_CLASSES; j++)
1029                       p->cost[j] += q->cost[j] * loop_cost;
1030                   }
1031             }
1032         }
1033
1034       /* Now for each register look at how desirable each class is
1035          and find which class is preferred.  Store that in
1036          `prefclass[REGNO]'.  Record in `altclass[REGNO]' the largest register
1037          class any of whose registers is better than memory.  */
1038     
1039       if (pass == 0)
1040         {
1041           prefclass = prefclass_buffer;
1042           altclass = altclass_buffer;
1043         }
1044
1045       for (i = FIRST_PSEUDO_REGISTER; i < nregs; i++)
1046         {
1047           register int best_cost = (1 << (HOST_BITS_PER_INT - 2)) - 1;
1048           enum reg_class best = ALL_REGS, alt = NO_REGS;
1049           /* This is an enum reg_class, but we call it an int
1050              to save lots of casts.  */
1051           register int class;
1052           register struct costs *p = &costs[i];
1053
1054           for (class = (int) ALL_REGS - 1; class > 0; class--)
1055             {
1056               /* Ignore classes that are too small for this operand or
1057                  invalid for a operand that was auto-incremented.  */
1058               if (CLASS_MAX_NREGS (class, PSEUDO_REGNO_MODE (i))
1059                   > reg_class_size[class]
1060 #ifdef FORBIDDEN_INC_DEC_CLASSES
1061                   || (in_inc_dec[i] && forbidden_inc_dec_class[class])
1062 #endif
1063                   )
1064                 ;
1065               else if (p->cost[class] < best_cost)
1066                 {
1067                   best_cost = p->cost[class];
1068                   best = (enum reg_class) class;
1069                 }
1070               else if (p->cost[class] == best_cost)
1071                 best = reg_class_subunion[(int)best][class];
1072             }
1073
1074           /* Record the alternate register class; i.e., a class for which
1075              every register in it is better than using memory.  If adding a
1076              class would make a smaller class (i.e., no union of just those
1077              classes exists), skip that class.  The major unions of classes
1078              should be provided as a register class.  Don't do this if we
1079              will be doing it again later.  */
1080
1081           if (pass == 1 || ! flag_expensive_optimizations)
1082             for (class = 0; class < N_REG_CLASSES; class++)
1083               if (p->cost[class] < p->mem_cost
1084                   && (reg_class_size[(int) reg_class_subunion[(int) alt][class]]
1085                       > reg_class_size[(int) alt])
1086 #ifdef FORBIDDEN_INC_DEC_CLASSES
1087                   && ! (in_inc_dec[i] && forbidden_inc_dec_class[class])
1088 #endif
1089                   )
1090                 alt = reg_class_subunion[(int) alt][class];
1091           
1092           /* If we don't add any classes, nothing to try.  */
1093           if (alt == best)
1094             alt = NO_REGS;
1095
1096           /* We cast to (int) because (char) hits bugs in some compilers.  */
1097           prefclass[i] = (int) best;
1098           altclass[i] = (int) alt;
1099         }
1100     }
1101 #endif /* REGISTER_CONSTRAINTS */
1102
1103   free (costs);
1104 }
1105 \f
1106 #ifdef REGISTER_CONSTRAINTS
1107
1108 /* Record the cost of using memory or registers of various classes for
1109    the operands in INSN.
1110
1111    N_ALTS is the number of alternatives.
1112
1113    N_OPS is the number of operands.
1114
1115    OPS is an array of the operands.
1116
1117    MODES are the modes of the operands, in case any are VOIDmode.
1118
1119    CONSTRAINTS are the constraints to use for the operands.  This array
1120    is modified by this procedure.
1121
1122    This procedure works alternative by alternative.  For each alternative
1123    we assume that we will be able to allocate all pseudos to their ideal
1124    register class and calculate the cost of using that alternative.  Then
1125    we compute for each operand that is a pseudo-register, the cost of 
1126    having the pseudo allocated to each register class and using it in that
1127    alternative.  To this cost is added the cost of the alternative.
1128
1129    The cost of each class for this insn is its lowest cost among all the
1130    alternatives.  */
1131
1132 static void
1133 record_reg_classes (n_alts, n_ops, ops, modes, constraints, insn)
1134      int n_alts;
1135      int n_ops;
1136      rtx *ops;
1137      enum machine_mode *modes;
1138      char **constraints;
1139      rtx insn;
1140 {
1141   int alt;
1142   enum op_type {OP_READ, OP_WRITE, OP_READ_WRITE} op_types[MAX_RECOG_OPERANDS];
1143   int i, j;
1144   rtx set;
1145
1146   /* By default, each operand is an input operand.  */
1147
1148   for (i = 0; i < n_ops; i++)
1149     op_types[i] = OP_READ;
1150
1151   /* Process each alternative, each time minimizing an operand's cost with
1152      the cost for each operand in that alternative.  */
1153
1154   for (alt = 0; alt < n_alts; alt++)
1155     {
1156       struct costs this_op_costs[MAX_RECOG_OPERANDS];
1157       int alt_fail = 0;
1158       int alt_cost = 0;
1159       enum reg_class classes[MAX_RECOG_OPERANDS];
1160       int class;
1161
1162       for (i = 0; i < n_ops; i++)
1163         {
1164           char *p = constraints[i];
1165           rtx op = ops[i];
1166           enum machine_mode mode = modes[i];
1167           int allows_mem = 0;
1168           int win = 0;
1169           unsigned char c;
1170
1171           /* If this operand has no constraints at all, we can conclude 
1172              nothing about it since anything is valid.  */
1173
1174           if (*p == 0)
1175             {
1176               if (GET_CODE (op) == REG && REGNO (op) >= FIRST_PSEUDO_REGISTER)
1177                 bzero ((char *) &this_op_costs[i], sizeof this_op_costs[i]);
1178
1179               continue;
1180             }
1181
1182           if (*p == '%')
1183             p++;
1184
1185           /* If this alternative is only relevant when this operand
1186              matches a previous operand, we do different things depending
1187              on whether this operand is a pseudo-reg or not.  */
1188
1189           if (p[0] >= '0' && p[0] <= '0' + i && (p[1] == ',' || p[1] == 0))
1190             {
1191               j = p[0] - '0';
1192               classes[i] = classes[j];
1193
1194               if (GET_CODE (op) != REG || REGNO (op) < FIRST_PSEUDO_REGISTER)
1195                 {
1196                   /* If this matches the other operand, we have no added
1197                      cost and we win.  */
1198                   if (rtx_equal_p (ops[j], op))
1199                     win = 1;
1200
1201                   /* If we can put the other operand into a register, add to
1202                      the cost of this alternative the cost to copy this
1203                      operand to the register used for the other operand.  */
1204
1205                   else if (classes[j] != NO_REGS)
1206                     alt_cost += copy_cost (op, mode, classes[j], 1), win = 1;
1207                 }
1208               else if (GET_CODE (ops[j]) != REG
1209                        || REGNO (ops[j]) < FIRST_PSEUDO_REGISTER)
1210                 {
1211                   /* This op is a pseudo but the one it matches is not.  */
1212                   
1213                   /* If we can't put the other operand into a register, this
1214                      alternative can't be used.  */
1215
1216                   if (classes[j] == NO_REGS)
1217                     alt_fail = 1;
1218
1219                   /* Otherwise, add to the cost of this alternative the cost
1220                      to copy the other operand to the register used for this
1221                      operand.  */
1222
1223                   else
1224                     alt_cost += copy_cost (ops[j], mode, classes[j], 1);
1225                 }
1226               else
1227                 {
1228                   /* The costs of this operand are the same as that of the
1229                      other operand.  However, if we cannot tie them, this
1230                      alternative needs to do a copy, which is one
1231                      instruction.  */
1232
1233                   this_op_costs[i] = this_op_costs[j];
1234                   if (REGNO (ops[i]) != REGNO (ops[j])
1235                       && ! find_reg_note (insn, REG_DEAD, op))
1236                     alt_cost += 2;
1237
1238                   /* This is in place of ordinary cost computation
1239                      for this operand, so skip to the end of the
1240                      alternative (should be just one character).  */
1241                   while (*p && *p++ != ',')
1242                     ;
1243
1244                   constraints[i] = p;
1245                   continue;
1246                 }
1247             }
1248
1249           /* Scan all the constraint letters.  See if the operand matches
1250              any of the constraints.  Collect the valid register classes
1251              and see if this operand accepts memory.  */
1252
1253           classes[i] = NO_REGS;
1254           while (*p && (c = *p++) != ',')
1255             switch (c)
1256               {
1257               case '=':
1258                 op_types[i] = OP_WRITE;
1259                 break;
1260
1261               case '+':
1262                 op_types[i] = OP_READ_WRITE;
1263                 break;
1264
1265               case '*':
1266                 /* Ignore the next letter for this pass.  */
1267                 p++;
1268                 break;
1269
1270               case '?':
1271                 alt_cost += 2;
1272               case '%':
1273               case '!':  case '#':
1274               case '&':
1275               case '0':  case '1':  case '2':  case '3':  case '4':
1276               case 'p':
1277                 break;
1278
1279               case 'm':  case 'o':  case 'V':
1280                 /* It doesn't seem worth distinguishing between offsettable
1281                    and non-offsettable addresses here.  */
1282                 allows_mem = 1;
1283                 if (GET_CODE (op) == MEM)
1284                   win = 1;
1285                 break;
1286
1287               case '<':
1288                 if (GET_CODE (op) == MEM
1289                     && (GET_CODE (XEXP (op, 0)) == PRE_DEC
1290                         || GET_CODE (XEXP (op, 0)) == POST_DEC))
1291                   win = 1;
1292                 break;
1293
1294               case '>':
1295                 if (GET_CODE (op) == MEM
1296                     && (GET_CODE (XEXP (op, 0)) == PRE_INC
1297                         || GET_CODE (XEXP (op, 0)) == POST_INC))
1298                   win = 1;
1299                 break;
1300
1301               case 'E':
1302 #ifndef REAL_ARITHMETIC
1303                 /* Match any floating double constant, but only if
1304                    we can examine the bits of it reliably.  */
1305                 if ((HOST_FLOAT_FORMAT != TARGET_FLOAT_FORMAT
1306                      || HOST_BITS_PER_WIDE_INT != BITS_PER_WORD)
1307                     && GET_MODE (op) != VOIDmode && ! flag_pretend_float)
1308                   break;
1309 #endif
1310                 if (GET_CODE (op) == CONST_DOUBLE)
1311                   win = 1;
1312                 break;
1313
1314               case 'F':
1315                 if (GET_CODE (op) == CONST_DOUBLE)
1316                   win = 1;
1317                 break;
1318
1319               case 'G':
1320               case 'H':
1321                 if (GET_CODE (op) == CONST_DOUBLE
1322                     && CONST_DOUBLE_OK_FOR_LETTER_P (op, c))
1323                   win = 1;
1324                 break;
1325
1326               case 's':
1327                 if (GET_CODE (op) == CONST_INT
1328                     || (GET_CODE (op) == CONST_DOUBLE
1329                         && GET_MODE (op) == VOIDmode))
1330                   break;
1331               case 'i':
1332                 if (CONSTANT_P (op)
1333 #ifdef LEGITIMATE_PIC_OPERAND_P
1334                     && (! flag_pic || LEGITIMATE_PIC_OPERAND_P (op))
1335 #endif
1336                     )
1337                   win = 1;
1338                 break;
1339
1340               case 'n':
1341                 if (GET_CODE (op) == CONST_INT
1342                     || (GET_CODE (op) == CONST_DOUBLE
1343                         && GET_MODE (op) == VOIDmode))
1344                   win = 1;
1345                 break;
1346
1347               case 'I':
1348               case 'J':
1349               case 'K':
1350               case 'L':
1351               case 'M':
1352               case 'N':
1353               case 'O':
1354               case 'P':
1355                 if (GET_CODE (op) == CONST_INT
1356                     && CONST_OK_FOR_LETTER_P (INTVAL (op), c))
1357                   win = 1;
1358                 break;
1359
1360               case 'X':
1361                 win = 1;
1362                 break;
1363
1364 #ifdef EXTRA_CONSTRAINT
1365               case 'Q':
1366               case 'R':
1367               case 'S':
1368               case 'T':
1369               case 'U':
1370                 if (EXTRA_CONSTRAINT (op, c))
1371                   win = 1;
1372                 break;
1373 #endif
1374
1375               case 'g':
1376                 if (GET_CODE (op) == MEM
1377                     || (CONSTANT_P (op)
1378 #ifdef LEGITIMATE_PIC_OPERAND_P
1379                         && (! flag_pic || LEGITIMATE_PIC_OPERAND_P (op))
1380 #endif
1381                         ))
1382                   win = 1;
1383                 allows_mem = 1;
1384               case 'r':
1385                 classes[i]
1386                   = reg_class_subunion[(int) classes[i]][(int) GENERAL_REGS];
1387                 break;
1388
1389               default:
1390                 classes[i]
1391                   = reg_class_subunion[(int) classes[i]]
1392                     [(int) REG_CLASS_FROM_LETTER (c)];
1393               }
1394
1395           constraints[i] = p;
1396
1397           /* How we account for this operand now depends on whether it is  a
1398              pseudo register or not.  If it is, we first check if any
1399              register classes are valid.  If not, we ignore this alternative,
1400              since we want to assume that all pseudos get allocated for
1401              register preferencing.  If some register class is valid, compute
1402              the costs of moving the pseudo into that class.  */
1403
1404           if (GET_CODE (op) == REG && REGNO (op) >= FIRST_PSEUDO_REGISTER)
1405             {
1406               if (classes[i] == NO_REGS)
1407                 alt_fail = 1;
1408               else
1409                 {
1410                   struct costs *pp = &this_op_costs[i];
1411
1412                   for (class = 0; class < N_REG_CLASSES; class++)
1413                     pp->cost[class] = may_move_cost[class][(int) classes[i]];
1414
1415                   /* If the alternative actually allows memory, make things
1416                      a bit cheaper since we won't need an extra insn to
1417                      load it.  */
1418
1419                   pp->mem_cost = (MEMORY_MOVE_COST (mode, classes[i], 1)
1420                                   - allows_mem);
1421
1422                   /* If we have assigned a class to this register in our
1423                      first pass, add a cost to this alternative corresponding
1424                      to what we would add if this register were not in the
1425                      appropriate class.  */
1426
1427                   if (prefclass)
1428                     alt_cost
1429                       += may_move_cost[(unsigned char)prefclass[REGNO (op)]][(int) classes[i]];
1430                 }
1431             }
1432
1433           /* Otherwise, if this alternative wins, either because we
1434              have already determined that or if we have a hard register of
1435              the proper class, there is no cost for this alternative.  */
1436
1437           else if (win
1438                    || (GET_CODE (op) == REG
1439                        && reg_fits_class_p (op, classes[i], 0, GET_MODE (op))))
1440             ;
1441
1442           /* If registers are valid, the cost of this alternative includes
1443              copying the object to and/or from a register.  */
1444
1445           else if (classes[i] != NO_REGS)
1446             {
1447               if (op_types[i] != OP_WRITE)
1448                 alt_cost += copy_cost (op, mode, classes[i], 1);
1449
1450               if (op_types[i] != OP_READ)
1451                 alt_cost += copy_cost (op, mode, classes[i], 0);
1452             }
1453
1454           /* The only other way this alternative can be used is if this is a
1455              constant that could be placed into memory.  */
1456
1457           else if (CONSTANT_P (op) && allows_mem)
1458             alt_cost += MEMORY_MOVE_COST (mode, classes[i], 1);
1459           else
1460             alt_fail = 1;
1461         }
1462
1463       if (alt_fail)
1464         continue;
1465
1466       /* Finally, update the costs with the information we've calculated
1467          about this alternative.  */
1468
1469       for (i = 0; i < n_ops; i++)
1470         if (GET_CODE (ops[i]) == REG
1471             && REGNO (ops[i]) >= FIRST_PSEUDO_REGISTER)
1472           {
1473             struct costs *pp = &op_costs[i], *qq = &this_op_costs[i];
1474             int scale = 1 + (op_types[i] == OP_READ_WRITE);
1475
1476             pp->mem_cost = MIN (pp->mem_cost,
1477                                 (qq->mem_cost + alt_cost) * scale);
1478
1479             for (class = 0; class < N_REG_CLASSES; class++)
1480               pp->cost[class] = MIN (pp->cost[class],
1481                                      (qq->cost[class] + alt_cost) * scale);
1482           }
1483     }
1484
1485   /* If this insn is a single set copying operand 1 to operand 0
1486      and one is a pseudo with the other a hard reg that is in its
1487      own register class, set the cost of that register class to -1.  */
1488
1489   if ((set = single_set (insn)) != 0
1490       && ops[0] == SET_DEST (set) && ops[1] == SET_SRC (set)
1491       && GET_CODE (ops[0]) == REG && GET_CODE (ops[1]) == REG)
1492     for (i = 0; i <= 1; i++)
1493       if (REGNO (ops[i]) >= FIRST_PSEUDO_REGISTER)
1494         {
1495           int regno = REGNO (ops[!i]);
1496           enum machine_mode mode = GET_MODE (ops[!i]);
1497           int class;
1498           int nr;
1499
1500           if (regno >= FIRST_PSEUDO_REGISTER && prefclass != 0
1501               && (reg_class_size[(unsigned char)prefclass[regno]]
1502                   == CLASS_MAX_NREGS (prefclass[regno], mode)))
1503             op_costs[i].cost[(unsigned char)prefclass[regno]] = -1;
1504           else if (regno < FIRST_PSEUDO_REGISTER)
1505             for (class = 0; class < N_REG_CLASSES; class++)
1506               if (TEST_HARD_REG_BIT (reg_class_contents[class], regno)
1507                   && reg_class_size[class] == CLASS_MAX_NREGS (class, mode))
1508                 {
1509                   if (reg_class_size[class] == 1)
1510                     op_costs[i].cost[class] = -1;
1511                   else
1512                     {
1513                       for (nr = 0; nr < HARD_REGNO_NREGS(regno, mode); nr++)
1514                         {
1515                           if (!TEST_HARD_REG_BIT (reg_class_contents[class], regno + nr))
1516                             break;
1517                         }
1518
1519                       if (nr == HARD_REGNO_NREGS(regno,mode))
1520                         op_costs[i].cost[class] = -1;
1521                     }
1522                 }
1523         }
1524 }
1525 \f
1526 /* Compute the cost of loading X into (if TO_P is non-zero) or from (if
1527    TO_P is zero) a register of class CLASS in mode MODE.
1528
1529    X must not be a pseudo.  */
1530
1531 static int
1532 copy_cost (x, mode, class, to_p)
1533      rtx x;
1534      enum machine_mode mode;
1535      enum reg_class class;
1536      int to_p;
1537 {
1538 #ifdef HAVE_SECONDARY_RELOADS
1539   enum reg_class secondary_class = NO_REGS;
1540 #endif
1541
1542   /* If X is a SCRATCH, there is actually nothing to move since we are
1543      assuming optimal allocation.  */
1544
1545   if (GET_CODE (x) == SCRATCH)
1546     return 0;
1547
1548   /* Get the class we will actually use for a reload.  */
1549   class = PREFERRED_RELOAD_CLASS (x, class);
1550
1551 #ifdef HAVE_SECONDARY_RELOADS
1552   /* If we need a secondary reload (we assume here that we are using 
1553      the secondary reload as an intermediate, not a scratch register), the
1554      cost is that to load the input into the intermediate register, then
1555      to copy them.  We use a special value of TO_P to avoid recursion.  */
1556
1557 #ifdef SECONDARY_INPUT_RELOAD_CLASS
1558   if (to_p == 1)
1559     secondary_class = SECONDARY_INPUT_RELOAD_CLASS (class, mode, x);
1560 #endif
1561
1562 #ifdef SECONDARY_OUTPUT_RELOAD_CLASS
1563   if (! to_p)
1564     secondary_class = SECONDARY_OUTPUT_RELOAD_CLASS (class, mode, x);
1565 #endif
1566
1567   if (secondary_class != NO_REGS)
1568     return (move_cost[(int) secondary_class][(int) class]
1569             + copy_cost (x, mode, secondary_class, 2));
1570 #endif  /* HAVE_SECONDARY_RELOADS */
1571
1572   /* For memory, use the memory move cost, for (hard) registers, use the
1573      cost to move between the register classes, and use 2 for everything
1574      else (constants).  */
1575
1576   if (GET_CODE (x) == MEM || class == NO_REGS)
1577     return MEMORY_MOVE_COST (mode, class, to_p);
1578
1579   else if (GET_CODE (x) == REG)
1580     return move_cost[(int) REGNO_REG_CLASS (REGNO (x))][(int) class];
1581
1582   else
1583     /* If this is a constant, we may eventually want to call rtx_cost here.  */
1584     return 2;
1585 }
1586 \f
1587 /* Record the pseudo registers we must reload into hard registers
1588    in a subexpression of a memory address, X.
1589
1590    CLASS is the class that the register needs to be in and is either
1591    BASE_REG_CLASS or INDEX_REG_CLASS.
1592
1593    SCALE is twice the amount to multiply the cost by (it is twice so we
1594    can represent half-cost adjustments).  */
1595
1596 static void
1597 record_address_regs (x, class, scale)
1598      rtx x;
1599      enum reg_class class;
1600      int scale;
1601 {
1602   register enum rtx_code code = GET_CODE (x);
1603
1604   switch (code)
1605     {
1606     case CONST_INT:
1607     case CONST:
1608     case CC0:
1609     case PC:
1610     case SYMBOL_REF:
1611     case LABEL_REF:
1612       return;
1613
1614     case PLUS:
1615       /* When we have an address that is a sum,
1616          we must determine whether registers are "base" or "index" regs.
1617          If there is a sum of two registers, we must choose one to be
1618          the "base".  Luckily, we can use the REGNO_POINTER_FLAG
1619          to make a good choice most of the time.  We only need to do this
1620          on machines that can have two registers in an address and where
1621          the base and index register classes are different.
1622
1623          ??? This code used to set REGNO_POINTER_FLAG in some cases, but
1624          that seems bogus since it should only be set when we are sure
1625          the register is being used as a pointer.  */
1626
1627       {
1628         rtx arg0 = XEXP (x, 0);
1629         rtx arg1 = XEXP (x, 1);
1630         register enum rtx_code code0 = GET_CODE (arg0);
1631         register enum rtx_code code1 = GET_CODE (arg1);
1632
1633         /* Look inside subregs.  */
1634         if (code0 == SUBREG)
1635           arg0 = SUBREG_REG (arg0), code0 = GET_CODE (arg0);
1636         if (code1 == SUBREG)
1637           arg1 = SUBREG_REG (arg1), code1 = GET_CODE (arg1);
1638
1639         /* If this machine only allows one register per address, it must
1640            be in the first operand.  */
1641
1642         if (MAX_REGS_PER_ADDRESS == 1)
1643           record_address_regs (arg0, class, scale);
1644
1645         /* If index and base registers are the same on this machine, just
1646            record registers in any non-constant operands.  We assume here,
1647            as well as in the tests below, that all addresses are in 
1648            canonical form.  */
1649
1650         else if (INDEX_REG_CLASS == BASE_REG_CLASS)
1651           {
1652             record_address_regs (arg0, class, scale);
1653             if (! CONSTANT_P (arg1))
1654               record_address_regs (arg1, class, scale);
1655           }
1656
1657         /* If the second operand is a constant integer, it doesn't change
1658            what class the first operand must be.  */
1659
1660         else if (code1 == CONST_INT || code1 == CONST_DOUBLE)
1661           record_address_regs (arg0, class, scale);
1662
1663         /* If the second operand is a symbolic constant, the first operand
1664            must be an index register.  */
1665
1666         else if (code1 == SYMBOL_REF || code1 == CONST || code1 == LABEL_REF)
1667           record_address_regs (arg0, INDEX_REG_CLASS, scale);
1668
1669         /* If both operands are registers but one is already a hard register
1670            of index or base class, give the other the class that the hard
1671            register is not.  */
1672
1673 #ifdef REG_OK_FOR_BASE_P
1674         else if (code0 == REG && code1 == REG
1675                  && REGNO (arg0) < FIRST_PSEUDO_REGISTER
1676                  && (REG_OK_FOR_BASE_P (arg0) || REG_OK_FOR_INDEX_P (arg0)))
1677           record_address_regs (arg1,
1678                                REG_OK_FOR_BASE_P (arg0)
1679                                ? INDEX_REG_CLASS : BASE_REG_CLASS,
1680                                scale);
1681         else if (code0 == REG && code1 == REG
1682                  && REGNO (arg1) < FIRST_PSEUDO_REGISTER
1683                  && (REG_OK_FOR_BASE_P (arg1) || REG_OK_FOR_INDEX_P (arg1)))
1684           record_address_regs (arg0,
1685                                REG_OK_FOR_BASE_P (arg1)
1686                                ? INDEX_REG_CLASS : BASE_REG_CLASS,
1687                                scale);
1688 #endif
1689
1690         /* If one operand is known to be a pointer, it must be the base
1691            with the other operand the index.  Likewise if the other operand
1692            is a MULT.  */
1693
1694         else if ((code0 == REG && REGNO_POINTER_FLAG (REGNO (arg0)))
1695                  || code1 == MULT)
1696           {
1697             record_address_regs (arg0, BASE_REG_CLASS, scale);
1698             record_address_regs (arg1, INDEX_REG_CLASS, scale);
1699           }
1700         else if ((code1 == REG && REGNO_POINTER_FLAG (REGNO (arg1)))
1701                  || code0 == MULT)
1702           {
1703             record_address_regs (arg0, INDEX_REG_CLASS, scale);
1704             record_address_regs (arg1, BASE_REG_CLASS, scale);
1705           }
1706
1707         /* Otherwise, count equal chances that each might be a base
1708            or index register.  This case should be rare.  */
1709
1710         else
1711           {
1712             record_address_regs (arg0, BASE_REG_CLASS, scale / 2);
1713             record_address_regs (arg0, INDEX_REG_CLASS, scale / 2);
1714             record_address_regs (arg1, BASE_REG_CLASS, scale / 2);
1715             record_address_regs (arg1, INDEX_REG_CLASS, scale / 2);
1716           }
1717       }
1718       break;
1719
1720     case POST_INC:
1721     case PRE_INC:
1722     case POST_DEC:
1723     case PRE_DEC:
1724       /* Double the importance of a pseudo register that is incremented
1725          or decremented, since it would take two extra insns
1726          if it ends up in the wrong place.  If the operand is a pseudo,
1727          show it is being used in an INC_DEC context.  */
1728
1729 #ifdef FORBIDDEN_INC_DEC_CLASSES
1730       if (GET_CODE (XEXP (x, 0)) == REG
1731           && REGNO (XEXP (x, 0)) >= FIRST_PSEUDO_REGISTER)
1732         in_inc_dec[REGNO (XEXP (x, 0))] = 1;
1733 #endif
1734
1735       record_address_regs (XEXP (x, 0), class, 2 * scale);
1736       break;
1737
1738     case REG:
1739       {
1740         register struct costs *pp = &costs[REGNO (x)];
1741         register int i;
1742
1743         pp->mem_cost += (MEMORY_MOVE_COST (Pmode, class, 1) * scale) / 2;
1744
1745         for (i = 0; i < N_REG_CLASSES; i++)
1746           pp->cost[i] += (may_move_cost[i][(int) class] * scale) / 2;
1747       }
1748       break;
1749
1750     default:
1751       {
1752         register char *fmt = GET_RTX_FORMAT (code);
1753         register int i;
1754         for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
1755           if (fmt[i] == 'e')
1756             record_address_regs (XEXP (x, i), class, scale);
1757       }
1758     }
1759 }
1760 \f
1761 #ifdef FORBIDDEN_INC_DEC_CLASSES
1762
1763 /* Return 1 if REG is valid as an auto-increment memory reference
1764    to an object of MODE.  */
1765
1766 static int
1767 auto_inc_dec_reg_p (reg, mode)
1768      rtx reg;
1769      enum machine_mode mode;
1770 {
1771 #ifdef HAVE_POST_INCREMENT
1772   if (memory_address_p (mode, gen_rtx_POST_INC (Pmode, reg)))
1773     return 1;
1774 #endif
1775
1776 #ifdef HAVE_POST_DECREMENT
1777   if (memory_address_p (mode, gen_rtx_POST_DEC (Pmode, reg)))
1778     return 1;
1779 #endif
1780
1781 #ifdef HAVE_PRE_INCREMENT
1782   if (memory_address_p (mode, gen_rtx_PRE_INC (Pmode, reg)))
1783     return 1;
1784 #endif
1785
1786 #ifdef HAVE_PRE_DECREMENT
1787   if (memory_address_p (mode, gen_rtx_PRE_DEC (Pmode, reg)))
1788     return 1;
1789 #endif
1790
1791   return 0;
1792 }
1793 #endif
1794
1795 #endif /* REGISTER_CONSTRAINTS */
1796 \f
1797 /* Allocate enough space to hold NUM_REGS registers for the tables used for
1798    reg_scan and flow_analysis that are indexed by the register number.  If
1799    NEW_P is non zero, initialize all of the registers, otherwise only
1800    initialize the new registers allocated.  The same table is kept from
1801    function to function, only reallocating it when we need more room.  If
1802    RENUMBER_P is non zero, allocate the reg_renumber array also.  */
1803
1804 void
1805 allocate_reg_info (num_regs, new_p, renumber_p)
1806      size_t num_regs;
1807      int new_p;
1808      int renumber_p;
1809 {
1810   static size_t regno_allocated = 0;
1811   static short *renumber = (short *)0;
1812   int i;
1813   size_t size_info;
1814   size_t size_renumber;
1815   size_t min = (new_p) ? 0 : reg_n_max;
1816   struct reg_info_data *reg_data;
1817   struct reg_info_data *reg_next;
1818
1819   /* Free up all storage allocated */
1820   if (num_regs < 0)
1821     {
1822       if (reg_n_info)
1823         {
1824           VARRAY_FREE (reg_n_info);
1825           for (reg_data = reg_info_head; reg_data; reg_data = reg_next)
1826             {
1827               reg_next = reg_data->next;
1828               free ((char *)reg_data);
1829             }
1830
1831           free (prefclass_buffer);
1832           free (altclass_buffer);
1833           prefclass_buffer = (char *)0;
1834           altclass_buffer = (char *)0;
1835           reg_info_head = (struct reg_info_data *)0;
1836           renumber = (short *)0;
1837         }
1838       regno_allocated = 0;
1839       reg_n_max = 0;
1840       return;
1841     }
1842
1843   if (num_regs > regno_allocated)
1844     {
1845       size_t old_allocated = regno_allocated;
1846
1847       regno_allocated = num_regs + (num_regs / 20);     /* add some slop space */
1848       size_renumber = regno_allocated * sizeof (short);
1849
1850       if (!reg_n_info)
1851         {
1852           VARRAY_REG_INIT (reg_n_info, regno_allocated, "reg_n_info");
1853           renumber = (short *) xmalloc (size_renumber);
1854           prefclass_buffer = (char *) xmalloc (regno_allocated);
1855           altclass_buffer = (char *) xmalloc (regno_allocated);
1856         }
1857
1858       else
1859         {
1860           VARRAY_GROW (reg_n_info, regno_allocated);
1861
1862           if (new_p)            /* if we're zapping everything, no need to realloc */
1863             {
1864               free ((char *)renumber);
1865               free ((char *)prefclass_buffer);
1866               free ((char *)altclass_buffer);
1867               renumber = (short *) xmalloc (size_renumber);
1868               prefclass_buffer = (char *) xmalloc (regno_allocated);
1869               altclass_buffer = (char *) xmalloc (regno_allocated);
1870             }
1871
1872           else
1873             {
1874               renumber = (short *) xrealloc ((char *)renumber, size_renumber);
1875               prefclass_buffer = (char *) xrealloc ((char *)prefclass_buffer,
1876                                                     regno_allocated);
1877
1878               altclass_buffer = (char *) xrealloc ((char *)altclass_buffer,
1879                                                    regno_allocated);
1880             }
1881         }
1882
1883       size_info = (regno_allocated - old_allocated) * sizeof (reg_info)
1884         + sizeof (struct reg_info_data) - sizeof (reg_info);
1885       reg_data = (struct reg_info_data *) xcalloc (size_info, 1);
1886       reg_data->min_index = old_allocated;
1887       reg_data->max_index = regno_allocated - 1;
1888       reg_data->next = reg_info_head;
1889       reg_info_head = reg_data;
1890     }
1891
1892   reg_n_max = num_regs;
1893   if (min < num_regs)
1894     {
1895       /* Loop through each of the segments allocated for the actual
1896          reg_info pages, and set up the pointers, zero the pages, etc.  */
1897       for (reg_data = reg_info_head; reg_data; reg_data = reg_next)
1898         {
1899           size_t min_index = reg_data->min_index;
1900           size_t max_index = reg_data->max_index;
1901
1902           reg_next = reg_data->next;
1903           if (min <= max_index)
1904             {
1905               size_t max = max_index;
1906               size_t local_min = min - min_index;
1907               if (min < min_index)
1908                 local_min = 0;
1909               if (!reg_data->used_p)    /* page just allocated with calloc */
1910                 reg_data->used_p = 1;   /* no need to zero */
1911               else
1912                 bzero ((char *) &reg_data->data[local_min],
1913                        sizeof (reg_info) * (max - min_index - local_min + 1));
1914
1915               for (i = min_index+local_min; i <= max; i++)
1916                 {
1917                   VARRAY_REG (reg_n_info, i) = &reg_data->data[i-min_index];
1918                   REG_BASIC_BLOCK (i) = REG_BLOCK_UNKNOWN;
1919                   renumber[i] = -1;
1920                   prefclass_buffer[i] = (char) NO_REGS;
1921                   altclass_buffer[i] = (char) NO_REGS;
1922                 }
1923             }
1924         }
1925     }
1926
1927   /* If {pref,alt}class have already been allocated, update the pointers to
1928      the newly realloced ones.  */
1929   if (prefclass)
1930     {
1931       prefclass = prefclass_buffer;
1932       altclass = altclass_buffer;
1933     }
1934
1935   if (renumber_p)
1936     reg_renumber = renumber;
1937
1938   /* Tell the regset code about the new number of registers */
1939   MAX_REGNO_REG_SET (num_regs, new_p, renumber_p);
1940 }
1941
1942 \f
1943 /* This is the `regscan' pass of the compiler, run just before cse
1944    and again just before loop.
1945
1946    It finds the first and last use of each pseudo-register
1947    and records them in the vectors regno_first_uid, regno_last_uid
1948    and counts the number of sets in the vector reg_n_sets.
1949
1950    REPEAT is nonzero the second time this is called.  */
1951
1952 /* Maximum number of parallel sets and clobbers in any insn in this fn.
1953    Always at least 3, since the combiner could put that many together
1954    and we want this to remain correct for all the remaining passes.  */
1955
1956 int max_parallel;
1957
1958 void
1959 reg_scan (f, nregs, repeat)
1960      rtx f;
1961      int nregs;
1962      int repeat;
1963 {
1964   register rtx insn;
1965
1966   allocate_reg_info (nregs, TRUE, FALSE);
1967   max_parallel = 3;
1968
1969   for (insn = f; insn; insn = NEXT_INSN (insn))
1970     if (GET_CODE (insn) == INSN
1971         || GET_CODE (insn) == CALL_INSN
1972         || GET_CODE (insn) == JUMP_INSN)
1973       {
1974         if (GET_CODE (PATTERN (insn)) == PARALLEL
1975             && XVECLEN (PATTERN (insn), 0) > max_parallel)
1976           max_parallel = XVECLEN (PATTERN (insn), 0);
1977         reg_scan_mark_refs (PATTERN (insn), insn, 0, 0);
1978
1979         if (REG_NOTES (insn))
1980           reg_scan_mark_refs (REG_NOTES (insn), insn, 1, 0);
1981       }
1982 }
1983
1984 /* Update 'regscan' information by looking at the insns
1985    from FIRST to LAST.  Some new REGs have been created,
1986    and any REG with number greater than OLD_MAX_REGNO is
1987    such a REG.  We only update information for those.  */
1988
1989 void
1990 reg_scan_update(first, last, old_max_regno)
1991      rtx first;
1992      rtx last;
1993      int old_max_regno;
1994 {
1995   register rtx insn;
1996
1997   allocate_reg_info (max_reg_num (), FALSE, FALSE);
1998
1999   for (insn = first; insn != last; insn = NEXT_INSN (insn))
2000     if (GET_CODE (insn) == INSN
2001         || GET_CODE (insn) == CALL_INSN
2002         || GET_CODE (insn) == JUMP_INSN)
2003       {
2004         if (GET_CODE (PATTERN (insn)) == PARALLEL
2005             && XVECLEN (PATTERN (insn), 0) > max_parallel)
2006           max_parallel = XVECLEN (PATTERN (insn), 0);
2007         reg_scan_mark_refs (PATTERN (insn), insn, 0, old_max_regno);
2008
2009         if (REG_NOTES (insn))
2010           reg_scan_mark_refs (REG_NOTES (insn), insn, 1, old_max_regno);
2011       }
2012 }
2013
2014 /* X is the expression to scan.  INSN is the insn it appears in.
2015    NOTE_FLAG is nonzero if X is from INSN's notes rather than its body.
2016    We should only record information for REGs with numbers
2017    greater than or equal to MIN_REGNO.  */
2018
2019 static void
2020 reg_scan_mark_refs (x, insn, note_flag, min_regno)
2021      rtx x;
2022      rtx insn;
2023      int note_flag;
2024      int min_regno;
2025 {
2026   register enum rtx_code code;
2027   register rtx dest;
2028   register rtx note;
2029
2030   code = GET_CODE (x);
2031   switch (code)
2032     {
2033     case CONST_INT:
2034     case CONST:
2035     case CONST_DOUBLE:
2036     case CC0:
2037     case PC:
2038     case SYMBOL_REF:
2039     case LABEL_REF:
2040     case ADDR_VEC:
2041     case ADDR_DIFF_VEC:
2042       return;
2043
2044     case REG:
2045       {
2046         register int regno = REGNO (x);
2047
2048         if (regno >= min_regno)
2049           {
2050             REGNO_LAST_NOTE_UID (regno) = INSN_UID (insn);
2051             if (!note_flag)
2052               REGNO_LAST_UID (regno) = INSN_UID (insn);
2053             if (REGNO_FIRST_UID (regno) == 0)
2054               REGNO_FIRST_UID (regno) = INSN_UID (insn);
2055           }
2056       }
2057       break;
2058
2059     case EXPR_LIST:
2060       if (XEXP (x, 0))
2061         reg_scan_mark_refs (XEXP (x, 0), insn, note_flag, min_regno);
2062       if (XEXP (x, 1))
2063         reg_scan_mark_refs (XEXP (x, 1), insn, note_flag, min_regno);
2064       break;
2065
2066     case INSN_LIST:
2067       if (XEXP (x, 1))
2068         reg_scan_mark_refs (XEXP (x, 1), insn, note_flag, min_regno);
2069       break;
2070
2071     case SET:
2072       /* Count a set of the destination if it is a register.  */
2073       for (dest = SET_DEST (x);
2074            GET_CODE (dest) == SUBREG || GET_CODE (dest) == STRICT_LOW_PART
2075            || GET_CODE (dest) == ZERO_EXTEND;
2076            dest = XEXP (dest, 0))
2077         ;
2078
2079       if (GET_CODE (dest) == REG
2080           && REGNO (dest) >= min_regno)
2081         REG_N_SETS (REGNO (dest))++;
2082
2083       /* If this is setting a pseudo from another pseudo or the sum of a
2084          pseudo and a constant integer and the other pseudo is known to be
2085          a pointer, set the destination to be a pointer as well.
2086
2087          Likewise if it is setting the destination from an address or from a
2088          value equivalent to an address or to the sum of an address and
2089          something else.
2090                      
2091          But don't do any of this if the pseudo corresponds to a user
2092          variable since it should have already been set as a pointer based
2093          on the type.  */
2094
2095       if (GET_CODE (SET_DEST (x)) == REG
2096           && REGNO (SET_DEST (x)) >= FIRST_PSEUDO_REGISTER
2097           && REGNO (SET_DEST (x)) >= min_regno
2098           /* If the destination pseudo is set more than once, then other
2099              sets might not be to a pointer value (consider access to a
2100              union in two threads of control in the presense of global
2101              optimizations).  So only set REGNO_POINTER_FLAG on the destination
2102              pseudo if this is the only set of that pseudo.  */
2103           && REG_N_SETS (REGNO (SET_DEST (x))) == 1
2104           && ! REG_USERVAR_P (SET_DEST (x))
2105           && ! REGNO_POINTER_FLAG (REGNO (SET_DEST (x)))
2106           && ((GET_CODE (SET_SRC (x)) == REG
2107                && REGNO_POINTER_FLAG (REGNO (SET_SRC (x))))
2108               || ((GET_CODE (SET_SRC (x)) == PLUS
2109                    || GET_CODE (SET_SRC (x)) == LO_SUM)
2110                   && GET_CODE (XEXP (SET_SRC (x), 1)) == CONST_INT
2111                   && GET_CODE (XEXP (SET_SRC (x), 0)) == REG
2112                   && REGNO_POINTER_FLAG (REGNO (XEXP (SET_SRC (x), 0))))
2113               || GET_CODE (SET_SRC (x)) == CONST
2114               || GET_CODE (SET_SRC (x)) == SYMBOL_REF
2115               || GET_CODE (SET_SRC (x)) == LABEL_REF
2116               || (GET_CODE (SET_SRC (x)) == HIGH
2117                   && (GET_CODE (XEXP (SET_SRC (x), 0)) == CONST
2118                       || GET_CODE (XEXP (SET_SRC (x), 0)) == SYMBOL_REF
2119                       || GET_CODE (XEXP (SET_SRC (x), 0)) == LABEL_REF))
2120               || ((GET_CODE (SET_SRC (x)) == PLUS
2121                    || GET_CODE (SET_SRC (x)) == LO_SUM)
2122                   && (GET_CODE (XEXP (SET_SRC (x), 1)) == CONST
2123                       || GET_CODE (XEXP (SET_SRC (x), 1)) == SYMBOL_REF
2124                       || GET_CODE (XEXP (SET_SRC (x), 1)) == LABEL_REF))
2125               || ((note = find_reg_note (insn, REG_EQUAL, 0)) != 0
2126                   && (GET_CODE (XEXP (note, 0)) == CONST
2127                       || GET_CODE (XEXP (note, 0)) == SYMBOL_REF
2128                       || GET_CODE (XEXP (note, 0)) == LABEL_REF))))
2129         REGNO_POINTER_FLAG (REGNO (SET_DEST (x))) = 1;
2130
2131       /* ... fall through ...  */
2132
2133     default:
2134       {
2135         register char *fmt = GET_RTX_FORMAT (code);
2136         register int i;
2137         for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
2138           {
2139             if (fmt[i] == 'e')
2140               reg_scan_mark_refs (XEXP (x, i), insn, note_flag, min_regno);
2141             else if (fmt[i] == 'E' && XVEC (x, i) != 0)
2142               {
2143                 register int j;
2144                 for (j = XVECLEN (x, i) - 1; j >= 0; j--)
2145                   reg_scan_mark_refs (XVECEXP (x, i, j), insn, note_flag, min_regno);
2146               }
2147           }
2148       }
2149     }
2150 }
2151 \f
2152 /* Return nonzero if C1 is a subset of C2, i.e., if every register in C1
2153    is also in C2.  */
2154
2155 int
2156 reg_class_subset_p (c1, c2)
2157      register enum reg_class c1;
2158      register enum reg_class c2;
2159 {
2160   if (c1 == c2) return 1;
2161
2162   if (c2 == ALL_REGS)
2163   win:
2164     return 1;
2165   GO_IF_HARD_REG_SUBSET (reg_class_contents[(int)c1],
2166                          reg_class_contents[(int)c2],
2167                          win);
2168   return 0;
2169 }
2170
2171 /* Return nonzero if there is a register that is in both C1 and C2.  */
2172
2173 int
2174 reg_classes_intersect_p (c1, c2)
2175      register enum reg_class c1;
2176      register enum reg_class c2;
2177 {
2178 #ifdef HARD_REG_SET
2179   register
2180 #endif
2181     HARD_REG_SET c;
2182
2183   if (c1 == c2) return 1;
2184
2185   if (c1 == ALL_REGS || c2 == ALL_REGS)
2186     return 1;
2187
2188   COPY_HARD_REG_SET (c, reg_class_contents[(int) c1]);
2189   AND_HARD_REG_SET (c, reg_class_contents[(int) c2]);
2190
2191   GO_IF_HARD_REG_SUBSET (c, reg_class_contents[(int) NO_REGS], lose);
2192   return 1;
2193
2194  lose:
2195   return 0;
2196 }
2197
2198 /* Release any memory allocated by register sets.  */
2199
2200 void
2201 regset_release_memory ()
2202 {
2203   if (basic_block_live_at_start)
2204     {
2205       free_regset_vector (basic_block_live_at_start, n_basic_blocks);
2206       basic_block_live_at_start = 0;
2207     }
2208
2209   FREE_REG_SET (regs_live_at_setjmp);
2210   bitmap_release_memory ();
2211 }