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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.107.160.73 with SMTP id j70mr6930334ioe.65.1521973787127; Sun, 25 Mar 2018 03:29:47 -0700 (PDT) X-Received: by 2002:a9d:5f17:: with SMTP id f23-v6mr2054967oti.12.1521973786901; Sun, 25 Mar 2018 03:29:46 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer03.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!199-v6no2646401itl.0!news-out.google.com!d3-v6ni1978itf.0!nntp.google.com!u184-v6no2636493ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 25 Mar 2018 03:29:46 -0700 (PDT) In-Reply-To: <87732f2a-4032-467d-b8c9-cfff2f1b670c@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=87.116.177.118; posting-account=z-xFXQkAAABpEOAnT3LViyFXc8dmoW_p NNTP-Posting-Host: 87.116.177.118 References: <7eaadf74-c55f-4c00-8f13-bf027cce130e@googlegroups.com> <6188b81f-7d6a-4ea4-90d4-74142471d979@googlegroups.com> <66082e27-14ca-45d1-b8ff-7fe825cd2687@googlegroups.com> <17b6ac53-6b99-430e-8bac-63311ea1fffe@googlegroups.com> <2b114d79-3af8-4285-b645-e2ea6b83331a@googlegroups.com> <2108cec0-fcb7-4b9e-b68c-15dc274d85e1@googlegroups.com> <131606956.543351411.509161.laguest-archeia.com@nntp.aioe.org> <8cd36360-51bb-4d7b-b823-afd244a83344@googlegroups.com> <1220246767.543424591.870799.laguest-archeia.com@nntp.aioe.org> <82e2a3ff-b7e8-42b2-9dc7-84c0910ca184@googlegroups.com> <1720809648.543445951.620902.laguest-archeia.com@nntp.aioe.org> <1485479787.543449660.880348.laguest-archeia.com@nntp.aioe.org> <7a8e40b3-7100-4bb2-a6a7-a3b1d4d59b94@googlegroups.com> <6fcbdb10-3d5c-4a54-b75c-157b9ed9a093@googlegroups.com> <251782d7-d40b-422e-801a-3670b6da8e1b@googlegroups.com> <2624e271-85d1-4753-8a70-47733d36b4b2@googlegroups.com> <11a9ef2e-2b91-46d0-98aa-8ad9c617f790@googlegroups.com> <38f6ef66-4f7d-48df-894f-869d1bb8eb96@googlegroups.com> <87732f2a-4032-467d-b8c9-cfff2f1b670c@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: LLVM and Ada From: Bojan Bozovic Injection-Date: Sun, 25 Mar 2018 10:29:47 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 3773 X-Received-Body-CRC: 132380447 Xref: reader02.eternal-september.org comp.lang.ada:51197 Date: 2018-03-25T03:29:46-07:00 List-Id: On Friday, March 23, 2018 at 5:38:03 PM UTC+1, Shark8 wrote: > On Friday, March 23, 2018 at 8:38:11 AM UTC-6, Dan'l Miller wrote: > >=20 > > Oh, and why isn't Ada viewed as one of the Things in the =E2=80=9CLLVM = All the Things=E2=80=9D mantra? Someone needs to hook the Ada railcar up t= o that locomotive before it completely leaves the train-station. >=20 > Insofar as Byron is concerned: > (a) I intend for the backend to be completely modularizable, and therefor= e am not married to any particular code-generator. > (b) Nobody who wanted LLVM codegen has contributed to the code-base. Look at Coco/R compiler compiler http://ssw.jku.at/Coco/ there is Ada versi= on as well, which is under GPL but makes syntax and semantic checker, and c= ould be even compiled with AdaCore GNAT and proved with SPARK, and still pr= oduce non-GPL compiler. Consider using already existing runtime from FSF GN= AT modified for your compiler, and using LLVM optimizers. Ideally aim for s= omething like WATCOM/OpenWATCOM C/C++ where you have few host OS platforms = but many libraries for run-time and code generators instead using GCC way o= f building cross-compiler. Making Byron compiler will be many many man-year= s work, so using existing tools will make you actually make progress and ev= entually finish it. My $0.02 useful or not.