diff options
| author | Jim Wilson <jim.wilson@linaro.org> | 2017-05-13 01:32:40 +0000 |
|---|---|---|
| committer | Jim Wilson <wilson@gcc.gnu.org> | 2017-05-12 18:32:40 -0700 |
| commit | f96bf49a02464e07526289799c14c1333a71a02b (patch) | |
| tree | 255e553b1d2aa340ebdd900f20d69044173c367d /gcc/expmed.c | |
| parent | 7f390a7b6ce8491fb89c9f4f393b161c8075823a (diff) | |
| download | gcc-f96bf49a02464e07526289799c14c1333a71a02b.zip gcc-f96bf49a02464e07526289799c14c1333a71a02b.tar.gz gcc-f96bf49a02464e07526289799c14c1333a71a02b.tar.bz2 | |
Patch for RTL expand bug affecting aarch64 vector code.
gcc/
PR middle-end/79794
* expmed.c (extract_bit_field_1): Add alt_rtl argument. Before
maybe_expand_insn call, set ops[0].target. If still set after call,
set alt_rtl. Add extra arg to recursive calls.
(extract_bit_field): Add alt_rtl argument. Pass to
extract_bit_field.
* expmed.h (extract_bit_field): Fix prototype.
* expr.c (emit_group_load_1, copy_blkmode_from_reg)
(copy_blkmode_to_reg, read_complex_part, store_field): Pass extra NULL
to extract_bit_field_calls.
(expand_expr_real_1): Pass alt_rtl to expand_expr_real instead of 0.
Pass alt_rtl to extract_bit_field calls.
* calls.c (store_unaligned_arguments_into_psuedos)
load_register_parameters): Pass extra NULL to extract_bit_field calls.
* optabs.c (maybe_legitimize_operand): Clear op->target when call
gen_reg_rtx.
* optabs.h (struct expand_operand): Add target bitfield.
From-SVN: r248004
Diffstat (limited to 'gcc/expmed.c')
| -rw-r--r-- | gcc/expmed.c | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/gcc/expmed.c b/gcc/expmed.c index c0260c5..0c81280 100644 --- a/gcc/expmed.c +++ b/gcc/expmed.c @@ -1534,7 +1534,7 @@ static rtx extract_bit_field_1 (rtx str_rtx, unsigned HOST_WIDE_INT bitsize, unsigned HOST_WIDE_INT bitnum, int unsignedp, rtx target, machine_mode mode, machine_mode tmode, - bool reverse, bool fallback_p) + bool reverse, bool fallback_p, rtx *alt_rtl) { rtx op0 = str_rtx; machine_mode int_mode; @@ -1610,10 +1610,13 @@ extract_bit_field_1 (rtx str_rtx, unsigned HOST_WIDE_INT bitsize, unsigned HOST_WIDE_INT pos = bitnum / GET_MODE_BITSIZE (innermode); create_output_operand (&ops[0], target, innermode); + ops[0].target = 1; create_input_operand (&ops[1], op0, outermode); create_integer_operand (&ops[2], pos); if (maybe_expand_insn (icode, 3, ops)) { + if (alt_rtl && ops[0].target) + *alt_rtl = target; target = ops[0].value; if (GET_MODE (target) != mode) return gen_lowpart (tmode, target); @@ -1735,7 +1738,7 @@ extract_bit_field_1 (rtx str_rtx, unsigned HOST_WIDE_INT bitsize, = extract_bit_field_1 (op0, MIN (BITS_PER_WORD, bitsize - i * BITS_PER_WORD), bitnum + bit_offset, 1, target_part, - mode, word_mode, reverse, fallback_p); + mode, word_mode, reverse, fallback_p, NULL); gcc_assert (target_part); if (!result_part) @@ -1838,7 +1841,7 @@ extract_bit_field_1 (rtx str_rtx, unsigned HOST_WIDE_INT bitsize, xop0 = copy_to_reg (xop0); rtx result = extract_bit_field_1 (xop0, bitsize, bitpos, unsignedp, target, - mode, tmode, reverse, false); + mode, tmode, reverse, false, NULL); if (result) return result; delete_insns_since (last); @@ -1894,7 +1897,8 @@ extract_bit_field_1 (rtx str_rtx, unsigned HOST_WIDE_INT bitsize, rtx extract_bit_field (rtx str_rtx, unsigned HOST_WIDE_INT bitsize, unsigned HOST_WIDE_INT bitnum, int unsignedp, rtx target, - machine_mode mode, machine_mode tmode, bool reverse) + machine_mode mode, machine_mode tmode, bool reverse, + rtx *alt_rtl) { machine_mode mode1; @@ -1929,7 +1933,7 @@ extract_bit_field (rtx str_rtx, unsigned HOST_WIDE_INT bitsize, } return extract_bit_field_1 (str_rtx, bitsize, bitnum, unsignedp, - target, mode, tmode, reverse, true); + target, mode, tmode, reverse, true, alt_rtl); } /* Use shifts and boolean operations to extract a field of BITSIZE bits |