I'm aware of this, but I'm unaware of how much of it actually gets piped through HipHop, as my understanding is that it only supports a subset of the body of PHP. Would be interesting to know.
At $work, we use Phalcon, which kind of sits in between HipHop and PHP functionally.