From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada on Apple's new procesors
Date: Tue, 30 Jun 2020 15:46:43 +0100
Organization: Aioe.org NNTP Server
Message-ID: <rdfjab$1quj$1@gioia.aioe.org>
References: <4d9fa282-830d-42f7-a3bf-ba127cb2ad06o@googlegroups.com>
 <rcsmel$sdb$1@gioia.aioe.org>
 <8332f305-299f-45d7-9f9d-2cad924b24d8o@googlegroups.com>
 <rctfip$1eel$1@gioia.aioe.org>
 <9d941aca-2eb6-4f35-a346-c290c4666bdfo@googlegroups.com>
 <rcu20d$199n$1@gioia.aioe.org>
 <f7150588-5593-4688-bb83-e8ec0fd71550o@googlegroups.com>
 <rd1sce$1c2t$1@gioia.aioe.org>
 <76def2a5-667c-4009-b3b9-f0cf1c13a51bo@googlegroups.com>
 <3b5b2360-684c-4149-8662-98b53319cf94o@googlegroups.com>
 <b35ac73b-6790-4e6b-ba1c-7dfb25af34fdo@googlegroups.com>
 <rdfek4$17vt$1@gioia.aioe.org>
 <a432e928-3773-424f-84da-6abf5fe430e3o@googlegroups.com>
NNTP-Posting-Host: jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.9.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
Xref: reader01.eternal-september.org comp.lang.ada:59264
List-Id: <comp.lang.ada>

On 30/06/2020 15:35, charlet@adacore.com wrote:

>> We need clarification on whether the translation from GCC's IR to LLVM's
>> IR invokes this clause. I'm not sure if GNAT final IR before the
>> GNAT-LLVM backend is GENERIC or GIMPLE.
> 
> GNAT LLVM doesn't use nor depend on GCC at all: it goes directly from the GNAT

Ok, makes sense.

> tree to LLVM bitcode, there is never any GENERIC nor GIMPLE in sight by design
> and never can be (unlike with the old DraggonEgg FWIW).

But, GNAT is 1 part of GCC and the GPLv3 mentions IR, what constitutes
the IR? Surely it covers the Ada AST IR?

Does the GPL infect across the different IR boundaries?

>> I've had a quick look in GNAT-LLVM and I cannot see any flags enabling
>> the output of GCC's IR, only LLVM's IR.
> 
> See above.
> 
> By the way the reason I haven't answered other messages is mainly because I am not familiar with Apple's specific constraints here, so I'd rather not make any statement about them rather than making wrong statements and you shouldn't draw any conclusion from the fact that I haven't replied to some of the messages in this thread.

Fine, but surely AdaCore has access to a legal department?