Re: Implementation dependent behaviour (WAS: Re: Programming language and IDE design)

Ivan Godard <ivan@ootbcomp.com>
Mon, 13 Jan 2014 12:47:52 -0800

          From comp.compilers

Related articles
[4 earlier articles]
Re: Implementation dependent behaviour (WAS: Re: Programming language martin@gkc.org.uk (Martin Ward) (2014-01-06)
Re: Implementation dependent behaviour (WAS: Re: Programming language martin@gkc.org.uk (Martin Ward) (2014-01-06)
Re: Implementation dependent behaviour (WAS: Re: Programming language ivan@ootbcomp.com (Ivan Godard) (2014-01-08)
Re: Implementation dependent behaviour (WAS: Re: Programming language kaz@kylheku.com (Kaz Kylheku) (2014-01-08)
Re: Implementation dependent behaviour (WAS: Re: Programming language ivan@ootbcomp.com (Ivan Godard) (2014-01-10)
Re: Implementation dependent behaviour (WAS: Re: Programming language gah@ugcs.caltech.edu (glen herrmannsfeldt) (2014-01-10)
Re: Implementation dependent behaviour (WAS: Re: Programming language ivan@ootbcomp.com (Ivan Godard) (2014-01-13)
Re: Implementation dependent behaviour (WAS: Re: Programming language anton@mips.complang.tuwien.ac.at (2014-01-14)
| List of all articles for this month |
From: Ivan Godard <ivan@ootbcomp.com>
Newsgroups: comp.compilers
Date: Mon, 13 Jan 2014 12:47:52 -0800
Organization: A noiseless patient Spider
References: 13-11-025 14-01-007 14-01-008 14-01-011
Keywords: arithmetic, history, comment
Posted-Date: 14 Jan 2014 12:14:10 EST



On 1/10/2014 3:08 PM, glen herrmannsfeldt wrote:
> Kaz Kylheku <kaz@kylheku.com> wrote:
>> On 2014-01-08, Ivan Godard <ivan@ootbcomp.com> wrote:
>
> (snip)
>>> I am such a CPU designer. We faced the "undefined" issue in our Mill
>>> family of general-purpose CPUs (ootbcomp.com). Not only are languages
>>> under-constraining, they are also sometimes over-constraining: signed
>>> integer overflow is undefined in C but required to wrap in Java.
>
>> It's only undefined on paper. In reality, if you don't make it
>> wrap in C like in Java, unknown numbers of C programs will break,
>> and not all of them doing it by accident.
>
> Well, C has unsigned with defined wrap on overflow. C still allows for
> ones complement or sign magnitude along with the more usual twos
> complement. As I understand it, Unisys still sells some ones
> complement machines. I am still waiting for a C compiler for the 7090
> to test out sign magnitude in C.


Unisys sells *both* one's complement (Univac 1100 descendants) and
sign-magnitude (Burroughs B6500 descendants).
[Wow. Is it custom hardware, or really funky simulators on normal chips? -John]


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.