This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: gcc compile time support for assumptions
Ian Lance Taylor writes:
> Abramo Bagnara <abramobagnara@tin.it> writes:
>
> > I'd like to know if gcc has implemented some generic way to help
> > optimizer job by allowing programmers to specify assumptions (or
> > constraints).
>
> The answer is no, there is nothing quite like you describe.
>
> But I think it would be a good idea.
Something like this would greatly improve the code generation quality
of gcj. There are a great many assertions that I could pass to VRP
and the optimizers: this is invariant, this is less than that, and so
on.
Andrew.