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=5.0 tests=BAYES_00
	autolearn=unavailable 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: Thu, 25 Jun 2020 12:25:59 +0100
Organization: Aioe.org NNTP Server
Message-ID: <rd21lq$55e$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>
 <lybll7flvx.fsf@pushface.org>
NNTP-Posting-Host: jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
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:59226
List-Id: <comp.lang.ada>

On 25/06/2020 12:03, Simon Wright wrote:

>> It does not and in any case, invoking this clause is a red herring
>> since as explained in the license, the concern and what's not allowed
>> is using an intermediate representation and feed it to a proprietary
>> (non-GPL-compatible) software to e.g. optimize it or further process
>> it.
> 
> Optikos has (at last) made clear his concerns about this: if it is
> indeed the case that Apple require App Store developers to deliver
> bitcode for further proprietary optimizations then there might be an
> issue.
> 
> Depends on whether LLVM IR (which I understand is logically equivalent
> to bitcode) can count as target code? I've seen it described as LLVM
> assembler ...
> 

Indeed. The only thing I've found so far is this:

https://thenextweb.com/apple/2015/06/17/apples-biggest-developer-news-at-wwdc-that-nobodys-talking-about-bitcode/

Quote from near the top:

'This means that apps can automatically “take advantage of new processor
capabilities we might be adding in the future, without you re-submitting
to the store.”'

>From the apple docs it links to at the top:

"Bitcode is an intermediate representation of a compiled program. Apps
you upload to App Store Connect that contain bitcode will be compiled
and linked on the App Store. Including bitcode will allow Apple to
re-optimize your app binary in the future without the need to submit a
new version of your app to the App Store. "

So, looks like he's right.