From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA32386 for caml-red; Sun, 3 Sep 2000 22:24:12 +0200 (MET DST) 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 WAA11678 for ; Fri, 1 Sep 2000 22:20:29 +0200 (MET DST) Received: from irmast2.u-strasbg.fr (irmast2.u-strasbg.fr [130.79.4.180]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e81KKTr23229 for ; Fri, 1 Sep 2000 22:20:29 +0200 (MET DST) Received: from localhost (grosse@localhost) by irmast2.u-strasbg.fr (8.9.1b+Sun/8.9.1) with ESMTP id WAA23967 for ; Fri, 1 Sep 2000 22:20:35 +0200 (MET DST) Date: Fri, 1 Sep 2000 22:20:35 +0200 (MET DST) From: Pascal Grosse To: caml-list@inria.fr Subject: Re: ICFP'00 programming contest In-Reply-To: <20000901143834.36273@pauillac.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: weis@pauillac.inria.fr On Fri, 1 Sep 2000, Xavier Leroy wrote: > > I tried to compile the raytracer ... > > > /tmp/camlasm0.s: Assembler messages: > > > /tmp/camlasm0.s:235: Error: suffix or operands invalid for `fld' > > Did you use a special version of ocamlopt ? >=20 > Actually, we used a post-3.00 development version. >=20 > I'm embarrassed to admit it, but the ray-tracer actually triggers a > rather unlikely bug in the ocamlopt 3.00 compiler. > (The development version we used still has the bug, but by sheer luck > doesn't trigger it.) >=20 > So, this programming contest actually has some technical value as a > bug finder, in addition to its amusement value :-) >=20 > I modified the source code available on the Web site so that it > doesn't run into the bug. (The bug pops up in a function that is > not normally called, anyway.) >=20 I found that by removing the '-inline 20' in the makefile, the error is not triggered by ocamlopt v3.00. Pascal Gross=E9