sync fminmax pseudocode fixes from openpower-isa.git