> you are correct - this was an incorrect change.   I believe that the
> patch below would be correct, but it is impossible to test it because (i
> believe) that gcc no longer works if the host_bits_per_wide_int is 32.
> I could be wrong about this but if i am correct, what do you want me to do?

While you're right that most mainstream architectures now require a 64-bit 
HWI, not all of them do according to config.gcc, so I don't think that this 
path is entirely dead yet.  I'll carry out the testing once we agree on the 
final change.

The checks were written that way in UI_From_gnu to be efficient, so can't we 
find something more efficient than wi::gtu_p <wi::lrshift> ?  We need to 
return No_Uint on Input not representing a 64-bit signed integer, can't this 
be done by testing the number of HWIs in Input and its sign bit if its type is 
unsigned?

-- 
Eric Botcazou

Reply via email to