This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC internal re-architecture proposal
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: "Joseph S. Myers" <joseph at codesourcery dot com>
- Cc: gcc at gcc dot gnu dot org, Andrew MacLeod <amacleod at redhat dot com>
- Date: Fri, 21 Jun 2013 19:48:07 +0200
- Subject: Re: GCC internal re-architecture proposal
- References: <51C470DB dot 9010203 at redhat dot com> <Pine dot LNX dot 4 dot 64 dot 1306211554430 dot 28953 at digraph dot polyomino dot org dot uk>
> * Various cases of front-end folding are to get better warnings, e.g. to
> detect that in a signed-to-unsigned conversion the converted value is in
> fact never negative. I don't see this issue mentioned in the document.
Tree front-end folding, or more precisely folding of expressions generated for
types, is required when types with variable size are first-class citizens like
in Ada. In practice, something even more powerful is required, i.e. outlining
(called from stor-layout.c:variable_size) and back-inlining of the expressions
(tree-inline.c:maybe_inline_call_in_expr), if you want to be able to compile
big codebases with a reasonable amount of resources.
--
Eric Botcazou