From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA08529; Mon, 6 Aug 2001 11:20:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 LAA08519 for ; Mon, 6 Aug 2001 11:20:08 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f769K4v12146; Mon, 6 Aug 2001 11:20:04 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA08504; Mon, 6 Aug 2001 11:20:03 +0200 (MET DST) Date: Mon, 6 Aug 2001 11:20:03 +0200 From: Xavier Leroy To: William Lee Irwin III Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml vs. NetBSD/R3K Message-ID: <20010806112003.O7188@pauillac.inria.fr> References: <20010804082355.D13468@holomorphy.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <20010804082355.D13468@holomorphy.com>; from wli@holomorphy.com on Sat, Aug 04, 2001 at 08:23:55AM -0700 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I recently tried bootstrapping the native code on a DecStation running > NetBSD. I don't believe there should be too many hangups, but mips.s > appears not to suffice for this target. > > The float register stuff shouldn't be too tough to produce hackish > workarounds for, but I'm not sure what .cpsetup and .cpreturn are > supposed to accomplish. > > Any other expected hangups? The current MIPS code generator is for the newer version of the MIPS architecture as found on the R4000 and later processor, i.e. the one that has 32 64-bit float registers and some 64-bit integer operations. The R3000 in your Decstation implements an older version of the MIPS instruction set, hence the errors you got. Up to OCaml version 2.00, the MIPS back-end supported both the R4000 under IRIX and the R3000 under Ultrix. The latter was removed in 2.01 because we didn't know of anyone still using an R3000 machine. You could try to resurrect the R3000/Ultrix port as a R3000/NetBSD port, but I'm not quite sure this is worth the effort... - Xavier Leroy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr