From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.4 required=3.0 tests=BAYES_00,SUBJ_ALL_CAPS autolearn=no autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: GNAT LLVM, ACATS Date: Wed, 07 Apr 2021 11:58:11 +0100 Organization: Aioe.org NNTP Server Message-ID: 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 Xref: reader02.eternal-september.org comp.lang.ada:61748 List-Id: 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