adjust pseudo-code to use (RA|0) for addis