Re: Ada on Apple's new procesors

[Fabien Chouteau <fabien.chouteau@gmail.com>]

On Wednesday, July 1, 2020 at 6:46:48 AM UTC+2, Optikos wrote:
> On Tuesday, June 30, 2020 at 5:40:13 PM UTC-5, Simon Wright wrote:
> > Optikos writes:
> > 
> Gee, either
> a) we all concurrently pulled it out of thin air via overactive imagination as you imply,
> or
> b) the following extant events & facts transpired:

The answer is a).

> it is quite clear that the intended reading of README.md is referring to the Apple-Apple-Appleness of bitcode since bitcode was announced at Apple's Worldwide Developer Conference in June 2015 as a key technology related to App Store submission and downstream proprietary processing by Apple post-submission:
> 

It seems like you focus too much on details of a simple README. LLVM bitcode is sometimes used to talk about the general LLVM IR.

The example use case mentioned by the README are bringing more tooling to the Ada ecosystem, for instance with KLEE, or "connecting the GNAT front-end to the LLVM code generator".

It took time and effort to publish GNAT-LLVM on GitHub, and AdaCore had absolutely no obligation to do so. To be honest, I am personally a bit disappointed to see such a long discussion on what is allegedly not possible to do with GNAT-LLVM (and was absolutely not possible before anyway), rather than all the possibilities that GNAT-LLVM opens.