What's the quality of the generated code like? Does it use explicit stack frames and all local variables live there? Does it move loop-invariant operations ou

What's the quality of the generated code like? Does it use explicit stack frames and all local variables live there? Does it move loop-invariant operations out of a loop? Does it store variables in registers?