This is the mail archive of the
mailing list for the GCC project.
Re: [RFC] Contributing tree-ssa to mainline
Diego Novillo wrote:
Instead of emitting runtime calls, would it be possible to emit tree
codes with well defined semantics? On finding them, the optimizers
would know that it's not just an arbitrary function call for instance
(perhaps adding attributes to the libcall).
But I'm oversimplifying. We would have to talk about specific cases.
One specific issue that has been pending for ten years now is having
gcc generate reasonable code for arithmetic overflow checking. Right
now, GNAT really generates horrible stuff in the front end to make up
for this defic`iency. That to me is step #1 in improving the checking
situation for GNAT.
The code is nasty enough that we don't turn on arithemtic overflow
checking by default, which really is not very Ada :-)