CbC/CbC_gcc: gcc/regcprop.c annotate

annotate gcc/regcprop.c @ 131:84e7813d76e9

gcc-8.2

author	mir3636
date	Thu, 25 Oct 2018 07:37:49 +0900
parents	04ced10e8804
children	1830386684a0

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.
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	2 Copyright (C) 2000-2018 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"
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	38
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	39 /* 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	40 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	41 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	42 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	43 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	44
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	45 /* 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	46 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	47 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	48 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	49 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	50 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	51 struct queued_debug_insn_change *next;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	52 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	53 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	54 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	55 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	56
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	57 /* 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	58 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	59 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	60 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	61 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	62
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	63 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	64 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	65 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	66 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	67 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	68 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	69 };
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 struct value_data
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	72 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	73 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	74 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	75 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	76 };
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	77
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	78 static object_allocator<queued_debug_insn_change> queued_debug_insn_change_pool
04ced10e8804 gcc 7 kono parents: 67 diff changeset	79 ("debug insn changes pool");
04ced10e8804 gcc 7 kono parents: 67 diff changeset	80
04ced10e8804 gcc 7 kono parents: 67 diff changeset	81 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	82
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	83 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	84 static void kill_value_regno (unsigned, unsigned, struct value_data *);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	85 static void kill_value (const_rtx, struct value_data *);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	86 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	87 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	88 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	89 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	90 static void copy_value (rtx, rtx, struct value_data *);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	91 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	92 unsigned int);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	93 static rtx maybe_mode_change (machine_mode, machine_mode,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	94 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	95 static rtx find_oldest_value_reg (enum reg_class, rtx, struct value_data *);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	96 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	97 struct value_data *);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	98 static bool replace_oldest_value_addr (rtx *, enum reg_class,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	99 machine_mode, addr_space_t,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	100 rtx_insn , struct value_data );
04ced10e8804 gcc 7 kono parents: 67 diff changeset	101 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	102 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	103 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	104 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	105
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	106 /* 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	107 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	108
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	109 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	110 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	111 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	112 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	113 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	114 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	115 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	116 --vd->n_debug_insn_changes;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	117 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	118 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	119 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	120 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	121
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	122 /* 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	123 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	124 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	125 with REGNO. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	126
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	127 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	128 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	129 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	130 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	131
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	132 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	133 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	134 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	135 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	136 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	137 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	138 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	139 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	140 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	141 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	142 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	143 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	144 }
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 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	147 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	148 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	149 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	150 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	151
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	152 if (flag_checking)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	153 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	154 }
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 /* 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	157 whose values overlap. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	158
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	159 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	160 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	161 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	162 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	163 unsigned int j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	164
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	165 /* 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	166 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	167 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	168
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	169 /* 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	170 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	171 j = 0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	172 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	173 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	174 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	175 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	176 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	177 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	178 continue;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	179 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	180 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	181 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	182 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	183 }
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 /* 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	187 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	188
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	189 static void
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	190 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	191 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	192 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	193 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	194 rtx tmp = simplify_subreg (GET_MODE (x), SUBREG_REG (x),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	195 GET_MODE (SUBREG_REG (x)), SUBREG_BYTE (x));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	196 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	197 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	198 if (REG_P (x))
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	199 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	200 }
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 /* 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	203
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	204 static void
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	205 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	206 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	207 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	208 unsigned int nregs;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	209
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	210 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	211
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	212 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	213 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	214 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	215 }
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 /* 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	218
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	219 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	220 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	221 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	222 int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	223 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	224 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	225 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	226 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	227 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	228 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	229 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	230 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	231 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	232 }
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 /* 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	235
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	236 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	237 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	238 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	239 struct value_data const vd = (struct value_data ) data;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	240 gcc_assert (GET_CODE (set) != CLOBBER_HIGH \|\| REG_P (x));
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	241
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	242 if (GET_CODE (set) == CLOBBER
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	243 \|\| (GET_CODE (set) == CLOBBER_HIGH
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	244 && reg_is_clobbered_by_clobber_high (x, XEXP (set, 0))))
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	245 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	246 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	247
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	248 /* A structure passed as data to kill_set_value through note_stores. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	249 struct kill_set_value_data
04ced10e8804 gcc 7 kono parents: 67 diff changeset	250 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	251 struct value_data *vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	252 rtx ignore_set_reg;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	253 };
04ced10e8804 gcc 7 kono parents: 67 diff changeset	254
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	255 /* 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	256 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	257
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	258 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	259 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	260 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	261 struct kill_set_value_data ksvd = (struct kill_set_value_data ) data;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	262 if (rtx_equal_p (x, ksvd->ignore_set_reg))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	263 return;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	264
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	265 gcc_assert (GET_CODE (set) != CLOBBER_HIGH \|\| REG_P (x));
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	266 if (GET_CODE (set) != CLOBBER && GET_CODE (set) != CLOBBER_HIGH)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	267 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	268 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	269 if (REG_P (x))
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	270 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	271 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	272 }
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 /* Kill any register used in X as the base of an auto-increment expression,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	275 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	276
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	277 static void
04ced10e8804 gcc 7 kono parents: 67 diff changeset	278 kill_autoinc_value (rtx_insn insn, struct value_data vd)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	279 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	280 subrtx_iterator::array_type array;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	281 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	282 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	283 const_rtx x = *iter;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	284 if (GET_RTX_CLASS (GET_CODE (x)) == RTX_AUTOINC)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	285 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	286 x = XEXP (x, 0);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	287 kill_value (x, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	288 set_value_regno (REGNO (x), GET_MODE (x), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	289 iter.skip_subrtxes ();
04ced10e8804 gcc 7 kono parents: 67 diff changeset	290 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	291 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	292 }
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 /* 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	295 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	296
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	297 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	298 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	299 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	300 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	301 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	302 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	303 unsigned int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	304
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	305 /* ??? 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	306 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	307 if (sr == dr)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	308 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	309
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	310 /* 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	311 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	312 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	313 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	314
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	315 /* 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	316 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	317 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	318
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	319 /* 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	320 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	321 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	322 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	323 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	324
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	325 /* If SRC and DEST overlap, don't record anything. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	326 dn = REG_NREGS (dest);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	327 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	328 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	329 \|\| (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	330 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	331
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	332 /* 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	333 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	334 or somesuch. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	335 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	336 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	337
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	338 /* 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	339 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	340 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	341 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	342 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	343 a two-step copy involving differently sized hard regs.
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	344 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	345 (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	346 (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	347 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	348 (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	349 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	350
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	351 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	352 record anything then. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	353 else if (sn < hard_regno_nregs (sr, vd->e[sr].mode)
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	354 && maybe_ne (subreg_lowpart_offset (GET_MODE (dest),
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	355 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	356 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	357
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	358 /* 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	359 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	360 copy came from oldest_regno. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	361 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	362 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	363
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	364 /* 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	365
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	366 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	367
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	368 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	369 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	370 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	371
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	372 if (flag_checking)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	373 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	374 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	375
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	376 /* 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	377
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	378 static bool
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	379 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	380 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	381 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	382 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	383 return false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	384
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	385 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	386 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	387
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	388 /* 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	389 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	390 in NEW_MODE.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	391 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	392
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	393 static rtx
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	394 maybe_mode_change (machine_mode orig_mode, machine_mode copy_mode,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	395 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	396 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	397 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	398 if (partial_subreg_p (copy_mode, orig_mode)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	399 && partial_subreg_p (copy_mode, new_mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	400 return NULL_RTX;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	401
04ced10e8804 gcc 7 kono parents: 67 diff changeset	402 /* Avoid creating multiple copies of the stack pointer. Some ports
04ced10e8804 gcc 7 kono parents: 67 diff changeset	403 assume there is one and only one stack pointer.
04ced10e8804 gcc 7 kono parents: 67 diff changeset	404
04ced10e8804 gcc 7 kono parents: 67 diff changeset	405 It's unclear if we need to do the same for other special registers. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	406 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	407 return NULL_RTX;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	408
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	409 if (orig_mode == new_mode)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	410 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	411 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	412 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	413 int copy_nregs = hard_regno_nregs (copy_regno, copy_mode);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	414 int use_nregs = hard_regno_nregs (copy_regno, new_mode);
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	415 poly_uint64 bytes_per_reg;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	416 if (!can_div_trunc_p (GET_MODE_SIZE (copy_mode),
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	417 copy_nregs, &bytes_per_reg))
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	418 return NULL_RTX;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	419 poly_uint64 copy_offset = bytes_per_reg * (copy_nregs - use_nregs);
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	420 poly_uint64 offset
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	421 = subreg_size_lowpart_offset (GET_MODE_SIZE (new_mode) + copy_offset,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	422 GET_MODE_SIZE (orig_mode));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	423 regno += subreg_regno_offset (regno, orig_mode, offset, new_mode);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	424 if (targetm.hard_regno_mode_ok (regno, new_mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	425 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	426 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	427 return NULL_RTX;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	428 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	429
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	430 /* 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	431 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	432 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	433
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	434 static rtx
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	435 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	436 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	437 unsigned int regno = REGNO (reg);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	438 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	439 unsigned int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	440
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	441 gcc_assert (regno < FIRST_PSEUDO_REGISTER);
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	442
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	443 /* 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	444 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	445 (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	446 (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	447 (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	448 (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	449 Replacing r9 with r11 is invalid. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	450 if (mode != vd->e[regno].mode
04ced10e8804 gcc 7 kono parents: 67 diff changeset	451 && REG_NREGS (reg) > hard_regno_nregs (regno, vd->e[regno].mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	452 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	453
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	454 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	455 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	456 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	457 rtx new_rtx;
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 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	460 continue;
55 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 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	463 if (new_rtx)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	464 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	465 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	466 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	467 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	468 return new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	469 }
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 return NULL_RTX;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	473 }
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 /* 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	476 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	477
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	478 static bool
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	479 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	480 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	481 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	482 rtx new_rtx = find_oldest_value_reg (cl, *loc, vd);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	483 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	484 {
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	485 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	486 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	487 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	488
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	489 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	490 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	491 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	492
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	493 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	494 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	495 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	496 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	497 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	498 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	499 ++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	500 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	501 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	502 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	503 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	504 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	505
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	506 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	507 return true;
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 return false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	510 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	511
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	512 /* 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	513 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	514 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	515
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	516 static bool
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	517 replace_oldest_value_addr (rtx *loc, enum reg_class cl,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	518 machine_mode mode, addr_space_t as,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	519 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	520 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	521 rtx x = *loc;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	522 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	523 const char *fmt;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	524 int i, j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	525 bool changed = false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	526
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	527 switch (code)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	528 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	529 case PLUS:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	530 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	531 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	532
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	533 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	534 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	535 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	536 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	537 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	538 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	539 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	540 rtx *locI = NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	541 rtx *locB = NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	542 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	543
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	544 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	545 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	546 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	547 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	548 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	549
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	550 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	551 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	552 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	553 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	554 }
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 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	557 \|\| 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	558 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	559 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	560 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	561 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	562 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	563 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	564 \|\| 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	565 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	566 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	567 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	568 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	569 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	570 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	571 \|\| 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	572 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	573 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	574 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	575 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	576 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	577 \|\| 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	578 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	579 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	580 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	581 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	582 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	583 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	584 int index_op;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	585 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	586
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	587 if (REGNO_OK_FOR_INDEX_P (regno1)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	588 && 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	589 index_op = 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	590 else if (REGNO_OK_FOR_INDEX_P (regno0)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	591 && 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	592 index_op = 0;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	593 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	594 \|\| 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	595 index_op = 1;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	596 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	597 index_op = 0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	598 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	599 index_op = 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	600
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	601 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	602 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	603 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	604 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	605 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	606 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	607 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	608 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	609 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	610 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	611 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	612 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	613 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	614 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	615 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	616 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	617
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	618 if (locI)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	619 changed \|= replace_oldest_value_addr (locI, INDEX_REG_CLASS,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	620 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	621 if (locB)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	622 changed \|= replace_oldest_value_addr (locB,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	623 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	624 index_code),
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	625 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	626 return changed;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	627 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	628
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	629 case POST_INC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	630 case POST_DEC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	631 case POST_MODIFY:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	632 case PRE_INC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	633 case PRE_DEC:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	634 case PRE_MODIFY:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	635 return false;
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 MEM:
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_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	639
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	640 case REG:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	641 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	642
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	643 default:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	644 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	645 }
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 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	648 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	649 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	650 if (fmt[i] == 'e')
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	651 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	652 insn, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	653 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	654 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	655 changed \|= replace_oldest_value_addr (&XVECEXP (x, i, j), cl,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	656 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	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 return changed;
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
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	662 /* 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	663
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	664 static bool
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	665 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	666 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	667 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	668
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	669 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	670 cl = ALL_REGS;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	671 else
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	672 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	673
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	674 return replace_oldest_value_addr (&XEXP (x, 0), cl,
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	675 GET_MODE (x), MEM_ADDR_SPACE (x),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	676 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	677 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	678
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	679 /* 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	680 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	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 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	683 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	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 struct queued_debug_insn_change *change;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	686 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	687
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	688 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	689 change;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	690 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	691 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	692 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	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 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	695 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	696 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	697 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	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 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	700 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	701
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	702 /* 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	703 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	704 registers. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	705
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	706 static void
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	707 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	708 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	709 struct value_data const vd = (struct value_data ) data;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	710 subrtx_iterator::array_type array;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	711 FOR_EACH_SUBRTX (iter, array, *loc, NONCONST)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	712 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	713 const_rtx x = *iter;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	714 if (REG_P (x))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	715 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	716 unsigned int regno = REGNO (x);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	717 if (vd->e[regno].debug_insn_changes)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	718 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	719 apply_debug_insn_changes (vd, regno);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	720 free_debug_insn_changes (vd, regno);
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 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	724 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	725
04ced10e8804 gcc 7 kono parents: 67 diff changeset	726 /* Apply clobbers of INSN in PATTERN and C_I_F_U to value_data VD. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	727
04ced10e8804 gcc 7 kono parents: 67 diff changeset	728 static void
04ced10e8804 gcc 7 kono parents: 67 diff changeset	729 kill_clobbered_values (rtx_insn insn, struct value_data vd)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	730 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	731 note_stores (PATTERN (insn), kill_clobbered_value, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	732
04ced10e8804 gcc 7 kono parents: 67 diff changeset	733 if (CALL_P (insn))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	734 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	735 rtx exp;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	736
04ced10e8804 gcc 7 kono parents: 67 diff changeset	737 for (exp = CALL_INSN_FUNCTION_USAGE (insn); exp; exp = XEXP (exp, 1))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	738 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	739 rtx x = XEXP (exp, 0);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	740 if (GET_CODE (x) == CLOBBER)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	741 kill_value (SET_DEST (x), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	742 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	743 }
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	744 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	745
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	746 /* 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	747
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	748 static bool
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	749 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	750 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	751 bool anything_changed = false;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	752 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	753
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	754 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	755 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	756 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	757 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	758 rtx set;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	759 rtx link;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	760 bool changed = false;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	761 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	762
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	763 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	764 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	765 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	766 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	767 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	768 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	769 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	770 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	771 ALL_REGS, GET_MODE (loc),
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	772 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	773 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	774
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	775 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	776 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	777 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	778 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	779 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	780
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	781 set = single_set (insn);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	782
04ced10e8804 gcc 7 kono parents: 67 diff changeset	783 /* Detect noop sets and remove them before processing side effects. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	784 if (set && REG_P (SET_DEST (set)) && REG_P (SET_SRC (set)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	785 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	786 unsigned int regno = REGNO (SET_SRC (set));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	787 rtx r1 = find_oldest_value_reg (REGNO_REG_CLASS (regno),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	788 SET_DEST (set), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	789 rtx r2 = find_oldest_value_reg (REGNO_REG_CLASS (regno),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	790 SET_SRC (set), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	791 if (rtx_equal_p (r1 ? r1 : SET_DEST (set), r2 ? r2 : SET_SRC (set)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	792 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	793 bool last = insn == BB_END (bb);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	794 delete_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	795 if (last)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	796 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	797 continue;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	798 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	799 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	800
04ced10e8804 gcc 7 kono parents: 67 diff changeset	801 extract_constrain_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	802 preprocess_constraints (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	803 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	804 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	805 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	806
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	807 /* 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	808 in predicated instructions. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	809
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	810 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	811 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	812 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	813 int matches = op_alt[i].matches;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	814 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	815 \|\| (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	816 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	817 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	818
63 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 55 diff changeset	819 /* 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	820 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	821 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	822
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	823 /* 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	824 for (i = 0; i < n_ops; i++)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	825 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	826 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	827
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	828 /* 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	829 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	830 scan_rtx treats them like that... */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	831 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	832
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	833 /* 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	834 /* ??? REG_INC is useless, since stack pushes aren't done that way. */
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	835 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	836
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	837 /* 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	838 for (i = 0; i < n_ops; i++)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	839 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	840 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	841
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	842 /* If we have dead sets in the insn, then we need to note these as we
04ced10e8804 gcc 7 kono parents: 67 diff changeset	843 would clobbers. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	844 for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	845 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	846 if (REG_NOTE_KIND (link) == REG_UNUSED)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	847 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	848 kill_value (XEXP (link, 0), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	849 /* Furthermore, if the insn looked like a single-set,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	850 but the dead store kills the source value of that
04ced10e8804 gcc 7 kono parents: 67 diff changeset	851 set, then we can no-longer use the plain move
04ced10e8804 gcc 7 kono parents: 67 diff changeset	852 special case below. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	853 if (set
04ced10e8804 gcc 7 kono parents: 67 diff changeset	854 && reg_overlap_mentioned_p (XEXP (link, 0), SET_SRC (set)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	855 set = NULL;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	856 }
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	857
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	858 /* We need to keep CFI info correct, and the same on all paths,
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	859 so we cannot normally replace the registers REG_CFA_REGISTER
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	860 refers to. Bail. */
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	861 if (REG_NOTE_KIND (link) == REG_CFA_REGISTER)
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	862 goto did_replacement;
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	863 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	864
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	865 /* 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	866 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	867 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	868 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	869 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	870 unsigned int regno = REGNO (src);
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	871 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	872 unsigned int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	873 rtx new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	874
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	875 /* 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	876 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	877 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	878 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	879 if (REG_NREGS (src)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	880 > hard_regno_nregs (regno, vd->e[regno].mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	881 goto no_move_special_case;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	882
04ced10e8804 gcc 7 kono parents: 67 diff changeset	883 /* And likewise, if we are narrowing on big endian the transformation
04ced10e8804 gcc 7 kono parents: 67 diff changeset	884 is also invalid. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	885 if (REG_NREGS (src) < hard_regno_nregs (regno, vd->e[regno].mode)
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	886 && maybe_ne (subreg_lowpart_offset (mode,
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	887 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	888 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	889 }
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 /* 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	892 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	893 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	894 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	895 new_rtx = find_oldest_value_reg (REGNO_REG_CLASS (regno),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	896 src, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	897
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	898 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	899 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	900 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	901 fprintf (dump_file,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	902 "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	903 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	904 changed = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	905 goto did_replacement;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	906 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	907 /* We need to re-extract as validate_change clobbers
04ced10e8804 gcc 7 kono parents: 67 diff changeset	908 recog_data. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	909 extract_constrain_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	910 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	911 }
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 /* 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	914 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	915 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	916 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	917 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	918 mode, i, regno);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	919 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	920 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	921 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	922 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	923 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	924 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	925 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	926 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	927 fprintf (dump_file,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	928 "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	929 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	930 changed = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	931 goto did_replacement;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	932 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	933 /* We need to re-extract as validate_change clobbers
04ced10e8804 gcc 7 kono parents: 67 diff changeset	934 recog_data. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	935 extract_constrain_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	936 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	937 }
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 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	941
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	942 any_replacements = false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	943
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	944 /* 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	945 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	946 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	947 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	948 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	949
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	950 /* 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	951 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	952 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	953 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	954 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	955
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	956 /* 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	957 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	958 && (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	959 == 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	960 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	961
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	962 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	963 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	964 if (op_alt[i].is_address)
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	965 replaced
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	966 = replace_oldest_value_addr (recog_data.operand_loc[i],
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	967 alternative_class (op_alt, i),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	968 VOIDmode, ADDR_SPACE_GENERIC,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	969 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	970 else if (REG_P (recog_data.operand[i]))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	971 replaced
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	972 = replace_oldest_value_reg (recog_data.operand_loc[i],
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	973 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	974 insn, vd);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	975 else if (MEM_P (recog_data.operand[i]))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	976 replaced = replace_oldest_value_mem (recog_data.operand[i],
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	977 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	978 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	979 else if (MEM_P (recog_data.operand[i]))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	980 replaced = replace_oldest_value_mem (recog_data.operand[i],
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	981 insn, vd);
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	982
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	983 /* If we performed any replacement, update match_dups. */
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	984 if (replaced)
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	985 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	986 int j;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	987 rtx new_rtx;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	988
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	989 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	990 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	991 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	992 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	993 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	994
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	995 any_replacements = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	996 }
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 if (any_replacements)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1000 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1001 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	1002 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1003 if (dump_file)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1004 fprintf (dump_file,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1005 "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	1006 INSN_UID (insn));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1007 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1008 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1009 changed = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1010 }
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 did_replacement:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1013 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	1014 {
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 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	1016
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 /* 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	1018 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	1019 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	1020 note_uses (&PATTERN (insn), cprop_find_used_regs, vd);
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 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1022
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1023 ksvd.vd = vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1024 ksvd.ignore_set_reg = NULL_RTX;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1025
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1026 /* 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	1027 if (CALL_P (insn))
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1028 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1029 unsigned int set_regno = INVALID_REGNUM;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1030 unsigned int set_nregs = 0;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1031 unsigned int regno;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1032 rtx exp;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1033 HARD_REG_SET regs_invalidated_by_this_call;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1034
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1035 for (exp = CALL_INSN_FUNCTION_USAGE (insn); exp; exp = XEXP (exp, 1))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1036 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1037 rtx x = XEXP (exp, 0);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1038 if (GET_CODE (x) == SET)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1039 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1040 rtx dest = SET_DEST (x);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1041 kill_value (dest, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1042 set_value_regno (REGNO (dest), GET_MODE (dest), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1043 copy_value (dest, SET_SRC (x), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1044 ksvd.ignore_set_reg = dest;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1045 set_regno = REGNO (dest);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1046 set_nregs = REG_NREGS (dest);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1047 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1048 }
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 get_call_reg_set_usage (insn,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1052 &regs_invalidated_by_this_call,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1053 regs_invalidated_by_call);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1054 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1055 if ((TEST_HARD_REG_BIT (regs_invalidated_by_this_call, regno)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1056 \|\| (targetm.hard_regno_call_part_clobbered
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1057 (regno, vd->e[regno].mode)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1058 && (regno < set_regno \|\| regno >= set_regno + set_nregs))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1059 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	1060
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1061 /* If SET was seen in CALL_INSN_FUNCTION_USAGE, and SET_SRC
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1062 of the SET isn't in regs_invalidated_by_call hard reg set,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1063 but instead among CLOBBERs on the CALL_INSN, we could wrongly
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1064 assume the value in it is still live. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1065 if (ksvd.ignore_set_reg)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1066 kill_clobbered_values (insn, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1067 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1068
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1069 bool copy_p = (set
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1070 && REG_P (SET_DEST (set))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1071 && REG_P (SET_SRC (set)));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1072 bool noop_p = (copy_p
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1073 && 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	1074
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1075 /* If a noop move is using narrower mode than we have recorded,
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1076 we need to either remove the noop move, or kill_set_value. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1077 if (noop_p
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1078 && partial_subreg_p (GET_MODE (SET_DEST (set)),
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1079 vd->e[REGNO (SET_DEST (set))].mode))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1080 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1081 if (noop_move_p (insn))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1082 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1083 bool last = insn == BB_END (bb);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1084 delete_insn (insn);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1085 if (last)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1086 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1087 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1088 else
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1089 noop_p = false;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1090 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1091
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1092 if (!noop_p)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1093 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1094 /* Notice stores. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1095 note_stores (PATTERN (insn), kill_set_value, &ksvd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1096
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1097 /* Notice copies. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1098 if (copy_p)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1099 copy_value (SET_DEST (set), SET_SRC (set), vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1100 }
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1101
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1102 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	1103 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1104 }
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 return anything_changed;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1107 }
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 /* 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	1110
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	1111 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	1112 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	1113 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1114 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	1115 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	1116
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1117 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	1118
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1119 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	1120 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	1121 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1122 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	1123 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1124 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	1125 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	1126 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	1127 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1128 }
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 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	1131 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	1132
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1133 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	1134 j != INVALID_REGNUM;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1135 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	1136 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1137 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	1138 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1139 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	1140 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1141 }
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 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	1144 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1145 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	1146 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	1147 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1148 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1149 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	1150 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	1151 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1152 fputc ('\n', stderr);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1153 }
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 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	1156 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	1157 && (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	1158 \|\| 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	1159 \|\| 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	1160 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	1161 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	1162 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	1163 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1164
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1165 /* Do copyprop_hardreg_forward_1 for a single basic block BB.
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1166 DEBUG_INSN is skipped since we do not want to involve DF related
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1167 staff as how it is handled in function pass_cprop_hardreg::execute.
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1168
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1169 NOTE: Currently it is only used for shrink-wrap. Maybe extend it
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1170 to handle DEBUG_INSN for other uses. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1171
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1172 void
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1173 copyprop_hardreg_forward_bb_without_debug_insn (basic_block bb)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1174 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1175 struct value_data *vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1176 vd = XNEWVEC (struct value_data, 1);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1177 init_value_data (vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1178
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1179 skip_debug_insn_p = true;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1180 copyprop_hardreg_forward_1 (bb, vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1181 free (vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1182 skip_debug_insn_p = false;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1183 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1184
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1185 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1186 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	1187 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1188 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	1189 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	1190
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1191 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	1192
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1193 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	1194 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	1195 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1196 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	1197 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1198 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	1199 internal_error ("validate_value_data: [%u] Bad next_regno for empty chain (%u)",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1200 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	1201 continue;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1202 }
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 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	1205
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1206 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	1207 j != INVALID_REGNUM;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1208 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	1209 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1210 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	1211 internal_error ("validate_value_data: Loop in regno chain (%u)",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1212 j);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1213 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	1214 internal_error ("validate_value_data: [%u] Bad oldest_regno (%u)",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1215 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	1216
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1217 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	1218 }
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 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	1222 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	1223 && (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	1224 \|\| 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	1225 \|\| 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	1226 internal_error ("validate_value_data: [%u] Non-empty reg in chain (%s %u %i)",
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1227 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	1228 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	1229 }
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1230
55 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 namespace {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1233
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1234 const pass_data pass_data_cprop_hardreg =
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1235 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1236 RTL_PASS, /* type */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1237 "cprop_hardreg", /* name */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1238 OPTGROUP_NONE, /* optinfo_flags */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1239 TV_CPROP_REGISTERS, /* tv_id */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1240 0, /* properties_required */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1241 0, /* properties_provided */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1242 0, /* properties_destroyed */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1243 0, /* todo_flags_start */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1244 TODO_df_finish, /* todo_flags_finish */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1245 };
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1246
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1247 class pass_cprop_hardreg : public rtl_opt_pass
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1248 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1249 public:
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1250 pass_cprop_hardreg (gcc::context *ctxt)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1251 : rtl_opt_pass (pass_data_cprop_hardreg, ctxt)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1252 {}
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1253
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1254 /* opt_pass methods: */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1255 virtual bool gate (function *)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1256 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1257 return (optimize > 0 && (flag_cprop_registers));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1258 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1259
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1260 virtual unsigned int execute (function *);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1261
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1262 }; // class pass_cprop_hardreg
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1263
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1264 unsigned int
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1265 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	1266 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1267 struct value_data *all_vd;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1268 basic_block bb;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1269 bool analyze_called = false;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1270
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1271 all_vd = XNEWVEC (struct value_data, last_basic_block_for_fn (fun));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1272
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1273 auto_sbitmap visited (last_basic_block_for_fn (fun));
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1274 bitmap_clear (visited);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1275
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1276 FOR_EACH_BB_FN (bb, fun)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1277 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1278 bitmap_set_bit (visited, bb->index);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1279
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1280 /* If a block has a single predecessor, that we've already
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1281 processed, begin with the value data that was live at
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1282 the end of the predecessor block. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1283 /* ??? Ought to use more intelligent queuing of blocks. */
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1284 if (single_pred_p (bb)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1285 && bitmap_bit_p (visited, single_pred (bb)->index)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1286 && ! (single_pred_edge (bb)->flags & (EDGE_ABNORMAL_CALL \| EDGE_EH)))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1287 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1288 all_vd[bb->index] = all_vd[single_pred (bb)->index];
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1289 if (all_vd[bb->index].n_debug_insn_changes)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1290 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1291 unsigned int regno;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1292
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1293 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1294 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1295 if (all_vd[bb->index].e[regno].debug_insn_changes)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1296 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1297 all_vd[bb->index].e[regno].debug_insn_changes = NULL;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1298 if (--all_vd[bb->index].n_debug_insn_changes == 0)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1299 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1300 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1301 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1302 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1303 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1304 else
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1305 init_value_data (all_vd + bb->index);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1306
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1307 copyprop_hardreg_forward_1 (bb, all_vd + bb->index);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1308 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1309
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1310 if (MAY_HAVE_DEBUG_BIND_INSNS)
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1311 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1312 FOR_EACH_BB_FN (bb, fun)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1313 if (bitmap_bit_p (visited, bb->index)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1314 && all_vd[bb->index].n_debug_insn_changes)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1315 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1316 unsigned int regno;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1317 bitmap live;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1318
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1319 if (!analyze_called)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1320 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1321 df_analyze ();
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1322 analyze_called = true;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1323 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1324 live = df_get_live_out (bb);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1325 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1326 if (all_vd[bb->index].e[regno].debug_insn_changes)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1327 {
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1328 if (REGNO_REG_SET_P (live, regno))
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1329 apply_debug_insn_changes (all_vd + bb->index, regno);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1330 if (all_vd[bb->index].n_debug_insn_changes == 0)
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1331 break;
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1332 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1333 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1334
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1335 queued_debug_insn_change_pool.release ();
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1336 }
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1337
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1338 free (all_vd);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1339 return 0;
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1340 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1341
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1342 } // anon namespace
55 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: diff changeset	1343
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1344 rtl_opt_pass *
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1345 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	1346 {
111 04ced10e8804 gcc 7 kono parents: 67 diff changeset	1347 return new pass_cprop_hardreg (ctxt);
04ced10e8804 gcc 7 kono parents: 67 diff changeset	1348 }

Mercurial > hg > CbC > CbC_gcc

annotate gcc/regcprop.c @ 131:84e7813d76e9