Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp>
To: orodeh@cs.huji.ac.il
Cc: caml-list@inria.fr
Subject: Re: BSD optimized code
Date: Tue, 1 Apr 1997 20:29:32 +0900	[thread overview]
Message-ID: <9704011129.AA05372@safran.kurims.kyoto-u.ac.jp> (raw)
In-Reply-To: <199703310617.JAA24176@harpo.cs.huji.ac.il> (message from Ohad Rodeh on Mon, 31 Mar 1997 09:17:44 +0300 (IDT))

   Date: Mon, 31 Mar 1997 09:17:44 +0300 (IDT)
   From: Ohad Rodeh <orodeh@cs.huji.ac.il>

     Does ocaml-1.05 create optimized code for the BSD operating 
   system version 2.1, with a pentium cpu?

Yes, the native code compiler is optimizing on all platforms.

   PS
     I got the following errors while trying to compile the "opt"
   option:

	   gcc -c -DSYS_bsd -o i386.o i386.S
	   i386.S:40:invalid character '_' in opcode
	   .....

The assembler of BSD/OS 2.1 is not compatible with its preprocessor !
I had the same problem, and finally resolved it by generating the
preprocessed source, and removing unnecessary space by hand. The
problem is that there should be no space between a label and the colon 
following it, bu the preprocessor introduce some, and then mixes up
labels and opcodes.

Hope it helps.

	Jacques

---------------------------------------------------------------------------
Jacques Garrigue	Kyoto University      garrigue@kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>





      reply	other threads:[~1997-04-01 12:42 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-03-31  6:17 Ohad Rodeh
1997-04-01 11:29 ` Jacques GARRIGUE [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=9704011129.AA05372@safran.kurims.kyoto-u.ac.jp \
    --to=garrigue@kurims.kyoto-u.ac.jp \
    --cc=caml-list@inria.fr \
    --cc=orodeh@cs.huji.ac.il \
    /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