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
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