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=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:1458:: with SMTP id 85-v6mr1403449itg.55.1526568114662; Thu, 17 May 2018 07:41:54 -0700 (PDT) X-Received: by 2002:a9d:5c8d:: with SMTP id a13-v6mr178406oti.0.1526568114582; Thu, 17 May 2018 07:41:54 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!u74-v6no759668itb.0!news-out.google.com!f20-v6ni860itd.0!nntp.google.com!u74-v6no759665itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 17 May 2018 07:41:54 -0700 (PDT) In-Reply-To: <6dc39990-16eb-4717-8b8a-1d41c2767530@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.233.194; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.194 References: <9169bb0d-626f-4f6d-82c9-8a9b7543a084@googlegroups.com> <92b78739-e2c5-4e45-bbd8-f80ec4918691@googlegroups.com> <6dc39990-16eb-4717-8b8a-1d41c2767530@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: disruptors of & inventory of Ada compilers and latest their era of ISO8652 compliance From: "Dan'l Miller" Injection-Date: Thu, 17 May 2018 14:41:54 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:52384 Date: 2018-05-17T07:41:54-07:00 List-Id: On Wednesday, May 9, 2018 at 12:34:43 PM UTC-5, Lucretia wrote: > On Wednesday, 9 May 2018 18:26:45 UTC+1, Dan'l Miller wrote: > > On Wednesday, May 9, 2018 at 11:41:24 AM UTC-5, Lucretia wrote: > > > On Wednesday, 9 May 2018 16:30:17 UTC+1, Dan'l Miller wrote: > > >=20 > > > > 3) FSF GNAT for LLVM > > >=20 > > > Doesn't exist. > >=20 > > Well, I am counting this effort on attempting to resurrect DragonEgg in= later versions of GCC: > > https://github.com/xiangzhai/dragonegg >=20 > I wouldn't. Given the glacial movement, that'll never happen. What is weird about DragonEgg is that it isn't merely a new backend ISA imp= lemented the same way any new hardware-processor-machine-code ISA is implem= ented, e.g., RISC-V. DragonEgg's source code has all sorts of rather surpr= ising awareness of various hardware-processor machine-code ISAs and OSes: = ARM, MIPS, x86, MacOS/Darwin, the BSDs, and Linux. I wonder why the design= of an LLVM IR backend for GCC wasn't merely just another machine-code down= stream from GIMPLE, e.g., as (hardware-processor machine-code ISAs are) ove= rviewed at https://kristerw.blogspot.com/2017/08/writing-gcc-backend_4.html The more that I examine DragonEgg's source code, the more I realize that Dr= agonEgg seems like an over-complicated design that is quite fragile, which = is probably why it fell into disfavor over at LLVM. On this note, does anyone know how much GNAT's frontend 1) authors GENERIC solely, 2) a combination of GENERIC and GIMPLE, or 3) (as reported for the modern C frontend in GCC) skips GENERIC entirely to= author solely GIMPLE? I haven't dug that deeply, that comprehensively yet into GNAT's backend-fac= ing layer in GNAT's frontend.