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

Reply via email to