Re: Relax VIEW_CONVERT_EXPR - CONVERT_EXPR combination

2017-05-24 Thread Richard Biener
On Sun, May 21, 2017 at 11:21 PM, Marc Glisse wrote: > Hello, > > SRA uses char when scalarizing bool, and we end up with > > _6 = u_1(D) == 0.0; > _7 = (unsigned char) _6; > _3 = VIEW_CONVERT_EXPR<_Bool>(_7); > > which we currently do not simplify. I am not completely sure what happens > wi

Relax VIEW_CONVERT_EXPR - CONVERT_EXPR combination

2017-05-21 Thread Marc Glisse
Hello, SRA uses char when scalarizing bool, and we end up with _6 = u_1(D) == 0.0; _7 = (unsigned char) _6; _3 = VIEW_CONVERT_EXPR<_Bool>(_7); which we currently do not simplify. I am not completely sure what happens with types whose precision does not cover their size, I hope this is sa