On Tue, Dec 1, 2009 at 4:47 PM, Alexander Belopolsky
<alexander.belopol...@gmail.com> wrote:
>> On Tue, Dec 1, 2009 at 4:17 PM, James Y Knight <f...@fuhm.net> wrote:
>>> I think all that needs to be defined is that conversion from unsigned to 
>>> signed, and (negative) signed to
>>>  unsigned integers have 2's complement wrapping semantics, and does not 
>>> affect the bit pattern in memory.
>
>
> I don't know if this particular implementation defined behavior is
> safe to be relied upon. I just want to suggest that if any such
> assumption is made in the code, a test should be added to configure to
> complain loudly if a platform violating the assumption is found in the
> future.

That sounds like a good idea.  An extension of that would be to define
an UNSIGNED_TO_SIGNED macro (insert better name here) which,
depending on the result of the configure test, either used a direct cast
or a workaround.  E.g., for an unsigned long x,

  ((x) >= 0 ? (long)(x) : ~(long)~(x))

always gives the appropriate wraparound semantics (I think), assuming
two's complement with no trap representation.

Mark
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to