Path: csiph.com!xmission!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end From: "Rick C. Hodgin" Newsgroups: comp.compilers Subject: Re: Optimization techniques Date: Wed, 24 Apr 2019 10:16:18 -0400 Organization: Liberty Software Foundation Lines: 24 Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <19-04-019@comp.compilers> References: <19-04-004@comp.compilers> <19-04-012@comp.compilers> <19-04-013@comp.compilers> <19-04-014@comp.compilers> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="73871"; mail-complaints-to="abuse@iecc.com" Keywords: design, optimize Posted-Date: 24 Apr 2019 10:21:25 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Content-Language: en-US Xref: csiph.com comp.compilers:2203 On 4/20/2019 1:47 PM, Hans-Peter Diettrich wrote: > Am 20.04.2019 um 01:11 schrieb Rick C. Hodgin: > >> My language focuses on data correctness, not speed.  Computers >> today are fast enough for 99% of general purpose apps.  It's >> time for them to mature into data correctness in all areas. > > Did you have a look at Ada and Pascal implementations? I've looked at Pascal, but never Ada. My own language actually takes some cues from Pascal's way of maintaining data integrity in the presence of errant code, but still relaxes everything so you can still truly shoot your program in its figurative foot. > I also have been told that certified Java compilers (for µC) are > guaranteed to produce bit-identical results on all supported platforms. C and C++ can often do this as well as the CPUs that exist are often either truly IEEE-754 compliant, or have the ability to be so (such as with x86 where you must do an intermediate store and re-load to have appropriate (legal IEEE-754) rounding). -- Rick C. Hodgin