Is Ocaml able to manipulate its own construct?

[let...@googlemail.com]

Hey!

Assume I'm describing a processor in Ocaml. Instructions are
represented by functions changing the state.

But now I'd like to go one step further and generate x86 code to
achieve very high simulation speed. One primary concern is not to
duplicate information. Is there a way in Ocaml to get an AST out of a
compiled function? I could then implement a very simple optimizing
back-end to generate the x86 code.

I've had a look to camlp4 but couldn't figure out a good way of doing
that yet. Is it possible? Any idea/pointer will be appreciated.

Thanks
letrec