NetBSD/gnu/dist/gcc/README.gnat

436 lines
14 KiB
Plaintext
Raw Normal View History

1998-08-16 21:35:45 +04:00
The following patches are needed in order to build GNAT with EGCS.
These patches were tested with egcs-980308 and gnat-3.10p on a mips-sgi-irix6.3
system. The gnat build succeeded as per the instructions in the gnat
README.BUILD file for building one library, except that CFLAGS="-O -g" and
GNATLIBCFLAGS="-O -g" were substituted for the recommended "-O2" so that the
build could be debugged. There was no attempt to run the resulting build
against any testsuite or validation suite.
--
Developers Notes:
Every use of sizetype in the Ada front end should be checked to see if perhaps
it should be using bitsizetype instead. The change to maybe_pad_type is just
a hack to work around this problem, and may not be desirable in the long term.
There are many places in the Ada front end where it calls operand_equal_p to
see if two type sizes are the same. operand_equal_p fails if the two
arguments have different TYPE_MODEs. sizetype and bitsizetype can have
different TYPE_MODEs. Thus this code can fail if one type size is based
on sizetype, and the other is based on bitsizetype. The change to
maybe_pad_type fixes one very critical place where this happens. There may
be others.
--
Mon Mar 16 11:00:25 1998 Jim Wilson <wilson@cygnus.com>
* a-gtran3.c (maybe_pad_type): Convert both size and orig_size to
sizetype if they have differing modes.
* a-misc.c (gnat_tree_code_type): Change from string to char array.
(init_lex): Delete realloc calls for tree_code_* globals. Adjust
bcopy call for gnat_tree_code_type change.
* a-tree.def: Adjust for tree_code_* type changes.
* a-misc.c (init_lex): Rename to init_parse.
diff -c ada/a-gtran3.c /home/brolley/comp/egcs/tmp/ada/a-gtran3.c
*** ada/a-gtran3.c Mon Mar 30 16:29:04 1998
--- /home/brolley/comp/egcs/tmp/ada/a-gtran3.c Thu Apr 2 17:16:15 1998
***************
*** 3329,3334 ****
--- 3329,3341 ----
isn't changing. Likewise, clear the alignment if it isn't being
changed. Then return if we aren't doing anything. */
+ if (size != 0
+ && TYPE_MODE (TREE_TYPE (size)) != TYPE_MODE (TREE_TYPE (orig_size)))
+ {
+ size = convert (sizetype, size);
+ orig_size = convert (sizetype, orig_size);
+ }
+
if (size != 0
&& (operand_equal_p (size, orig_size, 0)
|| (TREE_CODE (orig_size) == INTEGER_CST
diff -c ada/a-misc.c /home/brolley/comp/egcs/tmp/ada/a-misc.c
*** ada/a-misc.c Mon Mar 30 16:29:05 1998
--- /home/brolley/comp/egcs/tmp/ada/a-misc.c Thu Apr 2 17:36:19 1998
***************
*** 70,77 ****
#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
! char *gnat_tree_code_type[] = {
! "x",
#include "a-tree.def"
};
#undef DEFTREECODE
--- 70,77 ----
#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
! char gnat_tree_code_type[] = {
! 'x',
#include "a-tree.def"
};
#undef DEFTREECODE
***************
*** 254,259 ****
--- 254,268 ----
print_lang_statistics ()
{}
+ void
+ lang_print_xnode (file, node, indent)
+ FILE *file;
+ tree node;
+ int indent;
+ {
+ }
+
+
/* integrate_decl_tree calls this function, but since we don't use the
DECL_LANG_SPECIFIC field, this is a no-op. */
***************
*** 603,622 ****
it, but it's where g++ does it. */
void
! init_lex ()
{
lang_expand_expr = gnat_expand_expr;
- tree_code_type
- = (char **) realloc (tree_code_type,
- sizeof (char *) * LAST_GNAT_TREE_CODE);
- tree_code_length
- = (int *) realloc (tree_code_length,
- sizeof (int) * LAST_GNAT_TREE_CODE);
- tree_code_name
- = (char **) realloc (tree_code_name,
- sizeof (char *) * LAST_GNAT_TREE_CODE);
-
bcopy ((char *) gnat_tree_code_type,
(char *) (tree_code_type + (int) LAST_AND_UNUSED_TREE_CODE),
((LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE)
--- 612,622 ----
it, but it's where g++ does it. */
void
! init_parse (filename)
! char *filename;
{
lang_expand_expr = gnat_expand_expr;
bcopy ((char *) gnat_tree_code_type,
(char *) (tree_code_type + (int) LAST_AND_UNUSED_TREE_CODE),
((LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE)
***************
*** 629,636 ****
bcopy ((char *) gnat_tree_code_name,
(char *) (tree_code_name + (int) LAST_AND_UNUSED_TREE_CODE),
! ((LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE)
! * sizeof (char *)));
}
/* Sets some debug flags for the parsed. It does nothing here. */
--- 629,640 ----
bcopy ((char *) gnat_tree_code_name,
(char *) (tree_code_name + (int) LAST_AND_UNUSED_TREE_CODE),
! LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE);
! }
!
! void
! finish_parse ()
! {
}
/* Sets some debug flags for the parsed. It does nothing here. */
diff -c ada/a-tree.def /home/brolley/comp/egcs/tmp/ada/a-tree.def
*** ada/a-tree.def Mon Mar 30 16:29:09 1998
--- /home/brolley/comp/egcs/tmp/ada/a-tree.def Thu Apr 2 17:20:38 1998
***************
*** 31,69 ****
The only field used if TREE_COMPLEXITY, which contains the GNAT node
number. */
! DEFTREECODE (TRANSFORM_EXPR, "transform_expr", "e", 0)
/* Perform an unchecked conversion between the input and the output.
if TREE_ADDRESSABLE is set, it means this is in an LHS; in that case,
we can only use techniques, such as pointer punning, that leave the
expression a "name". */
! DEFTREECODE (UNCHECKED_CONVERT_EXPR, "unchecked_convert_expr", "1", 1)
/* A type that is an unconstrained array itself. This node is never passed
to GCC. TREE_TYPE is the type of the fat pointer and TYPE_OBJECT_RECORD_TYPE
is the type of a record containing the template and data. */
! DEFTREECODE (UNCONSTRAINED_ARRAY_TYPE, "unconstrained_array_type", "t", 0)
/* A reference to an unconstrained array. This node only exists as an
intermediate node during the translation of a GNAT tree to a GCC tree;
it is never passed to GCC. The only field used is operand 0, which
is the fat pointer object. */
! DEFTREECODE (UNCONSTRAINED_ARRAY_REF, "unconstrained_array_ref", "r", 1)
/* An expression that returns an RTL suitable for its type. Operand 0
is an expression to be evaluated for side effects only. */
! DEFTREECODE (NULL_EXPR, "null_expr", "e", 1)
/* An expression that emits a USE for its single operand. */
! DEFTREECODE (USE_EXPR, "use_expr", "e", 1)
/* An expression that is treated as a conversion while generating code, but is
used to prevent infinite recursion when conversions of biased types are
involved. */
! DEFTREECODE (GNAT_NOP_EXPR, "gnat_nop_expr", "1", 1)
--- 31,69 ----
The only field used if TREE_COMPLEXITY, which contains the GNAT node
number. */
! DEFTREECODE (TRANSFORM_EXPR, "transform_expr", 'e', 0)
/* Perform an unchecked conversion between the input and the output.
if TREE_ADDRESSABLE is set, it means this is in an LHS; in that case,
we can only use techniques, such as pointer punning, that leave the
expression a "name". */
! DEFTREECODE (UNCHECKED_CONVERT_EXPR, "unchecked_convert_expr", '1', 1)
/* A type that is an unconstrained array itself. This node is never passed
to GCC. TREE_TYPE is the type of the fat pointer and TYPE_OBJECT_RECORD_TYPE
is the type of a record containing the template and data. */
! DEFTREECODE (UNCONSTRAINED_ARRAY_TYPE, "unconstrained_array_type", 't', 0)
/* A reference to an unconstrained array. This node only exists as an
intermediate node during the translation of a GNAT tree to a GCC tree;
it is never passed to GCC. The only field used is operand 0, which
is the fat pointer object. */
! DEFTREECODE (UNCONSTRAINED_ARRAY_REF, "unconstrained_array_ref", 'r', 1)
/* An expression that returns an RTL suitable for its type. Operand 0
is an expression to be evaluated for side effects only. */
! DEFTREECODE (NULL_EXPR, "null_expr", 'e', 1)
/* An expression that emits a USE for its single operand. */
! DEFTREECODE (USE_EXPR, "use_expr", 'e', 1)
/* An expression that is treated as a conversion while generating code, but is
used to prevent infinite recursion when conversions of biased types are
involved. */
! DEFTREECODE (GNAT_NOP_EXPR, "gnat_nop_expr", '1', 1)
This patch from Fred Fish to GNAT may make building simpler. We haven't
tested it.
> I put a very short blurb in the faq. GNAT is complicated enough that
> we should probably write a whole page on how to build/install it.
You may want to use some or all of these patches:
* Make-lang.in (gnattools): Depends upon GCC_PARTS.
(ada.start.encap): Depends upon gnattools.
(ada.rest.encap): Depends upon gnatlib.
* Makefile.in (../stamp-gnatlib1): Since we are still in the rts
subdir when the rule runs, we need to touch ../../stamp-gnatlib1.
(../stamp-gnatlib1): Don't unconditionally remove the rts directory,
create it if one does not exist.
(gnatlib): Remove superflous leading blank char at *-*-pe line.
* a-init.c: Define NULL if not yet defined.
Index: Make-lang.in
===================================================================
RCS file: /cvsroot/gg/egcs/gcc/ada/Make-lang.in,v
retrieving revision 1.1.1.1
retrieving revision 1.3
diff -c -r1.1.1.1 -r1.3
*** Make-lang.in 1997/10/17 06:19:09 1.1.1.1
--- Make-lang.in 1998/03/17 14:26:14 1.3
***************
*** 100,106 ****
# use host-gcc
# getopt*.o has to be built before CC=../xgcc
! gnattools: getopt.o getopt1.o force
$(MAKE) $(FLAGS_TO_PASS) $(ADA_FLAGS_TO_PASS)\
CC="../xgcc -B../" GNATBIND="../gnatbind" \
gnatf gnatlink gnatkr gnatmake gnatcmd gnatprep \
--- 100,107 ----
# use host-gcc
# getopt*.o has to be built before CC=../xgcc
! # GCC_PARTS has to be built before CC=../xgcc
! gnattools: getopt.o getopt1.o $(GCC_PARTS) force
$(MAKE) $(FLAGS_TO_PASS) $(ADA_FLAGS_TO_PASS)\
CC="../xgcc -B../" GNATBIND="../gnatbind" \
gnatf gnatlink gnatkr gnatmake gnatcmd gnatprep \
***************
*** 163,170 ****
-if [ -f gnatls$(exeext) ] ; then\
mv gnatls$(exeext) gnatls-cross$(exeext); fi
! ada.start.encap:
! ada.rest.encap:
ada.info:
ada.dvi:
--- 164,171 ----
-if [ -f gnatls$(exeext) ] ; then\
mv gnatls$(exeext) gnatls-cross$(exeext); fi
! ada.start.encap: gnattools
! ada.rest.encap: gnatlib
ada.info:
ada.dvi:
Index: Makefile.in
===================================================================
RCS file: /cvsroot/gg/egcs/gcc/ada/Makefile.in,v
retrieving revision 1.1.1.1
retrieving revision 1.5
diff -c -r1.1.1.1 -r1.5
*** Makefile.in 1997/10/17 06:19:09 1.1.1.1
--- Makefile.in 1998/02/19 14:16:34 1.5
***************
*** 798,806 ****
# 3. copy 3xyyy.ad[sb] -->-- i-yyy.ad[sb]
../stamp-gnatlib1: Makefile ../stamp-gnatlib2
! rm -rf rts
! mkdir rts
! chmod u+w rts
(\
case $(target) in \
sparc-sun-sunos4*) letter=u ;;\
--- 800,806 ----
# 3. copy 3xyyy.ad[sb] -->-- i-yyy.ad[sb]
../stamp-gnatlib1: Makefile ../stamp-gnatlib2
! if [ -d rts ]; then true; else mkdir rts; chmod u+w rts; fi
(\
case $(target) in \
sparc-sun-sunos4*) letter=u ;;\
***************
*** 888,894 ****
done;; \
esac ; \
rm -f ../stamp-gnatlib ; \
! touch ../stamp-gnatlib1)
gnatlib-common: ../stamp-gnatlib1
(subdir=`cd $(srcdir); pwd`; \
--- 888,894 ----
done;; \
esac ; \
rm -f ../stamp-gnatlib ; \
! touch ../../stamp-gnatlib1)
gnatlib-common: ../stamp-gnatlib1
(subdir=`cd $(srcdir); pwd`; \
***************
*** 923,929 ****
mips-sni-* |\
*-*-cygwin32* |\
*-*-mingw32* |\
! *-*-pe |\
*) \
\
$(MAKE) CC="../../xgcc -B../../" \
--- 923,929 ----
mips-sni-* |\
*-*-cygwin32* |\
*-*-mingw32* |\
! *-*-pe |\
*) \
\
$(MAKE) CC="../../xgcc -B../../" \
Index: a-init.c
===================================================================
RCS file: /cvsroot/gg/egcs/gcc/ada/a-init.c,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -c -r1.1.1.1 -r1.2
*** a-init.c 1997/10/17 06:19:10 1.1.1.1
--- a-init.c 1998/01/04 23:11:42 1.2
***************
*** 516,521 ****
--- 516,525 ----
__gnat_raise (exception);
}
+ #ifndef NULL
+ #define NULL 0
+ #endif
+
static void
__gnat_install_handler ()
{
Wed Jun 24 15:06:09 1998 Dave Brolley <brolley@cygnus.com>
* a-misc.c (lang_decode_option): New interface.
* a-misc.h (lang_decode_option): New interface.
*** /home/brolley/tmp/a-misc.c Wed Jun 24 15:01:22 1998
--- ada/a-misc.c Wed Jun 24 15:02:42 1998
*************** init_gnat_args ()
*** 162,170 ****
it returns 0. */
int
! lang_decode_option (p)
! char *p;
{
extern int save_argc;
extern char **save_argv;
--- 162,172 ----
it returns 0. */
int
! lang_decode_option (argc, argv)
! int argc;
! char **argv;
{
+ char *p = argv[0];
extern int save_argc;
extern char **save_argv;
*** /home/brolley/tmp/a-misc.h Wed Jun 24 15:01:22 1998
--- ada/a-misc.h Wed Jun 24 15:03:20 1998
*************** enum gnat_tree_code {
*** 63,69 ****
option decoding phase of GCC calls this routine on the flags that it cannot
decode. This routine returns 1 if it is successful, otherwise it
returns 0. */
! extern int lang_decode_option PROTO((char *));
/* Perform all the initialization steps that are language-specific. */
extern void lang_init PROTO((void));
--- 63,69 ----
option decoding phase of GCC calls this routine on the flags that it cannot
decode. This routine returns 1 if it is successful, otherwise it
returns 0. */
! extern int lang_decode_option PROTO((int, char **));
/* Perform all the initialization steps that are language-specific. */
extern void lang_init PROTO((void));