CbC/CbC_gcc: gcc/regcprop.c annotate

annotate gcc/regcprop.c @ 158:494b0b89df80 default tip

...

author	Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date	Mon, 25 May 2020 18:13:55 +0900
parents	1830386684a0
children

rev	line source
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1 /* Copy propagation on hard registers for the GNU compiler.
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	2 Copyright (C) 2000-2020 Free Software Foundation, Inc.
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	3
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	4 This file is part of GCC.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	5
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	6 GCC is free software; you can redistribute it and/or modify it
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	7 under the terms of the GNU General Public License as published by
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	8 the Free Software Foundation; either version 3, or (at your option)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	9 any later version.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	10
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	11 GCC is distributed in the hope that it will be useful, but WITHOUT
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	14 License for more details.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	15
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	16 You should have received a copy of the GNU General Public License
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	17 along with GCC; see the file COPYING3. If not see
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	18 <http://www.gnu.org/licenses/>. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	19
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	20 #include "config.h"
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	21 #include "system.h"
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	22 #include "coretypes.h"
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	23 #include "backend.h"
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	24 #include "rtl.h"
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	25 #include "df.h"
04ced10e8804 gcc 7 kono parents: 67 diff changeset	26 #include "memmodel.h"
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	27 #include "tm_p.h"
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	28 #include "insn-config.h"
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	29 #include "regs.h"
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	30 #include "emit-rtl.h"
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	31 #include "recog.h"
67 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	32 #include "diagnostic-core.h"
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	33 #include "addresses.h"
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	34 #include "tree-pass.h"
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	35 #include "rtl-iter.h"
04ced10e8804 gcc 7 kono parents: 67 diff changeset	36 #include "cfgrtl.h"
04ced10e8804 gcc 7 kono parents: 67 diff changeset	37 #include "target.h"
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	38 #include "function-abi.h"
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	39
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	40 /* The following code does forward propagation of hard register copies.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	41 The object is to eliminate as many dependencies as possible, so that
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	42 we have the most scheduling freedom. As a side effect, we also clean
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	43 up some silly register allocation decisions made by reload. This
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	44 code may be obsoleted by a new register allocator. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	45
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	46 /* DEBUG_INSNs aren't changed right away, as doing so might extend the
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	47 lifetime of a register and get the DEBUG_INSN subsequently reset.
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	48 So they are queued instead, and updated only when the register is
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	49 used in some subsequent real insn before it is set. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	50 struct queued_debug_insn_change
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	51 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	52 struct queued_debug_insn_change *next;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	53 rtx_insn *insn;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	54 rtx *loc;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	55 rtx new_rtx;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	56 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	57
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	58 /* For each register, we have a list of registers that contain the same
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	59 value. The OLDEST_REGNO field points to the head of the list, and
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	60 the NEXT_REGNO field runs through the list. The MODE field indicates
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	61 what mode the data is known to be in; this field is VOIDmode when the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	62 register is not known to contain valid data. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	63
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	64 struct value_data_entry
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	65 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	66 machine_mode mode;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	67 unsigned int oldest_regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	68 unsigned int next_regno;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	69 struct queued_debug_insn_change *debug_insn_changes;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	70 };
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	71
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	72 struct value_data
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	73 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	74 struct value_data_entry e[FIRST_PSEUDO_REGISTER];
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	75 unsigned int max_value_regs;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	76 unsigned int n_debug_insn_changes;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	77 };
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	78
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	79 static object_allocator<queued_debug_insn_change> queued_debug_insn_change_pool
04ced10e8804 gcc 7 kono parents: 67 diff changeset	80 ("debug insn changes pool");
04ced10e8804 gcc 7 kono parents: 67 diff changeset	81
04ced10e8804 gcc 7 kono parents: 67 diff changeset	82 static bool skip_debug_insn_p;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	83
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	84 static void kill_value_one_regno (unsigned, struct value_data *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	85 static void kill_value_regno (unsigned, unsigned, struct value_data *);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	86 static void kill_value (const_rtx, struct value_data *);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	87 static void set_value_regno (unsigned, machine_mode, struct value_data *);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	88 static void init_value_data (struct value_data *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	89 static void kill_clobbered_value (rtx, const_rtx, void *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	90 static void kill_set_value (rtx, const_rtx, void *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	91 static void copy_value (rtx, rtx, struct value_data *);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	92 static bool mode_change_ok (machine_mode, machine_mode,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	93 unsigned int);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	94 static rtx maybe_mode_change (machine_mode, machine_mode,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	95 machine_mode, unsigned int, unsigned int);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	96 static rtx find_oldest_value_reg (enum reg_class, rtx, struct value_data *);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	97 static bool replace_oldest_value_reg (rtx , enum reg_class, rtx_insn ,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	98 struct value_data *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	99 static bool replace_oldest_value_addr (rtx *, enum reg_class,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	100 machine_mode, addr_space_t,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	101 rtx_insn , struct value_data );
04ced10e8804 gcc 7 kono parents: 67 diff changeset	102 static bool replace_oldest_value_mem (rtx, rtx_insn , struct value_data );
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	103 static bool copyprop_hardreg_forward_1 (basic_block, struct value_data *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	104 extern void debug_value_data (struct value_data *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	105 static void validate_value_data (struct value_data *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	106
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	107 /* Free all queued updates for DEBUG_INSNs that change some reg to
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	108 register REGNO. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	109
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	110 static void
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	111 free_debug_insn_changes (struct value_data *vd, unsigned int regno)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	112 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	113 struct queued_debug_insn_change cur, next;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	114 for (cur = vd->e[regno].debug_insn_changes; cur; cur = next)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	115 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	116 next = cur->next;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	117 --vd->n_debug_insn_changes;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	118 queued_debug_insn_change_pool.remove (cur);
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	119 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	120 vd->e[regno].debug_insn_changes = NULL;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	121 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	122
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	123 /* Kill register REGNO. This involves removing it from any value
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	124 lists, and resetting the value mode to VOIDmode. This is only a
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	125 helper function; it does not handle any hard registers overlapping
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	126 with REGNO. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	127
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	128 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	129 kill_value_one_regno (unsigned int regno, struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	130 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	131 unsigned int i, next;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	132
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	133 if (vd->e[regno].oldest_regno != regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	134 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	135 for (i = vd->e[regno].oldest_regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	136 vd->e[i].next_regno != regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	137 i = vd->e[i].next_regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	138 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	139 vd->e[i].next_regno = vd->e[regno].next_regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	140 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	141 else if ((next = vd->e[regno].next_regno) != INVALID_REGNUM)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	142 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	143 for (i = next; i != INVALID_REGNUM; i = vd->e[i].next_regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	144 vd->e[i].oldest_regno = next;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	145 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	146
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	147 vd->e[regno].mode = VOIDmode;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	148 vd->e[regno].oldest_regno = regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	149 vd->e[regno].next_regno = INVALID_REGNUM;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	150 if (vd->e[regno].debug_insn_changes)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	151 free_debug_insn_changes (vd, regno);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	152
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	153 if (flag_checking)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	154 validate_value_data (vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	155 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	156
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	157 /* Kill the value in register REGNO for NREGS, and any other registers
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	158 whose values overlap. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	159
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	160 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	161 kill_value_regno (unsigned int regno, unsigned int nregs,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	162 struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	163 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	164 unsigned int j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	165
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	166 /* Kill the value we're told to kill. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	167 for (j = 0; j < nregs; ++j)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	168 kill_value_one_regno (regno + j, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	169
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	170 /* Kill everything that overlapped what we're told to kill. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	171 if (regno < vd->max_value_regs)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	172 j = 0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	173 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	174 j = regno - vd->max_value_regs;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	175 for (; j < regno; ++j)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	176 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	177 unsigned int i, n;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	178 if (vd->e[j].mode == VOIDmode)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	179 continue;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	180 n = hard_regno_nregs (j, vd->e[j].mode);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	181 if (j + n > regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	182 for (i = 0; i < n; ++i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	183 kill_value_one_regno (j + i, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	184 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	185 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	186
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	187 /* Kill X. This is a convenience function wrapping kill_value_regno
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	188 so that we mind the mode the register is in. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	189
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	190 static void
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	191 kill_value (const_rtx x, struct value_data *vd)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	192 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	193 if (GET_CODE (x) == SUBREG)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	194 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	195 rtx tmp = simplify_subreg (GET_MODE (x), SUBREG_REG (x),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	196 GET_MODE (SUBREG_REG (x)), SUBREG_BYTE (x));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	197 x = tmp ? tmp : SUBREG_REG (x);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	198 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	199 if (REG_P (x))
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	200 kill_value_regno (REGNO (x), REG_NREGS (x), vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	201 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	202
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	203 /* Remember that REGNO is valid in MODE. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	204
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	205 static void
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	206 set_value_regno (unsigned int regno, machine_mode mode,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	207 struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	208 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	209 unsigned int nregs;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	210
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	211 vd->e[regno].mode = mode;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	212
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	213 nregs = hard_regno_nregs (regno, mode);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	214 if (nregs > vd->max_value_regs)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	215 vd->max_value_regs = nregs;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	216 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	217
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	218 /* Initialize VD such that there are no known relationships between regs. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	219
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	220 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	221 init_value_data (struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	222 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	223 int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	224 for (i = 0; i < FIRST_PSEUDO_REGISTER; ++i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	225 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	226 vd->e[i].mode = VOIDmode;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	227 vd->e[i].oldest_regno = i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	228 vd->e[i].next_regno = INVALID_REGNUM;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	229 vd->e[i].debug_insn_changes = NULL;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	230 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	231 vd->max_value_regs = 0;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	232 vd->n_debug_insn_changes = 0;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	233 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	234
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	235 /* Called through note_stores. If X is clobbered, kill its value. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	236
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	237 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	238 kill_clobbered_value (rtx x, const_rtx set, void *data)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	239 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	240 struct value_data const vd = (struct value_data ) data;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	241
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	242 if (GET_CODE (set) == CLOBBER)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	243 kill_value (x, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	244 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	245
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	246 /* A structure passed as data to kill_set_value through note_stores. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	247 struct kill_set_value_data
04ced10e8804 gcc 7 kono parents: 67 diff changeset	248 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	249 struct value_data *vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	250 rtx ignore_set_reg;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	251 };
04ced10e8804 gcc 7 kono parents: 67 diff changeset	252
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	253 /* Called through note_stores. If X is set, not clobbered, kill its
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	254 current value and install it as the root of its own value list. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	255
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	256 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	257 kill_set_value (rtx x, const_rtx set, void *data)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	258 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	259 struct kill_set_value_data ksvd = (struct kill_set_value_data ) data;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	260 if (rtx_equal_p (x, ksvd->ignore_set_reg))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	261 return;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	262
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	263 if (GET_CODE (set) != CLOBBER)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	264 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	265 kill_value (x, ksvd->vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	266 if (REG_P (x))
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	267 set_value_regno (REGNO (x), GET_MODE (x), ksvd->vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	268 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	269 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	270
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	271 /* Kill any register used in X as the base of an auto-increment expression,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	272 and install that register as the root of its own value list. */
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	273
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	274 static void
04ced10e8804 gcc 7 kono parents: 67 diff changeset	275 kill_autoinc_value (rtx_insn insn, struct value_data vd)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	276 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	277 subrtx_iterator::array_type array;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	278 FOR_EACH_SUBRTX (iter, array, PATTERN (insn), NONCONST)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	279 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	280 const_rtx x = *iter;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	281 if (GET_RTX_CLASS (GET_CODE (x)) == RTX_AUTOINC)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	282 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	283 x = XEXP (x, 0);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	284 kill_value (x, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	285 set_value_regno (REGNO (x), GET_MODE (x), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	286 iter.skip_subrtxes ();
04ced10e8804 gcc 7 kono parents: 67 diff changeset	287 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	288 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	289 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	290
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	291 /* Assert that SRC has been copied to DEST. Adjust the data structures
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	292 to reflect that SRC contains an older copy of the shared value. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	293
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	294 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	295 copy_value (rtx dest, rtx src, struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	296 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	297 unsigned int dr = REGNO (dest);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	298 unsigned int sr = REGNO (src);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	299 unsigned int dn, sn;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	300 unsigned int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	301
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	302 /* ??? At present, it's possible to see noop sets. It'd be nice if
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	303 this were cleaned up beforehand... */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	304 if (sr == dr)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	305 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	306
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	307 /* Do not propagate copies to the stack pointer, as that can leave
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	308 memory accesses with no scheduling dependency on the stack update. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	309 if (dr == STACK_POINTER_REGNUM)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	310 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	311
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	312 /* Likewise with the frame pointer, if we're using one. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	313 if (frame_pointer_needed && dr == HARD_FRAME_POINTER_REGNUM)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	314 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	315
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	316 /* Do not propagate copies to fixed or global registers, patterns
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	317 can be relying to see particular fixed register or users can
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	318 expect the chosen global register in asm. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	319 if (fixed_regs[dr] \|\| global_regs[dr])
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	320 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	321
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	322 /* If SRC and DEST overlap, don't record anything. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	323 dn = REG_NREGS (dest);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	324 sn = REG_NREGS (src);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	325 if ((dr > sr && dr < sr + sn)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	326 \|\| (sr > dr && sr < dr + dn))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	327 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	328
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	329 /* If SRC had no assigned mode (i.e. we didn't know it was live)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	330 assign it now and assume the value came from an input argument
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	331 or somesuch. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	332 if (vd->e[sr].mode == VOIDmode)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	333 set_value_regno (sr, vd->e[dr].mode, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	334
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	335 /* If we are narrowing the input to a smaller number of hard regs,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	336 and it is in big endian, we are really extracting a high part.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	337 Since we generally associate a low part of a value with the value itself,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	338 we must not do the same for the high part.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	339 Note we can still get low parts for the same mode combination through
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	340 a two-step copy involving differently sized hard regs.
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	341 Assume hard regs fr* are 32 bits each, while r* are 64 bits each:
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	342 (set (reg:DI r0) (reg:DI fr0))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	343 (set (reg:SI fr2) (reg:SI r0))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	344 loads the low part of (reg:DI fr0) - i.e. fr1 - into fr2, while:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	345 (set (reg:SI fr2) (reg:SI fr0))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	346 loads the high part of (reg:DI fr0) into fr2.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	347
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	348 We can't properly represent the latter case in our tables, so don't
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	349 record anything then. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	350 else if (sn < hard_regno_nregs (sr, vd->e[sr].mode)
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	351 && maybe_ne (subreg_lowpart_offset (GET_MODE (dest),
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	352 vd->e[sr].mode), 0U))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	353 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	354
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	355 /* If SRC had been assigned a mode narrower than the copy, we can't
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	356 link DEST into the chain, because not all of the pieces of the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	357 copy came from oldest_regno. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	358 else if (sn > hard_regno_nregs (sr, vd->e[sr].mode))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	359 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	360
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	361 /* Link DR at the end of the value chain used by SR. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	362
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	363 vd->e[dr].oldest_regno = vd->e[sr].oldest_regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	364
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	365 for (i = sr; vd->e[i].next_regno != INVALID_REGNUM; i = vd->e[i].next_regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	366 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	367 vd->e[i].next_regno = dr;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	368
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	369 if (flag_checking)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	370 validate_value_data (vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	371 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	372
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	373 /* Return true if a mode change from ORIG to NEW is allowed for REGNO. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	374
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	375 static bool
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	376 mode_change_ok (machine_mode orig_mode, machine_mode new_mode,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	377 unsigned int regno ATTRIBUTE_UNUSED)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	378 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	379 if (partial_subreg_p (orig_mode, new_mode))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	380 return false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	381
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	382 return REG_CAN_CHANGE_MODE_P (regno, orig_mode, new_mode);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	383 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	384
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	385 /* Register REGNO was originally set in ORIG_MODE. It - or a copy of it -
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	386 was copied in COPY_MODE to COPY_REGNO, and then COPY_REGNO was accessed
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	387 in NEW_MODE.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	388 Return a NEW_MODE rtx for REGNO if that's OK, otherwise return NULL_RTX. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	389
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	390 static rtx
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	391 maybe_mode_change (machine_mode orig_mode, machine_mode copy_mode,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	392 machine_mode new_mode, unsigned int regno,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	393 unsigned int copy_regno ATTRIBUTE_UNUSED)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	394 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	395 if (partial_subreg_p (copy_mode, orig_mode)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	396 && partial_subreg_p (copy_mode, new_mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	397 return NULL_RTX;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	398
04ced10e8804 gcc 7 kono parents: 67 diff changeset	399 /* Avoid creating multiple copies of the stack pointer. Some ports
04ced10e8804 gcc 7 kono parents: 67 diff changeset	400 assume there is one and only one stack pointer.
04ced10e8804 gcc 7 kono parents: 67 diff changeset	401
04ced10e8804 gcc 7 kono parents: 67 diff changeset	402 It's unclear if we need to do the same for other special registers. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	403 if (regno == STACK_POINTER_REGNUM)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	404 return NULL_RTX;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	405
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	406 if (orig_mode == new_mode)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	407 return gen_raw_REG (new_mode, regno);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	408 else if (mode_change_ok (orig_mode, new_mode, regno))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	409 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	410 int copy_nregs = hard_regno_nregs (copy_regno, copy_mode);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	411 int use_nregs = hard_regno_nregs (copy_regno, new_mode);
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	412 poly_uint64 bytes_per_reg;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	413 if (!can_div_trunc_p (GET_MODE_SIZE (copy_mode),
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	414 copy_nregs, &bytes_per_reg))
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	415 return NULL_RTX;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	416 poly_uint64 copy_offset = bytes_per_reg * (copy_nregs - use_nregs);
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	417 poly_uint64 offset
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	418 = subreg_size_lowpart_offset (GET_MODE_SIZE (new_mode) + copy_offset,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	419 GET_MODE_SIZE (orig_mode));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	420 regno += subreg_regno_offset (regno, orig_mode, offset, new_mode);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	421 if (targetm.hard_regno_mode_ok (regno, new_mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	422 return gen_raw_REG (new_mode, regno);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	423 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	424 return NULL_RTX;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	425 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	426
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	427 /* Find the oldest copy of the value contained in REGNO that is in
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	428 register class CL and has mode MODE. If found, return an rtx
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	429 of that oldest register, otherwise return NULL. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	430
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	431 static rtx
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	432 find_oldest_value_reg (enum reg_class cl, rtx reg, struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	433 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	434 unsigned int regno = REGNO (reg);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	435 machine_mode mode = GET_MODE (reg);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	436 unsigned int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	437
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	438 gcc_assert (regno < FIRST_PSEUDO_REGISTER);
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	439
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	440 /* If we are accessing REG in some mode other that what we set it in,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	441 make sure that the replacement is valid. In particular, consider
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	442 (set (reg:DI r11) (...))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	443 (set (reg:SI r9) (reg:SI r11))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	444 (set (reg:SI r10) (...))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	445 (set (...) (reg:DI r9))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	446 Replacing r9 with r11 is invalid. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	447 if (mode != vd->e[regno].mode
04ced10e8804 gcc 7 kono parents: 67 diff changeset	448 && REG_NREGS (reg) > hard_regno_nregs (regno, vd->e[regno].mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	449 return NULL_RTX;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	450
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	451 for (i = vd->e[regno].oldest_regno; i != regno; i = vd->e[i].next_regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	452 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	453 machine_mode oldmode = vd->e[i].mode;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	454 rtx new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	455
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	456 if (!in_hard_reg_set_p (reg_class_contents[cl], mode, i))
67 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	457 continue;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	458
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	459 new_rtx = maybe_mode_change (oldmode, vd->e[regno].mode, mode, i, regno);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	460 if (new_rtx)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	461 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	462 ORIGINAL_REGNO (new_rtx) = ORIGINAL_REGNO (reg);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	463 REG_ATTRS (new_rtx) = REG_ATTRS (reg);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	464 REG_POINTER (new_rtx) = REG_POINTER (reg);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	465 return new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	466 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	467 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	468
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	469 return NULL_RTX;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	470 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	471
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	472 /* If possible, replace the register at *LOC with the oldest register
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	473 in register class CL. Return true if successfully replaced. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	474
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	475 static bool
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	476 replace_oldest_value_reg (rtx loc, enum reg_class cl, rtx_insn insn,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	477 struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	478 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	479 rtx new_rtx = find_oldest_value_reg (cl, *loc, vd);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	480 if (new_rtx && (!DEBUG_INSN_P (insn) \|\| !skip_debug_insn_p))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	481 {
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	482 if (DEBUG_INSN_P (insn))
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	483 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	484 struct queued_debug_insn_change *change;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	485
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	486 if (dump_file)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	487 fprintf (dump_file, "debug_insn %u: queued replacing reg %u with %u\n",
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	488 INSN_UID (insn), REGNO (*loc), REGNO (new_rtx));
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	489
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	490 change = queued_debug_insn_change_pool.allocate ();
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	491 change->next = vd->e[REGNO (new_rtx)].debug_insn_changes;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	492 change->insn = insn;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	493 change->loc = loc;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	494 change->new_rtx = new_rtx;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	495 vd->e[REGNO (new_rtx)].debug_insn_changes = change;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	496 ++vd->n_debug_insn_changes;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	497 return true;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	498 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	499 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	500 fprintf (dump_file, "insn %u: replaced reg %u with %u\n",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	501 INSN_UID (insn), REGNO (*loc), REGNO (new_rtx));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	502
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	503 validate_change (insn, loc, new_rtx, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	504 return true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	505 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	506 return false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	507 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	508
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	509 /* Similar to replace_oldest_value_reg, but *LOC contains an address.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	510 Adapted from find_reloads_address_1. CL is INDEX_REG_CLASS or
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	511 BASE_REG_CLASS depending on how the register is being considered. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	512
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	513 static bool
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	514 replace_oldest_value_addr (rtx *loc, enum reg_class cl,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	515 machine_mode mode, addr_space_t as,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	516 rtx_insn insn, struct value_data vd)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	517 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	518 rtx x = *loc;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	519 RTX_CODE code = GET_CODE (x);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	520 const char *fmt;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	521 int i, j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	522 bool changed = false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	523
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	524 switch (code)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	525 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	526 case PLUS:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	527 if (DEBUG_INSN_P (insn))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	528 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	529
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	530 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	531 rtx orig_op0 = XEXP (x, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	532 rtx orig_op1 = XEXP (x, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	533 RTX_CODE code0 = GET_CODE (orig_op0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	534 RTX_CODE code1 = GET_CODE (orig_op1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	535 rtx op0 = orig_op0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	536 rtx op1 = orig_op1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	537 rtx *locI = NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	538 rtx *locB = NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	539 enum rtx_code index_code = SCRATCH;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	540
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	541 if (GET_CODE (op0) == SUBREG)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	542 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	543 op0 = SUBREG_REG (op0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	544 code0 = GET_CODE (op0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	545 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	546
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	547 if (GET_CODE (op1) == SUBREG)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	548 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	549 op1 = SUBREG_REG (op1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	550 code1 = GET_CODE (op1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	551 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	552
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	553 if (code0 == MULT \|\| code0 == SIGN_EXTEND \|\| code0 == TRUNCATE
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	554 \|\| code0 == ZERO_EXTEND \|\| code1 == MEM)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	555 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	556 locI = &XEXP (x, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	557 locB = &XEXP (x, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	558 index_code = GET_CODE (*locI);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	559 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	560 else if (code1 == MULT \|\| code1 == SIGN_EXTEND \|\| code1 == TRUNCATE
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	561 \|\| code1 == ZERO_EXTEND \|\| code0 == MEM)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	562 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	563 locI = &XEXP (x, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	564 locB = &XEXP (x, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	565 index_code = GET_CODE (*locI);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	566 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	567 else if (code0 == CONST_INT \|\| code0 == CONST
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	568 \|\| code0 == SYMBOL_REF \|\| code0 == LABEL_REF)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	569 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	570 locB = &XEXP (x, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	571 index_code = GET_CODE (XEXP (x, 0));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	572 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	573 else if (code1 == CONST_INT \|\| code1 == CONST
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	574 \|\| code1 == SYMBOL_REF \|\| code1 == LABEL_REF)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	575 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	576 locB = &XEXP (x, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	577 index_code = GET_CODE (XEXP (x, 1));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	578 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	579 else if (code0 == REG && code1 == REG)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	580 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	581 int index_op;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	582 unsigned regno0 = REGNO (op0), regno1 = REGNO (op1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	583
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	584 if (REGNO_OK_FOR_INDEX_P (regno1)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	585 && regno_ok_for_base_p (regno0, mode, as, PLUS, REG))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	586 index_op = 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	587 else if (REGNO_OK_FOR_INDEX_P (regno0)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	588 && regno_ok_for_base_p (regno1, mode, as, PLUS, REG))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	589 index_op = 0;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	590 else if (regno_ok_for_base_p (regno0, mode, as, PLUS, REG)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	591 \|\| REGNO_OK_FOR_INDEX_P (regno1))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	592 index_op = 1;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	593 else if (regno_ok_for_base_p (regno1, mode, as, PLUS, REG))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	594 index_op = 0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	595 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	596 index_op = 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	597
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	598 locI = &XEXP (x, index_op);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	599 locB = &XEXP (x, !index_op);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	600 index_code = GET_CODE (*locI);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	601 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	602 else if (code0 == REG)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	603 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	604 locI = &XEXP (x, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	605 locB = &XEXP (x, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	606 index_code = GET_CODE (*locI);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	607 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	608 else if (code1 == REG)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	609 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	610 locI = &XEXP (x, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	611 locB = &XEXP (x, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	612 index_code = GET_CODE (*locI);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	613 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	614
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	615 if (locI)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	616 changed \|= replace_oldest_value_addr (locI, INDEX_REG_CLASS,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	617 mode, as, insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	618 if (locB)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	619 changed \|= replace_oldest_value_addr (locB,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	620 base_reg_class (mode, as, PLUS,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	621 index_code),
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	622 mode, as, insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	623 return changed;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	624 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	625
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	626 case POST_INC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	627 case POST_DEC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	628 case POST_MODIFY:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	629 case PRE_INC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	630 case PRE_DEC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	631 case PRE_MODIFY:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	632 return false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	633
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	634 case MEM:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	635 return replace_oldest_value_mem (x, insn, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	636
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	637 case REG:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	638 return replace_oldest_value_reg (loc, cl, insn, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	639
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	640 default:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	641 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	642 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	643
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	644 fmt = GET_RTX_FORMAT (code);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	645 for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	646 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	647 if (fmt[i] == 'e')
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	648 changed \|= replace_oldest_value_addr (&XEXP (x, i), cl, mode, as,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	649 insn, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	650 else if (fmt[i] == 'E')
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	651 for (j = XVECLEN (x, i) - 1; j >= 0; j--)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	652 changed \|= replace_oldest_value_addr (&XVECEXP (x, i, j), cl,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	653 mode, as, insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	654 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	655
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	656 return changed;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	657 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	658
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	659 /* Similar to replace_oldest_value_reg, but X contains a memory. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	660
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	661 static bool
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	662 replace_oldest_value_mem (rtx x, rtx_insn insn, struct value_data vd)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	663 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	664 enum reg_class cl;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	665
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	666 if (DEBUG_INSN_P (insn))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	667 cl = ALL_REGS;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	668 else
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	669 cl = base_reg_class (GET_MODE (x), MEM_ADDR_SPACE (x), MEM, SCRATCH);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	670
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	671 return replace_oldest_value_addr (&XEXP (x, 0), cl,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	672 GET_MODE (x), MEM_ADDR_SPACE (x),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	673 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	674 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	675
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	676 /* Apply all queued updates for DEBUG_INSNs that change some reg to
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	677 register REGNO. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	678
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	679 static void
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	680 apply_debug_insn_changes (struct value_data *vd, unsigned int regno)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	681 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	682 struct queued_debug_insn_change *change;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	683 rtx_insn *last_insn = vd->e[regno].debug_insn_changes->insn;
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	684
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	685 for (change = vd->e[regno].debug_insn_changes;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	686 change;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	687 change = change->next)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	688 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	689 if (last_insn != change->insn)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	690 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	691 apply_change_group ();
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	692 last_insn = change->insn;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	693 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	694 validate_change (change->insn, change->loc, change->new_rtx, 1);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	695 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	696 apply_change_group ();
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	697 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	698
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	699 /* Called via note_uses, for all used registers in a real insn
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	700 apply DEBUG_INSN changes that change registers to the used
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	701 registers. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	702
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	703 static void
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	704 cprop_find_used_regs (rtx loc, void data)
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	705 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	706 struct value_data const vd = (struct value_data ) data;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	707 subrtx_iterator::array_type array;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	708 FOR_EACH_SUBRTX (iter, array, *loc, NONCONST)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	709 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	710 const_rtx x = *iter;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	711 if (REG_P (x))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	712 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	713 unsigned int regno = REGNO (x);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	714 if (vd->e[regno].debug_insn_changes)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	715 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	716 apply_debug_insn_changes (vd, regno);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	717 free_debug_insn_changes (vd, regno);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	718 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	719 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	720 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	721 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	722
04ced10e8804 gcc 7 kono parents: 67 diff changeset	723 /* Apply clobbers of INSN in PATTERN and C_I_F_U to value_data VD. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	724
04ced10e8804 gcc 7 kono parents: 67 diff changeset	725 static void
04ced10e8804 gcc 7 kono parents: 67 diff changeset	726 kill_clobbered_values (rtx_insn insn, struct value_data vd)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	727 {
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	728 note_stores (insn, kill_clobbered_value, vd);
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	729 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	730
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	731 /* Perform the forward copy propagation on basic block BB. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	732
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	733 static bool
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	734 copyprop_hardreg_forward_1 (basic_block bb, struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	735 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	736 bool anything_changed = false;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	737 rtx_insn insn, next;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	738
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	739 for (insn = BB_HEAD (bb); ; insn = next)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	740 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	741 int n_ops, i, predicated;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	742 bool is_asm, any_replacements;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	743 rtx set;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	744 rtx link;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	745 bool changed = false;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	746 struct kill_set_value_data ksvd;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	747
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	748 next = NEXT_INSN (insn);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	749 if (!NONDEBUG_INSN_P (insn))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	750 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	751 if (DEBUG_BIND_INSN_P (insn))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	752 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	753 rtx loc = INSN_VAR_LOCATION_LOC (insn);
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	754 if (!VAR_LOC_UNKNOWN_P (loc))
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	755 replace_oldest_value_addr (&INSN_VAR_LOCATION_LOC (insn),
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	756 ALL_REGS, GET_MODE (loc),
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	757 ADDR_SPACE_GENERIC, insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	758 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	759
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	760 if (insn == BB_END (bb))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	761 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	762 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	763 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	764 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	765
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	766 set = single_set (insn);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	767
04ced10e8804 gcc 7 kono parents: 67 diff changeset	768 /* Detect noop sets and remove them before processing side effects. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	769 if (set && REG_P (SET_DEST (set)) && REG_P (SET_SRC (set)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	770 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	771 unsigned int regno = REGNO (SET_SRC (set));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	772 rtx r1 = find_oldest_value_reg (REGNO_REG_CLASS (regno),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	773 SET_DEST (set), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	774 rtx r2 = find_oldest_value_reg (REGNO_REG_CLASS (regno),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	775 SET_SRC (set), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	776 if (rtx_equal_p (r1 ? r1 : SET_DEST (set), r2 ? r2 : SET_SRC (set)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	777 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	778 bool last = insn == BB_END (bb);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	779 delete_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	780 if (last)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	781 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	782 continue;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	783 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	784 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	785
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	786 /* Detect obviously dead sets (via REG_UNUSED notes) and remove them. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	787 if (set
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	788 && !RTX_FRAME_RELATED_P (insn)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	789 && !may_trap_p (set)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	790 && find_reg_note (insn, REG_UNUSED, SET_DEST (set))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	791 && !side_effects_p (SET_SRC (set))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	792 && !side_effects_p (SET_DEST (set)))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	793 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	794 bool last = insn == BB_END (bb);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	795 delete_insn (insn);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	796 if (last)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	797 break;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	798 continue;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	799 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	800
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	801
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	802 extract_constrain_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	803 preprocess_constraints (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	804 const operand_alternative *op_alt = which_op_alt ();
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	805 n_ops = recog_data.n_operands;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	806 is_asm = asm_noperands (PATTERN (insn)) >= 0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	807
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	808 /* Simplify the code below by promoting OP_OUT to OP_INOUT
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	809 in predicated instructions. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	810
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	811 predicated = GET_CODE (PATTERN (insn)) == COND_EXEC;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	812 for (i = 0; i < n_ops; ++i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	813 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	814 int matches = op_alt[i].matches;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	815 if (matches >= 0 \|\| op_alt[i].matched >= 0
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	816 \|\| (predicated && recog_data.operand_type[i] == OP_OUT))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	817 recog_data.operand_type[i] = OP_INOUT;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	818 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	819
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	820 /* Apply changes to earlier DEBUG_INSNs if possible. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	821 if (vd->n_debug_insn_changes)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	822 note_uses (&PATTERN (insn), cprop_find_used_regs, vd);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	823
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	824 /* For each earlyclobber operand, zap the value data. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	825 for (i = 0; i < n_ops; i++)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	826 if (op_alt[i].earlyclobber)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	827 kill_value (recog_data.operand[i], vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	828
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	829 /* Within asms, a clobber cannot overlap inputs or outputs.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	830 I wouldn't think this were true for regular insns, but
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	831 scan_rtx treats them like that... */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	832 kill_clobbered_values (insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	833
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	834 /* Kill all auto-incremented values. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	835 /* ??? REG_INC is useless, since stack pushes aren't done that way. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	836 kill_autoinc_value (insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	837
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	838 /* Kill all early-clobbered operands. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	839 for (i = 0; i < n_ops; i++)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	840 if (op_alt[i].earlyclobber)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	841 kill_value (recog_data.operand[i], vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	842
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	843 /* If we have dead sets in the insn, then we need to note these as we
04ced10e8804 gcc 7 kono parents: 67 diff changeset	844 would clobbers. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	845 for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	846 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	847 if (REG_NOTE_KIND (link) == REG_UNUSED)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	848 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	849 kill_value (XEXP (link, 0), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	850 /* Furthermore, if the insn looked like a single-set,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	851 but the dead store kills the source value of that
04ced10e8804 gcc 7 kono parents: 67 diff changeset	852 set, then we can no-longer use the plain move
04ced10e8804 gcc 7 kono parents: 67 diff changeset	853 special case below. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	854 if (set
04ced10e8804 gcc 7 kono parents: 67 diff changeset	855 && reg_overlap_mentioned_p (XEXP (link, 0), SET_SRC (set)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	856 set = NULL;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	857 }
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	858
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	859 /* We need to keep CFI info correct, and the same on all paths,
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	860 so we cannot normally replace the registers REG_CFA_REGISTER
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	861 refers to. Bail. */
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	862 if (REG_NOTE_KIND (link) == REG_CFA_REGISTER)
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	863 goto did_replacement;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	864 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	865
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	866 /* Special-case plain move instructions, since we may well
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	867 be able to do the move from a different register class. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	868 if (set && REG_P (SET_SRC (set)))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	869 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	870 rtx src = SET_SRC (set);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	871 unsigned int regno = REGNO (src);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	872 machine_mode mode = GET_MODE (src);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	873 unsigned int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	874 rtx new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	875
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	876 /* If we are accessing SRC in some mode other that what we
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	877 set it in, make sure that the replacement is valid. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	878 if (mode != vd->e[regno].mode)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	879 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	880 if (REG_NREGS (src)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	881 > hard_regno_nregs (regno, vd->e[regno].mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	882 goto no_move_special_case;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	883
04ced10e8804 gcc 7 kono parents: 67 diff changeset	884 /* And likewise, if we are narrowing on big endian the transformation
04ced10e8804 gcc 7 kono parents: 67 diff changeset	885 is also invalid. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	886 if (REG_NREGS (src) < hard_regno_nregs (regno, vd->e[regno].mode)
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	887 && maybe_ne (subreg_lowpart_offset (mode,
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	888 vd->e[regno].mode), 0U))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	889 goto no_move_special_case;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	890 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	891
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	892 /* If the destination is also a register, try to find a source
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	893 register in the same class. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	894 if (REG_P (SET_DEST (set)))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	895 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	896 new_rtx = find_oldest_value_reg (REGNO_REG_CLASS (regno),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	897 src, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	898
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	899 if (new_rtx && validate_change (insn, &SET_SRC (set), new_rtx, 0))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	900 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	901 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	902 fprintf (dump_file,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	903 "insn %u: replaced reg %u with %u\n",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	904 INSN_UID (insn), regno, REGNO (new_rtx));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	905 changed = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	906 goto did_replacement;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	907 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	908 /* We need to re-extract as validate_change clobbers
04ced10e8804 gcc 7 kono parents: 67 diff changeset	909 recog_data. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	910 extract_constrain_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	911 preprocess_constraints (insn);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	912 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	913
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	914 /* Otherwise, try all valid registers and see if its valid. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	915 for (i = vd->e[regno].oldest_regno; i != regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	916 i = vd->e[i].next_regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	917 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	918 new_rtx = maybe_mode_change (vd->e[i].mode, vd->e[regno].mode,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	919 mode, i, regno);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	920 if (new_rtx != NULL_RTX)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	921 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	922 if (validate_change (insn, &SET_SRC (set), new_rtx, 0))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	923 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	924 ORIGINAL_REGNO (new_rtx) = ORIGINAL_REGNO (src);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	925 REG_ATTRS (new_rtx) = REG_ATTRS (src);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	926 REG_POINTER (new_rtx) = REG_POINTER (src);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	927 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	928 fprintf (dump_file,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	929 "insn %u: replaced reg %u with %u\n",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	930 INSN_UID (insn), regno, REGNO (new_rtx));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	931 changed = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	932 goto did_replacement;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	933 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	934 /* We need to re-extract as validate_change clobbers
04ced10e8804 gcc 7 kono parents: 67 diff changeset	935 recog_data. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	936 extract_constrain_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	937 preprocess_constraints (insn);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	938 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	939 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	940 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	941 no_move_special_case:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	942
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	943 any_replacements = false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	944
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	945 /* For each input operand, replace a hard register with the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	946 eldest live copy that's in an appropriate register class. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	947 for (i = 0; i < n_ops; i++)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	948 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	949 bool replaced = false;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	950
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	951 /* Don't scan match_operand here, since we've no reg class
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	952 information to pass down. Any operands that we could
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	953 substitute in will be represented elsewhere. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	954 if (recog_data.constraints[i][0] == '\0')
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	955 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	956
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	957 /* Don't replace in asms intentionally referencing hard regs. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	958 if (is_asm && REG_P (recog_data.operand[i])
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	959 && (REGNO (recog_data.operand[i])
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	960 == ORIGINAL_REGNO (recog_data.operand[i])))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	961 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	962
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	963 if (recog_data.operand_type[i] == OP_IN)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	964 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	965 if (op_alt[i].is_address)
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	966 replaced
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	967 = replace_oldest_value_addr (recog_data.operand_loc[i],
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	968 alternative_class (op_alt, i),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	969 VOIDmode, ADDR_SPACE_GENERIC,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	970 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	971 else if (REG_P (recog_data.operand[i]))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	972 replaced
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	973 = replace_oldest_value_reg (recog_data.operand_loc[i],
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	974 alternative_class (op_alt, i),
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	975 insn, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	976 else if (MEM_P (recog_data.operand[i]))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	977 replaced = replace_oldest_value_mem (recog_data.operand[i],
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	978 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	979 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	980 else if (MEM_P (recog_data.operand[i]))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	981 replaced = replace_oldest_value_mem (recog_data.operand[i],
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	982 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	983
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	984 /* If we performed any replacement, update match_dups. */
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	985 if (replaced)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	986 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	987 int j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	988 rtx new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	989
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	990 new_rtx = *recog_data.operand_loc[i];
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	991 recog_data.operand[i] = new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	992 for (j = 0; j < recog_data.n_dups; j++)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	993 if (recog_data.dup_num[j] == i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	994 validate_unshare_change (insn, recog_data.dup_loc[j], new_rtx, 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	995
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	996 any_replacements = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	997 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	998 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	999
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1000 if (any_replacements)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1001 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1002 if (! apply_change_group ())
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1003 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1004 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1005 fprintf (dump_file,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1006 "insn %u: reg replacements not verified\n",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1007 INSN_UID (insn));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1008 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1009 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1010 changed = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1011 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1012
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1013 did_replacement:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1014 if (changed)
67 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1015 {
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1016 anything_changed = true;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1017
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1018 /* If something changed, perhaps further changes to earlier
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1019 DEBUG_INSNs can be applied. */
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1020 if (vd->n_debug_insn_changes)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1021 note_uses (&PATTERN (insn), cprop_find_used_regs, vd);
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1022 df_insn_rescan (insn);
67 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1023 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1024
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1025 ksvd.vd = vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1026 ksvd.ignore_set_reg = NULL_RTX;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1027
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1028 /* Clobber call-clobbered registers. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1029 if (CALL_P (insn))
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1030 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1031 unsigned int set_regno = INVALID_REGNUM;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1032 unsigned int set_nregs = 0;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1033 unsigned int regno;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1034 rtx exp;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1035
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1036 for (exp = CALL_INSN_FUNCTION_USAGE (insn); exp; exp = XEXP (exp, 1))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1037 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1038 rtx x = XEXP (exp, 0);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1039 if (GET_CODE (x) == SET)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1040 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1041 rtx dest = SET_DEST (x);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1042 kill_value (dest, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1043 set_value_regno (REGNO (dest), GET_MODE (dest), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1044 copy_value (dest, SET_SRC (x), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1045 ksvd.ignore_set_reg = dest;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1046 set_regno = REGNO (dest);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1047 set_nregs = REG_NREGS (dest);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1048 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1049 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1050 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1051
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1052 function_abi callee_abi = insn_callee_abi (insn);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1053 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1054 if (vd->e[regno].mode != VOIDmode
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1055 && callee_abi.clobbers_reg_p (vd->e[regno].mode, regno)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1056 && (regno < set_regno \|\| regno >= set_regno + set_nregs))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1057 kill_value_regno (regno, 1, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1058
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1059 /* If SET was seen in CALL_INSN_FUNCTION_USAGE, and SET_SRC
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1060 of the SET isn't clobbered by CALLEE_ABI, but instead among
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1061 CLOBBERs on the CALL_INSN, we could wrongly assume the
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1062 value in it is still live. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1063 if (ksvd.ignore_set_reg)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1064 kill_clobbered_values (insn, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1065 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1066
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1067 bool copy_p = (set
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1068 && REG_P (SET_DEST (set))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1069 && REG_P (SET_SRC (set)));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1070 bool noop_p = (copy_p
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1071 && rtx_equal_p (SET_DEST (set), SET_SRC (set)));
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1072
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1073 /* If a noop move is using narrower mode than we have recorded,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1074 we need to either remove the noop move, or kill_set_value. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1075 if (noop_p
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1076 && partial_subreg_p (GET_MODE (SET_DEST (set)),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1077 vd->e[REGNO (SET_DEST (set))].mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1078 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1079 if (noop_move_p (insn))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1080 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1081 bool last = insn == BB_END (bb);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1082 delete_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1083 if (last)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1084 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1085 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1086 else
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1087 noop_p = false;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1088 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1089
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1090 if (!noop_p)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1091 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1092 /* Notice stores. */
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1093 note_stores (insn, kill_set_value, &ksvd);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1094
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1095 /* Notice copies. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1096 if (copy_p)
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1097 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1098 df_insn_rescan (insn);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1099 copy_value (SET_DEST (set), SET_SRC (set), vd);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1100 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1101 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1102
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1103 if (insn == BB_END (bb))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1104 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1105 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1106
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1107 return anything_changed;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1108 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1109
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1110 /* Dump the value chain data to stderr. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1111
67 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 63 diff changeset	1112 DEBUG_FUNCTION void
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1113 debug_value_data (struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1114 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1115 HARD_REG_SET set;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1116 unsigned int i, j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1117
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1118 CLEAR_HARD_REG_SET (set);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1119
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1120 for (i = 0; i < FIRST_PSEUDO_REGISTER; ++i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1121 if (vd->e[i].oldest_regno == i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1122 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1123 if (vd->e[i].mode == VOIDmode)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1124 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1125 if (vd->e[i].next_regno != INVALID_REGNUM)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1126 fprintf (stderr, "[%u] Bad next_regno for empty chain (%u)\n",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1127 i, vd->e[i].next_regno);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1128 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1129 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1130
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1131 SET_HARD_REG_BIT (set, i);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1132 fprintf (stderr, "[%u %s] ", i, GET_MODE_NAME (vd->e[i].mode));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1133
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1134 for (j = vd->e[i].next_regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1135 j != INVALID_REGNUM;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1136 j = vd->e[j].next_regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1137 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1138 if (TEST_HARD_REG_BIT (set, j))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1139 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1140 fprintf (stderr, "[%u] Loop in regno chain\n", j);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1141 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1142 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1143
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1144 if (vd->e[j].oldest_regno != i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1145 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1146 fprintf (stderr, "[%u] Bad oldest_regno (%u)\n",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1147 j, vd->e[j].oldest_regno);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1148 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1149 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1150 SET_HARD_REG_BIT (set, j);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1151 fprintf (stderr, "[%u %s] ", j, GET_MODE_NAME (vd->e[j].mode));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1152 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1153 fputc ('\n', stderr);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1154 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1155
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1156 for (i = 0; i < FIRST_PSEUDO_REGISTER; ++i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1157 if (! TEST_HARD_REG_BIT (set, i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1158 && (vd->e[i].mode != VOIDmode
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1159 \|\| vd->e[i].oldest_regno != i
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1160 \|\| vd->e[i].next_regno != INVALID_REGNUM))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1161 fprintf (stderr, "[%u] Non-empty reg in chain (%s %u %i)\n",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1162 i, GET_MODE_NAME (vd->e[i].mode), vd->e[i].oldest_regno,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1163 vd->e[i].next_regno);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1164 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1165
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1166 /* Do copyprop_hardreg_forward_1 for a single basic block BB.
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1167 DEBUG_INSN is skipped since we do not want to involve DF related
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1168 staff as how it is handled in function pass_cprop_hardreg::execute.
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1169
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1170 NOTE: Currently it is only used for shrink-wrap. Maybe extend it
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1171 to handle DEBUG_INSN for other uses. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1172
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1173 void
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1174 copyprop_hardreg_forward_bb_without_debug_insn (basic_block bb)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1175 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1176 struct value_data *vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1177 vd = XNEWVEC (struct value_data, 1);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1178 init_value_data (vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1179
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1180 skip_debug_insn_p = true;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1181 copyprop_hardreg_forward_1 (bb, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1182 free (vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1183 skip_debug_insn_p = false;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1184 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1185
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1186 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1187 validate_value_data (struct value_data *vd)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1188 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1189 HARD_REG_SET set;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1190 unsigned int i, j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1191
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1192 CLEAR_HARD_REG_SET (set);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1193
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1194 for (i = 0; i < FIRST_PSEUDO_REGISTER; ++i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1195 if (vd->e[i].oldest_regno == i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1196 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1197 if (vd->e[i].mode == VOIDmode)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1198 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1199 if (vd->e[i].next_regno != INVALID_REGNUM)
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1200 internal_error ("%qs: [%u] bad %<next_regno%> for empty chain (%u)",
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1201 __func__, i, vd->e[i].next_regno);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1202 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1203 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1204
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1205 SET_HARD_REG_BIT (set, i);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1206
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1207 for (j = vd->e[i].next_regno;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1208 j != INVALID_REGNUM;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1209 j = vd->e[j].next_regno)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1210 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1211 if (TEST_HARD_REG_BIT (set, j))
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1212 internal_error ("%qs: loop in %<next_regno%> chain (%u)",
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1213 __func__, j);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1214 if (vd->e[j].oldest_regno != i)
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1215 internal_error ("%qs: [%u] bad %<oldest_regno%> (%u)",
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1216 __func__, j, vd->e[j].oldest_regno);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1217
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1218 SET_HARD_REG_BIT (set, j);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1219 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1220 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1221
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1222 for (i = 0; i < FIRST_PSEUDO_REGISTER; ++i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1223 if (! TEST_HARD_REG_BIT (set, i)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1224 && (vd->e[i].mode != VOIDmode
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1225 \|\| vd->e[i].oldest_regno != i
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1226 \|\| vd->e[i].next_regno != INVALID_REGNUM))
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1227 internal_error ("%qs: [%u] non-empty register in chain (%s %u %i)",
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1228 __func__, i,
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1229 GET_MODE_NAME (vd->e[i].mode), vd->e[i].oldest_regno,
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1230 vd->e[i].next_regno);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1231 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1232
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1233
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1234 namespace {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1235
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1236 const pass_data pass_data_cprop_hardreg =
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1237 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1238 RTL_PASS, /* type */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1239 "cprop_hardreg", /* name */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1240 OPTGROUP_NONE, /* optinfo_flags */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1241 TV_CPROP_REGISTERS, /* tv_id */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1242 0, /* properties_required */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1243 0, /* properties_provided */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1244 0, /* properties_destroyed */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1245 0, /* todo_flags_start */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1246 TODO_df_finish, /* todo_flags_finish */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1247 };
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1248
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1249 class pass_cprop_hardreg : public rtl_opt_pass
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1250 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1251 public:
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1252 pass_cprop_hardreg (gcc::context *ctxt)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1253 : rtl_opt_pass (pass_data_cprop_hardreg, ctxt)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1254 {}
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1255
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1256 /* opt_pass methods: */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1257 virtual bool gate (function *)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1258 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1259 return (optimize > 0 && (flag_cprop_registers));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1260 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1261
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1262 virtual unsigned int execute (function *);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1263
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1264 }; // class pass_cprop_hardreg
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1265
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1266 static bool
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1267 cprop_hardreg_bb (basic_block bb, struct value_data *all_vd, sbitmap visited)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1268 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1269 bitmap_set_bit (visited, bb->index);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1270
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1271 /* If a block has a single predecessor, that we've already
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1272 processed, begin with the value data that was live at
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1273 the end of the predecessor block. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1274 /* ??? Ought to use more intelligent queuing of blocks. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1275 if (single_pred_p (bb)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1276 && bitmap_bit_p (visited, single_pred (bb)->index)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1277 && ! (single_pred_edge (bb)->flags & (EDGE_ABNORMAL_CALL \| EDGE_EH)))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1278 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1279 all_vd[bb->index] = all_vd[single_pred (bb)->index];
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1280 if (all_vd[bb->index].n_debug_insn_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1281 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1282 unsigned int regno;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1283
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1284 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1285 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1286 if (all_vd[bb->index].e[regno].debug_insn_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1287 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1288 struct queued_debug_insn_change *cur;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1289 for (cur = all_vd[bb->index].e[regno].debug_insn_changes;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1290 cur; cur = cur->next)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1291 --all_vd[bb->index].n_debug_insn_changes;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1292 all_vd[bb->index].e[regno].debug_insn_changes = NULL;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1293 if (all_vd[bb->index].n_debug_insn_changes == 0)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1294 break;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1295 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1296 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1297 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1298 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1299 else
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1300 init_value_data (all_vd + bb->index);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1301
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1302 return copyprop_hardreg_forward_1 (bb, all_vd + bb->index);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1303 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1304
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1305 static void
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1306 cprop_hardreg_debug (function fun, struct value_data all_vd)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1307 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1308 basic_block bb;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1309
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1310 FOR_EACH_BB_FN (bb, fun)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1311 if (all_vd[bb->index].n_debug_insn_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1312 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1313 unsigned int regno;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1314 bitmap live;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1315
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1316 live = df_get_live_out (bb);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1317 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1318 if (all_vd[bb->index].e[regno].debug_insn_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1319 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1320 if (REGNO_REG_SET_P (live, regno))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1321 apply_debug_insn_changes (all_vd + bb->index, regno);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1322
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1323 struct queued_debug_insn_change *cur;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1324 for (cur = all_vd[bb->index].e[regno].debug_insn_changes;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1325 cur; cur = cur->next)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1326 --all_vd[bb->index].n_debug_insn_changes;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1327 all_vd[bb->index].e[regno].debug_insn_changes = NULL;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1328 if (all_vd[bb->index].n_debug_insn_changes == 0)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1329 break;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1330 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1331 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1332
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1333 queued_debug_insn_change_pool.release ();
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1334 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1335
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1336 unsigned int
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1337 pass_cprop_hardreg::execute (function *fun)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1338 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1339 struct value_data *all_vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1340 basic_block bb;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1341
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1342 all_vd = XNEWVEC (struct value_data, last_basic_block_for_fn (fun));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1343
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1344 auto_sbitmap visited (last_basic_block_for_fn (fun));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1345 bitmap_clear (visited);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1346
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1347 auto_vec<int> worklist;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1348 bool any_debug_changes = false;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1349
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1350 /* We need accurate notes. Earlier passes such as if-conversion may
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1351 leave notes in an inconsistent state. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1352 df_note_add_problem ();
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1353 df_analyze ();
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1354
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1355 /* It is tempting to set DF_LR_RUN_DCE, but DCE may choose to delete
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1356 an insn and this pass would not have visibility into the removal.
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1357 This pass would then potentially use the source of that
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1358 INSN for propagation purposes, generating invalid code.
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1359
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1360 So we just ask for updated notes and handle trivial deletions
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1361 within this pass where we can update this passes internal
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1362 data structures appropriately. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1363 df_set_flags (DF_DEFER_INSN_RESCAN);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1364
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1365 FOR_EACH_BB_FN (bb, fun)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1366 {
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1367 if (cprop_hardreg_bb (bb, all_vd, visited))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1368 worklist.safe_push (bb->index);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1369 if (all_vd[bb->index].n_debug_insn_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1370 any_debug_changes = true;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1371 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1372
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1373 /* We must call df_analyze here unconditionally to ensure that the
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1374 REG_UNUSED and REG_DEAD notes are consistent with and without -g. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1375 df_analyze ();
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1376
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1377 if (MAY_HAVE_DEBUG_BIND_INSNS && any_debug_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1378 cprop_hardreg_debug (fun, all_vd);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1379
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1380 /* Second pass if we've changed anything, only for the bbs where we have
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1381 changed anything though. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1382 if (!worklist.is_empty ())
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1383 {
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1384 unsigned int i;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1385 int index;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1386
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1387 any_debug_changes = false;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1388 bitmap_clear (visited);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1389 FOR_EACH_VEC_ELT (worklist, i, index)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1390 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1391 bb = BASIC_BLOCK_FOR_FN (fun, index);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1392 cprop_hardreg_bb (bb, all_vd, visited);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1393 if (all_vd[bb->index].n_debug_insn_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1394 any_debug_changes = true;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1395 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1396
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1397 df_analyze ();
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1398 if (MAY_HAVE_DEBUG_BIND_INSNS && any_debug_changes)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1399 cprop_hardreg_debug (fun, all_vd);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1400 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1401
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1402 free (all_vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1403 return 0;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1404 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1405
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1406 } // anon namespace
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1407
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1408 rtl_opt_pass *
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1409 make_pass_cprop_hardreg (gcc::context *ctxt)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1410 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1411 return new pass_cprop_hardreg (ctxt);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1412 }

Mercurial > hg > CbC > CbC_gcc

annotate gcc/regcprop.c @ 158:494b0b89df80 default tip