Re: is Vax addressing sane today

Liste des GroupesRevenir à c arch 
Sujet : Re: is Vax addressing sane today
De : anton (at) *nospam* mips.complang.tuwien.ac.at (Anton Ertl)
Groupes : comp.arch
Date : 10. Sep 2024, 09:43:53
Autres entêtes
Organisation : Institut fuer Computersprachen, Technische Universitaet Wien
Message-ID : <2024Sep10.094353@mips.complang.tuwien.ac.at>
References : 1 2 3 4 5 6 7 8 9
User-Agent : xrn 10.11
Brett <ggtgp@yahoo.com> writes:
Speaking of complex things, have you looked at Swift output, as it checks
all operations for overflow?
>
You could add an exception type for that, saving huge numbers of correctly
predicted branch instructions.
>
The future of programming languages is type safe with checks, you need to
get on that bandwagon early.

MIPS got on that bandwagon early.  It has, e.g., add (which traps on
signed overflow) in addition to addu (which performs modulo
arithmetic).  It has been abandoned and replaced by RISC-V several
years ago.

Alpha got on that bandwagon early.  It's a descendent of MIPS, but it
renamed add into addv, and addu into add.  It has been canceled around
the year 2000.

RISC-V, another descendent of MIPS, has an add instruction that
corresponds to MIPS' addu, and no instruction that corresponds to
MIPS' add.  They obviously don't think that there's a bandwagon.  Note
that RISC-V was designed after Swift was introduced.

IA-32 got on that bandwagon early.  It has a single-byte instruction
trapv that traps if the overflow flag is set.  The AMD64 instruction
set is very similar to the IA-32 instruction set, but one of the few
differences is that the trapv instruction was eliminated, and the
encoding replaced with a REX prefix.  The AMD64 architects obviously
don't think that there is a bandwagon.

Apple has been designing their own silicon for a while, and they have
introduced Swift as their language in 2010.  Yet they have not
switched to an architecture like MIPS or Alpha, nor have they designed
their own architecture or architecture extension that includes
instructions like Alpha's addv or IA-32's trapv.  Instead, they
switched to ARM A64, which does not have such features, after
introducing Swift in 2010.  They obviously don't think that there is
such a bandwagon, either.

- anton
--
'Anyone trying for "industrial quality" ISA should avoid undefined behavior.'
  Mitch Alsup, <c17fcd89-f024-40e7-a594-88a85ac10d20o@googlegroups.com>

Date Sujet#  Auteur
5 Sep 24 * is Vax adressing sane today134Brett
5 Sep 24 +* Re: is Vax adressing sane today122John Dallman
6 Sep 24 i+- Re: is Vax adressing sane today1Lawrence D'Oliveiro
6 Sep 24 i`* Re: is Vax adressing sane today120Anton Ertl
6 Sep 24 i +- Re: is Vax adressing sane today1Lawrence D'Oliveiro
6 Sep 24 i +* Re: is Vax adressing sane today5MitchAlsup1
7 Sep 24 i i`* Re: is Vax adressing sane today4Anton Ertl
7 Sep 24 i i `* Re: is Vax adressing sane today3Anton Ertl
7 Sep 24 i i  `* Re: is Vax addressing sane today2John Dallman
7 Sep 24 i i   `- Re: is Vax addressing sane today1Anton Ertl
7 Sep 24 i +* Re: is Vax adressing sane today111John Levine
8 Sep 24 i i`* Re: is Vax adressing sane today110Anton Ertl
8 Sep 24 i i +* Re: is Vax adressing sane today102MitchAlsup1
8 Sep 24 i i i`* Re: is Vax addressing sane today101Lawrence D'Oliveiro
9 Sep 24 i i i +* Re: is Vax addressing sane today31MitchAlsup1
9 Sep 24 i i i i`* Re: is Vax addressing sane today30Brett
9 Sep 24 i i i i +* Re: is Vax addressing sane today3MitchAlsup1
10 Sep 24 i i i i i`* Re: is Vax addressing sane today2Niklas Holsti
11 Sep 24 i i i i i `- Re: is Vax addressing sane today1Lawrence D'Oliveiro
10 Sep 24 i i i i `* Re: is Vax addressing sane today26Anton Ertl
10 Sep 24 i i i i  +* Re: is Vax addressing sane today4Michael S
10 Sep 24 i i i i  i`* Re: is Vax addressing sane today3Anton Ertl
10 Sep 24 i i i i  i +- Re: is Vax addressing sane today1Niklas Holsti
11 Sep 24 i i i i  i `- Re: is Vax addressing sane today1Michael S
11 Sep 24 i i i i  +* Re: is Vax addressing sane today7Lawrence D'Oliveiro
11 Sep 24 i i i i  i`* Re: is Vax addressing sane today6Michael S
11 Sep 24 i i i i  i `* Re: is Vax addressing sane today5David Brown
11 Sep 24 i i i i  i  +* Re: is Vax addressing sane today2Thomas Koenig
11 Sep 24 i i i i  i  i`- Re: is Vax addressing sane today1David Brown
11 Sep 24 i i i i  i  `* Re: is Vax addressing sane today2David Schultz
13 Sep 24 i i i i  i   `- Re: is Vax addressing sane today1David Brown
11 Sep 24 i i i i  +* Re: is Vax addressing sane today5John Levine
11 Sep 24 i i i i  i`* Re: is Vax addressing sane today4Thomas Koenig
11 Sep 24 i i i i  i +* Re: is Vax addressing sane today2Anton Ertl
11 Sep 24 i i i i  i i`- Re: is Vax addressing sane today1jseigh
11 Sep 24 i i i i  i `- Re: is Vax addressing sane today1John Levine
20 Sep20:35 i i i i  `* Re: is Vax addressing sane today9Kent Dickey
21 Sep00:00 i i i i   +* Re: is Vax addressing sane today4MitchAlsup1
21 Sep03:09 i i i i   i`* Re: is Vax addressing sane today3Lawrence D'Oliveiro
21 Sep03:52 i i i i   i `* Re: is Vax addressing sane today2MitchAlsup1
21 Sep10:17 i i i i   i  `- Re: is Vax addressing sane today1Lawrence D'Oliveiro
21 Sep03:12 i i i i   `* Re: is Vax addressing sane today4Lawrence D'Oliveiro
21 Sep03:51 i i i i    `* Re: is Vax addressing sane today3MitchAlsup1
21 Sep09:56 i i i i     +- Re: is Vax addressing sane today1Niklas Holsti
21 Sep10:18 i i i i     `- Re: is Vax addressing sane today1Lawrence D'Oliveiro
9 Sep 24 i i i `* Re: is Vax addressing sane today69Anton Ertl
9 Sep 24 i i i  +* Re: is Vax addressing sane today3Michael S
9 Sep 24 i i i  i`* Re: is Vax addressing sane today2Anton Ertl
9 Sep 24 i i i  i `- Re: is Vax addressing sane today1Michael S
9 Sep 24 i i i  +- Re: is Vax addressing sane today1Lawrence D'Oliveiro
9 Sep 24 i i i  `* Re: is Vax addressing sane today64John Levine
10 Sep 24 i i i   `* Re: is Vax addressing sane today63Anton Ertl
10 Sep 24 i i i    `* Re: is Vax addressing sane today62Michael S
10 Sep 24 i i i     `* Re: is Vax addressing sane today61Anton Ertl
11 Sep 24 i i i      `* Re: is Vax addressing sane today60Lawrence D'Oliveiro
11 Sep 24 i i i       `* Re: is Vax addressing sane today59Anton Ertl
11 Sep 24 i i i        +* Re: what's a mainframe, was is Vax addressing sane today19John Levine
11 Sep 24 i i i        i+* Re: what's a mainframe, was is Vax addressing sane today7Stephen Fuld
11 Sep 24 i i i        ii`* Re: what's a mainframe, was is Vax addressing sane today6John Levine
11 Sep 24 i i i        ii +- Re: what's a mainframe, was is Vax addressing sane today1Stephen Fuld
11 Sep 24 i i i        ii +- Re: what's a mainframe, was is Vax addressing sane today1Thomas Koenig
12 Sep 24 i i i        ii +- Re: what's a mainframe, was is Vax addressing sane today1Terje Mathisen
13 Sep 24 i i i        ii `* Re: what's a mainframe, was is Vax addressing sane today2Lynn Wheeler
14 Sep 24 i i i        ii  `- Re: what's a mainframe, was is Vax addressing sane today1Lawrence D'Oliveiro
11 Sep 24 i i i        i+- Re: what's a mainframe, was is Vax addressing sane today1MitchAlsup1
12 Sep 24 i i i        i+* Re: what's a mainframe, was is Vax addressing sane today8Lars Poulsen
12 Sep 24 i i i        ii`* Re: what's a mainframe, was is Vax addressing sane today7John Levine
12 Sep 24 i i i        ii +- Re: what's a mainframe1Lars Poulsen
12 Sep 24 i i i        ii `* Re: what's a mainframe, was is Vax addressing sane today5Lawrence D'Oliveiro
13 Sep 24 i i i        ii  `* Re: what's a mainframe, was is Vax addressing sane today4Terje Mathisen
13 Sep 24 i i i        ii   +* Re: what's a mainframe, was is Vax addressing sane today2Lawrence D'Oliveiro
13 Sep 24 i i i        ii   i`- Re: what's a mainframe, was is Vax addressing sane today1Terje Mathisen
13 Sep 24 i i i        ii   `- Re: what's a mainframe, was is Vax addressing sane today1Lynn Wheeler
12 Sep 24 i i i        i+- Re: what's a mainframe, was is Vax addressing sane today1Lawrence D'Oliveiro
13 Sep 24 i i i        i`- Re: what's a mainframe, was is Vax addressing sane today1Lynn Wheeler
11 Sep 24 i i i        +* Re: is Vax addressing sane today35Brett
12 Sep 24 i i i        i`* Re: is Vax addressing sane today34Lawrence D'Oliveiro
12 Sep 24 i i i        i `* Re: big, fast, etc, was is Vax addressing sane today33John Levine
13 Sep 24 i i i        i  +- Re: big, fast, etc, was is Vax addressing sane today1Lawrence D'Oliveiro
13 Sep 24 i i i        i  +* Re: big, fast, etc, was is Vax addressing sane today6Terje Mathisen
13 Sep 24 i i i        i  i`* Re: big, fast, etc, was is Vax addressing sane today5Thomas Koenig
13 Sep 24 i i i        i  i +* Re: big, fast, etc, was is Vax addressing sane today3Michael S
13 Sep 24 i i i        i  i i`* Re: big, fast, etc, was is Vax addressing sane today2Thomas Koenig
14 Sep 24 i i i        i  i i `- Re: big, fast, etc, was is Vax addressing sane today1MitchAlsup1
14 Sep 24 i i i        i  i `- Re: big, fast, etc, was is Vax addressing sane today1Lawrence D'Oliveiro
13 Sep 24 i i i        i  +- Re: big, fast, etc, was is Vax addressing sane today1Anton Ertl
13 Sep 24 i i i        i  +* Re: big, fast, etc, was is Vax addressing sane today23Michael S
13 Sep 24 i i i        i  i+* Re: big, fast, etc, was is Vax addressing sane today4John Dallman
13 Sep 24 i i i        i  ii`* Re: big, fast, etc, was is Vax addressing sane today3Michael S
13 Sep 24 i i i        i  ii `* Re: big, fast, etc, was is Vax addressing sane today2John Dallman
14 Sep 24 i i i        i  ii  `- Re: big, fast, etc, was is Vax addressing sane today1Lawrence D'Oliveiro
13 Sep 24 i i i        i  i+* Re: big, fast, etc, was is Vax addressing sane today3MitchAlsup1
14 Sep21:17 i i i        i  ii`* Re: big, fast, etc, was is Vax addressing sane today2Michael S
14 Sep22:42 i i i        i  ii `- Re: big, fast, etc, was is Vax addressing sane today1MitchAlsup1
13 Sep 24 i i i        i  i+* Re: big, fast, etc, was is Vax addressing sane today14John Levine
14 Sep 24 i i i        i  ii+* Re: big, fast, etc, was is Vax addressing sane today6Anton Ertl
14 Sep 24 i i i        i  iii`* In-memory database (was: big, fast, etc, was is Vax addressing sane today)5Thomas Koenig
14 Sep12:45 i i i        i  iii `* Re: In-memory database (was: big, fast, etc, was is Vax addressing sane today)4Anton Ertl
14 Sep13:46 i i i        i  iii  `* Re: In-memory database (was: big, fast, etc, was is Vax addressing sane today)3Thomas Koenig
14 Sep14:48 i i i        i  iii   `* Re: In-memory database (was: big, fast, etc, was is Vax addressing sane today)2Anton Ertl
14 Sep15:41 i i i        i  iii    `- Re: In-memory database (was: big, fast, etc, was is Vax addressing sane today)1Anton Ertl
14 Sep 24 i i i        i  ii+- Re: big, fast, etc, was is Vax addressing sane today1Lawrence D'Oliveiro
14 Sep22:32 i i i        i  ii+- Re: big, fast, etc, was is Vax addressing sane today1Michael S
14 Sep22:57 i i i        i  ii`* Re: big, fast, etc, was is Vax addressing sane today5Lynn Wheeler
14 Sep 24 i i i        i  i`- Re: big, fast, etc, was is Vax addressing sane today1Lawrence D'Oliveiro
13 Sep 24 i i i        i  `- Re: big, fast, etc, was is Vax addressing sane today1Lynn Wheeler
11 Sep 24 i i i        +* Re: is Vax addressing sane today2Stephen Fuld
11 Sep 24 i i i        `* Re: is Vax addressing sane today2MitchAlsup1
8 Sep 24 i i `* Re: is Vax adressing sane today7Brett
8 Sep 24 i `* Re: is Vax adressing sane today2MitchAlsup1
6 Sep 24 +* Re: is Vax adressing sane today2MitchAlsup1
6 Sep 24 +- Re: is Vax adressing sane today1Lawrence D'Oliveiro
6 Sep 24 `* Re: is Vax adressing sane today8Anton Ertl

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal