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=-0.0 required=3.0 tests=BAYES_40 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 10 Jun 93 21:42:10 GMT From: cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!europa.eng. gtefsd.com!eddie.mit.edu!news.intercon.com!panix!netnews!lab.ultra.nyu.edu!kenn er@ucbvax.Berkeley.EDU (Richard Kenner) Subject: Current GNAT Status Message-ID: <1v89ri$jed@calvin.NYU.EDU> List-Id: The GNAT project is delighted to report that the GNAT compiler was successfully boostrapped yesterday, June 9, at 12:23 pm. The standard verification procedure was used: a) The GNAT sources were compiled with the Alsys compiler, to produce executable G1. b) G1, the interface program Gigi, and GCC, were used to compile the GNAT sources and produce executable G2. c) When applied to the GNAT sources, G2 reproduced itself byte for byte. Thanks to the portability of GCC, within minutes of the replication on the SUN/SPARC the same replication was achieved on the DEC/Alpha. Although this is an important milestone for the project, we should emphasize that GNAT is written in a subset of Ada83, and for now only compiles a (sizeable) subset of Ada9X. We are fully aware of what remains to be done. The performance of the bootstrapped GNAT is gratifying. Timing figures are very preliminary: currently inlining is not performed. We expect the final version to gain an additional factor of 2 in speed over the current one. Given these caveats, the following figures should be of interest: a) The GNAT sources (82,000 lines of text, 26000 semicolons) are fully parsed in 35 seconds on a SPARC/IPX, and in 5.3 seconds on the Alpha. b) Full semantic analysis of all sources takes 112 seconds on the SPARC. (including generation of intermediate file). c) Semantics, code generation, assembly and linking takes 389 seconds on the SPARC. The above figures were obtained running GNAT with no debuuging checks and no constraint checks. The GNAT project: ----------------- Bernard Banner Cyrille Comar Robert Dewar Sam Figueroa Franco Gasperoni Richard Kenner Bruno Leclerc Brett Porter Ed Schonberg Gail Schenker