1 /* Allocate and read RTL for GNU C Compiler.
2 Copyright (C) 1987, 1988, 1991, 1994 Free Software Foundation, Inc.
4 This file is part of GNU CC.
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)
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.
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. */
29 #define obstack_chunk_alloc xmalloc
30 #define obstack_chunk_free free
32 /* Obstack used for allocating RTL objects.
33 Between functions, this is the permanent_obstack.
34 While parsing and expanding a function, this is maybepermanent_obstack
35 so we can save it if it is an inline function.
36 During optimization and output, this is function_obstack. */
38 extern struct obstack
*rtl_obstack
;
40 #if HOST_BITS_PER_WIDE_INT != HOST_BITS_PER_INT
44 /* Indexed by rtx code, gives number of operands for an rtx with that code.
45 Does NOT include rtx header data (code and links).
46 This array is initialized in init_rtl. */
48 int rtx_length
[NUM_RTX_CODE
+ 1];
50 /* Indexed by rtx code, gives the name of that kind of rtx, as a C string. */
52 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) NAME ,
55 #include "rtl.def" /* rtl expressions are documented here */
60 /* Indexed by machine mode, gives the name of that machine mode.
61 This name does not include the letters "mode". */
63 #define DEF_MACHMODE(SYM, NAME, CLASS, SIZE, UNIT, WIDER) NAME,
65 char *mode_name
[(int) MAX_MACHINE_MODE
] = {
66 #include "machmode.def"
76 /* Indexed by machine mode, gives the length of the mode, in bytes.
77 GET_MODE_CLASS uses this. */
79 #define DEF_MACHMODE(SYM, NAME, CLASS, SIZE, UNIT, WIDER) CLASS,
81 enum mode_class mode_class
[(int) MAX_MACHINE_MODE
] = {
82 #include "machmode.def"
87 /* Indexed by machine mode, gives the length of the mode, in bytes.
88 GET_MODE_SIZE uses this. */
90 #define DEF_MACHMODE(SYM, NAME, CLASS, SIZE, UNIT, WIDER) SIZE,
92 int mode_size
[(int) MAX_MACHINE_MODE
] = {
93 #include "machmode.def"
98 /* Indexed by machine mode, gives the length of the mode's subunit.
99 GET_MODE_UNIT_SIZE uses this. */
101 #define DEF_MACHMODE(SYM, NAME, CLASS, SIZE, UNIT, WIDER) UNIT,
103 int mode_unit_size
[(int) MAX_MACHINE_MODE
] = {
104 #include "machmode.def" /* machine modes are documented here */
109 /* Indexed by machine mode, gives next wider natural mode
110 (QI -> HI -> SI -> DI, etc.) Widening multiply instructions
113 #define DEF_MACHMODE(SYM, NAME, CLASS, SIZE, UNIT, WIDER) \
114 (enum machine_mode) WIDER,
116 enum machine_mode mode_wider_mode
[(int) MAX_MACHINE_MODE
] = {
117 #include "machmode.def" /* machine modes are documented here */
122 /* Indexed by mode class, gives the narrowest mode for each class. */
124 enum machine_mode class_narrowest_mode
[(int) MAX_MODE_CLASS
];
126 /* Indexed by rtx code, gives a sequence of operand-types for
127 rtx's of that code. The sequence is a C string in which
128 each character describes one operand. */
130 char *rtx_format
[] = {
132 can cause a warning message
133 "0" field is unused (or used in a phase-dependent manner)
137 "n" like "i", but prints entries from `note_insn_name'
138 "w" an integer of width HOST_BITS_PER_WIDE_INT
140 "s" a pointer to a string
142 "S" like "s", but optional:
143 the containing rtx may end before this operand
144 "e" a pointer to an rtl expression
145 prints the expression
146 "E" a pointer to a vector that points to a number of rtl expressions
147 prints a list of the rtl expressions
148 "V" like "E", but optional:
149 the containing rtx may end before this operand
150 "u" a pointer to another insn
151 prints the uid of the insn. */
153 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) FORMAT ,
154 #include "rtl.def" /* rtl expressions are defined here */
158 /* Indexed by rtx code, gives a character representing the "class" of
159 that rtx code. See rtl.def for documentation on the defined classes. */
162 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) CLASS,
163 #include "rtl.def" /* rtl expressions are defined here */
167 /* Names for kinds of NOTEs and REG_NOTEs. */
169 char *note_insn_name
[] = { 0 , "NOTE_INSN_DELETED",
170 "NOTE_INSN_BLOCK_BEG", "NOTE_INSN_BLOCK_END",
171 "NOTE_INSN_LOOP_BEG", "NOTE_INSN_LOOP_END",
172 "NOTE_INSN_FUNCTION_END", "NOTE_INSN_SETJMP",
173 "NOTE_INSN_LOOP_CONT", "NOTE_INSN_LOOP_VTOP",
174 "NOTE_INSN_PROLOGUE_END", "NOTE_INSN_EPILOGUE_BEG",
175 "NOTE_INSN_DELETED_LABEL", "NOTE_INSN_FUNCTION_BEG"};
177 char *reg_note_name
[] = { "", "REG_DEAD", "REG_INC", "REG_EQUIV", "REG_WAS_0",
178 "REG_EQUAL", "REG_RETVAL", "REG_LIBCALL",
179 "REG_NONNEG", "REG_NO_CONFLICT", "REG_UNUSED",
180 "REG_CC_SETTER", "REG_CC_USER", "REG_LABEL",
181 "REG_DEP_ANTI", "REG_DEP_OUTPUT" };
183 /* Allocate an rtx vector of N elements.
184 Store the length, and initialize all elements to zero. */
193 rt
= (rtvec
) obstack_alloc (rtl_obstack
,
194 sizeof (struct rtvec_def
)
195 + (( n
- 1) * sizeof (rtunion
)));
197 /* clear out the vector */
199 for (i
=0; i
< n
; i
++)
200 rt
->elem
[i
].rtvec
= NULL
; /* @@ not portable due to rtunion */
205 /* Allocate an rtx of code CODE. The CODE is stored in the rtx;
206 all the rest is initialized to zero. */
213 register struct obstack
*ob
= rtl_obstack
;
214 register int nelts
= GET_RTX_LENGTH (code
);
215 register int length
= sizeof (struct rtx_def
)
216 + (nelts
- 1) * sizeof (rtunion
);
218 /* This function is called more than any other in GCC,
219 so we manipulate the obstack directly.
221 Even though rtx objects are word aligned, we may be sharing an obstack
222 with tree nodes, which may have to be double-word aligned. So align
223 our length to the alignment mask in the obstack. */
225 length
= (length
+ ob
->alignment_mask
) & ~ ob
->alignment_mask
;
227 if (ob
->chunk_limit
- ob
->next_free
< length
)
228 _obstack_newchunk (ob
, length
);
229 rt
= (rtx
)ob
->object_base
;
230 ob
->next_free
+= length
;
231 ob
->object_base
= ob
->next_free
;
233 /* We want to clear everything up to the FLD array. Normally, this is
234 one int, but we don't want to assume that and it isn't very portable
237 length
= (sizeof (struct rtx_def
) - sizeof (rtunion
) - 1) / sizeof (int);
238 for (; length
>= 0; length
--)
239 ((int *) rt
)[length
] = 0;
246 /* Free the rtx X and all RTL allocated since X. */
252 obstack_free (rtl_obstack
, x
);
255 /* Create a new copy of an rtx.
256 Recursively copies the operands of the rtx,
257 except for those few rtx codes that are sharable. */
265 register RTX_CODE code
;
266 register char *format_ptr
;
268 code
= GET_CODE (orig
);
281 /* SCRATCH must be shared because they represent distinct values. */
285 /* CONST can be shared if it contains a SYMBOL_REF. If it contains
286 a LABEL_REF, it isn't sharable. */
287 if (GET_CODE (XEXP (orig
, 0)) == PLUS
288 && GET_CODE (XEXP (XEXP (orig
, 0), 0)) == SYMBOL_REF
289 && GET_CODE (XEXP (XEXP (orig
, 0), 1)) == CONST_INT
)
293 /* A MEM with a constant address is not sharable. The problem is that
294 the constant address may need to be reloaded. If the mem is shared,
295 then reloading one copy of this mem will cause all copies to appear
296 to have been reloaded. */
299 copy
= rtx_alloc (code
);
300 PUT_MODE (copy
, GET_MODE (orig
));
301 copy
->in_struct
= orig
->in_struct
;
302 copy
->volatil
= orig
->volatil
;
303 copy
->unchanging
= orig
->unchanging
;
304 copy
->integrated
= orig
->integrated
;
306 format_ptr
= GET_RTX_FORMAT (GET_CODE (copy
));
308 for (i
= 0; i
< GET_RTX_LENGTH (GET_CODE (copy
)); i
++)
310 switch (*format_ptr
++)
313 XEXP (copy
, i
) = XEXP (orig
, i
);
314 if (XEXP (orig
, i
) != NULL
)
315 XEXP (copy
, i
) = copy_rtx (XEXP (orig
, i
));
320 XEXP (copy
, i
) = XEXP (orig
, i
);
325 XVEC (copy
, i
) = XVEC (orig
, i
);
326 if (XVEC (orig
, i
) != NULL
)
328 XVEC (copy
, i
) = rtvec_alloc (XVECLEN (orig
, i
));
329 for (j
= 0; j
< XVECLEN (copy
, i
); j
++)
330 XVECEXP (copy
, i
, j
) = copy_rtx (XVECEXP (orig
, i
, j
));
335 XWINT (copy
, i
) = XWINT (orig
, i
);
339 XINT (copy
, i
) = XINT (orig
, i
);
344 XSTR (copy
, i
) = XSTR (orig
, i
);
354 /* Similar to `copy_rtx' except that if MAY_SHARE is present, it is
355 placed in the result directly, rather than being copied. */
358 copy_most_rtx (orig
, may_share
)
360 register rtx may_share
;
364 register RTX_CODE code
;
365 register char *format_ptr
;
367 if (orig
== may_share
)
370 code
= GET_CODE (orig
);
385 copy
= rtx_alloc (code
);
386 PUT_MODE (copy
, GET_MODE (orig
));
387 copy
->in_struct
= orig
->in_struct
;
388 copy
->volatil
= orig
->volatil
;
389 copy
->unchanging
= orig
->unchanging
;
390 copy
->integrated
= orig
->integrated
;
392 format_ptr
= GET_RTX_FORMAT (GET_CODE (copy
));
394 for (i
= 0; i
< GET_RTX_LENGTH (GET_CODE (copy
)); i
++)
396 switch (*format_ptr
++)
399 XEXP (copy
, i
) = XEXP (orig
, i
);
400 if (XEXP (orig
, i
) != NULL
&& XEXP (orig
, i
) != may_share
)
401 XEXP (copy
, i
) = copy_most_rtx (XEXP (orig
, i
), may_share
);
406 XEXP (copy
, i
) = XEXP (orig
, i
);
411 XVEC (copy
, i
) = XVEC (orig
, i
);
412 if (XVEC (orig
, i
) != NULL
)
414 XVEC (copy
, i
) = rtvec_alloc (XVECLEN (orig
, i
));
415 for (j
= 0; j
< XVECLEN (copy
, i
); j
++)
417 = copy_most_rtx (XVECEXP (orig
, i
, j
), may_share
);
422 XWINT (copy
, i
) = XWINT (orig
, i
);
427 XINT (copy
, i
) = XINT (orig
, i
);
432 XSTR (copy
, i
) = XSTR (orig
, i
);
442 /* Subroutines of read_rtx. */
444 /* Dump code after printing a message. Used when read_rtx finds
448 dump_and_abort (expected_c
, actual_c
, infile
)
449 int expected_c
, actual_c
;
456 "Expected character %c. Found character %c.",
457 expected_c
, actual_c
);
458 fprintf (stderr
, " At file position: %ld\n", ftell (infile
));
459 fprintf (stderr
, "Following characters are:\n\t");
460 for (i
= 0; i
< 200; i
++)
466 fprintf (stderr
, "Aborting.\n");
470 /* Read chars from INFILE until a non-whitespace char
471 and return that. Comments, both Lisp style and C style,
472 are treated as whitespace.
473 Tools such as genflags use this function. */
476 read_skip_spaces (infile
)
480 while (c
= getc (infile
))
482 if (c
== ' ' || c
== '\n' || c
== '\t' || c
== '\f')
486 while ((c
= getc (infile
)) && c
!= '\n') ;
493 dump_and_abort ('*', c
, infile
);
496 while (c
= getc (infile
))
498 if (prevc
== '*' && c
== '/')
508 /* Read an rtx code name into the buffer STR[].
509 It is terminated by any of the punctuation chars of rtx printed syntax. */
512 read_name (str
, infile
)
519 c
= read_skip_spaces(infile
);
524 if (c
== ' ' || c
== '\n' || c
== '\t' || c
== '\f')
526 if (c
== ':' || c
== ')' || c
== ']' || c
== '"' || c
== '/'
527 || c
== '(' || c
== '[')
537 fprintf (stderr
, "missing name or number");
538 dump_and_abort (-1, -1, infile
);
544 /* Read an rtx in printed representation from INFILE
545 and return an actual rtx in core constructed accordingly.
546 read_rtx is not used in the compiler proper, but rather in
547 the utilities gen*.c that construct C code from machine descriptions. */
553 register int i
, j
, list_counter
;
555 register char *format_ptr
;
556 /* tmp_char is a buffer used for reading decimal integers
557 and names of rtx types and machine modes.
558 Therefore, 256 must be enough. */
563 HOST_WIDE_INT tmp_wide
;
565 /* Linked list structure for making RTXs: */
568 struct rtx_list
*next
;
569 rtx value
; /* Value of this node... */
572 c
= read_skip_spaces (infile
); /* Should be open paren. */
574 dump_and_abort ('(', c
, infile
);
576 read_name (tmp_char
, infile
);
580 for (i
=0; i
< NUM_RTX_CODE
; i
++) /* @@ might speed this search up */
582 if (!(strcmp (tmp_char
, GET_RTX_NAME (i
))))
584 tmp_code
= (RTX_CODE
) i
; /* get value for name */
588 if (tmp_code
== UNKNOWN
)
591 "Unknown rtx read in rtl.read_rtx(). Code name was %s .",
594 /* (NIL) stands for an expression that isn't there. */
597 /* Discard the closeparen. */
598 while ((c
= getc (infile
)) && c
!= ')');
602 return_rtx
= rtx_alloc (tmp_code
); /* if we end up with an insn expression
603 then we free this space below. */
604 format_ptr
= GET_RTX_FORMAT (GET_CODE (return_rtx
));
606 /* If what follows is `: mode ', read it and
607 store the mode in the rtx. */
609 i
= read_skip_spaces (infile
);
613 read_name (tmp_char
, infile
);
614 for (k
= 0; k
< NUM_MACHINE_MODES
; k
++)
615 if (!strcmp (GET_MODE_NAME (k
), tmp_char
))
618 PUT_MODE (return_rtx
, (enum machine_mode
) k
);
623 for (i
= 0; i
< GET_RTX_LENGTH (GET_CODE (return_rtx
)); i
++)
624 switch (*format_ptr
++)
626 /* 0 means a field for internal use only.
627 Don't expect it to be present in the input. */
633 XEXP (return_rtx
, i
) = read_rtx (infile
);
637 /* 'V' is an optional vector: if a closeparen follows,
638 just store NULL for this element. */
639 c
= read_skip_spaces (infile
);
643 XVEC (return_rtx
, i
) = 0;
646 /* Now process the vector. */
650 register struct rtx_list
*next_rtx
, *rtx_list_link
;
651 struct rtx_list
*list_rtx
;
653 c
= read_skip_spaces (infile
);
655 dump_and_abort ('[', c
, infile
);
657 /* add expressions to a list, while keeping a count */
660 while ((c
= read_skip_spaces (infile
)) && c
!= ']')
664 rtx_list_link
= (struct rtx_list
*)
665 alloca (sizeof (struct rtx_list
));
666 rtx_list_link
->value
= read_rtx (infile
);
668 list_rtx
= rtx_list_link
;
670 next_rtx
->next
= rtx_list_link
;
671 next_rtx
= rtx_list_link
;
672 rtx_list_link
->next
= 0;
674 /* get vector length and allocate it */
675 XVEC (return_rtx
, i
) = (list_counter
676 ? rtvec_alloc (list_counter
) : NULL_RTVEC
);
677 if (list_counter
> 0)
680 for (j
= 0; j
< list_counter
; j
++,
681 next_rtx
= next_rtx
->next
)
682 XVECEXP (return_rtx
, i
, j
) = next_rtx
->value
;
684 /* close bracket gotten */
689 /* 'S' is an optional string: if a closeparen follows,
690 just store NULL for this element. */
691 c
= read_skip_spaces (infile
);
695 XSTR (return_rtx
, i
) = 0;
702 register char *stringbuf
;
704 c
= read_skip_spaces (infile
);
708 c
= read_skip_spaces (infile
);
711 dump_and_abort ('"', c
, infile
);
715 c
= getc (infile
); /* Read the string */
718 c
= getc (infile
); /* Read the string */
719 /* \; makes stuff for a C string constant containing
723 obstack_grow (rtl_obstack
, "\\n\\t", 4);
730 obstack_1grow (rtl_obstack
, c
);
733 obstack_1grow (rtl_obstack
, 0);
734 stringbuf
= (char *) obstack_finish (rtl_obstack
);
738 c
= read_skip_spaces (infile
);
740 dump_and_abort (')', c
, infile
);
742 XSTR (return_rtx
, i
) = stringbuf
;
747 read_name (tmp_char
, infile
);
748 #if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT
749 tmp_wide
= atoi (tmp_char
);
751 tmp_wide
= atol (tmp_char
);
753 XWINT (return_rtx
, i
) = tmp_wide
;
758 read_name (tmp_char
, infile
);
759 tmp_int
= atoi (tmp_char
);
760 XINT (return_rtx
, i
) = tmp_int
;
765 "switch format wrong in rtl.read_rtx(). format was: %c.\n",
767 fprintf (stderr
, "\tfile position: %ld\n", ftell (infile
));
771 c
= read_skip_spaces (infile
);
773 dump_and_abort (')', c
, infile
);
778 /* This is called once per compilation, before any rtx's are constructed.
779 It initializes the vector `rtx_length', the extra CC modes, if any,
780 and computes certain commonly-used modes. */
785 int min_class_size
[(int) MAX_MODE_CLASS
];
786 enum machine_mode mode
;
789 for (i
= 0; i
< NUM_RTX_CODE
; i
++)
790 rtx_length
[i
] = strlen (rtx_format
[i
]);
792 /* Make CONST_DOUBLE bigger, if real values are bigger than
793 it normally expects to have room for.
794 Note that REAL_VALUE_TYPE is not defined by default,
795 since tree.h is not included. But the default dfn as `double'
797 #ifdef REAL_VALUE_TYPE
798 i
= sizeof (REAL_VALUE_TYPE
) / sizeof (rtunion
) + 2;
799 if (rtx_length
[(int) CONST_DOUBLE
] < i
)
801 char *s
= (char *) xmalloc (i
+ 1);
802 rtx_length
[(int) CONST_DOUBLE
] = i
;
803 rtx_format
[(int) CONST_DOUBLE
] = s
;
806 /* Set the GET_RTX_FORMAT of CONST_DOUBLE to a string
807 of as many `w's as we now have elements. Subtract two from
808 the size to account for the 'e' and the '0'. */
809 for (i
= 2; i
< rtx_length
[(int) CONST_DOUBLE
]; i
++)
815 #ifdef EXTRA_CC_MODES
816 for (i
= (int) CCmode
+ 1; i
< (int) MAX_MACHINE_MODE
; i
++)
818 mode_class
[i
] = MODE_CC
;
819 mode_size
[i
] = mode_size
[(int) CCmode
];
820 mode_unit_size
[i
] = mode_unit_size
[(int) CCmode
];
821 mode_wider_mode
[i
- 1] = (enum machine_mode
) i
;
822 mode_wider_mode
[i
] = VOIDmode
;
826 /* Find the narrowest mode for each class. */
828 for (i
= 0; i
< (int) MAX_MODE_CLASS
; i
++)
829 min_class_size
[i
] = 1000;
831 for (mode
= VOIDmode
; (int) mode
< (int) MAX_MACHINE_MODE
;
832 mode
= (enum machine_mode
) ((int) mode
+ 1))
834 if (GET_MODE_SIZE (mode
) < min_class_size
[(int) GET_MODE_CLASS (mode
)])
836 class_narrowest_mode
[(int) GET_MODE_CLASS (mode
)] = mode
;
837 min_class_size
[(int) GET_MODE_CLASS (mode
)] = GET_MODE_SIZE (mode
);
843 gcc_memset (dest
, value
, len
)