Jit64: implement ps_res

This is probably more accurate than it is allowed to be. After all, the
instructions are supposed to be "estimates".