S/390: Fix vecinit expansion.

The fallback routine in the S/390 vecinit expander did not check
whether each of the initializer elements is a proper general_operand.
Since revision r236582 the expander is invoked also with e.g. symbol
refs with an odd addend resulting in invalid insns.

Fixed by forcing the element into a register in such cases.

gcc/ChangeLog:

2016-07-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

	* config/s390/s390.c (s390_expand_vec_init): Force initializer
	element to register if it doesn't match general_operand.

From-SVN: r238032
This commit is contained in:
Andreas Krebbel 2016-07-06 07:05:11 +00:00 committed by Andreas Krebbel
parent 8070763a2c
commit a07189f455
2 changed files with 16 additions and 5 deletions

View File

@ -1,3 +1,8 @@
2016-07-06 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
* config/s390/s390.c (s390_expand_vec_init): Force initializer
element to register if it doesn't match general_operand.
2016-07-05 Michael Meissner <meissner@linux.vnet.ibm.com>
Bill Schmidt <wschmidt@linux.vnet.ibm.com>

View File

@ -6443,11 +6443,17 @@ s390_expand_vec_init (rtx target, rtx vals)
/* Unfortunately the vec_init expander is not allowed to fail. So
we have to implement the fallback ourselves. */
for (i = 0; i < n_elts; i++)
emit_insn (gen_rtx_SET (target,
gen_rtx_UNSPEC (mode,
gen_rtvec (3, XVECEXP (vals, 0, i),
GEN_INT (i), target),
UNSPEC_VEC_SET)));
{
rtx elem = XVECEXP (vals, 0, i);
if (!general_operand (elem, GET_MODE (elem)))
elem = force_reg (inner_mode, elem);
emit_insn (gen_rtx_SET (target,
gen_rtx_UNSPEC (mode,
gen_rtvec (3, elem,
GEN_INT (i), target),
UNSPEC_VEC_SET)));
}
}
/* Structure to hold the initial parameters for a compare_and_swap operation