Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

From Sharp minds come... pointed heads. -- Bryan Sparrowhawk


devel / comp.lang.ada / GNAT LLVM, ACATS

SubjectAuthor
o GNAT LLVM, ACATSSimon Wright

1
GNAT LLVM, ACATS

<lyk0pepdj0.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4958&group=comp.lang.ada#4958

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: GNAT LLVM, ACATS
Date: Wed, 07 Apr 2021 11:58:11 +0100
Organization: Aioe.org NNTP Server
Lines: 32
Message-ID: <lyk0pepdj0.fsf@pushface.org>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
Cancel-Lock: sha1:9qNTo9SCmoR4ZgqOxC2BFIR7XEY=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Simon Wright - Wed, 7 Apr 2021 10:58 UTC

I recently had success building GNAT_LLVM on macOS: see notes here[1].

Running ACATS 4.1 U via the ACATS Grading tools as patched for
llvm-gnat[2], I get impressively successful results: out of 4092 tests,
GCC 11.0.1 of 2021-03-31 has

Result Overall B-Tests C-Tests L-Tests Other Tests
[...]
** Total Failed 44 30 14 0 0
++ Total Not-Applicable 35 0 35 0 0
!! Total Special 182 141 21 10 10
== Total Passed 3831 1272 2420 61 78

(L-tests "check that all library unit dependences within a program are
satisfied before the program can be bound and executed, that circularity
among units is detected, or that pragmas that apply to an entire
partition are correctly processed".
'Special' means human inspection needed.)

whereas llvm-gnat, built from the same GCC sources, has

Result Overall B-Tests C-Tests L-Tests Other Tests
[...]
** Total Failed 48 31 17 0 0
++ Total Not-Applicable 35 0 35 0 0
!! Total Special 184 141 23 10 10
== Total Passed 3825 1271 2415 61 78

[1]
https://github.com/AdaCore/gnat-llvm/issues/20#issuecomment-809400426
[2] https://github.com/simonjwright/ACATS-grading/tree/llvm

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor