This is the mail archive of the
mailing list for the GCC project.
Re: type consistency of gimple
On Sun, 2006-08-13 at 10:53 -0700, Mark Mitchell wrote:
> I think this is a question of priorities. It's relatively
> straightforward to fix the compiler to generate type-consistent GIMPLE:
> you write consistency-checking routines and then you just fix all the
> problems that arise, by inserting explicit type-conversions at the
> source of the offending inconsistency. However, while straightforward,
> that's probably person-months of effort.
This is what I had started to do back in July of last year. I was able
to fix some bugs while others I just filed for other people to fix.
Take a look at the meta-bug at http://gcc.gnu.org/PR22368 . It shows
all the known issues I was able to find with the patches attached.
> You could also strike a middle ground: write the consistency checker
> (Danny may have already done this) as a separate pass and put it on
> the LTO branch. Run it before writing out LTO information.
I was the one who write the consistency checker but right now it is not
a separate pass (the patches for checker are in the meta-bug referenced
above) but it could easily moved to a separate pass.