change pseudocode to match openpower-isa.git