On 11/09/2015 10:10 PM, Steve Ellcey wrote:
emit_library_call_value_1 has no way of knowing if the promotion should
be signed or unsigned because it has a mode (probably QImode or HImode)
that it knows may need to be promoted to SImode but it has no way to
know if that should be a signed or unsigned promotion because it has no
tree type information about the library call argument types.
Right now it guesses based on the return type but it may guess wrong
when converting an unsigned int to a signed fixed type or visa versa.
That's not quite how I read the code, but it doesn't matter - the lack
of a type seems to be a real issue. Since I don't see anything better,
please install your patch.
Bernd
