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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: disruptors of & inventory of Ada compilers and latest their era
 of ISO8652 compliance
Date: Thu, 17 May 2018 21:42:51 +0300
Organization: Tidorum Ltd
Message-ID: <fm60pbFpoouU1@mid.individual.net>
References: <d690863e-e230-4188-9f7b-c670b944725f@googlegroups.com>
 <9169bb0d-626f-4f6d-82c9-8a9b7543a084@googlegroups.com>
 <92b78739-e2c5-4e45-bbd8-f80ec4918691@googlegroups.com>
 <6dc39990-16eb-4717-8b8a-1d41c2767530@googlegroups.com>
 <cf8518b6-4e71-499a-9305-1c8ff07eb603@googlegroups.com>
 <1103700103.548265160.819002.laguest-archeia.com@nntp.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net +d34/gdFlOE/G84A3ABMbA/HQ6k9+5IVGIVl04FsJzKiOhcq7z
Cancel-Lock: sha1:js4n6qT/oQfXgo7WFISrOT9QJ2Q=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <1103700103.548265160.819002.laguest-archeia.com@nntp.aioe.org>
Xref: reader02.eternal-september.org comp.lang.ada:52401
Date: 2018-05-17T21:42:51+03:00
List-Id: <comp.lang.ada>

On 18-05-17 18:56 , Luke A. Guest wrote:
> Dan'l Miller <@verizon.net> wrote:
> Darwin, the BSDs, and Linux.  I wonder why the design of an LLVM IR backend
> for GCC wasn't merely just another machine-code downstream from GIMPLE,
> e.g., as (hardware-processor machine-code ISAs are) overviewed at
> https://kristerw.blogspot.com/2017/08/writing-gcc-backend_4.html
>
> See previous discussions about taking gcc’s ir and the ramifications of
> doing so, it makes the resultant code gplv3. It’s in the gcc faq and
> licence.

Firefox cannot find the word "intermediate" or the (upper-case) acronym 
"IR" in the GPL FAQ at https://www.gnu.org/licenses/gpl-faq.html. The 
word "representation" occurs once, in a different context.

Ditto for the GPLv3 itself, at https://www.gnu.org/licenses/gpl.txt.

If you extract a source-to-IR "front compiler" from the full gcc, of 
course that front-compiler itself remains under GPL. But I do not 
believe that IR text generated by that compiler would automatically fall 
under the GPL, no more than machine code generated by the full gcc 
automatically falls under the GPL.

Please provide a link or quotation to support your claim.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .