From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: William Lee Irwin III <wli@holomorphy.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] ocaml vs. NetBSD/R3K
Date: Mon, 6 Aug 2001 11:20:03 +0200 [thread overview]
Message-ID: <20010806112003.O7188@pauillac.inria.fr> (raw)
In-Reply-To: <20010804082355.D13468@holomorphy.com>; from wli@holomorphy.com on Sat, Aug 04, 2001 at 08:23:55AM -0700
> 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
prev parent reply other threads:[~2001-08-06 9:20 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-08-04 15:23 William Lee Irwin III
2001-08-06 9:20 ` Xavier Leroy [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20010806112003.O7188@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=wli@holomorphy.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).