Archives of the Caml mailing list

Browse thread

[Caml-list] O'Caml vs C++: a little benchmark

Oleg
- William Chesters
  - Oleg
    - William Chesters
  - Xavier Leroy
    - Oleg
    - William Chesters
    - Thorsten Ohl
      - malc
        
        malc
        
        Thorsten Ohl
        
        malc
- Markus Mottl
  - Oleg
    - Markus Mottl
- malc
- malc
- John Max Skaller
  - Oleg
    - John Max Skaller
      - Alain Frisch
      - Oleg
        
        John Max Skaller

Date:	-- (:)
From:	Oleg <oleg_inconnu@m...>
Subject:	Re: [Caml-list] O'Caml vs C++: a little benchmark

On Sunday 18 August 2002 02:00 pm, William Chesters wrote:
> the compiler [...] doesn't inline anything between
> compilation units.  

I was always curious about this. If I were to change Array module, but not 
its interface, ocamlopt would ask me to recompile (not just re-link) 
everything that depends on Array, which means that ocamlopt looks at Array 
_implementation_, while compiling (not linking) code that depends on it.
In view of this, what stopped O'Caml creators from letting ocamlopt inline 
functions across module boundaries (especially if it's true that this could 
be responsible for a 100x speed boost)?

> You would see this clearly in the assembler output
> if you used ocamlopt -S.

Is there a tutorial for reading those *.s files ocamlopt produces?

Cheers
Oleg
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners