Is there any document/tutorial about ocaml's cmm representation (the
one you get with ocamlopt -dcmm) ?

Although not as precise as -S it seems to already show you a lot of
things (e.g. unboxed floats, inlined functions) in a much more
readable form.

Thanks,

Daniel