|
|
1.1 root 1: /* Sets (bit vectors) of hard registers, and operations on them.
1.1.1.2 root 2: Copyright (C) 1987, 1992 Free Software Foundation, Inc.
1.1 root 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, 675 Mass Ave, Cambridge, MA 02139, USA. */
19:
20:
21: /* Define the type of a set of hard registers. */
22:
1.1.1.3 ! root 23: /* HARD_REG_ELT_TYPE is a typedef of the unsigned integral type which
! 24: will be used for hard reg sets, either alone or in an array.
! 25:
! 26: If HARD_REG_SET is a macro, its definition is HARD_REG_ELT_TYPE,
! 27: and it has enough bits to represent all the target machine's hard
! 28: registers. Otherwise, it is a typedef for a suitably sized array
! 29: of HARD_REG_ELT_TYPEs. HARD_REG_SET_LONGS is defined as how many.
1.1 root 30:
1.1.1.2 root 31: Note that lots of code assumes that the first part of a regset is
32: the same format as a HARD_REG_SET. To help make sure this is true,
33: we only try the widest integer mode (HOST_WIDE_INT) instead of all the
1.1.1.3 ! root 34: smaller types. This approach loses only if there are a very few
! 35: registers and then only in the few cases where we have an array of
! 36: HARD_REG_SETs, so it needn't be as complex as it used to be. */
! 37:
! 38: typedef unsigned HOST_WIDE_INT HARD_REG_ELT_TYPE;
1.1.1.2 root 39:
40: #if FIRST_PSEUDO_REGISTER <= HOST_BITS_PER_WIDE_INT
1.1.1.3 ! root 41:
! 42: #define HARD_REG_SET HARD_REG_ELT_TYPE
1.1 root 43:
44: #else
1.1.1.2 root 45:
1.1 root 46: #define HARD_REG_SET_LONGS \
1.1.1.2 root 47: ((FIRST_PSEUDO_REGISTER + HOST_BITS_PER_WIDE_INT - 1) \
48: / HOST_BITS_PER_WIDE_INT)
1.1.1.3 ! root 49: typedef HARD_REG_ELT_TYPE HARD_REG_SET[HARD_REG_SET_LONGS];
1.1.1.2 root 50:
1.1 root 51: #endif
52:
1.1.1.3 ! root 53: /* HARD_CONST is used to cast a constant to the appropriate type
! 54: for use with a HARD_REG_SET. */
1.1 root 55:
1.1.1.3 ! root 56: #define HARD_CONST(X) ((HARD_REG_ELT_TYPE) (X))
1.1 root 57:
58: /* Define macros SET_HARD_REG_BIT, CLEAR_HARD_REG_BIT and TEST_HARD_REG_BIT
59: to set, clear or test one bit in a hard reg set of type HARD_REG_SET.
60: All three take two arguments: the set and the register number.
61:
62: In the case where sets are arrays of longs, the first argument
63: is actually a pointer to a long.
64:
65: Define two macros for initializing a set:
66: CLEAR_HARD_REG_SET and SET_HARD_REG_SET.
67: These take just one argument.
68:
69: Also define macros for copying hard reg sets:
70: COPY_HARD_REG_SET and COMPL_HARD_REG_SET.
71: These take two arguments TO and FROM; they read from FROM
72: and store into TO. COMPL_HARD_REG_SET complements each bit.
73:
74: Also define macros for combining hard reg sets:
75: IOR_HARD_REG_SET and AND_HARD_REG_SET.
76: These take two arguments TO and FROM; they read from FROM
77: and combine bitwise into TO. Define also two variants
78: IOR_COMPL_HARD_REG_SET and AND_COMPL_HARD_REG_SET
79: which use the complement of the set FROM.
80:
81: Also define GO_IF_HARD_REG_SUBSET (X, Y, TO):
82: if X is a subset of Y, go to TO.
83: */
84:
85: #ifdef HARD_REG_SET
86:
87: #define SET_HARD_REG_BIT(SET, BIT) \
88: ((SET) |= HARD_CONST (1) << (BIT))
89: #define CLEAR_HARD_REG_BIT(SET, BIT) \
90: ((SET) &= ~(HARD_CONST (1) << (BIT)))
91: #define TEST_HARD_REG_BIT(SET, BIT) \
92: ((SET) & (HARD_CONST (1) << (BIT)))
93:
94: #define CLEAR_HARD_REG_SET(TO) ((TO) = HARD_CONST (0))
1.1.1.3 ! root 95: #define SET_HARD_REG_SET(TO) ((TO) = ~ HARD_CONST (0))
1.1 root 96:
97: #define COPY_HARD_REG_SET(TO, FROM) ((TO) = (FROM))
98: #define COMPL_HARD_REG_SET(TO, FROM) ((TO) = ~(FROM))
99:
100: #define IOR_HARD_REG_SET(TO, FROM) ((TO) |= (FROM))
101: #define IOR_COMPL_HARD_REG_SET(TO, FROM) ((TO) |= ~ (FROM))
102: #define AND_HARD_REG_SET(TO, FROM) ((TO) &= (FROM))
103: #define AND_COMPL_HARD_REG_SET(TO, FROM) ((TO) &= ~ (FROM))
104:
105: #define GO_IF_HARD_REG_SUBSET(X,Y,TO) if (HARD_CONST (0) == ((X) & ~(Y))) goto TO
106:
107: #define GO_IF_HARD_REG_EQUAL(X,Y,TO) if ((X) == (Y)) goto TO
1.1.1.3 ! root 108:
1.1 root 109: #else
110:
1.1.1.2 root 111: #define UHOST_BITS_PER_WIDE_INT ((unsigned) HOST_BITS_PER_WIDE_INT)
1.1 root 112:
1.1.1.2 root 113: #define SET_HARD_REG_BIT(SET, BIT) \
114: ((SET)[(BIT) / UHOST_BITS_PER_WIDE_INT] \
1.1.1.3 ! root 115: |= HARD_CONST (1) << ((BIT) % UHOST_BITS_PER_WIDE_INT))
1.1.1.2 root 116:
117: #define CLEAR_HARD_REG_BIT(SET, BIT) \
118: ((SET)[(BIT) / UHOST_BITS_PER_WIDE_INT] \
1.1.1.3 ! root 119: &= ~(HARD_CONST (1) << ((BIT) % UHOST_BITS_PER_WIDE_INT)))
1.1.1.2 root 120:
121: #define TEST_HARD_REG_BIT(SET, BIT) \
122: ((SET)[(BIT) / UHOST_BITS_PER_WIDE_INT] \
1.1.1.3 ! root 123: & (HARD_CONST (1) << ((BIT) % UHOST_BITS_PER_WIDE_INT)))
1.1 root 124:
125: #define CLEAR_HARD_REG_SET(TO) \
1.1.1.3 ! root 126: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
1.1 root 127: register int i; \
128: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
129: *scan_tp_++ = 0; } while (0)
130:
131: #define SET_HARD_REG_SET(TO) \
1.1.1.3 ! root 132: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
1.1 root 133: register int i; \
134: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
135: *scan_tp_++ = -1; } while (0)
136:
137: #define COPY_HARD_REG_SET(TO, FROM) \
1.1.1.3 ! root 138: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
1.1 root 139: register int i; \
140: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
141: *scan_tp_++ = *scan_fp_++; } while (0)
142:
143: #define COMPL_HARD_REG_SET(TO, FROM) \
1.1.1.3 ! root 144: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
1.1 root 145: register int i; \
146: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
147: *scan_tp_++ = ~ *scan_fp_++; } while (0)
148:
149: #define AND_HARD_REG_SET(TO, FROM) \
1.1.1.3 ! root 150: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
1.1 root 151: register int i; \
152: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
153: *scan_tp_++ &= *scan_fp_++; } while (0)
154:
155: #define AND_COMPL_HARD_REG_SET(TO, FROM) \
1.1.1.3 ! root 156: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
1.1 root 157: register int i; \
158: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
159: *scan_tp_++ &= ~ *scan_fp_++; } while (0)
160:
161: #define IOR_HARD_REG_SET(TO, FROM) \
1.1.1.3 ! root 162: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
1.1 root 163: register int i; \
164: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
165: *scan_tp_++ |= *scan_fp_++; } while (0)
166:
167: #define IOR_COMPL_HARD_REG_SET(TO, FROM) \
1.1.1.3 ! root 168: do { register HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
1.1 root 169: register int i; \
170: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
171: *scan_tp_++ |= ~ *scan_fp_++; } while (0)
172:
173: #define GO_IF_HARD_REG_SUBSET(X,Y,TO) \
1.1.1.3 ! root 174: do { register HARD_REG_ELT_TYPE *scan_xp_ = (X), *scan_yp_ = (Y); \
1.1 root 175: register int i; \
176: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
1.1.1.3 ! root 177: if (0 != (*scan_xp_++ & ~ *scan_yp_++)) break; \
1.1 root 178: if (i == HARD_REG_SET_LONGS) goto TO; } while (0)
179:
180: #define GO_IF_HARD_REG_EQUAL(X,Y,TO) \
1.1.1.3 ! root 181: do { register HARD_REG_ELT_TYPE *scan_xp_ = (X), *scan_yp_ = (Y); \
1.1 root 182: register int i; \
183: for (i = 0; i < HARD_REG_SET_LONGS; i++) \
1.1.1.3 ! root 184: if (*scan_xp_++ != ~ *scan_yp_++)) break; \
1.1 root 185: if (i == HARD_REG_SET_LONGS) goto TO; } while (0)
186:
187: #endif
188:
189: /* Define some standard sets of registers. */
190:
191: /* Indexed by hard register number, contains 1 for registers
192: that are fixed use (stack pointer, pc, frame pointer, etc.).
193: These are the registers that cannot be used to allocate
194: a pseudo reg whose life does not cross calls. */
195:
196: extern char fixed_regs[FIRST_PSEUDO_REGISTER];
197:
198: /* The same info as a HARD_REG_SET. */
199:
200: extern HARD_REG_SET fixed_reg_set;
201:
202: /* Indexed by hard register number, contains 1 for registers
203: that are fixed use or are clobbered by function calls.
204: These are the registers that cannot be used to allocate
205: a pseudo reg whose life crosses calls. */
206:
207: extern char call_used_regs[FIRST_PSEUDO_REGISTER];
208:
209: /* The same info as a HARD_REG_SET. */
210:
211: extern HARD_REG_SET call_used_reg_set;
212:
213: /* Indexed by hard register number, contains 1 for registers that are
214: fixed use -- i.e. in fixed_regs -- or a function value return register
215: or STRUCT_VALUE_REGNUM or STATIC_CHAIN_REGNUM. These are the
216: registers that cannot hold quantities across calls even if we are
217: willing to save and restore them. */
218:
219: extern char call_fixed_regs[FIRST_PSEUDO_REGISTER];
220:
221: /* The same info as a HARD_REG_SET. */
222:
223: extern HARD_REG_SET call_fixed_reg_set;
224:
225: /* Indexed by hard register number, contains 1 for registers
226: that are being used for global register decls.
227: These must be exempt from ordinary flow analysis
228: and are also considered fixed. */
229:
230: extern char global_regs[FIRST_PSEUDO_REGISTER];
231:
232: /* Table of register numbers in the order in which to try to use them. */
233:
234: #ifdef REG_ALLOC_ORDER /* Avoid undef symbol in certain broken linkers. */
235: extern int reg_alloc_order[FIRST_PSEUDO_REGISTER];
236: #endif
237:
238: /* For each reg class, a HARD_REG_SET saying which registers are in it. */
239:
240: extern HARD_REG_SET reg_class_contents[];
241:
242: /* For each reg class, number of regs it contains. */
243:
244: extern int reg_class_size[N_REG_CLASSES];
245:
246: /* For each reg class, table listing all the containing classes. */
247:
248: extern enum reg_class reg_class_superclasses[N_REG_CLASSES][N_REG_CLASSES];
249:
250: /* For each reg class, table listing all the classes contained in it. */
251:
252: extern enum reg_class reg_class_subclasses[N_REG_CLASSES][N_REG_CLASSES];
253:
254: /* For each pair of reg classes,
255: a largest reg class contained in their union. */
256:
257: extern enum reg_class reg_class_subunion[N_REG_CLASSES][N_REG_CLASSES];
258:
259: /* For each pair of reg classes,
260: the smallest reg class that contains their union. */
261:
262: extern enum reg_class reg_class_superunion[N_REG_CLASSES][N_REG_CLASSES];
263:
264: /* Number of non-fixed registers. */
265:
266: extern int n_non_fixed_regs;
267:
268: /* Vector indexed by hardware reg giving its name. */
269:
270: extern char *reg_names[FIRST_PSEUDO_REGISTER];
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.