This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: java method calls and GIMPLE

From: Tom Tromey <tromey at redhat dot com>
To: Ian Lance Taylor <iant at google dot com>
Cc: Andrew Haley <aph at redhat dot com>, "Paul Biggar" <paul dot biggar at gmail dot com>, gcc at gcc dot gnu dot org, java at gcc dot gnu dot org
Date: 11 Oct 2006 11:12:52 -0600
Subject: Re: java method calls and GIMPLE
References: <af54caaf0610110923h8b2992ata47c4337e8a9ffc3@mail.gmail.com> <17709.8177.468837.546867@zebedee.pink> <m3hcyavli5.fsf@dhcp-172-18-118-195.corp.google.com>
Reply-to: tromey at redhat dot com

>>>>> "Ian" == Ian Lance Taylor <iant@google.com> writes:

Ian> But note that IPA via LTO is not going to permit callbacks into the
Ian> front end, because there isn't going to be a front end.  So the
Ian> information needs to be represented in GIMPLE somewhere.

Unfortunately there are lots of unsolved problems here, namely what
the type system will look like.  My current devirtualization pass
relies on facts about the java type system in order to do its work.

And unless I'm mistaken there are even simpler LTO problems that
remain unsolved -- e.g., gcj sets flag_wrapv, but it seems to me that
this would have to be a flag on operations rather than a global for
LTO to be truly language independent.

Tom

Follow-Ups:
- Re: java method calls and GIMPLE
  - From: Joe Buck
- Re: java method calls and GIMPLE
  - From: Mark Mitchell

References:
- java method calls and GIMPLE
  - From: Paul Biggar
- Re: java method calls and GIMPLE
  - From: Andrew Haley
- Re: java method calls and GIMPLE
  - From: Ian Lance Taylor

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]