An HPPL compiler question...

[webmasterpdx]

Various documents say that programs are compiled when created. My question is whether the HPPL compiler compiles to some kind of p-code like java bytecodes (the CPU is Jazelle compatible and handles Java bytecodes in hardware/firmware).....or does it compile to ARM assembler with library calls? Then if it compiles to machine language, does it get optimized or is it very basic assembly language constructs with library calls?
Thanks
-Donald