![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to rtl.h CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10dc / cmd / gcc|
Return to rtl.h CVS log | Up to [Research Unix] / researchv10dc / cmd / gcc |
1.1 root 1: /* Register Transfer Language (RTL) definitions for GNU C-Compiler
2: Copyright (C) 1987 Free Software Foundation, Inc.
3:
4: This file is part of GNU CC.
5:
6: GNU CC is distributed in the hope that it will be useful,
7: but WITHOUT ANY WARRANTY. No author or distributor
8: accepts responsibility to anyone for the consequences of using it
9: or for whether it serves any particular purpose or works at all,
10: unless he says so in writing. Refer to the GNU CC General Public
11: License for full details.
12:
13: Everyone is granted permission to copy, modify and redistribute
14: GNU CC, but only under the conditions described in the
15: GNU CC General Public License. A copy of this license is
16: supposed to have been given to you along with GNU CC so you
17: can know your rights and responsibilities. It should be in a
18: file named COPYING. Among other things, the copyright notice
19: and this notice must be preserved on all copies. */
20:
21:
22: /* Register Transfer Language EXPRESSIONS CODES */
23:
24: #define RTX_CODE enum rtx_code
25: enum rtx_code {
26:
27: #define DEF_RTL_EXPR(ENUM, NAME, FORMAT) ENUM ,
28: #include "rtl.def" /* rtl expressions are documented here */
29: #undef DEF_RTL_EXPR
30:
31: LAST_AND_UNUSED_RTX_CODE}; /* A convienent way to get a value for
32: NUM_RTX_CODE.
33: Assumes default enum value assignement. */
34:
35: #define NUM_RTX_CODE ((int)LAST_AND_UNUSED_RTX_CODE)
36: /* The cast here, saves many elsewhere. */
37:
38: extern int rtx_length[];
39: #define GET_RTX_LENGTH(CODE) (rtx_length[(int)(CODE)])
40:
41: extern char *rtx_name[];
42: #define GET_RTX_NAME(CODE) (rtx_name[(int)(CODE)])
43:
44: extern char *rtx_format[];
45: #define GET_RTX_FORMAT(CODE) (rtx_format[(int)(CODE)])
46:
47:
48: /* Get the definition of `enum machine_mode' */
49:
50: #ifndef HAVE_MACHINE_MODES
51:
52: #define DEF_MACHMODE(SYM, NAME, TYPE, SIZE, UNIT) SYM,
53:
54: enum machine_mode {
55: #include "machmode.def"
56: MAX_MACHINE_MODE };
57:
58: #undef DEF_MACHMODE
59:
60: #define HAVE_MACHINE_MODES
61:
62: #endif /* not HAVE_MACHINE_MODES */
63:
64: #ifndef NUM_MACHINE_MODES
65: #define NUM_MACHINE_MODES (int) MAX_MACHINE_MODE
66: #endif
67:
68: /* Get the name of mode MODE as a string. */
69:
70: extern char *mode_name[];
71: #define GET_MODE_NAME(MODE) (mode_name[(int)(MODE)])
72:
73: enum mode_class { MODE_RANDOM, MODE_INT, MODE_FLOAT,
74: MODE_COMPLEX_INT, MODE_COMPLEX_FLOAT, MODE_FUNCTION };
75:
76: /* Get the general kind of object that mode MODE represents
77: (integer, floating, complex, etc.) */
78:
79: extern enum mode_class mode_class[];
80: #define GET_MODE_CLASS(MODE) (mode_class[(int)(MODE)])
81:
82: /* Get the size in bytes of an object of mode MODE. */
83:
84: extern int mode_size[];
85: #define GET_MODE_SIZE(MODE) (mode_size[(int)(MODE)])
86:
87: /* Get the size in bytes of the basic parts of an object of mode MODE. */
88:
89: extern int mode_unit_size[];
90: #define GET_MODE_UNIT_SIZE(MODE) (mode_unit_size[(int)(MODE)])
91:
92: /* Get the size in bits of an object of mode MODE. */
93:
94: #define GET_MODE_BITSIZE(MODE) (BITS_PER_UNIT * mode_size[(int)(MODE)])
95:
96: /* Get a bitmask containing 1 for all bits in a word
97: that fit within mode MODE. */
98:
99: #define GET_MODE_MASK(MODE) \
100: ((GET_MODE_BITSIZE (MODE) >= HOST_BITS_PER_INT) \
101: ? -1 : ((1 << GET_MODE_BITSIZE (MODE)) - 1))
102:
103: /* Common union for an element of an rtx. */
104:
105: typedef union rtunion_def
106: {
107: int rtint;
108: char *rtstr;
109: struct rtx_def *rtx;
110: struct rtvec_def *rtvec;
111: enum machine_mode rttype;
112: } rtunion;
113:
114: /* RTL expression ("rtx"). */
115:
116: typedef struct rtx_def
117: {
118: /* The kind of expression this is. */
119: enum rtx_code code : 16;
120: /* The kind of value the expression has. */
121: enum machine_mode mode : 8;
122: /* 1 in an INSN if it can alter flow of control
123: within this function. Not yet used! */
124: unsigned int jump : 1;
125: /* 1 in an INSN if it can call another function. Not yet used! */
126: unsigned int call : 1;
127: /* 1 in a MEM or REG if value of this expression will never change
128: during the current function, even though it is not
129: manifestly constant.
130: 1 in a SYMBOL_REF if it addresses something in the per-function
131: constants pool. */
132: unsigned int unchanging : 1;
133: /* 1 in a MEM expression if contents of memory are volatile. */
134: /* 1 in an INSN, CALL_INSN, JUMP_INSN, CODE_LABEL or BARRIER
135: if it is deleted. */
136: /* 1 in a REG expression if corresponds to a variable declared by the user.
137: 0 for an internally generated temporary. */
138: unsigned int volatil : 1;
139: /* 1 in a MEM referring to a field of a structure (not a union!).
140: 0 if the MEM was a variable or the result of a * operator in C;
141: 1 if it was the result of a . or -> operator (on a struct) in C. */
142: unsigned int in_struct : 1;
143: /* 1 if this rtx is used. This is used for copying shared structure.
144: See `unshare_all_rtl'.
145: This bit is used to detect that event. */
146: unsigned int used : 1;
147: /* Nonzero if this rtx came from procedure integration. */
148: unsigned integrated : 1;
149: /* The first element of the operands of this rtx.
150: The number of operands and their types are controlled
151: by the `code' field, according to rtl.def. */
152: rtunion fld[1];
153: } *rtx;
154:
155: #define NULL_RTX (rtx) NULL
156:
157: #define GET_CODE(RTX) ((RTX)->code)
158: #define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE))
159:
160: #define GET_MODE(RTX) ((RTX)->mode)
161: #define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE))
162:
163: /* RTL vector. These appear inside RTX's when there is a need
164: for a variable number of things. The principle use is inside
165: PARALLEL expressions. */
166:
167: typedef struct rtvec_def{
168: unsigned num_elem; /* number of elements */
169: rtunion elem[1];
170: } *rtvec;
171:
172: #define NULL_RTVEC (rtvec) NULL
173:
174: #define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem)
175: #define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (unsigned) NUM)
176:
177: /* 1 if X is a REG. */
178:
179: #define REG_P(X) (GET_CODE (X) == REG)
180:
181: /* 1 if X is a constant value that is an integer. */
182:
183: #define CONSTANT_P(X) \
184: (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \
185: || GET_CODE (X) == CONST_INT \
186: || GET_CODE (X) == CONST)
187:
188: /* General accessor macros for accessing the fields of an rtx. */
189:
190: #define XEXP(RTX, N) ((RTX)->fld[N].rtx)
191: #define XINT(RTX, N) ((RTX)->fld[N].rtint)
192: #define XSTR(RTX, N) ((RTX)->fld[N].rtstr)
193: #define XVEC(RTX, N) ((RTX)->fld[N].rtvec)
194: #define XVECLEN(RTX, N) ((RTX)->fld[N].rtvec->num_elem)
195: #define XVECEXP(RTX,N,M)((RTX)->fld[N].rtvec->elem[M].rtx)
196:
197: /* ACCESS MACROS for particular fields of insns. */
198:
199: /* Holds a unique number for each insn.
200: These are not necessarily sequentially increasing. */
201: #define INSN_UID(INSN) ((INSN)->fld[0].rtint)
202:
203: /* Chain insns together in sequence. */
204: #define PREV_INSN(INSN) ((INSN)->fld[1].rtx)
205: #define NEXT_INSN(INSN) ((INSN)->fld[2].rtx)
206:
207: /* The body of an insn. */
208: #define PATTERN(INSN) ((INSN)->fld[3].rtx)
209:
210: /* Code number of instruction, from when it was recognized.
211: -1 means this instruction has not been recognized yet. */
212: #define INSN_CODE(INSN) ((INSN)->fld[4].rtint)
213:
214: /* Set up in flow.c; empty before then.
215: Holds a chain of INSN_LIST rtx's whose first operands point at
216: previous insns with direct data-flow connections to this one.
217: That means that those insns set variables whose next use is in this insn.
218: They are always in the same basic block as this insn. */
219: #define LOG_LINKS(INSN) ((INSN)->fld[5].rtx)
220:
221: /* Holds a list of notes on what this insn does to various REGs.
222: It is a chain of EXPR_LIST rtx's, where the second operand
223: is the chain pointer and the first operand is the REG being described.
224: The mode field of the EXPR_LIST contains not a real machine mode
225: but a value that says what this note says about the REG:
226: REG_DEAD means that the REG dies in this insn.
227: REG_INC means that the REG is autoincremented or autodecremented.
228: Note that one insn can have both REG_DEAD and REG_INC for the same register
229: if the register is preincremented or predecremented in the insn
230: and not needed afterward. This can probably happen.
231: REG_EQUIV describes the insn as a whole; it says that the
232: insn sets a register to a constant value or to be equivalent to
233: a memory address. If the
234: register is spilled to the stack then the constant value
235: should be substituted for it. The contents of the REG_EQUIV
236: is the constant value or memory address, which may be different
237: from the source of the SET although it has the same value.
238: REG_EQUAL is like REG_EQUIV except that the destination
239: is only momentarily equal to the specified rtx. Therefore, it
240: cannot be used for substitution; but it can be used for cse.
241: REG_RETVAL means that this insn copies the return-value of
242: a library call out of the hard reg for return values. This note
243: is actually an INSN_LIST and it points to the first insn involved
244: in setting up arguments for the call. flow.c uses this to delete
245: the entire library call when its result is dead.
246: REG_WAS_0 says that the register set in this insn held 0 before the insn.
247: The contents of the note is the insn that stored the 0.
248: If that insn is deleted or patched to a NOTE, the REG_WAS_0 is inoperative.
249: The REG_WAS_0 note is actually an INSN_LIST, not an EXPR_LIST. */
250:
251: #define REG_NOTES(INSN) ((INSN)->fld[6].rtx)
252:
253: enum reg_note { REG_DEAD = 1, REG_INC = 2, REG_EQUIV = 3, REG_WAS_0 = 4,
254: REG_EQUAL = 5, REG_RETVAL = 6 };
255:
256: /* Extract the reg-note kind from an EXPR_LIST. */
257: #define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK))
258:
259: /* The label-number of a code-label. The assembler label
260: is made from `L' and the label-number printed in decimal.
261: Label numbers are unique in a compilation. */
262: #define CODE_LABEL_NUMBER(INSN) ((INSN)->fld[3].rtint)
263:
264: #define LINE_NUMBER NOTE
265:
266: /* In a NOTE that is a line number, this is a string for the file name
267: that the line is in. */
268:
269: #define NOTE_SOURCE_FILE(INSN) ((INSN)->fld[3].rtstr)
270:
271: /* In a NOTE that is a line number, this is the line number.
272: Other kinds of NOTEs are identified by negative numbers here. */
273: #define NOTE_LINE_NUMBER(INSN) ((INSN)->fld[4].rtint)
274:
275: /* Codes that appear in the NOTE_LINE_NUMBER field
276: for kinds of notes that are not line numbers. */
277:
278: #define NOTE_INSN_FUNCTION_BEG 0
279: #define NOTE_INSN_DELETED -1
280: #define NOTE_INSN_BLOCK_BEG -2
281: #define NOTE_INSN_BLOCK_END -3
282: #define NOTE_INSN_LOOP_BEG -4
283: #define NOTE_INSN_LOOP_END -5
284: /* This kind of note is generated at the end of the function body,
285: just before the return insn or return label.
286: In an optimizing compilation it is deleted by the first jump optimization,
287: after enabling that optimizer to determine whether control can fall
288: off the end of the function body without a return statement. */
289: #define NOTE_INSN_FUNCTION_END -6
290: /* This kind of note is generated just after each call to `setjmp', et al. */
291: #define NOTE_INSN_SETJMP -7
292:
293: #define NOTE_DECL_NAME(INSN) ((INSN)->fld[3].rtstr)
294: #define NOTE_DECL_CODE(INSN) ((INSN)->fld[4].rtint)
295: #define NOTE_DECL_RTL(INSN) ((INSN)->fld[5].rtx)
296: #define NOTE_DECL_IDENTIFIER(INSN) ((INSN)->fld[6].rtint)
297: #define NOTE_DECL_TYPE(INSN) ((INSN)->fld[7].rtint)
298:
299: /* In jump.c, each label contains a count of the number
300: of LABEL_REFs that point at it, so unused labels can be deleted. */
301: #define LABEL_NUSES(LABEL) ((LABEL)->fld[4].rtint)
302:
303: /* In jump.c, each JUMP_INSN can point to a label that it can jump to,
304: so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can
305: be decremented and possibly the label can be deleted. */
306: #define JUMP_LABEL(INSN) ((INSN)->fld[7].rtx)
307:
308: /* Once basic blocks are found in flow.c,
309: each CODE_LABEL starts a chain that goes through
310: all the LABEL_REFs that jump to that label.
311: The chain eventually winds up at the CODE_LABEL; it is circular. */
312: #define LABEL_REFS(LABEL) ((LABEL)->fld[4].rtx)
313:
314: /* This is the field in the LABEL_REF through which the circular chain
315: of references to a particular label is linked.
316: This chain is set up in flow.c. */
317:
318: #define LABEL_NEXTREF(REF) ((REF)->fld[1].rtx)
319:
320: /* Once basic blocks are found in flow.c,
321: Each LABEL_REF points to its containing instruction with this field. */
322:
323: #define CONTAINING_INSN(RTX) ((RTX)->fld[2].rtx)
324:
325: /* For a REG rtx, REGNO extracts the register number. */
326:
327: #define REGNO(RTX) ((RTX)->fld[0].rtint)
328:
329: /* For a CONST_INT rtx, INTVAL extracts the integer. */
330:
331: #define INTVAL(RTX) ((RTX)->fld[0].rtint)
332:
333: /* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of.
334: SUBREG_WORD extracts the word-number. */
335:
336: #define SUBREG_REG(RTX) ((RTX)->fld[0].rtx)
337: #define SUBREG_WORD(RTX) ((RTX)->fld[1].rtint)
338:
339: /* For a SET rtx, SET_DEST is the place that is set
340: and SET_SRC is the value it is set to. */
341: #define SET_DEST(RTX) ((RTX)->fld[0].rtx)
342: #define SET_SRC(RTX) ((RTX)->fld[1].rtx)
343:
344: /* For an INLINE_HEADER rtx, FIRST_FUNCTION_INSN is the first insn
345: of the function that is not involved in copying parameters to
346: pseudo-registers. FIRST_PARM_INSN is the very first insn of
347: the function, including the parameter copying.
348: We keep this around in case we must splice
349: this function into the assembly code at the end of the file.
350: FIRST_LABELNO is the first label number used by the function (inclusive).
351: LAST_LABELNO is the last label used by the function (exclusive).
352: MAX_REGNUM is the largest pseudo-register used by that function.
353:
354: We want this to lay down like an INSN. The PREV_INSN field
355: is always NULL. The NEXT_INSN field always points to the
356: first function insn of the function being squirreled away. */
357:
358: #define FIRST_FUNCTION_INSN(RTX) ((RTX)->fld[2].rtx)
359: #define FIRST_PARM_INSN(RTX) ((RTX)->fld[3].rtx)
360: #define FIRST_LABELNO(RTX) ((RTX)->fld[4].rtint)
361: #define LAST_LABELNO(RTX) ((RTX)->fld[5].rtint)
362: #define MAX_PARMREG(RTX) ((RTX)->fld[6].rtint)
363: #define MAX_REGNUM(RTX) ((RTX)->fld[7].rtint)
364: #define FUNCTION_ARGS_SIZE(RTX) ((RTX)->fld[8].rtint)
365:
366: /* Generally useful functions. */
367:
368: extern rtx rtx_alloc ();
369: extern rtvec rtvec_alloc ();
370: extern rtx find_reg_note ();
371: extern rtx gen_rtx ();
372: extern rtx copy_rtx ();
373: extern rtvec gen_rtvec ();
374: extern rtvec gen_rtvec_v ();
375: extern rtx gen_reg_rtx ();
376: extern rtx gen_label_rtx ();
377: extern rtx gen_inline_header_rtx ();
378: extern rtx gen_lowpart ();
379: extern rtx gen_highpart ();
380: extern int subreg_lowpart_p ();
381: extern rtx make_safe_from ();
382: extern rtx memory_address ();
383: extern rtx get_insns ();
384: extern rtx get_last_insn ();
385: extern rtx gen_sequence ();
386: extern rtx expand_expr ();
387: extern rtx output_constant_def ();
388: extern rtx immed_real_const ();
389: extern rtx force_const_double_mem ();
390: extern rtx force_const_mem ();
391: extern rtx get_parm_real_loc ();
392: extern rtx assign_stack_local ();
393: extern rtx protect_from_queue ();
394: extern void emit_queue ();
395: extern rtx emit_move_insn ();
396: extern rtx emit_insn ();
397: extern rtx emit_jump_insn ();
398: extern rtx emit_call_insn ();
399: extern rtx emit_insn_before ();
400: extern rtx emit_insn_after ();
401: extern void emit_label ();
402: extern void emit_barrier ();
403: extern rtx emit_note ();
404: extern rtx prev_real_insn ();
405: extern rtx next_real_insn ();
406: extern rtx next_nondeleted_insn ();
407: extern rtx plus_constant ();
408: extern rtx find_equiv_reg ();
409: extern rtx delete_insn ();
410: extern rtx adj_offsetable_operand ();
411:
412: extern int emit_to_sequence;
413:
414: extern int asm_noperands ();
415: extern char *decode_asm_operands ();
416:
417: #ifdef BITS_PER_WORD
418: /* Conditional is to detect when config.h has been included. */
419: extern enum reg_class reg_preferred_class ();
420: #endif
421:
422: extern rtx get_first_nonparm_insn ();
423:
424: /* Standard pieces of rtx, to be substituted directly into things. */
425: extern rtx pc_rtx;
426: extern rtx cc0_rtx;
427: extern rtx const0_rtx;
428: extern rtx const1_rtx;
429: extern rtx fconst0_rtx;
430: extern rtx dconst0_rtx;
431:
432: /* All references to certain hard regs, except those created
433: by allocating pseudo regs into them (when that's possible),
434: go through these unique rtx objects. */
435: extern rtx stack_pointer_rtx;
436: extern rtx frame_pointer_rtx;
437: extern rtx arg_pointer_rtx;
438: extern rtx struct_value_rtx;
439: extern rtx struct_value_incoming_rtx;
440: extern rtx static_chain_rtx;
441: extern rtx static_chain_incoming_rtx;
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.