Ian Lance Taylor writes: > Abramo Bagnara <[EMAIL PROTECTED]> 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.
