On Tue, Jun 30, 2015 at 02:47:49PM +0200, Richard Biener wrote:
> On Tue, 30 Jun 2015, Marek Polacek wrote:
>
> > On Tue, Jun 30, 2015 at 01:39:29PM +0200, Marc Glisse wrote:
> > > Does my suggestion to "build the all_ones constant in TREE_TYPE (@0) and
> > > convert that to type" help for that?
> >
> > It appears to work, but it seems weird to me to create a integer constant
> > in one type and then immediately cast it to another type.
>
> Yes. Do you have a testcase now that fails using bools?
I don't have a testcase that fails with the pattern we currently have, i.e.
the one with tree_nop_conversion_p.
Marek