Created by: fhahn
Only use x1 and x2 to save flags, which means x3 does not have to be saved/restored. It also moves marking x1, x2 and x11 as used to insert_push_all_registers, because they may not have to be saved/restored for inlined clean calls.