From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 51E91BCAC for ; Sun, 22 May 2005 18:37:52 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4MGbplC006756 for ; Sun, 22 May 2005 18:37:52 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA10405 for ; Sun, 22 May 2005 18:37:51 +0200 (MET DST) Received: from biscayne-one-station.mit.edu (BISCAYNE-ONE-STATION.MIT.EDU [18.7.7.80]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4MGboQH006750 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sun, 22 May 2005 18:37:51 +0200 Received: from outgoing.mit.edu (OUTGOING-AUTH.MIT.EDU [18.7.22.103]) by biscayne-one-station.mit.edu (8.12.4/8.9.2) with ESMTP id j4MGbmmX021693 for ; Sun, 22 May 2005 12:37:48 -0400 (EDT) Received: from quickstation-2.mit.edu (QUICKSTATION-2.MIT.EDU [18.187.1.191]) (authenticated bits=56) (User authenticated as jfc@ATHENA.MIT.EDU) by outgoing.mit.edu (8.12.4/8.12.4) with ESMTP id j4MGbflX004375 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sun, 22 May 2005 12:37:42 -0400 (EDT) Received: (from jfc@localhost) by quickstation-2.mit.edu (8.12.9) id j4MGbfsJ001530; Sun, 22 May 2005 12:37:41 -0400 Message-Id: <200505221637.j4MGbfsJ001530@quickstation-2.mit.edu> To: caml-list@inria.fr Subject: bug fix to 64 bit SPARC code generator Date: Sun, 22 May 2005 12:37:41 -0400 From: John Carr X-Scanned-By: MIMEDefang 2.42 X-Miltered: at concorde with ID 4290B55F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4290B55E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; bug:01 bug:01 inlining:01 dated:98 tar:01 explicitly:01 fix:04 jfc:04 jfc:04 generated:05 edu:07 edu:07 john:08 sparc:08 sparc:08 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: I found a bug in my SPARC code generator: multiplication by constant 0 could give the wrong answer. Few people explicitly write x*0 but it can be generated internally by function inlining. A new version with the bug fixed, dated May 22 2005 GMT (the previous evening EDT), is available at: http://www.mit.edu/~jfc/ocaml-3.08.3-sparc64.tar.gz