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 05:30:35 PST Path: archiver1.google.com!news1.google.com!sn-xit-03!sn-xit-01!sn-xit-09!supernews.com!newsfeed.news2me.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!harp.news.atl.earthlink.net!not-for-mail From: Marin David Condic Newsgroups: comp.lang.ada Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the Date: Wed, 28 May 2003 08:29:27 -0400 Organization: MindSpring Enterprises Message-ID: <3ED4ABA7.4080809@noplace.com> References: <3ec4b1c9$1@news.wineasy.se> <9fa75d42.0305161748.1735fc32@posting.google.com> <4W%xa.28765$cK5.11964@nwrdny02.gnilink.net> <1053353256.804734@master.nyc.kbcfp.com> NNTP-Posting-Host: d1.56.b4.6e Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Server-Date: 28 May 2003 12:29:29 GMT User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en Xref: archiver1.google.com comp.lang.ada:37901 Date: 2003-05-28T12:29:29+00:00 List-Id: Gee. I don't know. Its too early in the morning and I have not yet had my fill of coffe and would need to think about it more. I'd suspect that it wouldn't be the perfect answer because you want the chip to be able to do high-speed register-to-register instructions and such. You wouldn't want to limit these optimizations to only non-saturated types. Are there any chips that support bounds checking on other types? Given that Ada has bounds other than machine bounds on floats, integers, etc., are there chips that will do the checking for you in some manner or do all compilers have to generate their own checks? If a chip can support range checking with exception-raising semantics, then it ought to be relatively straightforward to substitute saturation instead of interruption as the accommodation. I just don't know if any chip sets do this. MDC Larry Kilgallen wrote: > > 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 ? -- ====================================================================== Marin David Condic I work for: http://www.belcan.com/ My project is: http://www.jast.mil/ Send Replies To: m c o n d i c @ a c m . o r g "In general the art of government consists in taking as much money as possible from one class of citizens to give to the other." -- Voltaire ======================================================================