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.18.138 with SMTP id 10mr16369080ios.70.1521975703646; Sun, 25 Mar 2018 04:01:43 -0700 (PDT) X-Received: by 2002:a9d:528c:: with SMTP id f12-v6mr2057680oth.10.1521975703534; Sun, 25 Mar 2018 04:01:43 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.swapon.de!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u184-v6no2656908ita.0!news-out.google.com!j10-v6ni3088ite.0!nntp.google.com!u184-v6no2656905ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 25 Mar 2018 04:01:43 -0700 (PDT) In-Reply-To: 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: <7e513ef1-a3c6-46dd-8d41-c09710a97da3@googlegroups.com> Subject: Re: LLVM and Ada From: Bojan Bozovic Injection-Date: Sun, 25 Mar 2018 11:01:43 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:51198 Date: 2018-03-25T04:01:43-07:00 List-Id: On Sunday, March 25, 2018 at 12:29:48 PM UTC+2, Bojan Bozovic wrote: > 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=9CLLV= M All the Things=E2=80=9D mantra? Someone needs to hook the Ada railcar up= to 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 theref= ore am not married to any particular code-generator. > > (b) Nobody who wanted LLVM codegen has contributed to the code-base. >=20 > Look at Coco/R compiler compiler http://ssw.jku.at/Coco/ there is Ada ver= sion as well, which is under GPL but makes syntax and semantic checker, and= could be even compiled with AdaCore GNAT and proved with SPARK, and still = produce non-GPL compiler. Consider using already existing runtime from FSF = GNAT modified for your compiler, and using LLVM optimizers. Ideally aim for= something like WATCOM/OpenWATCOM C/C++ where you have few host OS platform= s but many libraries for run-time and code generators instead using GCC way= of building cross-compiler. Making Byron compiler will be many many man-ye= ars work, so using existing tools will make you actually make progress and = eventually finish it. My $0.02 useful or not. Maybe it would be better to use permissively licensed compiler, FSF GNAT, i= nstead. I'm really not sure what will be linked to Coco/R generated compile= r, so if there's GPL stuff there would be a problem. Please excuse me for t= his duplicate message, I'm trying to be helpful even though I don't know mu= ch.