diff options
author | Vladimir Makarov <vmakarov@redhat.com> | 2017-10-12 17:06:29 +0000 |
---|---|---|
committer | Vladimir Makarov <vmakarov@gcc.gnu.org> | 2017-10-12 17:06:29 +0000 |
commit | 2c79bfcfc985e116ad1ef85579168428f14f0538 (patch) | |
tree | 4cc17adf56fea2bf8fe294fc7fb96f679373d21e /gcc | |
parent | 3edf8a985bfd08f0b8585c514b2640d9ea5e6a61 (diff) | |
download | gcc-2c79bfcfc985e116ad1ef85579168428f14f0538.zip gcc-2c79bfcfc985e116ad1ef85579168428f14f0538.tar.gz gcc-2c79bfcfc985e116ad1ef85579168428f14f0538.tar.bz2 |
revert: re PR sanitizer/82353 (runtime ubsan crash)
2017-10-12 Vladimir Makarov <vmakarov@redhat.com>
Revert
2017-10-11 Vladimir Makarov <vmakarov@redhat.com>
PR sanitizer/82353
* lra.c (collect_non_operand_hard_regs): Don't ignore operator
locations.
* lra-lives.c (bb_killed_pseudos, bb_gen_pseudos): Move up.
(make_hard_regno_born, make_hard_regno_dead): Update
bb_killed_pseudos and bb_gen_pseudos.
From-SVN: r253685
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 11 | ||||
-rw-r--r-- | gcc/lra-lives.c | 9 | ||||
-rw-r--r-- | gcc/lra.c | 3 |
3 files changed, 15 insertions, 8 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 79316bb..430f3c9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,14 @@ +2017-10-12 Vladimir Makarov <vmakarov@redhat.com> + + Revert + 2017-10-11 Vladimir Makarov <vmakarov@redhat.com> + PR sanitizer/82353 + * lra.c (collect_non_operand_hard_regs): Don't ignore operator + locations. + * lra-lives.c (bb_killed_pseudos, bb_gen_pseudos): Move up. + (make_hard_regno_born, make_hard_regno_dead): Update + bb_killed_pseudos and bb_gen_pseudos. + 2017-10-12 Jan Hubicka <hubicka@ucw.cz> * x86-tune-sched.c (ix86_adjust_cost): Fix Zen support. diff --git a/gcc/lra-lives.c b/gcc/lra-lives.c index 6a49f9a..4648eca 100644 --- a/gcc/lra-lives.c +++ b/gcc/lra-lives.c @@ -220,9 +220,6 @@ lra_intersected_live_ranges_p (lra_live_range_t r1, lra_live_range_t r2) return false; } -/* The corresponding bitmaps of BB currently being processed. */ -static bitmap bb_killed_pseudos, bb_gen_pseudos; - /* The function processing birth of hard register REGNO. It updates living hard regs, START_LIVING, and conflict hard regs for living pseudos. Conflict hard regs for the pic pseudo is not updated if @@ -246,7 +243,6 @@ make_hard_regno_born (int regno, bool check_pic_pseudo_p ATTRIBUTE_UNUSED) || i != REGNO (pic_offset_table_rtx)) #endif SET_HARD_REG_BIT (lra_reg_info[i].conflict_hard_regs, regno); - bitmap_set_bit (bb_gen_pseudos, regno); } /* Process the death of hard register REGNO. This updates @@ -259,8 +255,6 @@ make_hard_regno_dead (int regno) return; sparseset_set_bit (start_dying, regno); CLEAR_HARD_REG_BIT (hard_regs_live, regno); - bitmap_clear_bit (bb_gen_pseudos, regno); - bitmap_set_bit (bb_killed_pseudos, regno); } /* Mark pseudo REGNO as living at program point POINT, update conflicting @@ -305,6 +299,9 @@ mark_pseudo_dead (int regno, int point) } } +/* The corresponding bitmaps of BB currently being processed. */ +static bitmap bb_killed_pseudos, bb_gen_pseudos; + /* Mark register REGNO (pseudo or hard register) in MODE as live at program point POINT. Update BB_GEN_PSEUDOS. Return TRUE if the liveness tracking sets were modified, or FALSE @@ -820,8 +820,7 @@ collect_non_operand_hard_regs (rtx *x, lra_insn_recog_data_t data, const char *fmt = GET_RTX_FORMAT (code); for (i = 0; i < data->insn_static_data->n_operands; i++) - if (! data->insn_static_data->operand[i].is_operator - && x == data->operand_loc[i]) + if (x == data->operand_loc[i]) /* It is an operand loc. Stop here. */ return list; for (i = 0; i < data->insn_static_data->n_dups; i++) |