Le 18 juin 09 à 15:52, Alexey Rodriguez a écrit :

> I used objdump as you suggested and I do not mind reading assembler
> but I have the same problem as with cmm, namely that symbolic names
> are gone.

If you compile with -S they should not be gone in the generated  
assembly file. More explanations here :

http://ocaml-tutorial.org/performance_and_profiling

Best,

Daniel