https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89271
--- Comment #4 from Alan Modra <amodra at gcc dot gnu.org> --- Author: amodra Date: Sun Feb 17 03:01:41 2019 New Revision: 268968 URL: https://gcc.gnu.org/viewcvs?rev=268968&root=gcc&view=rev Log: [RS6000] Fix <bd>_<mode> and <bd>tf_<mode> splitters This patch fixes a bug that can result in "insn does not satisfy its constraints" if these splitters fire due to not getting ctr for the jump insn. Since the jump insn can have any of r,m,d,wi,c,l as the decremented count output, it's not sufficient to check for gpc_reg_operand (which matches VSX regs for example). Seen after correcting register_move_cost when the cost of gpr <-> vsx is much lower. Since this is a prerequisite to fixing PR89271, I'm mentioning that PR in the ChangeLog. The <bd>tf_<mode> split had a further bug in that it wouldn't match if the count output was m,d,wi, or l. PR target/89271 * config/rs6000/rs6000.md (<bd>_<mode> split): Check for an int output reg on add insn. (<bd>tf_<mode> split): Likewise. Match predicates with insn. Modified: trunk/gcc/ChangeLog trunk/gcc/config/rs6000/rs6000.md