CbC/CbC_gcc: gcc/ipa-split.c annotate

annotate gcc/ipa-split.c @ 145:1830386684a0

gcc-9.2.0

author	anatofuz
date	Thu, 13 Feb 2020 11:34:05 +0900
parents	84e7813d76e9
children

rev	line source
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1 /* Function splitting pass
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	2 Copyright (C) 2010-2020 Free Software Foundation, Inc.
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	3 Contributed by Jan Hubicka <jh@suse.cz>
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	4
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	5 This file is part of GCC.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	6
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	7 GCC is free software; you can redistribute it and/or modify it under
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	8 the terms of the GNU General Public License as published by the Free
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	9 Software Foundation; either version 3, or (at your option) any later
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	10 version.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	11
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	15 for more details.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	16
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	17 You should have received a copy of the GNU General Public License
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	18 along with GCC; see the file COPYING3. If not see
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	19 <http://www.gnu.org/licenses/>. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	20
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	21 /* The purpose of this pass is to split function bodies to improve
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	22 inlining. I.e. for function of the form:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	23
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	24 func (...)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	25 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	26 if (cheap_test)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	27 something_small
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	28 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	29 something_big
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	30 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	31
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	32 Produce:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	33
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	34 func.part (...)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	35 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	36 something_big
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	37 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	38
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	39 func (...)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	40 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	41 if (cheap_test)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	42 something_small
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	43 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	44 func.part (...);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	45 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	46
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	47 When func becomes inlinable and when cheap_test is often true, inlining func,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	48 but not fund.part leads to performance improvement similar as inlining
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	49 original func while the code size growth is smaller.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	50
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	51 The pass is organized in three stages:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	52 1) Collect local info about basic block into BB_INFO structure and
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	53 compute function body estimated size and time.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	54 2) Via DFS walk find all possible basic blocks where we can split
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	55 and chose best one.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	56 3) If split point is found, split at the specified BB by creating a clone
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	57 and updating function to call it.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	58
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	59 The decisions what functions to split are in execute_split_functions
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	60 and consider_split.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	61
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	62 There are several possible future improvements for this pass including:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	63
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	64 1) Splitting to break up large functions
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	65 2) Splitting to reduce stack frame usage
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	66 3) Allow split part of function to use values computed in the header part.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	67 The values needs to be passed to split function, perhaps via same
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	68 interface as for nested functions or as argument.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	69 4) Support for simple rematerialization. I.e. when split part use
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	70 value computed in header from function parameter in very cheap way, we
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	71 can just recompute it.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	72 5) Support splitting of nested functions.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	73 6) Support non-SSA arguments.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	74 7) There is nothing preventing us from producing multiple parts of single function
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	75 when needed or splitting also the parts. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	76
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	77 #include "config.h"
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	78 #include "system.h"
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	79 #include "coretypes.h"
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	80 #include "backend.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	81 #include "rtl.h"
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	82 #include "tree.h"
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	83 #include "gimple.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	84 #include "cfghooks.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	85 #include "alloc-pool.h"
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	86 #include "tree-pass.h"
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	87 #include "ssa.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	88 #include "cgraph.h"
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	89 #include "diagnostic.h"
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	90 #include "fold-const.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	91 #include "cfganal.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	92 #include "calls.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	93 #include "gimplify.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	94 #include "gimple-iterator.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	95 #include "gimplify-me.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	96 #include "gimple-walk.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	97 #include "symbol-summary.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	98 #include "ipa-prop.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	99 #include "tree-cfg.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	100 #include "tree-into-ssa.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	101 #include "tree-dfa.h"
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	102 #include "tree-inline.h"
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	103 #include "gimple-pretty-print.h"
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	104 #include "ipa-fnsummary.h"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	105 #include "cfgloop.h"
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	106 #include "attribs.h"
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	107
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	108 /* Per basic block info. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	109
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	110 class split_bb_info
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	111 {
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	112 public:
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	113 unsigned int size;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	114 sreal time;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	115 };
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	116
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	117 static vec<split_bb_info> bb_info_vec;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	118
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	119 /* Description of split point. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	120
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	121 class split_point
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	122 {
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	123 public:
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	124 /* Size of the partitions. */
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	125 sreal header_time, split_time;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	126 unsigned int header_size, split_size;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	127
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	128 /* SSA names that need to be passed into spit function. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	129 bitmap ssa_names_to_pass;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	130
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	131 /* Basic block where we split (that will become entry point of new function. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	132 basic_block entry_bb;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	133
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	134 /* Count for entering the split part.
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	135 This is not count of the entry_bb because it may be in loop. */
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	136 profile_count count;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	137
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	138 /* Basic blocks we are splitting away. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	139 bitmap split_bbs;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	140
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	141 /* True when return value is computed on split part and thus it needs
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	142 to be returned. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	143 bool split_part_set_retval;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	144 };
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	145
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	146 /* Best split point found. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	147
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	148 class split_point best_split_point;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	149
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	150 /* Set of basic blocks that are not allowed to dominate a split point. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	151
04ced10e8804 gcc 7 kono parents: 68 diff changeset	152 static bitmap forbidden_dominators;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	153
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	154 static tree find_retval (basic_block return_bb);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	155
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	156 /* Callback for walk_stmt_load_store_addr_ops. If T is non-SSA automatic
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	157 variable, check it if it is present in bitmap passed via DATA. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	158
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	159 static bool
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	160 test_nonssa_use (gimple , tree t, tree, void data)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	161 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	162 t = get_base_address (t);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	163
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	164 if (!t \|\| is_gimple_reg (t))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	165 return false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	166
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	167 if (TREE_CODE (t) == PARM_DECL
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	168 \|\| (VAR_P (t)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	169 && auto_var_in_fn_p (t, current_function_decl))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	170 \|\| TREE_CODE (t) == RESULT_DECL
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	171 /* Normal labels are part of CFG and will be handled gratefully.
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	172 Forced labels however can be used directly by statements and
04ced10e8804 gcc 7 kono parents: 68 diff changeset	173 need to stay in one partition along with their uses. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	174 \|\| (TREE_CODE (t) == LABEL_DECL
04ced10e8804 gcc 7 kono parents: 68 diff changeset	175 && FORCED_LABEL (t)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	176 return bitmap_bit_p ((bitmap)data, DECL_UID (t));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	177
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	178 /* For DECL_BY_REFERENCE, the return value is actually a pointer. We want
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	179 to pretend that the value pointed to is actual result decl. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	180 if ((TREE_CODE (t) == MEM_REF \|\| INDIRECT_REF_P (t))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	181 && TREE_CODE (TREE_OPERAND (t, 0)) == SSA_NAME
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	182 && SSA_NAME_VAR (TREE_OPERAND (t, 0))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	183 && TREE_CODE (SSA_NAME_VAR (TREE_OPERAND (t, 0))) == RESULT_DECL
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	184 && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	185 return
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	186 bitmap_bit_p ((bitmap)data,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	187 DECL_UID (DECL_RESULT (current_function_decl)));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	188
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	189 return false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	190 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	191
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	192 /* Dump split point CURRENT. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	193
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	194 static void
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	195 dump_split_point (FILE * file, class split_point *current)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	196 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	197 fprintf (file,
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	198 "Split point at BB %i\n"
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	199 " header time: %f header size: %i\n"
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	200 " split time: %f split size: %i\n bbs: ",
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	201 current->entry_bb->index, current->header_time.to_double (),
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	202 current->header_size, current->split_time.to_double (),
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	203 current->split_size);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	204 dump_bitmap (file, current->split_bbs);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	205 fprintf (file, " SSA names to pass: ");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	206 dump_bitmap (file, current->ssa_names_to_pass);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	207 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	208
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	209 /* Look for all BBs in header that might lead to the split part and verify
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	210 that they are not defining any non-SSA var used by the split part.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	211 Parameters are the same as for consider_split. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	212
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	213 static bool
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	214 verify_non_ssa_vars (class split_point *current, bitmap non_ssa_vars,
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	215 basic_block return_bb)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	216 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	217 bitmap seen = BITMAP_ALLOC (NULL);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	218 vec<basic_block> worklist = vNULL;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	219 edge e;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	220 edge_iterator ei;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	221 bool ok = true;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	222 basic_block bb;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	223
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	224 FOR_EACH_EDGE (e, ei, current->entry_bb->preds)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	225 if (e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	226 && !bitmap_bit_p (current->split_bbs, e->src->index))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	227 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	228 worklist.safe_push (e->src);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	229 bitmap_set_bit (seen, e->src->index);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	230 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	231
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	232 while (!worklist.is_empty ())
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	233 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	234 bb = worklist.pop ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	235 FOR_EACH_EDGE (e, ei, bb->preds)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	236 if (e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	237 && bitmap_set_bit (seen, e->src->index))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	238 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	239 gcc_checking_assert (!bitmap_bit_p (current->split_bbs,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	240 e->src->index));
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	241 worklist.safe_push (e->src);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	242 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	243 for (gimple_stmt_iterator bsi = gsi_start_bb (bb); !gsi_end_p (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	244 gsi_next (&bsi))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	245 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	246 gimple *stmt = gsi_stmt (bsi);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	247 if (is_gimple_debug (stmt))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	248 continue;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	249 if (walk_stmt_load_store_addr_ops
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	250 (stmt, non_ssa_vars, test_nonssa_use, test_nonssa_use,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	251 test_nonssa_use))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	252 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	253 ok = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	254 goto done;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	255 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	256 if (glabel label_stmt = dyn_cast <glabel > (stmt))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	257 if (test_nonssa_use (stmt, gimple_label_label (label_stmt),
04ced10e8804 gcc 7 kono parents: 68 diff changeset	258 NULL_TREE, non_ssa_vars))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	259 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	260 ok = false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	261 goto done;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	262 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	263 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	264 for (gphi_iterator bsi = gsi_start_phis (bb); !gsi_end_p (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	265 gsi_next (&bsi))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	266 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	267 if (walk_stmt_load_store_addr_ops
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	268 (gsi_stmt (bsi), non_ssa_vars, test_nonssa_use, test_nonssa_use,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	269 test_nonssa_use))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	270 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	271 ok = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	272 goto done;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	273 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	274 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	275 FOR_EACH_EDGE (e, ei, bb->succs)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	276 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	277 if (e->dest != return_bb)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	278 continue;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	279 for (gphi_iterator bsi = gsi_start_phis (return_bb);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	280 !gsi_end_p (bsi);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	281 gsi_next (&bsi))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	282 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	283 gphi *stmt = bsi.phi ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	284 tree op = gimple_phi_arg_def (stmt, e->dest_idx);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	285
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	286 if (virtual_operand_p (gimple_phi_result (stmt)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	287 continue;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	288 if (TREE_CODE (op) != SSA_NAME
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	289 && test_nonssa_use (stmt, op, op, non_ssa_vars))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	290 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	291 ok = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	292 goto done;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	293 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	294 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	295 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	296 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	297
04ced10e8804 gcc 7 kono parents: 68 diff changeset	298 /* Verify that the rest of function does not define any label
04ced10e8804 gcc 7 kono parents: 68 diff changeset	299 used by the split part. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	300 FOR_EACH_BB_FN (bb, cfun)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	301 if (!bitmap_bit_p (current->split_bbs, bb->index)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	302 && !bitmap_bit_p (seen, bb->index))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	303 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	304 gimple_stmt_iterator bsi;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	305 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	306 if (glabel label_stmt = dyn_cast <glabel > (gsi_stmt (bsi)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	307 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	308 if (test_nonssa_use (label_stmt,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	309 gimple_label_label (label_stmt),
04ced10e8804 gcc 7 kono parents: 68 diff changeset	310 NULL_TREE, non_ssa_vars))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	311 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	312 ok = false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	313 goto done;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	314 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	315 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	316 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	317 break;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	318 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	319
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	320 done:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	321 BITMAP_FREE (seen);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	322 worklist.release ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	323 return ok;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	324 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	325
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	326 /* If STMT is a call, check the callee against a list of forbidden
04ced10e8804 gcc 7 kono parents: 68 diff changeset	327 predicate functions. If a match is found, look for uses of the
04ced10e8804 gcc 7 kono parents: 68 diff changeset	328 call result in condition statements that compare against zero.
04ced10e8804 gcc 7 kono parents: 68 diff changeset	329 For each such use, find the block targeted by the condition
04ced10e8804 gcc 7 kono parents: 68 diff changeset	330 statement for the nonzero result, and set the bit for this block
04ced10e8804 gcc 7 kono parents: 68 diff changeset	331 in the forbidden dominators bitmap. The purpose of this is to avoid
04ced10e8804 gcc 7 kono parents: 68 diff changeset	332 selecting a split point where we are likely to lose the chance
04ced10e8804 gcc 7 kono parents: 68 diff changeset	333 to optimize away an unused function call. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	334
04ced10e8804 gcc 7 kono parents: 68 diff changeset	335 static void
04ced10e8804 gcc 7 kono parents: 68 diff changeset	336 check_forbidden_calls (gimple *stmt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	337 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	338 imm_use_iterator use_iter;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	339 use_operand_p use_p;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	340 tree lhs;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	341
04ced10e8804 gcc 7 kono parents: 68 diff changeset	342 /* At the moment, __builtin_constant_p is the only forbidden
04ced10e8804 gcc 7 kono parents: 68 diff changeset	343 predicate function call (see PR49642). */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	344 if (!gimple_call_builtin_p (stmt, BUILT_IN_CONSTANT_P))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	345 return;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	346
04ced10e8804 gcc 7 kono parents: 68 diff changeset	347 lhs = gimple_call_lhs (stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	348
04ced10e8804 gcc 7 kono parents: 68 diff changeset	349 if (!lhs \|\| TREE_CODE (lhs) != SSA_NAME)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	350 return;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	351
04ced10e8804 gcc 7 kono parents: 68 diff changeset	352 FOR_EACH_IMM_USE_FAST (use_p, use_iter, lhs)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	353 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	354 tree op1;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	355 basic_block use_bb, forbidden_bb;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	356 enum tree_code code;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	357 edge true_edge, false_edge;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	358 gcond *use_stmt;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	359
04ced10e8804 gcc 7 kono parents: 68 diff changeset	360 use_stmt = dyn_cast <gcond *> (USE_STMT (use_p));
04ced10e8804 gcc 7 kono parents: 68 diff changeset	361 if (!use_stmt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	362 continue;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	363
04ced10e8804 gcc 7 kono parents: 68 diff changeset	364 /* Assuming canonical form for GIMPLE_COND here, with constant
04ced10e8804 gcc 7 kono parents: 68 diff changeset	365 in second position. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	366 op1 = gimple_cond_rhs (use_stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	367 code = gimple_cond_code (use_stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	368 use_bb = gimple_bb (use_stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	369
04ced10e8804 gcc 7 kono parents: 68 diff changeset	370 extract_true_false_edges_from_block (use_bb, &true_edge, &false_edge);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	371
04ced10e8804 gcc 7 kono parents: 68 diff changeset	372 /* We're only interested in comparisons that distinguish
04ced10e8804 gcc 7 kono parents: 68 diff changeset	373 unambiguously from zero. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	374 if (!integer_zerop (op1) \|\| code == LE_EXPR \|\| code == GE_EXPR)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	375 continue;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	376
04ced10e8804 gcc 7 kono parents: 68 diff changeset	377 if (code == EQ_EXPR)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	378 forbidden_bb = false_edge->dest;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	379 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	380 forbidden_bb = true_edge->dest;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	381
04ced10e8804 gcc 7 kono parents: 68 diff changeset	382 bitmap_set_bit (forbidden_dominators, forbidden_bb->index);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	383 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	384 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	385
04ced10e8804 gcc 7 kono parents: 68 diff changeset	386 /* If BB is dominated by any block in the forbidden dominators set,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	387 return TRUE; else FALSE. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	388
04ced10e8804 gcc 7 kono parents: 68 diff changeset	389 static bool
04ced10e8804 gcc 7 kono parents: 68 diff changeset	390 dominated_by_forbidden (basic_block bb)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	391 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	392 unsigned dom_bb;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	393 bitmap_iterator bi;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	394
04ced10e8804 gcc 7 kono parents: 68 diff changeset	395 EXECUTE_IF_SET_IN_BITMAP (forbidden_dominators, 1, dom_bb, bi)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	396 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	397 if (dominated_by_p (CDI_DOMINATORS, bb,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	398 BASIC_BLOCK_FOR_FN (cfun, dom_bb)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	399 return true;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	400 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	401
04ced10e8804 gcc 7 kono parents: 68 diff changeset	402 return false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	403 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	404
04ced10e8804 gcc 7 kono parents: 68 diff changeset	405 /* For give split point CURRENT and return block RETURN_BB return 1
04ced10e8804 gcc 7 kono parents: 68 diff changeset	406 if ssa name VAL is set by split part and 0 otherwise. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	407 static bool
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	408 split_part_set_ssa_name_p (tree val, class split_point *current,
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	409 basic_block return_bb)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	410 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	411 if (TREE_CODE (val) != SSA_NAME)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	412 return false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	413
04ced10e8804 gcc 7 kono parents: 68 diff changeset	414 return (!SSA_NAME_IS_DEFAULT_DEF (val)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	415 && (bitmap_bit_p (current->split_bbs,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	416 gimple_bb (SSA_NAME_DEF_STMT (val))->index)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	417 \|\| gimple_bb (SSA_NAME_DEF_STMT (val)) == return_bb));
04ced10e8804 gcc 7 kono parents: 68 diff changeset	418 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	419
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	420 /* We found an split_point CURRENT. NON_SSA_VARS is bitmap of all non ssa
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	421 variables used and RETURN_BB is return basic block.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	422 See if we can split function here. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	423
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	424 static void
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	425 consider_split (class split_point *current, bitmap non_ssa_vars,
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	426 basic_block return_bb)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	427 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	428 tree parm;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	429 unsigned int num_args = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	430 unsigned int call_overhead;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	431 edge e;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	432 edge_iterator ei;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	433 gphi_iterator bsi;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	434 unsigned int i;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	435 tree retval;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	436 bool back_edge = false;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	437
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	438 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	439 dump_split_point (dump_file, current);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	440
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	441 current->count = profile_count::zero ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	442 FOR_EACH_EDGE (e, ei, current->entry_bb->preds)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	443 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	444 if (e->flags & EDGE_DFS_BACK)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	445 back_edge = true;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	446 if (!bitmap_bit_p (current->split_bbs, e->src->index))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	447 current->count += e->count ();
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	448 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	449
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	450 /* Do not split when we would end up calling function anyway.
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	451 Compares are three state, use !(...<...) to also give up when outcome
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	452 is unknown. */
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	453 if (!(current->count
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	454 < (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count.apply_scale
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	455 (param_partial_inlining_entry_probability, 100))))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	456 {
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	457 /* When profile is guessed, we cannot expect it to give us
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	458 realistic estimate on likeliness of function taking the
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	459 complex path. As a special case, when tail of the function is
04ced10e8804 gcc 7 kono parents: 68 diff changeset	460 a loop, enable splitting since inlining code skipping the loop
04ced10e8804 gcc 7 kono parents: 68 diff changeset	461 is likely noticeable win. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	462 if (back_edge
04ced10e8804 gcc 7 kono parents: 68 diff changeset	463 && profile_status_for_fn (cfun) != PROFILE_READ
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	464 && current->count
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	465 < ENTRY_BLOCK_PTR_FOR_FN (cfun)->count)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	466 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	467 if (dump_file && (dump_flags & TDF_DETAILS))
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	468 {
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	469 fprintf (dump_file,
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	470 " Split before loop, accepting despite low counts");
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	471 current->count.dump (dump_file);
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	472 fprintf (dump_file, " ");
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	473 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count.dump (dump_file);
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	474 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	475 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	476 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	477 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	478 if (dump_file && (dump_flags & TDF_DETAILS))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	479 fprintf (dump_file,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	480 " Refused: incoming frequency is too large.\n");
04ced10e8804 gcc 7 kono parents: 68 diff changeset	481 return;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	482 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	483 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	484
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	485 if (!current->header_size)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	486 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	487 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	488 fprintf (dump_file, " Refused: header empty\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	489 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	490 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	491
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	492 /* Verify that PHI args on entry are either virtual or all their operands
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	493 incoming from header are the same. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	494 for (bsi = gsi_start_phis (current->entry_bb); !gsi_end_p (bsi); gsi_next (&bsi))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	495 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	496 gphi *stmt = bsi.phi ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	497 tree val = NULL;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	498
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	499 if (virtual_operand_p (gimple_phi_result (stmt)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	500 continue;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	501 for (i = 0; i < gimple_phi_num_args (stmt); i++)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	502 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	503 edge e = gimple_phi_arg_edge (stmt, i);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	504 if (!bitmap_bit_p (current->split_bbs, e->src->index))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	505 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	506 tree edge_val = gimple_phi_arg_def (stmt, i);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	507 if (val && edge_val != val)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	508 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	509 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	510 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	511 " Refused: entry BB has PHI with multiple variants\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	512 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	513 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	514 val = edge_val;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	515 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	516 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	517 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	518
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	519
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	520 /* See what argument we will pass to the split function and compute
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	521 call overhead. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	522 call_overhead = eni_size_weights.call_cost;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	523 for (parm = DECL_ARGUMENTS (current_function_decl); parm;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	524 parm = DECL_CHAIN (parm))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	525 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	526 if (!is_gimple_reg (parm))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	527 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	528 if (bitmap_bit_p (non_ssa_vars, DECL_UID (parm)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	529 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	530 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	531 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	532 " Refused: need to pass non-ssa param values\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	533 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	534 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	535 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	536 else
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	537 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	538 tree ddef = ssa_default_def (cfun, parm);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	539 if (ddef
04ced10e8804 gcc 7 kono parents: 68 diff changeset	540 && bitmap_bit_p (current->ssa_names_to_pass,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	541 SSA_NAME_VERSION (ddef)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	542 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	543 if (!VOID_TYPE_P (TREE_TYPE (parm)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	544 call_overhead += estimate_move_cost (TREE_TYPE (parm), false);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	545 num_args++;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	546 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	547 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	548 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	549 if (!VOID_TYPE_P (TREE_TYPE (current_function_decl)))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	550 call_overhead += estimate_move_cost (TREE_TYPE (current_function_decl),
04ced10e8804 gcc 7 kono parents: 68 diff changeset	551 false);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	552
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	553 if (current->split_size <= call_overhead)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	554 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	555 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	556 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	557 " Refused: split size is smaller than call overhead\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	558 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	559 }
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	560 /* FIXME: The logic here is not very precise, because inliner does use
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	561 inline predicates to reduce function body size. We add 10 to anticipate
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	562 that. Next stage1 we should try to be more meaningful here. */
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	563 if (current->header_size + call_overhead
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	564 >= (unsigned int)(DECL_DECLARED_INLINE_P (current_function_decl)
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	565 ? param_max_inline_insns_single
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	566 : param_max_inline_insns_auto) + 10)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	567 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	568 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	569 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	570 " Refused: header size is too large for inline candidate\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	571 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	572 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	573
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	574 /* Splitting functions brings the target out of comdat group; this will
04ced10e8804 gcc 7 kono parents: 68 diff changeset	575 lead to code duplication if the function is reused by other unit.
04ced10e8804 gcc 7 kono parents: 68 diff changeset	576 Limit this duplication. This is consistent with limit in tree-sra.c
04ced10e8804 gcc 7 kono parents: 68 diff changeset	577 FIXME: with LTO we ought to be able to do better! */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	578 if (DECL_ONE_ONLY (current_function_decl)
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	579 && current->split_size >= (unsigned int) param_max_inline_insns_auto + 10)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	580 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	581 if (dump_file && (dump_flags & TDF_DETAILS))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	582 fprintf (dump_file,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	583 " Refused: function is COMDAT and tail is too large\n");
04ced10e8804 gcc 7 kono parents: 68 diff changeset	584 return;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	585 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	586 /* For comdat functions also reject very small tails; those will likely get
04ced10e8804 gcc 7 kono parents: 68 diff changeset	587 inlined back and we do not want to risk the duplication overhead.
04ced10e8804 gcc 7 kono parents: 68 diff changeset	588 FIXME: with LTO we ought to be able to do better! */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	589 if (DECL_ONE_ONLY (current_function_decl)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	590 && current->split_size
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	591 <= (unsigned int) param_early_inlining_insns / 2)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	592 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	593 if (dump_file && (dump_flags & TDF_DETAILS))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	594 fprintf (dump_file,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	595 " Refused: function is COMDAT and tail is too small\n");
04ced10e8804 gcc 7 kono parents: 68 diff changeset	596 return;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	597 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	598
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	599 /* FIXME: we currently can pass only SSA function parameters to the split
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	600 arguments. Once parm_adjustment infrastructure is supported by cloning,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	601 we can pass more than that. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	602 if (num_args != bitmap_count_bits (current->ssa_names_to_pass))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	603 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	604
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	605 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	606 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	607 " Refused: need to pass non-param values\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	608 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	609 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	610
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	611 /* When there are non-ssa vars used in the split region, see if they
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	612 are used in the header region. If so, reject the split.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	613 FIXME: we can use nested function support to access both. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	614 if (!bitmap_empty_p (non_ssa_vars)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	615 && !verify_non_ssa_vars (current, non_ssa_vars, return_bb))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	616 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	617 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	618 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	619 " Refused: split part has non-ssa uses\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	620 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	621 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	622
04ced10e8804 gcc 7 kono parents: 68 diff changeset	623 /* If the split point is dominated by a forbidden block, reject
04ced10e8804 gcc 7 kono parents: 68 diff changeset	624 the split. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	625 if (!bitmap_empty_p (forbidden_dominators)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	626 && dominated_by_forbidden (current->entry_bb))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	627 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	628 if (dump_file && (dump_flags & TDF_DETAILS))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	629 fprintf (dump_file,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	630 " Refused: split point dominated by forbidden block\n");
04ced10e8804 gcc 7 kono parents: 68 diff changeset	631 return;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	632 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	633
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	634 /* See if retval used by return bb is computed by header or split part.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	635 When it is computed by split part, we need to produce return statement
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	636 in the split part and add code to header to pass it around.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	637
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	638 This is bit tricky to test:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	639 1) When there is no return_bb or no return value, we always pass
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	640 value around.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	641 2) Invariants are always computed by caller.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	642 3) For SSA we need to look if defining statement is in header or split part
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	643 4) For non-SSA we need to look where the var is computed. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	644 retval = find_retval (return_bb);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	645 if (!retval)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	646 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	647 /* If there is a return_bb with no return value in function returning
04ced10e8804 gcc 7 kono parents: 68 diff changeset	648 value by reference, also make the split part return void, otherwise
04ced10e8804 gcc 7 kono parents: 68 diff changeset	649 we expansion would try to create a non-POD temporary, which is
04ced10e8804 gcc 7 kono parents: 68 diff changeset	650 invalid. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	651 if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	652 && DECL_RESULT (current_function_decl)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	653 && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	654 current->split_part_set_retval = false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	655 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	656 current->split_part_set_retval = true;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	657 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	658 else if (is_gimple_min_invariant (retval))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	659 current->split_part_set_retval = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	660 /* Special case is value returned by reference we record as if it was non-ssa
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	661 set to result_decl. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	662 else if (TREE_CODE (retval) == SSA_NAME
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	663 && SSA_NAME_VAR (retval)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	664 && TREE_CODE (SSA_NAME_VAR (retval)) == RESULT_DECL
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	665 && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	666 current->split_part_set_retval
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	667 = bitmap_bit_p (non_ssa_vars, DECL_UID (SSA_NAME_VAR (retval)));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	668 else if (TREE_CODE (retval) == SSA_NAME)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	669 current->split_part_set_retval
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	670 = split_part_set_ssa_name_p (retval, current, return_bb);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	671 else if (TREE_CODE (retval) == PARM_DECL)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	672 current->split_part_set_retval = false;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	673 else if (VAR_P (retval)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	674 \|\| TREE_CODE (retval) == RESULT_DECL)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	675 current->split_part_set_retval
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	676 = bitmap_bit_p (non_ssa_vars, DECL_UID (retval));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	677 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	678 current->split_part_set_retval = true;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	679
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	680 /* split_function fixes up at most one PHI non-virtual PHI node in return_bb,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	681 for the return value. If there are other PHIs, give up. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	682 if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	683 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	684 gphi_iterator psi;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	685
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	686 for (psi = gsi_start_phis (return_bb); !gsi_end_p (psi); gsi_next (&psi))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	687 if (!virtual_operand_p (gimple_phi_result (psi.phi ()))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	688 && !(retval
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	689 && current->split_part_set_retval
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	690 && TREE_CODE (retval) == SSA_NAME
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	691 && !DECL_BY_REFERENCE (DECL_RESULT (current_function_decl))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	692 && SSA_NAME_DEF_STMT (retval) == psi.phi ()))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	693 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	694 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	695 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	696 " Refused: return bb has extra PHIs\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	697 return;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	698 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	699 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	700
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	701 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	702 fprintf (dump_file, " Accepted!\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	703
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	704 /* At the moment chose split point with lowest count and that leaves
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	705 out smallest size of header.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	706 In future we might re-consider this heuristics. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	707 if (!best_split_point.split_bbs
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	708 \|\| best_split_point.count
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	709 > current->count
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	710 \|\| (best_split_point.count == current->count
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	711 && best_split_point.split_size < current->split_size))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	712
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	713 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	714 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	715 fprintf (dump_file, " New best split point!\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	716 if (best_split_point.ssa_names_to_pass)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	717 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	718 BITMAP_FREE (best_split_point.ssa_names_to_pass);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	719 BITMAP_FREE (best_split_point.split_bbs);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	720 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	721 best_split_point = *current;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	722 best_split_point.ssa_names_to_pass = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	723 bitmap_copy (best_split_point.ssa_names_to_pass,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	724 current->ssa_names_to_pass);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	725 best_split_point.split_bbs = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	726 bitmap_copy (best_split_point.split_bbs, current->split_bbs);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	727 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	728 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	729
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	730 /* Return basic block containing RETURN statement. We allow basic blocks
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	731 of the form:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	732 <retval> = tmp_var;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	733 return <retval>
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	734 but return_bb cannot be more complex than this (except for
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	735 -fsanitize=thread we allow TSAN_FUNC_EXIT () internal call in there).
04ced10e8804 gcc 7 kono parents: 68 diff changeset	736 If nothing is found, return the exit block.
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	737
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	738 When there are multiple RETURN statement, chose one with return value,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	739 since that one is more likely shared by multiple code paths.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	740
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	741 Return BB is special, because for function splitting it is the only
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	742 basic block that is duplicated in between header and split part of the
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	743 function.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	744
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	745 TODO: We might support multiple return blocks. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	746
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	747 static basic_block
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	748 find_return_bb (void)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	749 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	750 edge e;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	751 basic_block return_bb = EXIT_BLOCK_PTR_FOR_FN (cfun);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	752 gimple_stmt_iterator bsi;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	753 bool found_return = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	754 tree retval = NULL_TREE;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	755
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	756 if (!single_pred_p (EXIT_BLOCK_PTR_FOR_FN (cfun)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	757 return return_bb;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	758
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	759 e = single_pred_edge (EXIT_BLOCK_PTR_FOR_FN (cfun));
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	760 for (bsi = gsi_last_bb (e->src); !gsi_end_p (bsi); gsi_prev (&bsi))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	761 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	762 gimple *stmt = gsi_stmt (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	763 if (gimple_code (stmt) == GIMPLE_LABEL
04ced10e8804 gcc 7 kono parents: 68 diff changeset	764 \|\| is_gimple_debug (stmt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	765 \|\| gimple_clobber_p (stmt))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	766 ;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	767 else if (gimple_code (stmt) == GIMPLE_ASSIGN
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	768 && found_return
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	769 && gimple_assign_single_p (stmt)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	770 && (auto_var_in_fn_p (gimple_assign_rhs1 (stmt),
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	771 current_function_decl)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	772 \|\| is_gimple_min_invariant (gimple_assign_rhs1 (stmt)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	773 && retval == gimple_assign_lhs (stmt))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	774 ;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	775 else if (greturn return_stmt = dyn_cast <greturn > (stmt))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	776 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	777 found_return = true;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	778 retval = gimple_return_retval (return_stmt);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	779 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	780 /* For -fsanitize=thread, allow also TSAN_FUNC_EXIT () in the return
04ced10e8804 gcc 7 kono parents: 68 diff changeset	781 bb. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	782 else if ((flag_sanitize & SANITIZE_THREAD)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	783 && gimple_call_internal_p (stmt, IFN_TSAN_FUNC_EXIT))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	784 ;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	785 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	786 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	787 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	788 if (gsi_end_p (bsi) && found_return)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	789 return_bb = e->src;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	790
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	791 return return_bb;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	792 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	793
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	794 /* Given return basic block RETURN_BB, see where return value is really
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	795 stored. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	796 static tree
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	797 find_retval (basic_block return_bb)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	798 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	799 gimple_stmt_iterator bsi;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	800 for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi); gsi_next (&bsi))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	801 if (greturn return_stmt = dyn_cast <greturn > (gsi_stmt (bsi)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	802 return gimple_return_retval (return_stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	803 else if (gimple_code (gsi_stmt (bsi)) == GIMPLE_ASSIGN
04ced10e8804 gcc 7 kono parents: 68 diff changeset	804 && !gimple_clobber_p (gsi_stmt (bsi)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	805 return gimple_assign_rhs1 (gsi_stmt (bsi));
04ced10e8804 gcc 7 kono parents: 68 diff changeset	806 return NULL;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	807 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	808
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	809 /* Callback for walk_stmt_load_store_addr_ops. If T is non-SSA automatic
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	810 variable, mark it as used in bitmap passed via DATA.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	811 Return true when access to T prevents splitting the function. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	812
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	813 static bool
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	814 mark_nonssa_use (gimple , tree t, tree, void data)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	815 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	816 t = get_base_address (t);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	817
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	818 if (!t \|\| is_gimple_reg (t))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	819 return false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	820
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	821 /* At present we can't pass non-SSA arguments to split function.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	822 FIXME: this can be relaxed by passing references to arguments. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	823 if (TREE_CODE (t) == PARM_DECL)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	824 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	825 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	826 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	827 "Cannot split: use of non-ssa function parameter.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	828 return true;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	829 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	830
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	831 if ((VAR_P (t) && auto_var_in_fn_p (t, current_function_decl))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	832 \|\| TREE_CODE (t) == RESULT_DECL
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	833 \|\| (TREE_CODE (t) == LABEL_DECL && FORCED_LABEL (t)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	834 bitmap_set_bit ((bitmap)data, DECL_UID (t));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	835
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	836 /* For DECL_BY_REFERENCE, the return value is actually a pointer. We want
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	837 to pretend that the value pointed to is actual result decl. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	838 if ((TREE_CODE (t) == MEM_REF \|\| INDIRECT_REF_P (t))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	839 && TREE_CODE (TREE_OPERAND (t, 0)) == SSA_NAME
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	840 && SSA_NAME_VAR (TREE_OPERAND (t, 0))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	841 && TREE_CODE (SSA_NAME_VAR (TREE_OPERAND (t, 0))) == RESULT_DECL
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	842 && DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	843 return
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	844 bitmap_bit_p ((bitmap)data,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	845 DECL_UID (DECL_RESULT (current_function_decl)));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	846
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	847 return false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	848 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	849
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	850 /* Compute local properties of basic block BB we collect when looking for
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	851 split points. We look for ssa defs and store them in SET_SSA_NAMES,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	852 for ssa uses and store them in USED_SSA_NAMES and for any non-SSA automatic
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	853 vars stored in NON_SSA_VARS.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	854
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	855 When BB has edge to RETURN_BB, collect uses in RETURN_BB too.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	856
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	857 Return false when BB contains something that prevents it from being put into
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	858 split function. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	859
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	860 static bool
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	861 visit_bb (basic_block bb, basic_block return_bb,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	862 bitmap set_ssa_names, bitmap used_ssa_names,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	863 bitmap non_ssa_vars)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	864 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	865 edge e;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	866 edge_iterator ei;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	867 bool can_split = true;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	868
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	869 for (gimple_stmt_iterator bsi = gsi_start_bb (bb); !gsi_end_p (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	870 gsi_next (&bsi))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	871 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	872 gimple *stmt = gsi_stmt (bsi);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	873 tree op;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	874 ssa_op_iter iter;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	875 tree decl;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	876
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	877 if (is_gimple_debug (stmt))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	878 continue;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	879
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	880 if (gimple_clobber_p (stmt))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	881 continue;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	882
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	883 /* FIXME: We can split regions containing EH. We cannot however
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	884 split RESX, EH_DISPATCH and EH_POINTER referring to same region
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	885 into different partitions. This would require tracking of
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	886 EH regions and checking in consider_split_point if they
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	887 are not used elsewhere. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	888 if (gimple_code (stmt) == GIMPLE_RESX)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	889 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	890 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	891 fprintf (dump_file, "Cannot split: resx.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	892 can_split = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	893 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	894 if (gimple_code (stmt) == GIMPLE_EH_DISPATCH)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	895 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	896 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	897 fprintf (dump_file, "Cannot split: eh dispatch.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	898 can_split = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	899 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	900
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	901 /* Check builtins that prevent splitting. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	902 if (gimple_code (stmt) == GIMPLE_CALL
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	903 && (decl = gimple_call_fndecl (stmt)) != NULL_TREE
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	904 && fndecl_built_in_p (decl, BUILT_IN_NORMAL))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	905 switch (DECL_FUNCTION_CODE (decl))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	906 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	907 /* FIXME: once we will allow passing non-parm values to split part,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	908 we need to be sure to handle correct builtin_stack_save and
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	909 builtin_stack_restore. At the moment we are safe; there is no
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	910 way to store builtin_stack_save result in non-SSA variable
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	911 since all calls to those are compiler generated. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	912 case BUILT_IN_APPLY:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	913 case BUILT_IN_APPLY_ARGS:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	914 case BUILT_IN_VA_START:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	915 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	916 fprintf (dump_file,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	917 "Cannot split: builtin_apply and va_start.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	918 can_split = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	919 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	920 case BUILT_IN_EH_POINTER:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	921 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	922 fprintf (dump_file, "Cannot split: builtin_eh_pointer.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	923 can_split = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	924 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	925 default:
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	926 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	927 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	928
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	929 FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_DEF)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	930 bitmap_set_bit (set_ssa_names, SSA_NAME_VERSION (op));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	931 FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_USE)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	932 bitmap_set_bit (used_ssa_names, SSA_NAME_VERSION (op));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	933 can_split &= !walk_stmt_load_store_addr_ops (stmt, non_ssa_vars,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	934 mark_nonssa_use,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	935 mark_nonssa_use,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	936 mark_nonssa_use);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	937 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	938 for (gphi_iterator bsi = gsi_start_phis (bb); !gsi_end_p (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	939 gsi_next (&bsi))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	940 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	941 gphi *stmt = bsi.phi ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	942 unsigned int i;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	943
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	944 if (virtual_operand_p (gimple_phi_result (stmt)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	945 continue;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	946 bitmap_set_bit (set_ssa_names,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	947 SSA_NAME_VERSION (gimple_phi_result (stmt)));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	948 for (i = 0; i < gimple_phi_num_args (stmt); i++)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	949 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	950 tree op = gimple_phi_arg_def (stmt, i);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	951 if (TREE_CODE (op) == SSA_NAME)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	952 bitmap_set_bit (used_ssa_names, SSA_NAME_VERSION (op));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	953 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	954 can_split &= !walk_stmt_load_store_addr_ops (stmt, non_ssa_vars,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	955 mark_nonssa_use,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	956 mark_nonssa_use,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	957 mark_nonssa_use);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	958 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	959 /* Record also uses coming from PHI operand in return BB. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	960 FOR_EACH_EDGE (e, ei, bb->succs)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	961 if (e->dest == return_bb)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	962 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	963 for (gphi_iterator bsi = gsi_start_phis (return_bb);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	964 !gsi_end_p (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	965 gsi_next (&bsi))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	966 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	967 gphi *stmt = bsi.phi ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	968 tree op = gimple_phi_arg_def (stmt, e->dest_idx);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	969
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	970 if (virtual_operand_p (gimple_phi_result (stmt)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	971 continue;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	972 if (TREE_CODE (op) == SSA_NAME)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	973 bitmap_set_bit (used_ssa_names, SSA_NAME_VERSION (op));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	974 else
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	975 can_split &= !mark_nonssa_use (stmt, op, op, non_ssa_vars);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	976 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	977 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	978 return can_split;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	979 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	980
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	981 /* Stack entry for recursive DFS walk in find_split_point. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	982
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	983 class stack_entry
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	984 {
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	985 public:
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	986 /* Basic block we are examining. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	987 basic_block bb;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	988
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	989 /* SSA names set and used by the BB and all BBs reachable
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	990 from it via DFS walk. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	991 bitmap set_ssa_names, used_ssa_names;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	992 bitmap non_ssa_vars;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	993
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	994 /* All BBS visited from this BB via DFS walk. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	995 bitmap bbs_visited;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	996
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	997 /* Last examined edge in DFS walk. Since we walk unoriented graph,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	998 the value is up to sum of incoming and outgoing edges of BB. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	999 unsigned int edge_num;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1000
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1001 /* Stack entry index of earliest BB reachable from current BB
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1002 or any BB visited later in DFS walk. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1003 int earliest;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1004
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1005 /* Overall time and size of all BBs reached from this BB in DFS walk. */
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1006 sreal overall_time;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1007 int overall_size;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1008
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1009 /* When false we cannot split on this BB. */
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1010 bool can_split;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1011 };
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1012
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1013
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1014 /* Find all articulations and call consider_split on them.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1015 OVERALL_TIME and OVERALL_SIZE is time and size of the function.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1016
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1017 We perform basic algorithm for finding an articulation in a graph
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1018 created from CFG by considering it to be an unoriented graph.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1019
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1020 The articulation is discovered via DFS walk. We collect earliest
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1021 basic block on stack that is reachable via backward edge. Articulation
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1022 is any basic block such that there is no backward edge bypassing it.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1023 To reduce stack usage we maintain heap allocated stack in STACK vector.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1024 AUX pointer of BB is set to index it appears in the stack or -1 once
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1025 it is visited and popped off the stack.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1026
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1027 The algorithm finds articulation after visiting the whole component
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1028 reachable by it. This makes it convenient to collect information about
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1029 the component used by consider_split. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1030
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1031 static void
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1032 find_split_points (basic_block return_bb, sreal overall_time, int overall_size)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1033 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1034 stack_entry first;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1035 vec<stack_entry> stack = vNULL;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1036 basic_block bb;
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1037 class split_point current;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1038
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1039 current.header_time = overall_time;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1040 current.header_size = overall_size;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1041 current.split_time = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1042 current.split_size = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1043 current.ssa_names_to_pass = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1044
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1045 first.bb = ENTRY_BLOCK_PTR_FOR_FN (cfun);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1046 first.edge_num = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1047 first.overall_time = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1048 first.overall_size = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1049 first.earliest = INT_MAX;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1050 first.set_ssa_names = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1051 first.used_ssa_names = 0;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1052 first.non_ssa_vars = 0;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1053 first.bbs_visited = 0;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1054 first.can_split = false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1055 stack.safe_push (first);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1056 ENTRY_BLOCK_PTR_FOR_FN (cfun)->aux = (void *)(intptr_t)-1;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1057
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1058 while (!stack.is_empty ())
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1059 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1060 stack_entry *entry = &stack.last ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1061
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1062 /* We are walking an acyclic graph, so edge_num counts
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1063 succ and pred edges together. However when considering
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1064 articulation, we want to have processed everything reachable
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1065 from articulation but nothing that reaches into it. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1066 if (entry->edge_num == EDGE_COUNT (entry->bb->succs)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1067 && entry->bb != ENTRY_BLOCK_PTR_FOR_FN (cfun))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1068 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1069 int pos = stack.length ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1070 entry->can_split &= visit_bb (entry->bb, return_bb,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1071 entry->set_ssa_names,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1072 entry->used_ssa_names,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1073 entry->non_ssa_vars);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1074 if (pos <= entry->earliest && !entry->can_split
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1075 && dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1076 fprintf (dump_file,
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1077 "found articulation at bb %i but cannot split\n",
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1078 entry->bb->index);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1079 if (pos <= entry->earliest && entry->can_split)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1080 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1081 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1082 fprintf (dump_file, "found articulation at bb %i\n",
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1083 entry->bb->index);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1084 current.entry_bb = entry->bb;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1085 current.ssa_names_to_pass = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1086 bitmap_and_compl (current.ssa_names_to_pass,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1087 entry->used_ssa_names, entry->set_ssa_names);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1088 current.header_time = overall_time - entry->overall_time;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1089 current.header_size = overall_size - entry->overall_size;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1090 current.split_time = entry->overall_time;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1091 current.split_size = entry->overall_size;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1092 current.split_bbs = entry->bbs_visited;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1093 consider_split (&current, entry->non_ssa_vars, return_bb);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1094 BITMAP_FREE (current.ssa_names_to_pass);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1095 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1096 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1097 /* Do actual DFS walk. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1098 if (entry->edge_num
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1099 < (EDGE_COUNT (entry->bb->succs)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1100 + EDGE_COUNT (entry->bb->preds)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1101 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1102 edge e;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1103 basic_block dest;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1104 if (entry->edge_num < EDGE_COUNT (entry->bb->succs))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1105 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1106 e = EDGE_SUCC (entry->bb, entry->edge_num);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1107 dest = e->dest;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1108 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1109 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1110 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1111 e = EDGE_PRED (entry->bb, entry->edge_num
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1112 - EDGE_COUNT (entry->bb->succs));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1113 dest = e->src;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1114 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1115
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1116 entry->edge_num++;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1117
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1118 /* New BB to visit, push it to the stack. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1119 if (dest != return_bb && dest != EXIT_BLOCK_PTR_FOR_FN (cfun)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1120 && !dest->aux)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1121 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1122 stack_entry new_entry;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1123
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1124 new_entry.bb = dest;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1125 new_entry.edge_num = 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1126 new_entry.overall_time
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1127 = bb_info_vec[dest->index].time;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1128 new_entry.overall_size
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1129 = bb_info_vec[dest->index].size;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1130 new_entry.earliest = INT_MAX;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1131 new_entry.set_ssa_names = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1132 new_entry.used_ssa_names = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1133 new_entry.bbs_visited = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1134 new_entry.non_ssa_vars = BITMAP_ALLOC (NULL);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1135 new_entry.can_split = true;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1136 bitmap_set_bit (new_entry.bbs_visited, dest->index);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1137 stack.safe_push (new_entry);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1138 dest->aux = (void *)(intptr_t)stack.length ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1139 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1140 /* Back edge found, record the earliest point. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1141 else if ((intptr_t)dest->aux > 0
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1142 && (intptr_t)dest->aux < entry->earliest)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1143 entry->earliest = (intptr_t)dest->aux;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1144 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1145 /* We are done with examining the edges. Pop off the value from stack
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1146 and merge stuff we accumulate during the walk. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1147 else if (entry->bb != ENTRY_BLOCK_PTR_FOR_FN (cfun))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1148 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1149 stack_entry *prev = &stack[stack.length () - 2];
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1150
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1151 entry->bb->aux = (void *)(intptr_t)-1;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1152 prev->can_split &= entry->can_split;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1153 if (prev->set_ssa_names)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1154 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1155 bitmap_ior_into (prev->set_ssa_names, entry->set_ssa_names);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1156 bitmap_ior_into (prev->used_ssa_names, entry->used_ssa_names);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1157 bitmap_ior_into (prev->bbs_visited, entry->bbs_visited);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1158 bitmap_ior_into (prev->non_ssa_vars, entry->non_ssa_vars);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1159 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1160 if (prev->earliest > entry->earliest)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1161 prev->earliest = entry->earliest;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1162 prev->overall_time += entry->overall_time;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1163 prev->overall_size += entry->overall_size;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1164 BITMAP_FREE (entry->set_ssa_names);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1165 BITMAP_FREE (entry->used_ssa_names);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1166 BITMAP_FREE (entry->bbs_visited);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1167 BITMAP_FREE (entry->non_ssa_vars);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1168 stack.pop ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1169 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1170 else
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1171 stack.pop ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1172 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1173 ENTRY_BLOCK_PTR_FOR_FN (cfun)->aux = NULL;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1174 FOR_EACH_BB_FN (bb, cfun)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1175 bb->aux = NULL;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1176 stack.release ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1177 BITMAP_FREE (current.ssa_names_to_pass);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1178 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1179
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1180 /* Split function at SPLIT_POINT. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1181
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1182 static void
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1183 split_function (basic_block return_bb, class split_point *split_point,
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1184 bool add_tsan_func_exit)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1185 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1186 vec<tree> args_to_pass = vNULL;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1187 bitmap args_to_skip;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1188 tree parm;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1189 int num = 0;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1190 cgraph_node node, cur_node = cgraph_node::get (current_function_decl);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1191 basic_block call_bb;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1192 gcall call, tsan_func_exit_call = NULL;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1193 edge e;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1194 edge_iterator ei;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1195 tree retval = NULL, real_retval = NULL;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1196 gimple *last_stmt = NULL;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1197 unsigned int i;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1198 tree arg, ddef;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1199
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1200 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1201 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1202 fprintf (dump_file, "\n\nSplitting function at:\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1203 dump_split_point (dump_file, split_point);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1204 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1205
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1206 if (cur_node->can_change_signature)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1207 args_to_skip = BITMAP_ALLOC (NULL);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1208 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1209 args_to_skip = NULL;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1210
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1211 /* Collect the parameters of new function and args_to_skip bitmap. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1212 for (parm = DECL_ARGUMENTS (current_function_decl);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1213 parm; parm = DECL_CHAIN (parm), num++)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1214 if (args_to_skip
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1215 && (!is_gimple_reg (parm)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1216 \|\| (ddef = ssa_default_def (cfun, parm)) == NULL_TREE
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1217 \|\| !bitmap_bit_p (split_point->ssa_names_to_pass,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1218 SSA_NAME_VERSION (ddef))))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1219 bitmap_set_bit (args_to_skip, num);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1220 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1221 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1222 /* This parm might not have been used up to now, but is going to be
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1223 used, hence register it. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1224 if (is_gimple_reg (parm))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1225 arg = get_or_create_ssa_default_def (cfun, parm);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1226 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1227 arg = parm;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1228
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1229 if (!useless_type_conversion_p (DECL_ARG_TYPE (parm), TREE_TYPE (arg)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1230 arg = fold_convert (DECL_ARG_TYPE (parm), arg);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1231 args_to_pass.safe_push (arg);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1232 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1233
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1234 /* See if the split function will return. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1235 bool split_part_return_p = false;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1236 FOR_EACH_EDGE (e, ei, return_bb->preds)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1237 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1238 if (bitmap_bit_p (split_point->split_bbs, e->src->index))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1239 split_part_return_p = true;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1240 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1241
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1242 /* Add return block to what will become the split function.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1243 We do not return; no return block is needed. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1244 if (!split_part_return_p)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1245 ;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1246 /* We have no return block, so nothing is needed. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1247 else if (return_bb == EXIT_BLOCK_PTR_FOR_FN (cfun))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1248 ;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1249 /* When we do not want to return value, we need to construct
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1250 new return block with empty return statement.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1251 FIXME: Once we are able to change return type, we should change function
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1252 to return void instead of just outputting function with undefined return
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1253 value. For structures this affects quality of codegen. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1254 else if ((retval = find_retval (return_bb))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1255 && !split_point->split_part_set_retval)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1256 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1257 bool redirected = true;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1258 basic_block new_return_bb = create_basic_block (NULL, 0, return_bb);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1259 gimple_stmt_iterator gsi = gsi_start_bb (new_return_bb);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1260 gsi_insert_after (&gsi, gimple_build_return (NULL), GSI_NEW_STMT);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1261 new_return_bb->count = profile_count::zero ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1262 while (redirected)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1263 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1264 redirected = false;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1265 FOR_EACH_EDGE (e, ei, return_bb->preds)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1266 if (bitmap_bit_p (split_point->split_bbs, e->src->index))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1267 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1268 new_return_bb->count += e->count ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1269 redirect_edge_and_branch (e, new_return_bb);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1270 redirected = true;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1271 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1272 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1273 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1274 e = make_single_succ_edge (new_return_bb, EXIT_BLOCK_PTR_FOR_FN (cfun), 0);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1275 add_bb_to_loop (new_return_bb, current_loops->tree_root);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1276 bitmap_set_bit (split_point->split_bbs, new_return_bb->index);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1277 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1278 /* When we pass around the value, use existing return block. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1279 else
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1280 bitmap_set_bit (split_point->split_bbs, return_bb->index);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1281
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1282 /* If RETURN_BB has virtual operand PHIs, they must be removed and the
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1283 virtual operand marked for renaming as we change the CFG in a way that
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1284 tree-inline is not able to compensate for.
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1285
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1286 Note this can happen whether or not we have a return value. If we have
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1287 a return value, then RETURN_BB may have PHIs for real operands too. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1288 if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1289 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1290 bool phi_p = false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1291 for (gphi_iterator gsi = gsi_start_phis (return_bb);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1292 !gsi_end_p (gsi);)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1293 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1294 gphi *stmt = gsi.phi ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1295 if (!virtual_operand_p (gimple_phi_result (stmt)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1296 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1297 gsi_next (&gsi);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1298 continue;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1299 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1300 mark_virtual_phi_result_for_renaming (stmt);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1301 remove_phi_node (&gsi, true);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1302 phi_p = true;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1303 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1304 /* In reality we have to rename the reaching definition of the
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1305 virtual operand at return_bb as we will eventually release it
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1306 when we remove the code region we outlined.
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1307 So we have to rename all immediate virtual uses of that region
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1308 if we didn't see a PHI definition yet. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1309 /* ??? In real reality we want to set the reaching vdef of the
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1310 entry of the SESE region as the vuse of the call and the reaching
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1311 vdef of the exit of the SESE region as the vdef of the call. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1312 if (!phi_p)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1313 for (gimple_stmt_iterator gsi = gsi_start_bb (return_bb);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1314 !gsi_end_p (gsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1315 gsi_next (&gsi))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1316 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1317 gimple *stmt = gsi_stmt (gsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1318 if (gimple_vuse (stmt))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1319 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1320 gimple_set_vuse (stmt, NULL_TREE);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1321 update_stmt (stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1322 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1323 if (gimple_vdef (stmt))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1324 break;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1325 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1326 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1327
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1328 ipa_param_adjustments *adjustments;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1329 bool skip_return = (!split_part_return_p
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1330 \|\| !split_point->split_part_set_retval);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1331 /* TODO: Perhaps get rid of args_to_skip entirely, after we make sure the
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1332 debug info generation and discrepancy avoiding works well too. */
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1333 if ((args_to_skip && !bitmap_empty_p (args_to_skip))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1334 \|\| skip_return)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1335 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1336 vec<ipa_adjusted_param, va_gc> *new_params = NULL;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1337 unsigned j;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1338 for (parm = DECL_ARGUMENTS (current_function_decl), j = 0;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1339 parm; parm = DECL_CHAIN (parm), j++)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1340 if (!args_to_skip \|\| !bitmap_bit_p (args_to_skip, j))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1341 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1342 ipa_adjusted_param adj;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1343 memset (&adj, 0, sizeof (adj));
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1344 adj.op = IPA_PARAM_OP_COPY;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1345 adj.base_index = j;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1346 adj.prev_clone_index = j;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1347 vec_safe_push (new_params, adj);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1348 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1349 adjustments = new ipa_param_adjustments (new_params, j, skip_return);
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1350 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1351 else
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1352 adjustments = NULL;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1353
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1354 /* Now create the actual clone. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1355 cgraph_edge::rebuild_edges ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1356 node = cur_node->create_version_clone_with_body
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1357 (vNULL, NULL, adjustments,
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1358 split_point->split_bbs, split_point->entry_bb, "part");
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1359 delete adjustments;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1360 node->split_part = true;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1361
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1362 if (cur_node->same_comdat_group)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1363 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1364 /* TODO: call is versionable if we make sure that all
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1365 callers are inside of a comdat group. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1366 cur_node->calls_comdat_local = 1;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1367 node->add_to_same_comdat_group (cur_node);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1368 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1369
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1370
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1371 /* Let's take a time profile for splitted function. */
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1372 if (cur_node->tp_first_run)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1373 node->tp_first_run = cur_node->tp_first_run + 1;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1374
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1375 /* For usual cloning it is enough to clear builtin only when signature
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1376 changes. For partial inlining we however cannot expect the part
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1377 of builtin implementation to have same semantic as the whole. */
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1378 if (fndecl_built_in_p (node->decl))
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1379 set_decl_built_in_function (node->decl, NOT_BUILT_IN, 0);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1380
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1381 /* If return_bb contains any clobbers that refer to SSA_NAMEs
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1382 set in the split part, remove them. Also reset debug stmts that
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1383 refer to SSA_NAMEs set in the split part. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1384 if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1385 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1386 gimple_stmt_iterator gsi = gsi_start_bb (return_bb);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1387 while (!gsi_end_p (gsi))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1388 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1389 tree op;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1390 ssa_op_iter iter;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1391 gimple *stmt = gsi_stmt (gsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1392 bool remove = false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1393 if (gimple_clobber_p (stmt) \|\| is_gimple_debug (stmt))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1394 FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_USE)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1395 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1396 basic_block bb = gimple_bb (SSA_NAME_DEF_STMT (op));
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1397 if (op != retval
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1398 && bb
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1399 && bb != return_bb
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1400 && bitmap_bit_p (split_point->split_bbs, bb->index))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1401 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1402 if (is_gimple_debug (stmt))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1403 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1404 gimple_debug_bind_reset_value (stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1405 update_stmt (stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1406 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1407 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1408 remove = true;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1409 break;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1410 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1411 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1412 if (remove)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1413 gsi_remove (&gsi, true);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1414 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1415 gsi_next (&gsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1416 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1417 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1418
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1419 /* If the original function is declared inline, there is no point in issuing
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1420 a warning for the non-inlinable part. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1421 DECL_NO_INLINE_WARNING_P (node->decl) = 1;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1422 cur_node->remove_callees ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1423 cur_node->remove_all_references ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1424 if (!split_part_return_p)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1425 TREE_THIS_VOLATILE (node->decl) = 1;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1426 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1427 dump_function_to_file (node->decl, dump_file, dump_flags);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1428
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1429 /* Create the basic block we place call into. It is the entry basic block
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1430 split after last label. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1431 call_bb = split_point->entry_bb;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1432 for (gimple_stmt_iterator gsi = gsi_start_bb (call_bb); !gsi_end_p (gsi);)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1433 if (gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1434 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1435 last_stmt = gsi_stmt (gsi);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1436 gsi_next (&gsi);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1437 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1438 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1439 break;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1440 call_bb->count = split_point->count;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1441 e = split_block (split_point->entry_bb, last_stmt);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1442 remove_edge (e);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1443
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1444 /* Produce the call statement. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1445 gimple_stmt_iterator gsi = gsi_last_bb (call_bb);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1446 FOR_EACH_VEC_ELT (args_to_pass, i, arg)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1447 if (!is_gimple_val (arg))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1448 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1449 arg = force_gimple_operand_gsi (&gsi, arg, true, NULL_TREE,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1450 false, GSI_CONTINUE_LINKING);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1451 args_to_pass[i] = arg;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1452 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1453 call = gimple_build_call_vec (node->decl, args_to_pass);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1454 gimple_set_block (call, DECL_INITIAL (current_function_decl));
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1455 args_to_pass.release ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1456
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1457 /* For optimized away parameters, add on the caller side
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1458 before the call
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1459 DEBUG D#X => parm_Y(D)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1460 stmts and associate D#X with parm in decl_debug_args_lookup
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1461 vector to say for debug info that if parameter parm had been passed,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1462 it would have value parm_Y(D). */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1463 if (args_to_skip)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1464 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1465 vec<tree, va_gc> **debug_args = NULL;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1466 unsigned i = 0, len = 0;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1467 if (MAY_HAVE_DEBUG_BIND_STMTS)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1468 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1469 debug_args = decl_debug_args_lookup (node->decl);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1470 if (debug_args)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1471 len = vec_safe_length (*debug_args);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1472 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1473 for (parm = DECL_ARGUMENTS (current_function_decl), num = 0;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1474 parm; parm = DECL_CHAIN (parm), num++)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1475 if (bitmap_bit_p (args_to_skip, num) && is_gimple_reg (parm))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1476 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1477 tree ddecl;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1478 gimple *def_temp;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1479
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1480 /* This needs to be done even without
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1481 MAY_HAVE_DEBUG_BIND_STMTS, otherwise if it didn't exist
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1482 before, we'd end up with different SSA_NAME_VERSIONs
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1483 between -g and -g0. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1484 arg = get_or_create_ssa_default_def (cfun, parm);
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1485 if (!MAY_HAVE_DEBUG_BIND_STMTS \|\| debug_args == NULL)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1486 continue;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1487
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1488 while (i < len && (**debug_args)[i] != DECL_ORIGIN (parm))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1489 i += 2;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1490 if (i >= len)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1491 continue;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1492 ddecl = (**debug_args)[i + 1];
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1493 def_temp
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1494 = gimple_build_debug_bind (ddecl, unshare_expr (arg), call);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1495 gsi_insert_after (&gsi, def_temp, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1496 }
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1497 BITMAP_FREE (args_to_skip);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1498 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1499
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1500 /* We avoid address being taken on any variable used by split part,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1501 so return slot optimization is always possible. Moreover this is
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1502 required to make DECL_BY_REFERENCE work. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1503 if (aggregate_value_p (DECL_RESULT (current_function_decl),
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1504 TREE_TYPE (current_function_decl))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1505 && (!is_gimple_reg_type (TREE_TYPE (DECL_RESULT (current_function_decl)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1506 \|\| DECL_BY_REFERENCE (DECL_RESULT (current_function_decl))))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1507 gimple_call_set_return_slot_opt (call, true);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1508
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1509 if (add_tsan_func_exit)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1510 tsan_func_exit_call = gimple_build_call_internal (IFN_TSAN_FUNC_EXIT, 0);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1511
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1512 /* Update return value. This is bit tricky. When we do not return,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1513 do nothing. When we return we might need to update return_bb
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1514 or produce a new return statement. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1515 if (!split_part_return_p)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1516 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1517 gsi_insert_after (&gsi, call, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1518 if (tsan_func_exit_call)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1519 gsi_insert_after (&gsi, tsan_func_exit_call, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1520 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1521 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1522 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1523 e = make_single_succ_edge (call_bb, return_bb,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1524 return_bb == EXIT_BLOCK_PTR_FOR_FN (cfun)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1525 ? 0 : EDGE_FALLTHRU);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1526
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1527 /* If there is return basic block, see what value we need to store
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1528 return value into and put call just before it. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1529 if (return_bb != EXIT_BLOCK_PTR_FOR_FN (cfun))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1530 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1531 real_retval = retval;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1532 if (real_retval && split_point->split_part_set_retval)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1533 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1534 gphi_iterator psi;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1535
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1536 /* See if we need new SSA_NAME for the result.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1537 When DECL_BY_REFERENCE is true, retval is actually pointer to
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1538 return value and it is constant in whole function. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1539 if (TREE_CODE (retval) == SSA_NAME
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1540 && !DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1541 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1542 retval = copy_ssa_name (retval, call);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1543
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1544 /* See if there is PHI defining return value. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1545 for (psi = gsi_start_phis (return_bb);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1546 !gsi_end_p (psi); gsi_next (&psi))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1547 if (!virtual_operand_p (gimple_phi_result (psi.phi ())))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1548 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1549
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1550 /* When there is PHI, just update its value. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1551 if (TREE_CODE (retval) == SSA_NAME
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1552 && !gsi_end_p (psi))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1553 add_phi_arg (psi.phi (), retval, e, UNKNOWN_LOCATION);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1554 /* Otherwise update the return BB itself.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1555 find_return_bb allows at most one assignment to return value,
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1556 so update first statement. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1557 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1558 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1559 gimple_stmt_iterator bsi;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1560 for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1561 gsi_next (&bsi))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1562 if (greturn *return_stmt
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1563 = dyn_cast <greturn *> (gsi_stmt (bsi)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1564 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1565 gimple_return_set_retval (return_stmt, retval);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1566 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1567 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1568 else if (gimple_code (gsi_stmt (bsi)) == GIMPLE_ASSIGN
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1569 && !gimple_clobber_p (gsi_stmt (bsi)))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1570 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1571 gimple_assign_set_rhs1 (gsi_stmt (bsi), retval);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1572 break;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1573 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1574 update_stmt (gsi_stmt (bsi));
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1575 /* Also adjust clobbers and debug stmts in return_bb. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1576 for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1577 gsi_next (&bsi))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1578 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1579 gimple *stmt = gsi_stmt (bsi);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1580 if (gimple_clobber_p (stmt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1581 \|\| is_gimple_debug (stmt))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1582 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1583 ssa_op_iter iter;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1584 use_operand_p use_p;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1585 bool update = false;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1586 FOR_EACH_SSA_USE_OPERAND (use_p, stmt, iter,
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1587 SSA_OP_USE)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1588 if (USE_FROM_PTR (use_p) == real_retval)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1589 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1590 SET_USE (use_p, retval);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1591 update = true;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1592 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1593 if (update)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1594 update_stmt (stmt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1595 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1596 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1597 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1598 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1599 if (DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1600 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1601 gimple_call_set_lhs (call, build_simple_mem_ref (retval));
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1602 gsi_insert_after (&gsi, call, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1603 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1604 else
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1605 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1606 tree restype;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1607 restype = TREE_TYPE (DECL_RESULT (current_function_decl));
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1608 gsi_insert_after (&gsi, call, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1609 if (!useless_type_conversion_p (TREE_TYPE (retval), restype))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1610 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1611 gimple *cpy;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1612 tree tem = create_tmp_reg (restype);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1613 tem = make_ssa_name (tem, call);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1614 cpy = gimple_build_assign (retval, NOP_EXPR, tem);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1615 gsi_insert_after (&gsi, cpy, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1616 retval = tem;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1617 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1618 gimple_call_set_lhs (call, retval);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1619 update_stmt (call);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1620 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1621 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1622 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1623 gsi_insert_after (&gsi, call, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1624 if (tsan_func_exit_call)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1625 gsi_insert_after (&gsi, tsan_func_exit_call, GSI_NEW_STMT);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1626 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1627 /* We don't use return block (there is either no return in function or
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1628 multiple of them). So create new basic block with return statement.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1629 */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1630 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1631 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1632 greturn *ret;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1633 if (split_point->split_part_set_retval
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1634 && !VOID_TYPE_P (TREE_TYPE (TREE_TYPE (current_function_decl))))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1635 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1636 retval = DECL_RESULT (current_function_decl);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1637
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1638 /* We use temporary register to hold value when aggregate_value_p
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1639 is false. Similarly for DECL_BY_REFERENCE we must avoid extra
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1640 copy. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1641 if (!aggregate_value_p (retval, TREE_TYPE (current_function_decl))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1642 && !DECL_BY_REFERENCE (retval))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1643 retval = create_tmp_reg (TREE_TYPE (retval));
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1644 if (is_gimple_reg (retval))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1645 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1646 /* When returning by reference, there is only one SSA name
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1647 assigned to RESULT_DECL (that is pointer to return value).
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1648 Look it up or create new one if it is missing. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1649 if (DECL_BY_REFERENCE (retval))
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1650 retval = get_or_create_ssa_default_def (cfun, retval);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1651 /* Otherwise produce new SSA name for return value. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1652 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1653 retval = make_ssa_name (retval, call);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1654 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1655 if (DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1656 gimple_call_set_lhs (call, build_simple_mem_ref (retval));
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1657 else
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1658 gimple_call_set_lhs (call, retval);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1659 gsi_insert_after (&gsi, call, GSI_NEW_STMT);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1660 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1661 else
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1662 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1663 gsi_insert_after (&gsi, call, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1664 if (retval
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1665 && is_gimple_reg_type (TREE_TYPE (retval))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1666 && !is_gimple_val (retval))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1667 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1668 gassign *g
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1669 = gimple_build_assign (make_ssa_name (TREE_TYPE (retval)),
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1670 retval);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1671 retval = gimple_assign_lhs (g);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1672 gsi_insert_after (&gsi, g, GSI_NEW_STMT);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1673 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1674 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1675 if (tsan_func_exit_call)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1676 gsi_insert_after (&gsi, tsan_func_exit_call, GSI_NEW_STMT);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1677 ret = gimple_build_return (retval);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1678 gsi_insert_after (&gsi, ret, GSI_NEW_STMT);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1679 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1680 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1681 free_dominance_info (CDI_DOMINATORS);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1682 free_dominance_info (CDI_POST_DOMINATORS);
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1683 compute_fn_summary (node, true);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1684 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1685
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1686 /* Execute function splitting pass. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1687
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1688 static unsigned int
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1689 execute_split_functions (void)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1690 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1691 gimple_stmt_iterator bsi;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1692 basic_block bb;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1693 sreal overall_time = 0;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1694 int overall_size = 0;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1695 int todo = 0;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1696 struct cgraph_node *node = cgraph_node::get (current_function_decl);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1697
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1698 if (flags_from_decl_or_type (current_function_decl)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1699 & (ECF_NORETURN\|ECF_MALLOC))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1700 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1701 if (dump_file)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1702 fprintf (dump_file, "Not splitting: noreturn/malloc function.\n");
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1703 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1704 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1705 if (MAIN_NAME_P (DECL_NAME (current_function_decl)))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1706 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1707 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1708 fprintf (dump_file, "Not splitting: main function.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1709 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1710 }
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1711 if (node->frequency == NODE_FREQUENCY_UNLIKELY_EXECUTED)
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1712 {
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1713 if (dump_file)
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1714 fprintf (dump_file, "Not splitting: function is unlikely executed.\n");
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1715 return 0;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1716 }
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1717 /* This can be relaxed; function might become inlinable after splitting
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1718 away the uninlinable part. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1719 if (ipa_fn_summaries
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1720 && ipa_fn_summaries->get (node)
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1721 && !ipa_fn_summaries->get (node)->inlinable)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1722 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1723 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1724 fprintf (dump_file, "Not splitting: not inlinable.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1725 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1726 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1727 if (DECL_DISREGARD_INLINE_LIMITS (node->decl))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1728 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1729 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1730 fprintf (dump_file, "Not splitting: disregarding inline limits.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1731 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1732 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1733 /* This can be relaxed; most of versioning tests actually prevents
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1734 a duplication. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1735 if (!tree_versionable_function_p (current_function_decl))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1736 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1737 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1738 fprintf (dump_file, "Not splitting: not versionable.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1739 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1740 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1741 /* FIXME: we could support this. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1742 if (DECL_STRUCT_FUNCTION (current_function_decl)->static_chain_decl)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1743 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1744 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1745 fprintf (dump_file, "Not splitting: nested function.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1746 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1747 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1748
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1749 /* See if it makes sense to try to split.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1750 It makes sense to split if we inline, that is if we have direct calls to
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1751 handle or direct calls are possibly going to appear as result of indirect
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1752 inlining or LTO. Also handle -fprofile-generate as LTO to allow non-LTO
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1753 training for LTO -fprofile-use build.
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1754
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1755 Note that we are not completely conservative about disqualifying functions
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1756 called once. It is possible that the caller is called more then once and
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1757 then inlining would still benefit. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1758 if ((!node->callers
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1759 /* Local functions called once will be completely inlined most of time. */
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1760 \|\| (!node->callers->next_caller && node->local))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1761 && !node->address_taken
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1762 && !node->has_aliases_p ()
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1763 && (!flag_lto \|\| !node->externally_visible))
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1764 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1765 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1766 fprintf (dump_file, "Not splitting: not called directly "
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1767 "or called once.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1768 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1769 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1770
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1771 /* FIXME: We can actually split if splitting reduces call overhead. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1772 if (!flag_inline_small_functions
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1773 && !DECL_DECLARED_INLINE_P (current_function_decl))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1774 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1775 if (dump_file)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1776 fprintf (dump_file, "Not splitting: not autoinlining and function"
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1777 " is not inline.\n");
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1778 return 0;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1779 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1780
145 1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1781 if (lookup_attribute ("noinline", DECL_ATTRIBUTES (current_function_decl)))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1782 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1783 if (dump_file)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1784 fprintf (dump_file, "Not splitting: function is noinline.\n");
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1785 return 0;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1786 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1787 if (lookup_attribute ("section", DECL_ATTRIBUTES (current_function_decl)))
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1788 {
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1789 if (dump_file)
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1790 fprintf (dump_file, "Not splitting: function is in user defined "
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1791 "section.\n");
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1792 return 0;
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1793 }
1830386684a0 gcc-9.2.0 anatofuz parents: 131 diff changeset	1794
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1795 /* We enforce splitting after loop headers when profile info is not
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1796 available. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1797 if (profile_status_for_fn (cfun) != PROFILE_READ)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1798 mark_dfs_back_edges ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1799
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1800 /* Initialize bitmap to track forbidden calls. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1801 forbidden_dominators = BITMAP_ALLOC (NULL);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1802 calculate_dominance_info (CDI_DOMINATORS);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1803
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1804 /* Compute local info about basic blocks and determine function size/time. */
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1805 bb_info_vec.safe_grow_cleared (last_basic_block_for_fn (cfun) + 1);
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1806 best_split_point.split_bbs = NULL;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1807 basic_block return_bb = find_return_bb ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1808 int tsan_exit_found = -1;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1809 FOR_EACH_BB_FN (bb, cfun)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1810 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1811 sreal time = 0;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1812 int size = 0;
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1813 sreal freq = bb->count.to_sreal_scale
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1814 (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1815
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1816 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1817 fprintf (dump_file, "Basic block %i\n", bb->index);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1818
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1819 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1820 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1821 sreal this_time;
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1822 int this_size;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1823 gimple *stmt = gsi_stmt (bsi);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1824
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1825 this_size = estimate_num_insns (stmt, &eni_size_weights);
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1826 this_time = (sreal)estimate_num_insns (stmt, &eni_time_weights)
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1827 * freq;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1828 size += this_size;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1829 time += this_time;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1830 check_forbidden_calls (stmt);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1831
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1832 if (dump_file && (dump_flags & TDF_DETAILS))
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1833 {
131 84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1834 fprintf (dump_file, " freq:%4.2f size:%3i time:%4.2f ",
84e7813d76e9 gcc-8.2 mir3636 parents: 111 diff changeset	1835 freq.to_double (), this_size, this_time.to_double ());
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1836 print_gimple_stmt (dump_file, stmt, 0);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1837 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1838
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1839 if ((flag_sanitize & SANITIZE_THREAD)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1840 && gimple_call_internal_p (stmt, IFN_TSAN_FUNC_EXIT))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1841 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1842 /* We handle TSAN_FUNC_EXIT for splitting either in the
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1843 return_bb, or in its immediate predecessors. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1844 if ((bb != return_bb && !find_edge (bb, return_bb))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1845 \|\| (tsan_exit_found != -1
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1846 && tsan_exit_found != (bb != return_bb)))
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1847 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1848 if (dump_file)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1849 fprintf (dump_file, "Not splitting: TSAN_FUNC_EXIT"
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1850 " in unexpected basic block.\n");
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1851 BITMAP_FREE (forbidden_dominators);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1852 bb_info_vec.release ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1853 return 0;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1854 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1855 tsan_exit_found = bb != return_bb;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1856 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1857 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1858 overall_time += time;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1859 overall_size += size;
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1860 bb_info_vec[bb->index].time = time;
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1861 bb_info_vec[bb->index].size = size;
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1862 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1863 find_split_points (return_bb, overall_time, overall_size);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1864 if (best_split_point.split_bbs)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1865 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1866 split_function (return_bb, &best_split_point, tsan_exit_found == 1);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1867 BITMAP_FREE (best_split_point.ssa_names_to_pass);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1868 BITMAP_FREE (best_split_point.split_bbs);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1869 todo = TODO_update_ssa \| TODO_cleanup_cfg;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1870 }
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1871 BITMAP_FREE (forbidden_dominators);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1872 bb_info_vec.release ();
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1873 return todo;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1874 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1875
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1876 namespace {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1877
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1878 const pass_data pass_data_split_functions =
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1879 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1880 GIMPLE_PASS, /* type */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1881 "fnsplit", /* name */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1882 OPTGROUP_NONE, /* optinfo_flags */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1883 TV_IPA_FNSPLIT, /* tv_id */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1884 PROP_cfg, /* properties_required */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1885 0, /* properties_provided */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1886 0, /* properties_destroyed */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1887 0, /* todo_flags_start */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1888 0, /* todo_flags_finish */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1889 };
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1890
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1891 class pass_split_functions : public gimple_opt_pass
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1892 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1893 public:
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1894 pass_split_functions (gcc::context *ctxt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1895 : gimple_opt_pass (pass_data_split_functions, ctxt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1896 {}
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1897
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1898 /* opt_pass methods: */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1899 virtual bool gate (function *);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1900 virtual unsigned int execute (function *)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1901 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1902 return execute_split_functions ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1903 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1904
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1905 }; // class pass_split_functions
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1906
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1907 bool
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1908 pass_split_functions::gate (function *)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1909 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1910 /* When doing profile feedback, we want to execute the pass after profiling
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1911 is read. So disable one in early optimization. */
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1912 return (flag_partial_inlining
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1913 && !profile_arc_flag && !flag_branch_probabilities);
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1914 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1915
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1916 } // anon namespace
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1917
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1918 gimple_opt_pass *
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1919 make_pass_split_functions (gcc::context *ctxt)
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1920 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1921 return new pass_split_functions (ctxt);
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1922 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1923
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1924 /* Execute function splitting pass. */
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1925
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1926 static unsigned int
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1927 execute_feedback_split_functions (void)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1928 {
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1929 unsigned int retval = execute_split_functions ();
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1930 if (retval)
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1931 retval \|= TODO_rebuild_cgraph_edges;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1932 return retval;
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1933 }
561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1934
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1935 namespace {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1936
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1937 const pass_data pass_data_feedback_split_functions =
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1938 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1939 GIMPLE_PASS, /* type */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1940 "feedback_fnsplit", /* name */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1941 OPTGROUP_NONE, /* optinfo_flags */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1942 TV_IPA_FNSPLIT, /* tv_id */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1943 PROP_cfg, /* properties_required */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1944 0, /* properties_provided */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1945 0, /* properties_destroyed */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1946 0, /* todo_flags_start */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1947 0, /* todo_flags_finish */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1948 };
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1949
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1950 class pass_feedback_split_functions : public gimple_opt_pass
68 561a7518be6b update gcc-4.6 Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1951 {
111 04ced10e8804 gcc 7 kono parents: 68 diff changeset	1952 public:
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1953 pass_feedback_split_functions (gcc::context *ctxt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1954 : gimple_opt_pass (pass_data_feedback_split_functions, ctxt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1955 {}
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1956
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1957 /* opt_pass methods: */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1958 virtual bool gate (function *);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1959 virtual unsigned int execute (function *)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1960 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1961 return execute_feedback_split_functions ();
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1962 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1963
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1964 }; // class pass_feedback_split_functions
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1965
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1966 bool
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1967 pass_feedback_split_functions::gate (function *)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1968 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1969 /* We don't need to split when profiling at all, we are producing
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1970 lousy code anyway. */
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1971 return (flag_partial_inlining
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1972 && flag_branch_probabilities);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1973 }
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1974
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1975 } // anon namespace
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1976
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1977 gimple_opt_pass *
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1978 make_pass_feedback_split_functions (gcc::context *ctxt)
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1979 {
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1980 return new pass_feedback_split_functions (ctxt);
04ced10e8804 gcc 7 kono parents: 68 diff changeset	1981 }

Mercurial > hg > CbC > CbC_gcc

annotate gcc/ipa-split.c @ 145:1830386684a0