Andrew Haley <[EMAIL PROTECTED]> writes: > 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.
Well, internally, we do have ASSERT_EXPR. It would probably take a little work to permit the frontends to generate it, but the optimizers should understand it. Ian