CbC/CbC_gcc: gcc/regcprop.c annotate

annotate gcc/regcprop.c @ 127:4c56639505ff

fix function.c and add CbC-example Makefile

author	mir3636
date	Wed, 11 Apr 2018 18:46:58 +0900
parents	04ced10e8804
children	84e7813d76e9

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

Mercurial > hg > CbC > CbC_gcc

annotate gcc/regcprop.c @ 127:4c56639505ff