i386.md: Global update to use new string syntax where it will improve readability.
* config/i386/i386.md: Global update to use new string syntax where it will improve readability. Warning fixes: (*truncdfsf2_2): Abort if which_alternative is not 0 or 1. (*adddi_1_rex64, *adddi_2_rex64, *adddi_3_rex64, *adddi_4_rex64, *adddi_5_rex64): Cast 1 to unsigned int. * read-rtl.c: Syntactic sugar for C embedded in strings in machine descriptions. (read_string): Break inner loop into separate function. Takes an int. Dispatch to read_quoted_string or read_braced_string as appropriate. Automatically insert a leading star on braced strings if STAR_IF_BRACED is true. (read_quoted_string, read_braced_string): New functions. * doc/rtl.texi, doc/md.texi: Document new syntax. Update examples to match. * rtl.c: Split RTL reader (read_rtx, read_skip_spaces, traverse_md_constants, fatal_with_file_and_line, fatal_expected_char, read_name, read_string, def_hash, def_name_eq_p, read_constants, and related data) to its own file. Weed out now-unnecessary #includes. * read-rtl.c: New file. * Makefile.in (HOST_RTL): Add read-rtl.o. (read-rtl.o): New rule. (rtl.o, $(HOST_PREFIX_1)rtl.o): Update dependencies. * doc/gcc.texi (Passes): Talk briefly about the support library used by genfoo. * doc/rtl.texi (Reading RTL): read_rtx is not available in the compiler itself. From-SVN: r43646
This commit is contained in:
Zack Weinberg
parent
0168a84948
commit
0f40f9f7c6
@ -1,3 +1,35 @@
|
|||||||
|
2001-06-28 Zack Weinberg <zackw@stanford.edu>
|
||||||
|
|
||||||
|
* config/i386/i386.md: Global update to use new string syntax
|
||||||
|
where it will improve readability. Warning fixes:
|
||||||
|
(*truncdfsf2_2): Abort if which_alternative is not 0 or 1.
|
||||||
|
(*adddi_1_rex64, *adddi_2_rex64, *adddi_3_rex64,
|
||||||
|
*adddi_4_rex64, *adddi_5_rex64): Cast 1 to unsigned int.
|
||||||
|
|
||||||
|
* read-rtl.c: Syntactic sugar for C embedded in strings in
|
||||||
|
machine descriptions.
|
||||||
|
(read_string): Break inner loop into separate function. Takes
|
||||||
|
an int. Dispatch to read_quoted_string or read_braced_string
|
||||||
|
as appropriate. Automatically insert a leading star on braced
|
||||||
|
strings if STAR_IF_BRACED is true.
|
||||||
|
(read_quoted_string, read_braced_string): New functions.
|
||||||
|
* doc/rtl.texi, doc/md.texi: Document new syntax. Update
|
||||||
|
examples to match.
|
||||||
|
|
||||||
|
* rtl.c: Split RTL reader (read_rtx, read_skip_spaces,
|
||||||
|
traverse_md_constants, fatal_with_file_and_line,
|
||||||
|
fatal_expected_char, read_name, read_string, def_hash,
|
||||||
|
def_name_eq_p, read_constants, and related data) to its own
|
||||||
|
file. Weed out now-unnecessary #includes.
|
||||||
|
* read-rtl.c: New file.
|
||||||
|
* Makefile.in (HOST_RTL): Add read-rtl.o.
|
||||||
|
(read-rtl.o): New rule.
|
||||||
|
(rtl.o, $(HOST_PREFIX_1)rtl.o): Update dependencies.
|
||||||
|
* doc/gcc.texi (Passes): Talk briefly about the support
|
||||||
|
library used by genfoo.
|
||||||
|
* doc/rtl.texi (Reading RTL): read_rtx is not available in the
|
||||||
|
compiler itself.
|
||||||
|
|
||||||
2001-06-28 Stan Shebs <shebs@apple.com>
|
2001-06-28 Stan Shebs <shebs@apple.com>
|
||||||
|
|
||||||
* config/darwin.h (REGISTER_TARGET_PRAGMAS): Define.
|
* config/darwin.h (REGISTER_TARGET_PRAGMAS): Define.
|
||||||
@ -121,7 +153,7 @@ Wed Jun 27 18:01:09 2001 Jeffrey A Law (law@cygnus.com)
|
|||||||
. at end of sentences preceded by a capital letter with @..
|
. at end of sentences preceded by a capital letter with @..
|
||||||
|
|
||||||
2001-06-26 Daniel Berlin <dan@cgsoftware.com>
|
2001-06-26 Daniel Berlin <dan@cgsoftware.com>
|
||||||
|
|
||||||
* doc/invoke.texi: Add description of max-gcse-passes param.
|
* doc/invoke.texi: Add description of max-gcse-passes param.
|
||||||
|
|
||||||
* gcse.c (gcse_main): Use MAX_GCSE_PASSES instead of MAX_PASSES.
|
* gcse.c (gcse_main): Use MAX_GCSE_PASSES instead of MAX_PASSES.
|
||||||
@ -439,7 +471,7 @@ Tue Jun 26 12:40:12 CEST 2001 Jan Hubicka <jh@suse.cz>
|
|||||||
* config/ia64/quadlib.c: New.
|
* config/ia64/quadlib.c: New.
|
||||||
* config/ia64/t-hpux: New.
|
* config/ia64/t-hpux: New.
|
||||||
* config/i386/i386.h (INTEL_EXTENDED_IEEE_FORMAT): Define to one.
|
* config/i386/i386.h (INTEL_EXTENDED_IEEE_FORMAT): Define to one.
|
||||||
|
|
||||||
2001-06-25 Jim Wilson <wilson@redhat.com>
|
2001-06-25 Jim Wilson <wilson@redhat.com>
|
||||||
|
|
||||||
* config/i960/t-960bare (i960-c.o): Add missing header dependencies.
|
* config/i960/t-960bare (i960-c.o): Add missing header dependencies.
|
||||||
@ -734,7 +766,7 @@ Thu Jun 21 22:15:10 2001 J"orn Rennecke <amylaar@redhat.com>
|
|||||||
2001-06-21 DJ Delorie <dj@redhat.com>
|
2001-06-21 DJ Delorie <dj@redhat.com>
|
||||||
|
|
||||||
* integrate.c (mark_hard_reg_initial_vals): Check for NULL.
|
* integrate.c (mark_hard_reg_initial_vals): Check for NULL.
|
||||||
|
|
||||||
* integrate.c (ggc.h): Include.
|
* integrate.c (ggc.h): Include.
|
||||||
(initial_value_pair, initial_value_struct,
|
(initial_value_pair, initial_value_struct,
|
||||||
setup_initial_hard_reg_value_integration): Add prototypes.
|
setup_initial_hard_reg_value_integration): Add prototypes.
|
||||||
@ -796,7 +828,7 @@ Wed Jun 20 08:35:02 2001 Jeffrey A Law (law@cygnus.com)
|
|||||||
|
|
||||||
* ssa.c (rename_block): Update parameter to remove_phi_alternative
|
* ssa.c (rename_block): Update parameter to remove_phi_alternative
|
||||||
(convert_from_ssa): Do create REG_DEAD and REG_UNUSED notes when
|
(convert_from_ssa): Do create REG_DEAD and REG_UNUSED notes when
|
||||||
re-running life analysis.
|
re-running life analysis.
|
||||||
|
|
||||||
2001-06-20 Stan Shebs <shebs@apple.com>
|
2001-06-20 Stan Shebs <shebs@apple.com>
|
||||||
|
|
||||||
|
|||||||
@ -633,7 +633,7 @@ LIBS = $(OBSTACK) $(INTLLIBS) @LIBS@ $(VFPRINTF) $(DOPRINT) \
|
|||||||
HOST_LIBS = $(USE_HOST_OBSTACK) $(USE_HOST_VFPRINTF) \
|
HOST_LIBS = $(USE_HOST_OBSTACK) $(USE_HOST_VFPRINTF) \
|
||||||
$(USE_HOST_DOPRINT) $(USE_HOST_STRSTR)
|
$(USE_HOST_DOPRINT) $(USE_HOST_STRSTR)
|
||||||
|
|
||||||
HOST_RTL = $(HOST_PREFIX)rtl.o $(HOST_PREFIX)bitmap.o \
|
HOST_RTL = $(HOST_PREFIX)rtl.o read-rtl.o $(HOST_PREFIX)bitmap.o \
|
||||||
$(HOST_PREFIX)ggc-none.o gensupport.o hashtab.o safe-ctype.o
|
$(HOST_PREFIX)ggc-none.o gensupport.o hashtab.o safe-ctype.o
|
||||||
|
|
||||||
HOST_PRINT = $(HOST_PREFIX)print-rtl.o
|
HOST_PRINT = $(HOST_PREFIX)print-rtl.o
|
||||||
@ -1344,12 +1344,13 @@ toplev.o : toplev.c $(CONFIG_H) $(SYSTEM_H) $(TREE_H) $(RTL_H) function.h \
|
|||||||
-c $(srcdir)/toplev.c
|
-c $(srcdir)/toplev.c
|
||||||
main.o : main.c toplev.h
|
main.o : main.c toplev.h
|
||||||
|
|
||||||
rtl.o : rtl.c $(GCONFIG_H) $(SYSTEM_H) $(RTL_H) bitmap.h $(GGC_H) toplev.h
|
rtl.o : rtl.c $(GCONFIG_H) $(SYSTEM_H) $(RTL_H) real.h $(GGC_H)
|
||||||
$(CC) -c $(ALL_CFLAGS) -DGENERATOR_FILE $(ALL_CPPFLAGS) $(INCLUDES) $< $(OUTPUT_OPTION)
|
$(CC) -c $(ALL_CFLAGS) -DGENERATOR_FILE $(ALL_CPPFLAGS) $(INCLUDES) $< $(OUTPUT_OPTION)
|
||||||
|
|
||||||
print-rtl.o : print-rtl.c $(GCONFIG_H) $(SYSTEM_H) $(RTL_H) hard-reg-set.h \
|
print-rtl.o : print-rtl.c $(GCONFIG_H) $(SYSTEM_H) $(RTL_H) hard-reg-set.h \
|
||||||
$(BASIC_BLOCK_H)
|
$(BASIC_BLOCK_H)
|
||||||
$(CC) -c $(ALL_CFLAGS) -DGENERATOR_FILE $(ALL_CPPFLAGS) $(INCLUDES) $< $(OUTPUT_OPTION)
|
$(CC) -c $(ALL_CFLAGS) -DGENERATOR_FILE $(ALL_CPPFLAGS) $(INCLUDES) $< $(OUTPUT_OPTION)
|
||||||
|
|
||||||
rtlanal.o : rtlanal.c $(CONFIG_H) $(SYSTEM_H) toplev.h $(RTL_H) hard-reg-set.h
|
rtlanal.o : rtlanal.c $(CONFIG_H) $(SYSTEM_H) toplev.h $(RTL_H) hard-reg-set.h
|
||||||
errors.o : errors.c $(GCONFIG_H) $(SYSTEM_H) errors.h
|
errors.o : errors.c $(GCONFIG_H) $(SYSTEM_H) errors.h
|
||||||
$(CC) -c $(ALL_CFLAGS) -DGENERATOR_FILE $(ALL_CPPFLAGS) $(INCLUDES) $< $(OUTPUT_OPTION)
|
$(CC) -c $(ALL_CFLAGS) -DGENERATOR_FILE $(ALL_CPPFLAGS) $(INCLUDES) $< $(OUTPUT_OPTION)
|
||||||
@ -1704,6 +1705,10 @@ s-genrtl: gengenrtl$(build_exeext) $(srcdir)/move-if-change $(RTL_BASE_H)
|
|||||||
# about the target machine. They do depend on config.h itself,
|
# about the target machine. They do depend on config.h itself,
|
||||||
# since that describes the host machine.
|
# since that describes the host machine.
|
||||||
|
|
||||||
|
read-rtl.o: read-rtl.c $(HCONFIG_H) $(SYSTEM_H) $(RTL_H) \
|
||||||
|
$(OBSTACK_H) $(HASHTAB_H)
|
||||||
|
$(HOST_CC) -c $(HOST_CFLAGS) $(HOST_CPPFLAGS) $(INCLUDES) $(srcdir)/read-rtl.c
|
||||||
|
|
||||||
gensupport.o: gensupport.c $(RTL_H) $(OBSTACK_H) $(SYSTEM_H) errors.h gensupport.h
|
gensupport.o: gensupport.c $(RTL_H) $(OBSTACK_H) $(SYSTEM_H) errors.h gensupport.h
|
||||||
$(HOST_CC) -c $(HOST_CFLAGS) $(HOST_CPPFLAGS) $(INCLUDES) $(srcdir)/gensupport.c
|
$(HOST_CC) -c $(HOST_CFLAGS) $(HOST_CPPFLAGS) $(INCLUDES) $(srcdir)/gensupport.c
|
||||||
|
|
||||||
@ -1814,7 +1819,7 @@ gengenrtl.o : gengenrtl.c $(RTL_BASE_H) $(HCONFIG_H) $(SYSTEM_H) real.h
|
|||||||
# and HOST_PREFIX_1 is `foobar', just to ensure these rules don't conflict
|
# and HOST_PREFIX_1 is `foobar', just to ensure these rules don't conflict
|
||||||
# with the rules for rtl.o, etc.
|
# with the rules for rtl.o, etc.
|
||||||
$(HOST_PREFIX_1)rtl.o: $(srcdir)/rtl.c $(HCONFIG_H) $(SYSTEM_H) $(RTL_H) \
|
$(HOST_PREFIX_1)rtl.o: $(srcdir)/rtl.c $(HCONFIG_H) $(SYSTEM_H) $(RTL_H) \
|
||||||
bitmap.h $(GGC_H) toplev.h $(HASHTAB_H)
|
$(GGC_H)
|
||||||
rm -f $(HOST_PREFIX)rtl.c
|
rm -f $(HOST_PREFIX)rtl.c
|
||||||
sed -e 's/config[.]h/hconfig.h/' $(srcdir)/rtl.c > $(HOST_PREFIX)rtl.c
|
sed -e 's/config[.]h/hconfig.h/' $(srcdir)/rtl.c > $(HOST_PREFIX)rtl.c
|
||||||
$(HOST_CC) -c $(HOST_CFLAGS) $(HOST_CPPFLAGS) $(INCLUDES) $(HOST_PREFIX)rtl.c
|
$(HOST_CC) -c $(HOST_CFLAGS) $(HOST_CPPFLAGS) $(INCLUDES) $(HOST_PREFIX)rtl.c
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
@ -3724,6 +3724,10 @@ and @file{rtl.def}, and subroutines in file @file{rtl.c}. The tools
|
|||||||
@code{gen*} also use these files to read and work with the machine
|
@code{gen*} also use these files to read and work with the machine
|
||||||
description RTL@.
|
description RTL@.
|
||||||
|
|
||||||
|
@item
|
||||||
|
All the tools that read the machine description use support routines
|
||||||
|
found in @file{gensupport.c}, @file{errors.c}, and @file{read-rtl.c}.
|
||||||
|
|
||||||
@findex genconfig
|
@findex genconfig
|
||||||
@item
|
@item
|
||||||
Several passes refer to the header file @file{insn-config.h} which
|
Several passes refer to the header file @file{insn-config.h} which
|
||||||
|
|||||||
@ -184,9 +184,26 @@ Here is an actual example of an instruction pattern, for the 68000/68020.
|
|||||||
(match_operand:SI 0 "general_operand" "rm"))]
|
(match_operand:SI 0 "general_operand" "rm"))]
|
||||||
""
|
""
|
||||||
"*
|
"*
|
||||||
@{ if (TARGET_68020 || ! ADDRESS_REG_P (operands[0]))
|
@{
|
||||||
|
if (TARGET_68020 || ! ADDRESS_REG_P (operands[0]))
|
||||||
return \"tstl %0\";
|
return \"tstl %0\";
|
||||||
return \"cmpl #0,%0\"; @}")
|
return \"cmpl #0,%0\";
|
||||||
|
@}")
|
||||||
|
@end example
|
||||||
|
|
||||||
|
@noindent
|
||||||
|
This can also be written using braced strings:
|
||||||
|
|
||||||
|
@example
|
||||||
|
(define_insn "tstsi"
|
||||||
|
[(set (cc0)
|
||||||
|
(match_operand:SI 0 "general_operand" "rm"))]
|
||||||
|
""
|
||||||
|
@{
|
||||||
|
if (TARGET_68020 || ! ADDRESS_REG_P (operands[0]))
|
||||||
|
return "tstl %0";
|
||||||
|
return "cmpl #0,%0";
|
||||||
|
@})
|
||||||
@end example
|
@end example
|
||||||
|
|
||||||
This is an instruction that sets the condition codes based on the value of
|
This is an instruction that sets the condition codes based on the value of
|
||||||
@ -620,6 +637,11 @@ template-string you want. Most such templates use C string literals, which
|
|||||||
require doublequote characters to delimit them. To include these
|
require doublequote characters to delimit them. To include these
|
||||||
doublequote characters in the string, prefix each one with @samp{\}.
|
doublequote characters in the string, prefix each one with @samp{\}.
|
||||||
|
|
||||||
|
If the output control string is written as a brace block instead of a
|
||||||
|
double-quoted string, it is automatically assumed to be C code. In that
|
||||||
|
case, it is not necessary to put in a leading asterisk, or to escape the
|
||||||
|
doublequotes surrounding C string literals.
|
||||||
|
|
||||||
The operands may be found in the array @code{operands}, whose C data type
|
The operands may be found in the array @code{operands}, whose C data type
|
||||||
is @code{rtx []}.
|
is @code{rtx []}.
|
||||||
|
|
||||||
@ -656,10 +678,10 @@ a pattern could use @code{which_alternative} to choose between them:
|
|||||||
[(set (match_operand:SI 0 "general_operand" "=r,m")
|
[(set (match_operand:SI 0 "general_operand" "=r,m")
|
||||||
(const_int 0))]
|
(const_int 0))]
|
||||||
""
|
""
|
||||||
"*
|
@{
|
||||||
return (which_alternative == 0
|
return (which_alternative == 0
|
||||||
? \"clrreg %0\" : \"clrmem %0\");
|
? "clrreg %0" : "clrmem %0");
|
||||||
")
|
@})
|
||||||
@end smallexample
|
@end smallexample
|
||||||
|
|
||||||
The example above, where the assembler code to generate was
|
The example above, where the assembler code to generate was
|
||||||
@ -3943,21 +3965,19 @@ Here is an example, taken from the 68000 machine description:
|
|||||||
(set (match_operand:DF 0 "register_operand" "=f")
|
(set (match_operand:DF 0 "register_operand" "=f")
|
||||||
(match_operand:DF 1 "register_operand" "ad"))]
|
(match_operand:DF 1 "register_operand" "ad"))]
|
||||||
"FP_REG_P (operands[0]) && ! FP_REG_P (operands[1])"
|
"FP_REG_P (operands[0]) && ! FP_REG_P (operands[1])"
|
||||||
"*
|
|
||||||
@{
|
@{
|
||||||
rtx xoperands[2];
|
rtx xoperands[2];
|
||||||
xoperands[1] = gen_rtx (REG, SImode, REGNO (operands[1]) + 1);
|
xoperands[1] = gen_rtx (REG, SImode, REGNO (operands[1]) + 1);
|
||||||
#ifdef MOTOROLA
|
#ifdef MOTOROLA
|
||||||
output_asm_insn (\"move.l %1,(sp)\", xoperands);
|
output_asm_insn ("move.l %1,(sp)", xoperands);
|
||||||
output_asm_insn (\"move.l %1,-(sp)\", operands);
|
output_asm_insn ("move.l %1,-(sp)", operands);
|
||||||
return \"fmove.d (sp)+,%0\";
|
return "fmove.d (sp)+,%0";
|
||||||
#else
|
#else
|
||||||
output_asm_insn (\"movel %1,sp@@\", xoperands);
|
output_asm_insn ("movel %1,sp@@", xoperands);
|
||||||
output_asm_insn (\"movel %1,sp@@-\", operands);
|
output_asm_insn ("movel %1,sp@@-", operands);
|
||||||
return \"fmoved sp@@+,%0\";
|
return "fmoved sp@@+,%0";
|
||||||
#endif
|
#endif
|
||||||
@}
|
@})
|
||||||
")
|
|
||||||
@end smallexample
|
@end smallexample
|
||||||
|
|
||||||
@need 1000
|
@need 1000
|
||||||
@ -4656,11 +4676,10 @@ as follows:
|
|||||||
[(set (pc)
|
[(set (pc)
|
||||||
(label_ref (match_operand 0 "" "")))]
|
(label_ref (match_operand 0 "" "")))]
|
||||||
""
|
""
|
||||||
"*
|
|
||||||
@{
|
@{
|
||||||
return (get_attr_length (insn) == 4
|
return (get_attr_length (insn) == 4
|
||||||
? \"b %l0\" : \"l r15,=a(%l0); br r15\");
|
? "b %l0" : "l r15,=a(%l0); br r15");
|
||||||
@}"
|
@}
|
||||||
[(set (attr "length") (if_then_else (lt (match_dup 0) (const_int 4096))
|
[(set (attr "length") (if_then_else (lt (match_dup 0) (const_int 4096))
|
||||||
(const_int 4)
|
(const_int 4)
|
||||||
(const_int 6)))])
|
(const_int 6)))])
|
||||||
|
|||||||
@ -70,6 +70,21 @@ pointers instead of strings are valid. Within RTL code, strings are most
|
|||||||
commonly found inside @code{symbol_ref} expressions, but they appear in
|
commonly found inside @code{symbol_ref} expressions, but they appear in
|
||||||
other contexts in the RTL expressions that make up machine descriptions.
|
other contexts in the RTL expressions that make up machine descriptions.
|
||||||
|
|
||||||
|
In a machine description, strings are normally written with double
|
||||||
|
quotes, as you would in C. However, strings in machine descriptions may
|
||||||
|
extend over many lines, which is invalid C, and adjacent string
|
||||||
|
constants are not concatenated as they are in C. Any string constant
|
||||||
|
may be surrounded with a single set of parentheses. Sometimes this
|
||||||
|
makes the machine description easier to read.
|
||||||
|
|
||||||
|
There is also a special syntax for strings, which can be useful when C
|
||||||
|
code is embedded in a machine description. Wherever a string can
|
||||||
|
appear, it is also valid to write a C-style brace block. The entire
|
||||||
|
brace block, including the outermost pair of braces, is considered to be
|
||||||
|
the string constant. Double quote characters inside the braces are not
|
||||||
|
special. Therefore, if you write string constants in the C code, you
|
||||||
|
need not escape each quote character with a backslash.
|
||||||
|
|
||||||
A vector contains an arbitrary number of pointers to expressions. The
|
A vector contains an arbitrary number of pointers to expressions. The
|
||||||
number of elements in the vector is explicitly present in the vector.
|
number of elements in the vector is explicitly present in the vector.
|
||||||
The written form of a vector consists of square brackets
|
The written form of a vector consists of square brackets
|
||||||
@ -3182,11 +3197,10 @@ combiner is finished with the insn. This is done by calling
|
|||||||
@section Reading RTL
|
@section Reading RTL
|
||||||
|
|
||||||
To read an RTL object from a file, call @code{read_rtx}. It takes one
|
To read an RTL object from a file, call @code{read_rtx}. It takes one
|
||||||
argument, a stdio stream, and returns a single RTL object.
|
argument, a stdio stream, and returns a single RTL object. This routine
|
||||||
|
is defined in @file{read-rtl.c}. It is not available in the compiler
|
||||||
Reading RTL from a file is very slow. This is not currently a
|
itself, only the various programs that generate the compiler back end
|
||||||
problem since reading RTL occurs only as part of building the
|
from the machine description.
|
||||||
compiler.
|
|
||||||
|
|
||||||
People frequently have the idea of using RTL stored as text in a file as
|
People frequently have the idea of using RTL stored as text in a file as
|
||||||
an interface between a language front end and the bulk of GCC@. This
|
an interface between a language front end and the bulk of GCC@. This
|
||||||
|
|||||||
727
gcc/read-rtl.c
Normal file
727
gcc/read-rtl.c
Normal file
@ -0,0 +1,727 @@
|
|||||||
|
/* RTL reader for GNU C Compiler.
|
||||||
|
Copyright (C) 1987, 1988, 1991, 1994, 1997, 1998, 1999, 2000, 2001
|
||||||
|
Free Software Foundation, Inc.
|
||||||
|
|
||||||
|
This file is part of GNU CC.
|
||||||
|
|
||||||
|
GNU CC is free software; you can redistribute it and/or modify
|
||||||
|
it under the terms of the GNU General Public License as published by
|
||||||
|
the Free Software Foundation; either version 2, or (at your option)
|
||||||
|
any later version.
|
||||||
|
|
||||||
|
GNU CC is distributed in the hope that it will be useful,
|
||||||
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
GNU General Public License for more details.
|
||||||
|
|
||||||
|
You should have received a copy of the GNU General Public License
|
||||||
|
along with GNU CC; see the file COPYING. If not, write to
|
||||||
|
the Free Software Foundation, 59 Temple Place - Suite 330,
|
||||||
|
Boston, MA 02111-1307, USA. */
|
||||||
|
|
||||||
|
#include "hconfig.h"
|
||||||
|
#include "system.h"
|
||||||
|
#include "rtl.h"
|
||||||
|
#include "obstack.h"
|
||||||
|
#include "hashtab.h"
|
||||||
|
|
||||||
|
#define obstack_chunk_alloc xmalloc
|
||||||
|
#define obstack_chunk_free free
|
||||||
|
|
||||||
|
static htab_t md_constants;
|
||||||
|
|
||||||
|
static void fatal_with_file_and_line PARAMS ((FILE *, const char *, ...))
|
||||||
|
ATTRIBUTE_PRINTF_2 ATTRIBUTE_NORETURN;
|
||||||
|
static void fatal_expected_char PARAMS ((FILE *, int, int)) ATTRIBUTE_NORETURN;
|
||||||
|
static void read_name PARAMS ((char *, FILE *));
|
||||||
|
static char *read_string PARAMS ((struct obstack *, FILE *, int));
|
||||||
|
static char *read_quoted_string PARAMS ((struct obstack *, FILE *));
|
||||||
|
static char *read_braced_string PARAMS ((struct obstack *, FILE *));
|
||||||
|
static unsigned def_hash PARAMS ((const void *));
|
||||||
|
static int def_name_eq_p PARAMS ((const void *, const void *));
|
||||||
|
static void read_constants PARAMS ((FILE *infile, char *tmp_char));
|
||||||
|
|
||||||
|
/* Subroutines of read_rtx. */
|
||||||
|
|
||||||
|
/* The current line number for the file. */
|
||||||
|
int read_rtx_lineno = 1;
|
||||||
|
|
||||||
|
/* The filename for aborting with file and line. */
|
||||||
|
const char *read_rtx_filename = "<unknown>";
|
||||||
|
|
||||||
|
static void
|
||||||
|
fatal_with_file_and_line VPARAMS ((FILE *infile, const char *msg, ...))
|
||||||
|
{
|
||||||
|
#ifndef ANSI_PROTOTYPES
|
||||||
|
FILE *infile;
|
||||||
|
const char *msg;
|
||||||
|
#endif
|
||||||
|
va_list ap;
|
||||||
|
char context[64];
|
||||||
|
size_t i;
|
||||||
|
int c;
|
||||||
|
|
||||||
|
VA_START (ap, msg);
|
||||||
|
|
||||||
|
#ifndef ANSI_PROTOTYPES
|
||||||
|
infile = va_arg (ap, FILE *);
|
||||||
|
msg = va_arg (ap, const char *);
|
||||||
|
#endif
|
||||||
|
|
||||||
|
fprintf (stderr, "%s:%d: ", read_rtx_filename, read_rtx_lineno);
|
||||||
|
vfprintf (stderr, msg, ap);
|
||||||
|
putc ('\n', stderr);
|
||||||
|
|
||||||
|
/* Gather some following context. */
|
||||||
|
for (i = 0; i < sizeof(context)-1; ++i)
|
||||||
|
{
|
||||||
|
c = getc (infile);
|
||||||
|
if (c == EOF)
|
||||||
|
break;
|
||||||
|
if (c == '\r' || c == '\n')
|
||||||
|
break;
|
||||||
|
context[i] = c;
|
||||||
|
}
|
||||||
|
context[i] = '\0';
|
||||||
|
|
||||||
|
fprintf (stderr, "%s:%d: following context is `%s'\n",
|
||||||
|
read_rtx_filename, read_rtx_lineno, context);
|
||||||
|
|
||||||
|
va_end (ap);
|
||||||
|
exit (1);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Dump code after printing a message. Used when read_rtx finds
|
||||||
|
invalid data. */
|
||||||
|
|
||||||
|
static void
|
||||||
|
fatal_expected_char (infile, expected_c, actual_c)
|
||||||
|
FILE *infile;
|
||||||
|
int expected_c, actual_c;
|
||||||
|
{
|
||||||
|
fatal_with_file_and_line (infile, "expected character `%c', found `%c'",
|
||||||
|
expected_c, actual_c);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Read chars from INFILE until a non-whitespace char
|
||||||
|
and return that. Comments, both Lisp style and C style,
|
||||||
|
are treated as whitespace.
|
||||||
|
Tools such as genflags use this function. */
|
||||||
|
|
||||||
|
int
|
||||||
|
read_skip_spaces (infile)
|
||||||
|
FILE *infile;
|
||||||
|
{
|
||||||
|
register int c;
|
||||||
|
while (1)
|
||||||
|
{
|
||||||
|
c = getc (infile);
|
||||||
|
switch (c)
|
||||||
|
{
|
||||||
|
case '\n':
|
||||||
|
read_rtx_lineno++;
|
||||||
|
break;
|
||||||
|
|
||||||
|
case ' ': case '\t': case '\f': case '\r':
|
||||||
|
break;
|
||||||
|
|
||||||
|
case ';':
|
||||||
|
do
|
||||||
|
c = getc (infile);
|
||||||
|
while (c != '\n' && c != EOF);
|
||||||
|
read_rtx_lineno++;
|
||||||
|
break;
|
||||||
|
|
||||||
|
case '/':
|
||||||
|
{
|
||||||
|
register int prevc;
|
||||||
|
c = getc (infile);
|
||||||
|
if (c != '*')
|
||||||
|
fatal_expected_char (infile, '*', c);
|
||||||
|
|
||||||
|
prevc = 0;
|
||||||
|
while ((c = getc (infile)) && c != EOF)
|
||||||
|
{
|
||||||
|
if (c == '\n')
|
||||||
|
read_rtx_lineno++;
|
||||||
|
else if (prevc == '*' && c == '/')
|
||||||
|
break;
|
||||||
|
prevc = c;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
break;
|
||||||
|
|
||||||
|
default:
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Read an rtx code name into the buffer STR[].
|
||||||
|
It is terminated by any of the punctuation chars of rtx printed syntax. */
|
||||||
|
|
||||||
|
static void
|
||||||
|
read_name (str, infile)
|
||||||
|
char *str;
|
||||||
|
FILE *infile;
|
||||||
|
{
|
||||||
|
register char *p;
|
||||||
|
register int c;
|
||||||
|
|
||||||
|
c = read_skip_spaces(infile);
|
||||||
|
|
||||||
|
p = str;
|
||||||
|
while (1)
|
||||||
|
{
|
||||||
|
if (c == ' ' || c == '\n' || c == '\t' || c == '\f')
|
||||||
|
break;
|
||||||
|
if (c == ':' || c == ')' || c == ']' || c == '"' || c == '/'
|
||||||
|
|| c == '(' || c == '[')
|
||||||
|
{
|
||||||
|
ungetc (c, infile);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
*p++ = c;
|
||||||
|
c = getc (infile);
|
||||||
|
}
|
||||||
|
if (p == str)
|
||||||
|
fatal_with_file_and_line (infile, "missing name or number");
|
||||||
|
if (c == '\n')
|
||||||
|
read_rtx_lineno++;
|
||||||
|
|
||||||
|
*p = 0;
|
||||||
|
|
||||||
|
if (md_constants)
|
||||||
|
{
|
||||||
|
/* Do constant expansion. */
|
||||||
|
struct md_constant *def;
|
||||||
|
|
||||||
|
p = str;
|
||||||
|
do
|
||||||
|
{
|
||||||
|
struct md_constant tmp_def;
|
||||||
|
|
||||||
|
tmp_def.name = p;
|
||||||
|
def = htab_find (md_constants, &tmp_def);
|
||||||
|
if (def)
|
||||||
|
p = def->value;
|
||||||
|
} while (def);
|
||||||
|
if (p != str)
|
||||||
|
strcpy (str, p);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Read a double-quoted string onto the obstack. Caller has scanned
|
||||||
|
the leading quote. */
|
||||||
|
static char *
|
||||||
|
read_quoted_string (ob, infile)
|
||||||
|
struct obstack *ob;
|
||||||
|
FILE *infile;
|
||||||
|
{
|
||||||
|
int c;
|
||||||
|
while (1)
|
||||||
|
{
|
||||||
|
c = getc (infile); /* Read the string */
|
||||||
|
if (c == '\n')
|
||||||
|
read_rtx_lineno++;
|
||||||
|
else if (c == '\\')
|
||||||
|
{
|
||||||
|
c = getc (infile); /* Read the string */
|
||||||
|
/* \; makes stuff for a C string constant containing
|
||||||
|
newline and tab. */
|
||||||
|
if (c == ';')
|
||||||
|
{
|
||||||
|
obstack_grow (ob, "\\n\\t", 4);
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
else if (c == '\n')
|
||||||
|
/* \-newline: delete the backslash and update our idea of
|
||||||
|
the line number. */
|
||||||
|
read_rtx_lineno++;
|
||||||
|
else if (c == '\\' || c == '"')
|
||||||
|
; /* \", \\ are a literal quote and backslash. */
|
||||||
|
else
|
||||||
|
/* Backslash escapes we do not recognize are left unmolested.
|
||||||
|
They may be handled by the C compiler (e.g. \n, \t) */
|
||||||
|
{
|
||||||
|
ungetc (c, infile); /* put it back */
|
||||||
|
c = '\\';
|
||||||
|
}
|
||||||
|
}
|
||||||
|
else if (c == '"')
|
||||||
|
break;
|
||||||
|
|
||||||
|
obstack_1grow (ob, c);
|
||||||
|
}
|
||||||
|
|
||||||
|
obstack_1grow (ob, 0);
|
||||||
|
return obstack_finish (ob);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Read a braced string (a la Tcl) onto the obstack. Caller has
|
||||||
|
scanned the leading brace. Note that unlike quoted strings,
|
||||||
|
the outermost braces _are_ included in the string constant. */
|
||||||
|
static char *
|
||||||
|
read_braced_string (ob, infile)
|
||||||
|
struct obstack *ob;
|
||||||
|
FILE *infile;
|
||||||
|
{
|
||||||
|
int c;
|
||||||
|
int brace_depth = 1; /* caller-processed */
|
||||||
|
|
||||||
|
obstack_1grow (ob, '{');
|
||||||
|
while (brace_depth)
|
||||||
|
{
|
||||||
|
c = getc (infile); /* Read the string */
|
||||||
|
if (c == '\n')
|
||||||
|
read_rtx_lineno++;
|
||||||
|
else if (c == '{')
|
||||||
|
brace_depth++;
|
||||||
|
else if (c == '}')
|
||||||
|
brace_depth--;
|
||||||
|
else if (c == '\\')
|
||||||
|
{
|
||||||
|
c = getc (infile); /* Read the string */
|
||||||
|
/* \; makes stuff for a C string constant containing
|
||||||
|
newline and tab. */
|
||||||
|
if (c == ';')
|
||||||
|
{
|
||||||
|
obstack_grow (ob, "\\n\\t", 4);
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
else if (c == '\n')
|
||||||
|
/* \-newline: delete the backslash and update our idea of
|
||||||
|
the line number. */
|
||||||
|
read_rtx_lineno++;
|
||||||
|
else if (c == '\\')
|
||||||
|
; /* \\ is a literal backslash */
|
||||||
|
else
|
||||||
|
/* Backslash escapes we do not recognize are left unmolested.
|
||||||
|
They may be handled by the C compiler (e.g. \n, \t) */
|
||||||
|
{
|
||||||
|
ungetc (c, infile); /* put it back */
|
||||||
|
c = '\\';
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
obstack_1grow (ob, c);
|
||||||
|
}
|
||||||
|
|
||||||
|
obstack_1grow (ob, 0);
|
||||||
|
return obstack_finish (ob);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Read some kind of string constant. This is the high-level routine
|
||||||
|
used by read_rtx. It handles surrounding parentheses, leading star,
|
||||||
|
and dispatch to the appropriate string constant reader. */
|
||||||
|
|
||||||
|
static char *
|
||||||
|
read_string (ob, infile, star_if_braced)
|
||||||
|
struct obstack *ob;
|
||||||
|
FILE *infile;
|
||||||
|
int star_if_braced;
|
||||||
|
{
|
||||||
|
char *stringbuf;
|
||||||
|
int saw_paren = 0;
|
||||||
|
int c;
|
||||||
|
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
if (c == '(')
|
||||||
|
{
|
||||||
|
saw_paren = 1;
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
}
|
||||||
|
|
||||||
|
if (c == '"')
|
||||||
|
stringbuf = read_quoted_string (ob, infile);
|
||||||
|
else if (c == '{')
|
||||||
|
{
|
||||||
|
if (star_if_braced)
|
||||||
|
obstack_1grow (ob, '*');
|
||||||
|
stringbuf = read_braced_string (ob, infile);
|
||||||
|
}
|
||||||
|
else
|
||||||
|
fatal_with_file_and_line (infile, "expected `\"' or `{', found `%c'", c);
|
||||||
|
|
||||||
|
if (saw_paren)
|
||||||
|
{
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
if (c != ')')
|
||||||
|
fatal_expected_char (infile, ')', c);
|
||||||
|
}
|
||||||
|
|
||||||
|
return stringbuf;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Provide a version of a function to read a long long if the system does
|
||||||
|
not provide one. */
|
||||||
|
#if HOST_BITS_PER_WIDE_INT > HOST_BITS_PER_LONG && !defined(HAVE_ATOLL) && !defined(HAVE_ATOQ)
|
||||||
|
HOST_WIDE_INT
|
||||||
|
atoll(p)
|
||||||
|
const char *p;
|
||||||
|
{
|
||||||
|
int neg = 0;
|
||||||
|
HOST_WIDE_INT tmp_wide;
|
||||||
|
|
||||||
|
while (ISSPACE(*p))
|
||||||
|
p++;
|
||||||
|
if (*p == '-')
|
||||||
|
neg = 1, p++;
|
||||||
|
else if (*p == '+')
|
||||||
|
p++;
|
||||||
|
|
||||||
|
tmp_wide = 0;
|
||||||
|
while (ISDIGIT(*p))
|
||||||
|
{
|
||||||
|
HOST_WIDE_INT new_wide = tmp_wide*10 + (*p - '0');
|
||||||
|
if (new_wide < tmp_wide)
|
||||||
|
{
|
||||||
|
/* Return INT_MAX equiv on overflow. */
|
||||||
|
tmp_wide = (~(unsigned HOST_WIDE_INT)0) >> 1;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
tmp_wide = new_wide;
|
||||||
|
p++;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (neg)
|
||||||
|
tmp_wide = -tmp_wide;
|
||||||
|
return tmp_wide;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
|
/* Given a constant definition, return a hash code for its name. */
|
||||||
|
static unsigned
|
||||||
|
def_hash (def)
|
||||||
|
const void *def;
|
||||||
|
{
|
||||||
|
unsigned result, i;
|
||||||
|
const char *string = ((const struct md_constant *)def)->name;
|
||||||
|
|
||||||
|
for (result = i = 0;*string++ != '\0'; i++)
|
||||||
|
result += ((unsigned char) *string << (i % CHAR_BIT));
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Given two constant definitions, return true if they have the same name. */
|
||||||
|
static int
|
||||||
|
def_name_eq_p (def1, def2)
|
||||||
|
const void *def1, *def2;
|
||||||
|
{
|
||||||
|
return ! strcmp (((const struct md_constant *)def1)->name,
|
||||||
|
((const struct md_constant *)def2)->name);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* INFILE is a FILE pointer to read text from. TMP_CHAR is a buffer suitable
|
||||||
|
to read a name or number into. Process a define_constants directive,
|
||||||
|
starting with the optional space after the "define_constants". */
|
||||||
|
static void
|
||||||
|
read_constants (infile, tmp_char)
|
||||||
|
FILE *infile;
|
||||||
|
char *tmp_char;
|
||||||
|
{
|
||||||
|
int c;
|
||||||
|
htab_t defs;
|
||||||
|
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
if (c != '[')
|
||||||
|
fatal_expected_char (infile, '[', c);
|
||||||
|
defs = md_constants;
|
||||||
|
if (! defs)
|
||||||
|
defs = htab_create (32, def_hash, def_name_eq_p, (htab_del) 0);
|
||||||
|
/* Disable constant expansion during definition processing. */
|
||||||
|
md_constants = 0;
|
||||||
|
while ( (c = read_skip_spaces (infile)) != ']')
|
||||||
|
{
|
||||||
|
struct md_constant *def;
|
||||||
|
void **entry_ptr;
|
||||||
|
|
||||||
|
if (c != '(')
|
||||||
|
fatal_expected_char (infile, '(', c);
|
||||||
|
def = xmalloc (sizeof (struct md_constant));
|
||||||
|
def->name = tmp_char;
|
||||||
|
read_name (tmp_char, infile);
|
||||||
|
entry_ptr = htab_find_slot (defs, def, TRUE);
|
||||||
|
if (! *entry_ptr)
|
||||||
|
def->name = xstrdup (tmp_char);
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
ungetc (c, infile);
|
||||||
|
read_name (tmp_char, infile);
|
||||||
|
if (! *entry_ptr)
|
||||||
|
{
|
||||||
|
def->value = xstrdup (tmp_char);
|
||||||
|
*entry_ptr = def;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
def = *entry_ptr;
|
||||||
|
if (strcmp (def->value, tmp_char))
|
||||||
|
fatal_with_file_and_line (infile,
|
||||||
|
"redefinition of %s, was %s, now %s",
|
||||||
|
def->name, def->value, tmp_char);
|
||||||
|
}
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
if (c != ')')
|
||||||
|
fatal_expected_char (infile, ')', c);
|
||||||
|
}
|
||||||
|
md_constants = defs;
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
if (c != ')')
|
||||||
|
fatal_expected_char (infile, ')', c);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* For every constant definition, call CALLBACK with two arguments:
|
||||||
|
a pointer a pointer to the constant definition and INFO.
|
||||||
|
Stops when CALLBACK returns zero. */
|
||||||
|
void
|
||||||
|
traverse_md_constants (callback, info)
|
||||||
|
htab_trav callback;
|
||||||
|
void *info;
|
||||||
|
{
|
||||||
|
if (md_constants)
|
||||||
|
htab_traverse (md_constants, callback, info);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Read an rtx in printed representation from INFILE
|
||||||
|
and return an actual rtx in core constructed accordingly.
|
||||||
|
read_rtx is not used in the compiler proper, but rather in
|
||||||
|
the utilities gen*.c that construct C code from machine descriptions. */
|
||||||
|
|
||||||
|
rtx
|
||||||
|
read_rtx (infile)
|
||||||
|
FILE *infile;
|
||||||
|
{
|
||||||
|
register int i, j;
|
||||||
|
RTX_CODE tmp_code;
|
||||||
|
register const char *format_ptr;
|
||||||
|
/* tmp_char is a buffer used for reading decimal integers
|
||||||
|
and names of rtx types and machine modes.
|
||||||
|
Therefore, 256 must be enough. */
|
||||||
|
char tmp_char[256];
|
||||||
|
rtx return_rtx;
|
||||||
|
register int c;
|
||||||
|
int tmp_int;
|
||||||
|
HOST_WIDE_INT tmp_wide;
|
||||||
|
|
||||||
|
/* Obstack used for allocating RTL objects. */
|
||||||
|
static struct obstack rtl_obstack;
|
||||||
|
static int initialized;
|
||||||
|
|
||||||
|
/* Linked list structure for making RTXs: */
|
||||||
|
struct rtx_list
|
||||||
|
{
|
||||||
|
struct rtx_list *next;
|
||||||
|
rtx value; /* Value of this node. */
|
||||||
|
};
|
||||||
|
|
||||||
|
if (!initialized) {
|
||||||
|
obstack_init (&rtl_obstack);
|
||||||
|
initialized = 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
again:
|
||||||
|
c = read_skip_spaces (infile); /* Should be open paren. */
|
||||||
|
if (c != '(')
|
||||||
|
fatal_expected_char (infile, '(', c);
|
||||||
|
|
||||||
|
read_name (tmp_char, infile);
|
||||||
|
|
||||||
|
tmp_code = UNKNOWN;
|
||||||
|
|
||||||
|
if (! strcmp (tmp_char, "define_constants"))
|
||||||
|
{
|
||||||
|
read_constants (infile, tmp_char);
|
||||||
|
goto again;
|
||||||
|
}
|
||||||
|
for (i = 0; i < NUM_RTX_CODE; i++)
|
||||||
|
if (! strcmp (tmp_char, GET_RTX_NAME (i)))
|
||||||
|
{
|
||||||
|
tmp_code = (RTX_CODE) i; /* get value for name */
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (tmp_code == UNKNOWN)
|
||||||
|
fatal_with_file_and_line (infile, "unknown rtx code `%s'", tmp_char);
|
||||||
|
|
||||||
|
/* (NIL) stands for an expression that isn't there. */
|
||||||
|
if (tmp_code == NIL)
|
||||||
|
{
|
||||||
|
/* Discard the closeparen. */
|
||||||
|
while ((c = getc (infile)) && c != ')')
|
||||||
|
;
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* If we end up with an insn expression then we free this space below. */
|
||||||
|
return_rtx = rtx_alloc (tmp_code);
|
||||||
|
format_ptr = GET_RTX_FORMAT (GET_CODE (return_rtx));
|
||||||
|
|
||||||
|
/* If what follows is `: mode ', read it and
|
||||||
|
store the mode in the rtx. */
|
||||||
|
|
||||||
|
i = read_skip_spaces (infile);
|
||||||
|
if (i == ':')
|
||||||
|
{
|
||||||
|
read_name (tmp_char, infile);
|
||||||
|
for (j = 0; j < NUM_MACHINE_MODES; j++)
|
||||||
|
if (! strcmp (GET_MODE_NAME (j), tmp_char))
|
||||||
|
break;
|
||||||
|
|
||||||
|
if (j == MAX_MACHINE_MODE)
|
||||||
|
fatal_with_file_and_line (infile, "unknown mode `%s'", tmp_char);
|
||||||
|
|
||||||
|
PUT_MODE (return_rtx, (enum machine_mode) j);
|
||||||
|
}
|
||||||
|
else
|
||||||
|
ungetc (i, infile);
|
||||||
|
|
||||||
|
for (i = 0; i < GET_RTX_LENGTH (GET_CODE (return_rtx)); i++)
|
||||||
|
switch (*format_ptr++)
|
||||||
|
{
|
||||||
|
/* 0 means a field for internal use only.
|
||||||
|
Don't expect it to be present in the input. */
|
||||||
|
case '0':
|
||||||
|
break;
|
||||||
|
|
||||||
|
case 'e':
|
||||||
|
case 'u':
|
||||||
|
XEXP (return_rtx, i) = read_rtx (infile);
|
||||||
|
break;
|
||||||
|
|
||||||
|
case 'V':
|
||||||
|
/* 'V' is an optional vector: if a closeparen follows,
|
||||||
|
just store NULL for this element. */
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
ungetc (c, infile);
|
||||||
|
if (c == ')')
|
||||||
|
{
|
||||||
|
XVEC (return_rtx, i) = 0;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
/* Now process the vector. */
|
||||||
|
|
||||||
|
case 'E':
|
||||||
|
{
|
||||||
|
/* Obstack to store scratch vector in. */
|
||||||
|
struct obstack vector_stack;
|
||||||
|
int list_counter = 0;
|
||||||
|
rtvec return_vec = NULL_RTVEC;
|
||||||
|
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
if (c != '[')
|
||||||
|
fatal_expected_char (infile, '[', c);
|
||||||
|
|
||||||
|
/* add expressions to a list, while keeping a count */
|
||||||
|
obstack_init (&vector_stack);
|
||||||
|
while ((c = read_skip_spaces (infile)) && c != ']')
|
||||||
|
{
|
||||||
|
ungetc (c, infile);
|
||||||
|
list_counter++;
|
||||||
|
obstack_ptr_grow (&vector_stack, (PTR) read_rtx (infile));
|
||||||
|
}
|
||||||
|
if (list_counter > 0)
|
||||||
|
{
|
||||||
|
return_vec = rtvec_alloc (list_counter);
|
||||||
|
memcpy (&return_vec->elem[0], obstack_finish (&vector_stack),
|
||||||
|
list_counter * sizeof (rtx));
|
||||||
|
}
|
||||||
|
XVEC (return_rtx, i) = return_vec;
|
||||||
|
obstack_free (&vector_stack, NULL);
|
||||||
|
/* close bracket gotten */
|
||||||
|
}
|
||||||
|
break;
|
||||||
|
|
||||||
|
case 'S':
|
||||||
|
/* 'S' is an optional string: if a closeparen follows,
|
||||||
|
just store NULL for this element. */
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
ungetc (c, infile);
|
||||||
|
if (c == ')')
|
||||||
|
{
|
||||||
|
XSTR (return_rtx, i) = 0;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
case 's':
|
||||||
|
{
|
||||||
|
char *stringbuf;
|
||||||
|
|
||||||
|
/* The output template slot of a DEFINE_INSN,
|
||||||
|
DEFINE_INSN_AND_SPLIT, or DEFINE_PEEPHOLE automatically
|
||||||
|
gets a star inserted as its first character, if it is
|
||||||
|
written with a brace block instead of a string constant. */
|
||||||
|
int star_if_braced =
|
||||||
|
((i == 3 && (GET_CODE (return_rtx) == DEFINE_INSN
|
||||||
|
|| GET_CODE (return_rtx) == DEFINE_INSN_AND_SPLIT))
|
||||||
|
|| (i == 2 && GET_CODE (return_rtx) == DEFINE_PEEPHOLE));
|
||||||
|
|
||||||
|
stringbuf = read_string (&rtl_obstack, infile, star_if_braced);
|
||||||
|
|
||||||
|
/* For insn patterns, we want to provide a default name
|
||||||
|
based on the file and line, like "*foo.md:12", if the
|
||||||
|
given name is blank. These are only for define_insn and
|
||||||
|
define_insn_and_split, to aid debugging. */
|
||||||
|
if (*stringbuf == '\0'
|
||||||
|
&& i == 0
|
||||||
|
&& (GET_CODE (return_rtx) == DEFINE_INSN
|
||||||
|
|| GET_CODE (return_rtx) == DEFINE_INSN_AND_SPLIT))
|
||||||
|
{
|
||||||
|
char line_name[20];
|
||||||
|
const char *fn = (read_rtx_filename ? read_rtx_filename : "rtx");
|
||||||
|
const char *slash;
|
||||||
|
for (slash = fn; *slash; slash ++)
|
||||||
|
if (*slash == '/' || *slash == '\\' || *slash == ':')
|
||||||
|
fn = slash + 1;
|
||||||
|
obstack_1grow (&rtl_obstack, '*');
|
||||||
|
obstack_grow (&rtl_obstack, fn, strlen (fn));
|
||||||
|
sprintf (line_name, ":%d", read_rtx_lineno);
|
||||||
|
obstack_grow (&rtl_obstack, line_name, strlen (line_name)+1);
|
||||||
|
stringbuf = (char *) obstack_finish (&rtl_obstack);
|
||||||
|
}
|
||||||
|
|
||||||
|
XSTR (return_rtx, i) = stringbuf;
|
||||||
|
}
|
||||||
|
break;
|
||||||
|
|
||||||
|
case 'w':
|
||||||
|
read_name (tmp_char, infile);
|
||||||
|
#if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT
|
||||||
|
tmp_wide = atoi (tmp_char);
|
||||||
|
#else
|
||||||
|
#if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
|
||||||
|
tmp_wide = atol (tmp_char);
|
||||||
|
#else
|
||||||
|
/* Prefer atoll over atoq, since the former is in the ISO C99 standard.
|
||||||
|
But prefer not to use our hand-rolled function above either. */
|
||||||
|
#if defined(HAVE_ATOLL) || !defined(HAVE_ATOQ)
|
||||||
|
tmp_wide = atoll (tmp_char);
|
||||||
|
#else
|
||||||
|
tmp_wide = atoq (tmp_char);
|
||||||
|
#endif
|
||||||
|
#endif
|
||||||
|
#endif
|
||||||
|
XWINT (return_rtx, i) = tmp_wide;
|
||||||
|
break;
|
||||||
|
|
||||||
|
case 'i':
|
||||||
|
case 'n':
|
||||||
|
read_name (tmp_char, infile);
|
||||||
|
tmp_int = atoi (tmp_char);
|
||||||
|
XINT (return_rtx, i) = tmp_int;
|
||||||
|
break;
|
||||||
|
|
||||||
|
default:
|
||||||
|
fprintf (stderr,
|
||||||
|
"switch format wrong in rtl.read_rtx(). format was: %c.\n",
|
||||||
|
format_ptr[-1]);
|
||||||
|
fprintf (stderr, "\tfile position: %ld\n", ftell (infile));
|
||||||
|
abort ();
|
||||||
|
}
|
||||||
|
|
||||||
|
c = read_skip_spaces (infile);
|
||||||
|
if (c != ')')
|
||||||
|
fatal_expected_char (infile, ')', c);
|
||||||
|
|
||||||
|
return return_rtx;
|
||||||
|
}
|
||||||
616
gcc/rtl.c
616
gcc/rtl.c
@ -1,5 +1,5 @@
|
|||||||
/* Allocate and read RTL for GNU C Compiler.
|
/* RTL utility routines.
|
||||||
Copyright (C) 1987, 1988, 1991, 1994, 1997, 1998, 1999, 2000
|
Copyright (C) 1987, 1988, 1991, 1994, 1997, 1998, 1999, 2000, 2001
|
||||||
Free Software Foundation, Inc.
|
Free Software Foundation, Inc.
|
||||||
|
|
||||||
This file is part of GNU CC.
|
This file is part of GNU CC.
|
||||||
@ -19,19 +19,11 @@ along with GNU CC; see the file COPYING. If not, write to
|
|||||||
the Free Software Foundation, 59 Temple Place - Suite 330,
|
the Free Software Foundation, 59 Temple Place - Suite 330,
|
||||||
Boston, MA 02111-1307, USA. */
|
Boston, MA 02111-1307, USA. */
|
||||||
|
|
||||||
|
|
||||||
#include "config.h"
|
#include "config.h"
|
||||||
#include "system.h"
|
#include "system.h"
|
||||||
#include "rtl.h"
|
#include "rtl.h"
|
||||||
#include "real.h"
|
#include "real.h"
|
||||||
#include "bitmap.h"
|
|
||||||
#include "ggc.h"
|
#include "ggc.h"
|
||||||
#include "obstack.h"
|
|
||||||
#include "toplev.h"
|
|
||||||
#include "hashtab.h"
|
|
||||||
|
|
||||||
#define obstack_chunk_alloc xmalloc
|
|
||||||
#define obstack_chunk_free free
|
|
||||||
|
|
||||||
|
|
||||||
/* Calculate the format for CONST_DOUBLE. This depends on the relative
|
/* Calculate the format for CONST_DOUBLE. This depends on the relative
|
||||||
@ -292,17 +284,6 @@ const char * const reg_note_name[] =
|
|||||||
"REG_NON_LOCAL_GOTO"
|
"REG_NON_LOCAL_GOTO"
|
||||||
};
|
};
|
||||||
|
|
||||||
static htab_t md_constants;
|
|
||||||
|
|
||||||
static void fatal_with_file_and_line PARAMS ((FILE *, const char *, ...))
|
|
||||||
ATTRIBUTE_PRINTF_2 ATTRIBUTE_NORETURN;
|
|
||||||
static void fatal_expected_char PARAMS ((FILE *, int, int)) ATTRIBUTE_NORETURN;
|
|
||||||
static void read_name PARAMS ((char *, FILE *));
|
|
||||||
static char *read_string PARAMS ((struct obstack *, FILE *));
|
|
||||||
static unsigned def_hash PARAMS ((const void *));
|
|
||||||
static int def_name_eq_p PARAMS ((const void *, const void *));
|
|
||||||
static void read_constants PARAMS ((FILE *infile, char *tmp_char));
|
|
||||||
|
|
||||||
|
|
||||||
/* Allocate an rtx vector of N elements.
|
/* Allocate an rtx vector of N elements.
|
||||||
Store the length, and initialize all elements to zero. */
|
Store the length, and initialize all elements to zero. */
|
||||||
@ -690,599 +671,6 @@ rtx_equal_p (x, y)
|
|||||||
return 1;
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Subroutines of read_rtx. */
|
|
||||||
|
|
||||||
/* The current line number for the file. */
|
|
||||||
int read_rtx_lineno = 1;
|
|
||||||
|
|
||||||
/* The filename for aborting with file and line. */
|
|
||||||
const char *read_rtx_filename = "<unknown>";
|
|
||||||
|
|
||||||
static void
|
|
||||||
fatal_with_file_and_line VPARAMS ((FILE *infile, const char *msg, ...))
|
|
||||||
{
|
|
||||||
#ifndef ANSI_PROTOTYPES
|
|
||||||
FILE *infile;
|
|
||||||
const char *msg;
|
|
||||||
#endif
|
|
||||||
va_list ap;
|
|
||||||
char context[64];
|
|
||||||
size_t i;
|
|
||||||
int c;
|
|
||||||
|
|
||||||
VA_START (ap, msg);
|
|
||||||
|
|
||||||
#ifndef ANSI_PROTOTYPES
|
|
||||||
infile = va_arg (ap, FILE *);
|
|
||||||
msg = va_arg (ap, const char *);
|
|
||||||
#endif
|
|
||||||
|
|
||||||
fprintf (stderr, "%s:%d: ", read_rtx_filename, read_rtx_lineno);
|
|
||||||
vfprintf (stderr, msg, ap);
|
|
||||||
putc ('\n', stderr);
|
|
||||||
|
|
||||||
/* Gather some following context. */
|
|
||||||
for (i = 0; i < sizeof(context)-1; ++i)
|
|
||||||
{
|
|
||||||
c = getc (infile);
|
|
||||||
if (c == EOF)
|
|
||||||
break;
|
|
||||||
if (c == '\r' || c == '\n')
|
|
||||||
break;
|
|
||||||
context[i] = c;
|
|
||||||
}
|
|
||||||
context[i] = '\0';
|
|
||||||
|
|
||||||
fprintf (stderr, "%s:%d: following context is `%s'\n",
|
|
||||||
read_rtx_filename, read_rtx_lineno, context);
|
|
||||||
|
|
||||||
va_end (ap);
|
|
||||||
exit (1);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Dump code after printing a message. Used when read_rtx finds
|
|
||||||
invalid data. */
|
|
||||||
|
|
||||||
static void
|
|
||||||
fatal_expected_char (infile, expected_c, actual_c)
|
|
||||||
FILE *infile;
|
|
||||||
int expected_c, actual_c;
|
|
||||||
{
|
|
||||||
fatal_with_file_and_line (infile, "expected character `%c', found `%c'",
|
|
||||||
expected_c, actual_c);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Read chars from INFILE until a non-whitespace char
|
|
||||||
and return that. Comments, both Lisp style and C style,
|
|
||||||
are treated as whitespace.
|
|
||||||
Tools such as genflags use this function. */
|
|
||||||
|
|
||||||
int
|
|
||||||
read_skip_spaces (infile)
|
|
||||||
FILE *infile;
|
|
||||||
{
|
|
||||||
register int c;
|
|
||||||
while (1)
|
|
||||||
{
|
|
||||||
c = getc (infile);
|
|
||||||
switch (c)
|
|
||||||
{
|
|
||||||
case '\n':
|
|
||||||
read_rtx_lineno++;
|
|
||||||
break;
|
|
||||||
|
|
||||||
case ' ': case '\t': case '\f': case '\r':
|
|
||||||
break;
|
|
||||||
|
|
||||||
case ';':
|
|
||||||
do
|
|
||||||
c = getc (infile);
|
|
||||||
while (c != '\n' && c != EOF);
|
|
||||||
read_rtx_lineno++;
|
|
||||||
break;
|
|
||||||
|
|
||||||
case '/':
|
|
||||||
{
|
|
||||||
register int prevc;
|
|
||||||
c = getc (infile);
|
|
||||||
if (c != '*')
|
|
||||||
fatal_expected_char (infile, '*', c);
|
|
||||||
|
|
||||||
prevc = 0;
|
|
||||||
while ((c = getc (infile)) && c != EOF)
|
|
||||||
{
|
|
||||||
if (c == '\n')
|
|
||||||
read_rtx_lineno++;
|
|
||||||
else if (prevc == '*' && c == '/')
|
|
||||||
break;
|
|
||||||
prevc = c;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
|
|
||||||
default:
|
|
||||||
return c;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Read an rtx code name into the buffer STR[].
|
|
||||||
It is terminated by any of the punctuation chars of rtx printed syntax. */
|
|
||||||
|
|
||||||
static void
|
|
||||||
read_name (str, infile)
|
|
||||||
char *str;
|
|
||||||
FILE *infile;
|
|
||||||
{
|
|
||||||
register char *p;
|
|
||||||
register int c;
|
|
||||||
|
|
||||||
c = read_skip_spaces(infile);
|
|
||||||
|
|
||||||
p = str;
|
|
||||||
while (1)
|
|
||||||
{
|
|
||||||
if (c == ' ' || c == '\n' || c == '\t' || c == '\f')
|
|
||||||
break;
|
|
||||||
if (c == ':' || c == ')' || c == ']' || c == '"' || c == '/'
|
|
||||||
|| c == '(' || c == '[')
|
|
||||||
{
|
|
||||||
ungetc (c, infile);
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
*p++ = c;
|
|
||||||
c = getc (infile);
|
|
||||||
}
|
|
||||||
if (p == str)
|
|
||||||
fatal_with_file_and_line (infile, "missing name or number");
|
|
||||||
if (c == '\n')
|
|
||||||
read_rtx_lineno++;
|
|
||||||
|
|
||||||
*p = 0;
|
|
||||||
|
|
||||||
if (md_constants)
|
|
||||||
{
|
|
||||||
/* Do constant expansion. */
|
|
||||||
struct md_constant *def;
|
|
||||||
|
|
||||||
p = str;
|
|
||||||
do
|
|
||||||
{
|
|
||||||
struct md_constant tmp_def;
|
|
||||||
|
|
||||||
tmp_def.name = p;
|
|
||||||
def = htab_find (md_constants, &tmp_def);
|
|
||||||
if (def)
|
|
||||||
p = def->value;
|
|
||||||
} while (def);
|
|
||||||
if (p != str)
|
|
||||||
strcpy (str, p);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Read a double-quoted string onto the obstack. */
|
|
||||||
|
|
||||||
static char *
|
|
||||||
read_string (ob, infile)
|
|
||||||
struct obstack *ob;
|
|
||||||
FILE *infile;
|
|
||||||
{
|
|
||||||
char *stringbuf;
|
|
||||||
int saw_paren = 0;
|
|
||||||
int c;
|
|
||||||
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
if (c == '(')
|
|
||||||
{
|
|
||||||
saw_paren = 1;
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
}
|
|
||||||
if (c != '"')
|
|
||||||
fatal_expected_char (infile, '"', c);
|
|
||||||
|
|
||||||
while (1)
|
|
||||||
{
|
|
||||||
c = getc (infile); /* Read the string */
|
|
||||||
if (c == '\n')
|
|
||||||
read_rtx_lineno++;
|
|
||||||
else if (c == '\\')
|
|
||||||
{
|
|
||||||
c = getc (infile); /* Read the string */
|
|
||||||
/* \; makes stuff for a C string constant containing
|
|
||||||
newline and tab. */
|
|
||||||
if (c == ';')
|
|
||||||
{
|
|
||||||
obstack_grow (ob, "\\n\\t", 4);
|
|
||||||
continue;
|
|
||||||
}
|
|
||||||
if (c == '\n')
|
|
||||||
read_rtx_lineno++;
|
|
||||||
}
|
|
||||||
else if (c == '"')
|
|
||||||
break;
|
|
||||||
|
|
||||||
obstack_1grow (ob, c);
|
|
||||||
}
|
|
||||||
|
|
||||||
obstack_1grow (ob, 0);
|
|
||||||
stringbuf = (char *) obstack_finish (ob);
|
|
||||||
|
|
||||||
if (saw_paren)
|
|
||||||
{
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
if (c != ')')
|
|
||||||
fatal_expected_char (infile, ')', c);
|
|
||||||
}
|
|
||||||
|
|
||||||
return stringbuf;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Provide a version of a function to read a long long if the system does
|
|
||||||
not provide one. */
|
|
||||||
#if HOST_BITS_PER_WIDE_INT > HOST_BITS_PER_LONG && !defined(HAVE_ATOLL) && !defined(HAVE_ATOQ)
|
|
||||||
HOST_WIDE_INT
|
|
||||||
atoll(p)
|
|
||||||
const char *p;
|
|
||||||
{
|
|
||||||
int neg = 0;
|
|
||||||
HOST_WIDE_INT tmp_wide;
|
|
||||||
|
|
||||||
while (ISSPACE(*p))
|
|
||||||
p++;
|
|
||||||
if (*p == '-')
|
|
||||||
neg = 1, p++;
|
|
||||||
else if (*p == '+')
|
|
||||||
p++;
|
|
||||||
|
|
||||||
tmp_wide = 0;
|
|
||||||
while (ISDIGIT(*p))
|
|
||||||
{
|
|
||||||
HOST_WIDE_INT new_wide = tmp_wide*10 + (*p - '0');
|
|
||||||
if (new_wide < tmp_wide)
|
|
||||||
{
|
|
||||||
/* Return INT_MAX equiv on overflow. */
|
|
||||||
tmp_wide = (~(unsigned HOST_WIDE_INT)0) >> 1;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
tmp_wide = new_wide;
|
|
||||||
p++;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (neg)
|
|
||||||
tmp_wide = -tmp_wide;
|
|
||||||
return tmp_wide;
|
|
||||||
}
|
|
||||||
#endif
|
|
||||||
|
|
||||||
/* Given a constant definition, return a hash code for its name. */
|
|
||||||
static unsigned
|
|
||||||
def_hash (def)
|
|
||||||
const void *def;
|
|
||||||
{
|
|
||||||
unsigned result, i;
|
|
||||||
const char *string = ((const struct md_constant *)def)->name;
|
|
||||||
|
|
||||||
for (result = i = 0;*string++ != '\0'; i++)
|
|
||||||
result += ((unsigned char) *string << (i % CHAR_BIT));
|
|
||||||
return result;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Given two constant definitions, return true if they have the same name. */
|
|
||||||
static int
|
|
||||||
def_name_eq_p (def1, def2)
|
|
||||||
const void *def1, *def2;
|
|
||||||
{
|
|
||||||
return ! strcmp (((const struct md_constant *)def1)->name,
|
|
||||||
((const struct md_constant *)def2)->name);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* INFILE is a FILE pointer to read text from. TMP_CHAR is a buffer suitable
|
|
||||||
to read a name or number into. Process a define_constants directive,
|
|
||||||
starting with the optional space after the "define_constants". */
|
|
||||||
static void
|
|
||||||
read_constants (infile, tmp_char)
|
|
||||||
FILE *infile;
|
|
||||||
char *tmp_char;
|
|
||||||
{
|
|
||||||
int c;
|
|
||||||
htab_t defs;
|
|
||||||
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
if (c != '[')
|
|
||||||
fatal_expected_char (infile, '[', c);
|
|
||||||
defs = md_constants;
|
|
||||||
if (! defs)
|
|
||||||
defs = htab_create (32, def_hash, def_name_eq_p, (htab_del) 0);
|
|
||||||
/* Disable constant expansion during definition processing. */
|
|
||||||
md_constants = 0;
|
|
||||||
while ( (c = read_skip_spaces (infile)) != ']')
|
|
||||||
{
|
|
||||||
struct md_constant *def;
|
|
||||||
void **entry_ptr;
|
|
||||||
|
|
||||||
if (c != '(')
|
|
||||||
fatal_expected_char (infile, '(', c);
|
|
||||||
def = xmalloc (sizeof (struct md_constant));
|
|
||||||
def->name = tmp_char;
|
|
||||||
read_name (tmp_char, infile);
|
|
||||||
entry_ptr = htab_find_slot (defs, def, TRUE);
|
|
||||||
if (! *entry_ptr)
|
|
||||||
def->name = xstrdup (tmp_char);
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
ungetc (c, infile);
|
|
||||||
read_name (tmp_char, infile);
|
|
||||||
if (! *entry_ptr)
|
|
||||||
{
|
|
||||||
def->value = xstrdup (tmp_char);
|
|
||||||
*entry_ptr = def;
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
def = *entry_ptr;
|
|
||||||
if (strcmp (def->value, tmp_char))
|
|
||||||
fatal_with_file_and_line (infile,
|
|
||||||
"redefinition of %s, was %s, now %s",
|
|
||||||
def->name, def->value, tmp_char);
|
|
||||||
}
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
if (c != ')')
|
|
||||||
fatal_expected_char (infile, ')', c);
|
|
||||||
}
|
|
||||||
md_constants = defs;
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
if (c != ')')
|
|
||||||
fatal_expected_char (infile, ')', c);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* For every constant definition, call CALLBACK with two arguments:
|
|
||||||
a pointer a pointer to the constant definition and INFO.
|
|
||||||
Stops when CALLBACK returns zero. */
|
|
||||||
void
|
|
||||||
traverse_md_constants (callback, info)
|
|
||||||
htab_trav callback;
|
|
||||||
void *info;
|
|
||||||
{
|
|
||||||
if (md_constants)
|
|
||||||
htab_traverse (md_constants, callback, info);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Read an rtx in printed representation from INFILE
|
|
||||||
and return an actual rtx in core constructed accordingly.
|
|
||||||
read_rtx is not used in the compiler proper, but rather in
|
|
||||||
the utilities gen*.c that construct C code from machine descriptions. */
|
|
||||||
|
|
||||||
rtx
|
|
||||||
read_rtx (infile)
|
|
||||||
FILE *infile;
|
|
||||||
{
|
|
||||||
register int i, j;
|
|
||||||
RTX_CODE tmp_code;
|
|
||||||
register const char *format_ptr;
|
|
||||||
/* tmp_char is a buffer used for reading decimal integers
|
|
||||||
and names of rtx types and machine modes.
|
|
||||||
Therefore, 256 must be enough. */
|
|
||||||
char tmp_char[256];
|
|
||||||
rtx return_rtx;
|
|
||||||
register int c;
|
|
||||||
int tmp_int;
|
|
||||||
HOST_WIDE_INT tmp_wide;
|
|
||||||
|
|
||||||
/* Obstack used for allocating RTL objects. */
|
|
||||||
static struct obstack rtl_obstack;
|
|
||||||
static int initialized;
|
|
||||||
|
|
||||||
/* Linked list structure for making RTXs: */
|
|
||||||
struct rtx_list
|
|
||||||
{
|
|
||||||
struct rtx_list *next;
|
|
||||||
rtx value; /* Value of this node. */
|
|
||||||
};
|
|
||||||
|
|
||||||
if (!initialized) {
|
|
||||||
_obstack_begin (&rtl_obstack,0, 0,
|
|
||||||
(void *(*) PARAMS ((long))) xmalloc,
|
|
||||||
(void (*) PARAMS ((void *))) free);
|
|
||||||
initialized = 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
again:
|
|
||||||
c = read_skip_spaces (infile); /* Should be open paren. */
|
|
||||||
if (c != '(')
|
|
||||||
fatal_expected_char (infile, '(', c);
|
|
||||||
|
|
||||||
read_name (tmp_char, infile);
|
|
||||||
|
|
||||||
tmp_code = UNKNOWN;
|
|
||||||
|
|
||||||
if (! strcmp (tmp_char, "define_constants"))
|
|
||||||
{
|
|
||||||
read_constants (infile, tmp_char);
|
|
||||||
goto again;
|
|
||||||
}
|
|
||||||
for (i = 0; i < NUM_RTX_CODE; i++)
|
|
||||||
if (! strcmp (tmp_char, GET_RTX_NAME (i)))
|
|
||||||
{
|
|
||||||
tmp_code = (RTX_CODE) i; /* get value for name */
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (tmp_code == UNKNOWN)
|
|
||||||
fatal_with_file_and_line (infile, "unknown rtx code `%s'", tmp_char);
|
|
||||||
|
|
||||||
/* (NIL) stands for an expression that isn't there. */
|
|
||||||
if (tmp_code == NIL)
|
|
||||||
{
|
|
||||||
/* Discard the closeparen. */
|
|
||||||
while ((c = getc (infile)) && c != ')')
|
|
||||||
;
|
|
||||||
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* If we end up with an insn expression then we free this space below. */
|
|
||||||
return_rtx = rtx_alloc (tmp_code);
|
|
||||||
format_ptr = GET_RTX_FORMAT (GET_CODE (return_rtx));
|
|
||||||
|
|
||||||
/* If what follows is `: mode ', read it and
|
|
||||||
store the mode in the rtx. */
|
|
||||||
|
|
||||||
i = read_skip_spaces (infile);
|
|
||||||
if (i == ':')
|
|
||||||
{
|
|
||||||
read_name (tmp_char, infile);
|
|
||||||
for (j = 0; j < NUM_MACHINE_MODES; j++)
|
|
||||||
if (! strcmp (GET_MODE_NAME (j), tmp_char))
|
|
||||||
break;
|
|
||||||
|
|
||||||
if (j == MAX_MACHINE_MODE)
|
|
||||||
fatal_with_file_and_line (infile, "unknown mode `%s'", tmp_char);
|
|
||||||
|
|
||||||
PUT_MODE (return_rtx, (enum machine_mode) j);
|
|
||||||
}
|
|
||||||
else
|
|
||||||
ungetc (i, infile);
|
|
||||||
|
|
||||||
for (i = 0; i < GET_RTX_LENGTH (GET_CODE (return_rtx)); i++)
|
|
||||||
switch (*format_ptr++)
|
|
||||||
{
|
|
||||||
/* 0 means a field for internal use only.
|
|
||||||
Don't expect it to be present in the input. */
|
|
||||||
case '0':
|
|
||||||
break;
|
|
||||||
|
|
||||||
case 'e':
|
|
||||||
case 'u':
|
|
||||||
XEXP (return_rtx, i) = read_rtx (infile);
|
|
||||||
break;
|
|
||||||
|
|
||||||
case 'V':
|
|
||||||
/* 'V' is an optional vector: if a closeparen follows,
|
|
||||||
just store NULL for this element. */
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
ungetc (c, infile);
|
|
||||||
if (c == ')')
|
|
||||||
{
|
|
||||||
XVEC (return_rtx, i) = 0;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
/* Now process the vector. */
|
|
||||||
|
|
||||||
case 'E':
|
|
||||||
{
|
|
||||||
/* Obstack to store scratch vector in. */
|
|
||||||
struct obstack vector_stack;
|
|
||||||
int list_counter = 0;
|
|
||||||
rtvec return_vec = NULL_RTVEC;
|
|
||||||
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
if (c != '[')
|
|
||||||
fatal_expected_char (infile, '[', c);
|
|
||||||
|
|
||||||
/* add expressions to a list, while keeping a count */
|
|
||||||
obstack_init (&vector_stack);
|
|
||||||
while ((c = read_skip_spaces (infile)) && c != ']')
|
|
||||||
{
|
|
||||||
ungetc (c, infile);
|
|
||||||
list_counter++;
|
|
||||||
obstack_ptr_grow (&vector_stack, (PTR) read_rtx (infile));
|
|
||||||
}
|
|
||||||
if (list_counter > 0)
|
|
||||||
{
|
|
||||||
return_vec = rtvec_alloc (list_counter);
|
|
||||||
memcpy (&return_vec->elem[0], obstack_finish (&vector_stack),
|
|
||||||
list_counter * sizeof (rtx));
|
|
||||||
}
|
|
||||||
XVEC (return_rtx, i) = return_vec;
|
|
||||||
obstack_free (&vector_stack, NULL);
|
|
||||||
/* close bracket gotten */
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
|
|
||||||
case 'S':
|
|
||||||
/* 'S' is an optional string: if a closeparen follows,
|
|
||||||
just store NULL for this element. */
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
ungetc (c, infile);
|
|
||||||
if (c == ')')
|
|
||||||
{
|
|
||||||
XSTR (return_rtx, i) = 0;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
|
|
||||||
case 's':
|
|
||||||
{
|
|
||||||
char *stringbuf;
|
|
||||||
|
|
||||||
stringbuf = read_string (&rtl_obstack, infile);
|
|
||||||
|
|
||||||
/* For insn patterns, we want to provide a default name
|
|
||||||
based on the file and line, like "*foo.md:12", if the
|
|
||||||
given name is blank. These are only for define_insn and
|
|
||||||
define_insn_and_split, to aid debugging. */
|
|
||||||
if (*stringbuf == '\0'
|
|
||||||
&& i == 0
|
|
||||||
&& (GET_CODE (return_rtx) == DEFINE_INSN
|
|
||||||
|| GET_CODE (return_rtx) == DEFINE_INSN_AND_SPLIT))
|
|
||||||
{
|
|
||||||
char line_name[20];
|
|
||||||
const char *fn = (read_rtx_filename ? read_rtx_filename : "rtx");
|
|
||||||
const char *slash;
|
|
||||||
for (slash = fn; *slash; slash ++)
|
|
||||||
if (*slash == '/' || *slash == '\\' || *slash == ':')
|
|
||||||
fn = slash + 1;
|
|
||||||
obstack_1grow (&rtl_obstack, '*');
|
|
||||||
obstack_grow (&rtl_obstack, fn, strlen (fn));
|
|
||||||
sprintf (line_name, ":%d", read_rtx_lineno);
|
|
||||||
obstack_grow (&rtl_obstack, line_name, strlen (line_name)+1);
|
|
||||||
stringbuf = (char *) obstack_finish (&rtl_obstack);
|
|
||||||
}
|
|
||||||
|
|
||||||
XSTR (return_rtx, i) = stringbuf;
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
|
|
||||||
case 'w':
|
|
||||||
read_name (tmp_char, infile);
|
|
||||||
#if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT
|
|
||||||
tmp_wide = atoi (tmp_char);
|
|
||||||
#else
|
|
||||||
#if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
|
|
||||||
tmp_wide = atol (tmp_char);
|
|
||||||
#else
|
|
||||||
/* Prefer atoll over atoq, since the former is in the ISO C99 standard.
|
|
||||||
But prefer not to use our hand-rolled function above either. */
|
|
||||||
#if defined(HAVE_ATOLL) || !defined(HAVE_ATOQ)
|
|
||||||
tmp_wide = atoll (tmp_char);
|
|
||||||
#else
|
|
||||||
tmp_wide = atoq (tmp_char);
|
|
||||||
#endif
|
|
||||||
#endif
|
|
||||||
#endif
|
|
||||||
XWINT (return_rtx, i) = tmp_wide;
|
|
||||||
break;
|
|
||||||
|
|
||||||
case 'i':
|
|
||||||
case 'n':
|
|
||||||
read_name (tmp_char, infile);
|
|
||||||
tmp_int = atoi (tmp_char);
|
|
||||||
XINT (return_rtx, i) = tmp_int;
|
|
||||||
break;
|
|
||||||
|
|
||||||
default:
|
|
||||||
fprintf (stderr,
|
|
||||||
"switch format wrong in rtl.read_rtx(). format was: %c.\n",
|
|
||||||
format_ptr[-1]);
|
|
||||||
fprintf (stderr, "\tfile position: %ld\n", ftell (infile));
|
|
||||||
abort ();
|
|
||||||
}
|
|
||||||
|
|
||||||
c = read_skip_spaces (infile);
|
|
||||||
if (c != ')')
|
|
||||||
fatal_expected_char (infile, ')', c);
|
|
||||||
|
|
||||||
return return_rtx;
|
|
||||||
}
|
|
||||||
|
|
||||||
#if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007)
|
#if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007)
|
||||||
void
|
void
|
||||||
rtl_check_failed_bounds (r, n, file, line, func)
|
rtl_check_failed_bounds (r, n, file, line, func)
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user