And compcert has at least seven different IRs, several of which are ASTs. http://compcert.inria.fr/diagram.png

That being said, consistency of internal data structures is probably one of those areas that separates a JIT from an offline compiler. I can see the benefit of switching to a bytecode representation pretty early in that circumstance.