Re: Ada on Apple's new procesors

[charlet@adacore.com]

> That is for uploading of GPL'd software to the app store, that is not
> what we are talking about here. This is a completely different matter.
> 
> What we are talking about is whether the GNAT-LLVM backend violates the
> GPL IR clause, enacting it in the final binary.
> 
> 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
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).

> 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.

Arno