fishmv: change to use actual pseudocode in openpower-isa.git