From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-28 04:35:16 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!hammer.uoregon.edu!enews.sgi.com!tdsnet-transit!newspeer.tds.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the
Date: 28 May 2003 06:35:04 -0500
Organization: Berbee Information Networks Corporation
Message-ID: <QImmYdcyN2$d@eisner.encompasserve.org>
References: <3ec4b1c9$1@news.wineasy.se>
 <AFdxa.3805$3t6.46222@news.xtra.co.nz>
 <9fa75d42.0305161748.1735fc32@posting.google.com>
 <Ygixa.86459$cO3.5860233@bgtnsc04-news.ops.worldnet.att.net>
 <URWxa.143$Ov2.92@nwrddc04.gnilink.net>
 <ba9toc$qorbc$2@ID-175126.news.dfncis.de>
 <4W%xa.28765$cK5.11964@nwrdny02.gnilink.net>
 <baa486$qgclv$1@ID-175126.news.dfncis.de>
 <1053353256.804734@master.nyc.kbcfp.com>
 <baapuj$qs1sv$1@ID-175126.news.dfncis.de>
 <wccbrxxsinx.fsf@shell01.TheWorld.com>
 <badvd5$raumj$1@ID-175126.newOrganization: LJK Software
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1054121664 21710 192.135.80.34 (28 May 2003
 11:34:24 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Wed, 28 May 2003 11:34:24 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:37895
Date: 2003-05-28T06:35:04-05:00
List-Id: <comp.lang.ada>

In article <3ED49CA6.1020709@noplace.com>, Marin David Condic <nobody@noplace.com> writes:
> Saturated math on *any* bounds? How would you do that? It would mean 
> having to somehow include the bounds on every math operation. ("add X, 
> Y, LB, UB" or something similar) It would be cool if you could do that, 
> but there would be obvious speed penalties and difficult instruction 
> sets for compilers to target.
> 
> MDC
> 
> Dale Stanbrough wrote:
>> Marin David Condic <nobody@noplace.com> wrote:
>> 
>> 
>> I'm pretty sure that the PowerPC chip's Altivec instruction has this.
>> 
>> yes, google says...
>> 
>>    http://e-www.motorola.com/brdata/PDFDB/docs/ALTIVECPIM.pdf
>> 
>> which indicates saturated maths is for integral types.

Presuming the ability to add and subtract to a storage location
(I don't know the Altivec instructions) would it not suffice to
say that "fetch" is the only operation for which the bounds must
be provided ?