Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] ocaml vs. NetBSD/R3K
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] ocaml vs. NetBSD/R3K
> 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