litmus: "more correct" compilation of stable regs (similar to trashed).
Howwever, it sometimes segfaults. Might be due to gcc "bugs".
It works in the simple register allocation situation induced by -ascall true.