https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79211
--- Comment #6 from Segher Boessenkool <segher at gcc dot gnu.org> --- Author: segher Date: Wed Feb 22 23:50:46 2017 New Revision: 245667 URL: https://gcc.gnu.org/viewcvs?rev=245667&root=gcc&view=rev Log: rs6000: Fix fsel pattern (PR79211) The fsel define_insn uses fpr_reg_operand for its predicates. This won't work because passes can put a hard register in the operands: in the testcase, combine likes to forward the parameter registers to what then is still an smin, and then split1 uses "*s<minmax><mode>3_fpr" (which has gpc_reg_operand). And then we have a GPR in the operand, which does not match fpr_reg_operand. It seems to me the predicates should be gpc_reg_operand here as well. This patch changes that. PR target/79211 * config/rs6000/rs6000.md (*fsel<SFDF:mode><SFDF2:mode>4): Use gpc_reg_operand instead of fpr_reg_operand. Modified: trunk/gcc/ChangeLog trunk/gcc/config/rs6000/rs6000.md