CbC/GCC_original: gcc/tree-sra.c annotate

annotate gcc/tree-sra.c @ 16:04ced10e8804

gcc 7

author	kono
date	Fri, 27 Oct 2017 22:46:09 +0900
parents	f6334be47118
children	84e7813d76e9

rev	line source
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1 /* Scalar Replacement of Aggregates (SRA) converts some structure
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	2 references into scalar references, exposing them to the scalar
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	3 optimizers.
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	4 Copyright (C) 2008-2017 Free Software Foundation, Inc.
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	5 Contributed by Martin Jambor <mjambor@suse.cz>
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	6
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	7 This file is part of GCC.
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	8
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	9 GCC is free software; you can redistribute it and/or modify it under
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	10 the terms of the GNU General Public License as published by the Free
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	11 Software Foundation; either version 3, or (at your option) any later
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	12 version.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	13
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	17 for more details.
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	18
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	19 You should have received a copy of the GNU General Public License
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	20 along with GCC; see the file COPYING3. If not see
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	21 <http://www.gnu.org/licenses/>. */
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	22
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	23 /* This file implements Scalar Reduction of Aggregates (SRA). SRA is run
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	24 twice, once in the early stages of compilation (early SRA) and once in the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	25 late stages (late SRA). The aim of both is to turn references to scalar
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	26 parts of aggregates into uses of independent scalar variables.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	27
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	28 The two passes are nearly identical, the only difference is that early SRA
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	29 does not scalarize unions which are used as the result in a GIMPLE_RETURN
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	30 statement because together with inlining this can lead to weird type
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	31 conversions.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	32
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	33 Both passes operate in four stages:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	34
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	35 1. The declarations that have properties which make them candidates for
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	36 scalarization are identified in function find_var_candidates(). The
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	37 candidates are stored in candidate_bitmap.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	38
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	39 2. The function body is scanned. In the process, declarations which are
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	40 used in a manner that prevent their scalarization are removed from the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	41 candidate bitmap. More importantly, for every access into an aggregate,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	42 an access structure (struct access) is created by create_access() and
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	43 stored in a vector associated with the aggregate. Among other
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	44 information, the aggregate declaration, the offset and size of the access
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	45 and its type are stored in the structure.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	46
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	47 On a related note, assign_link structures are created for every assign
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	48 statement between candidate aggregates and attached to the related
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	49 accesses.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	50
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	51 3. The vectors of accesses are analyzed. They are first sorted according to
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	52 their offset and size and then scanned for partially overlapping accesses
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	53 (i.e. those which overlap but one is not entirely within another). Such
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	54 an access disqualifies the whole aggregate from being scalarized.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	55
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	56 If there is no such inhibiting overlap, a representative access structure
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	57 is chosen for every unique combination of offset and size. Afterwards,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	58 the pass builds a set of trees from these structures, in which children
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	59 of an access are within their parent (in terms of offset and size).
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	60
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	61 Then accesses are propagated whenever possible (i.e. in cases when it
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	62 does not create a partially overlapping access) across assign_links from
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	63 the right hand side to the left hand side.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	64
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	65 Then the set of trees for each declaration is traversed again and those
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	66 accesses which should be replaced by a scalar are identified.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	67
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	68 4. The function is traversed again, and for every reference into an
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	69 aggregate that has some component which is about to be scalarized,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	70 statements are amended and new statements are created as necessary.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	71 Finally, if a parameter got scalarized, the scalar replacements are
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	72 initialized with values from respective parameter aggregates. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	73
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	74 #include "config.h"
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	75 #include "system.h"
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	76 #include "coretypes.h"
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	77 #include "backend.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	78 #include "target.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	79 #include "rtl.h"
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	80 #include "tree.h"
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	81 #include "gimple.h"
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	82 #include "predict.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	83 #include "alloc-pool.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	84 #include "tree-pass.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	85 #include "ssa.h"
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	86 #include "cgraph.h"
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	87 #include "gimple-pretty-print.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	88 #include "alias.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	89 #include "fold-const.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	90 #include "tree-eh.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	91 #include "stor-layout.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	92 #include "gimplify.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	93 #include "gimple-iterator.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	94 #include "gimplify-me.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	95 #include "gimple-walk.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	96 #include "tree-cfg.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	97 #include "tree-dfa.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	98 #include "tree-ssa.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	99 #include "symbol-summary.h"
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	100 #include "ipa-prop.h"
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	101 #include "params.h"
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	102 #include "dbgcnt.h"
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	103 #include "tree-inline.h"
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	104 #include "ipa-fnsummary.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	105 #include "ipa-utils.h"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	106 #include "builtins.h"
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	107
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	108 /* Enumeration of all aggregate reductions we can do. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	109 enum sra_mode { SRA_MODE_EARLY_IPA, /* early call regularization */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	110 SRA_MODE_EARLY_INTRA, /* early intraprocedural SRA */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	111 SRA_MODE_INTRA }; /* late intraprocedural SRA */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	112
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	113 /* Global variable describing which aggregate reduction we are performing at
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	114 the moment. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	115 static enum sra_mode sra_mode;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	116
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	117 struct assign_link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	118
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	119 /* ACCESS represents each access to an aggregate variable (as a whole or a
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	120 part). It can also represent a group of accesses that refer to exactly the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	121 same fragment of an aggregate (i.e. those that have exactly the same offset
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	122 and size). Such representatives for a single aggregate, once determined,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	123 are linked in a linked list and have the group fields set.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	124
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	125 Moreover, when doing intraprocedural SRA, a tree is built from those
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	126 representatives (by the means of first_child and next_sibling pointers), in
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	127 which all items in a subtree are "within" the root, i.e. their offset is
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	128 greater or equal to offset of the root and offset+size is smaller or equal
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	129 to offset+size of the root. Children of an access are sorted by offset.
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	130
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	131 Note that accesses to parts of vector and complex number types always
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	132 represented by an access to the whole complex number or a vector. It is a
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	133 duty of the modifying functions to replace them appropriately. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	134
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	135 struct access
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	136 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	137 /* Values returned by `get_ref_base_and_extent' for each component reference
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	138 If EXPR isn't a component reference just set `BASE = EXPR', `OFFSET = 0',
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	139 `SIZE = TREE_SIZE (TREE_TYPE (expr))'. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	140 HOST_WIDE_INT offset;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	141 HOST_WIDE_INT size;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	142 tree base;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	143
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	144 /* Expression. It is context dependent so do not use it to create new
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	145 expressions to access the original aggregate. See PR 42154 for a
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	146 testcase. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	147 tree expr;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	148 /* Type. */
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	149 tree type;
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	150
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	151 /* The statement this access belongs to. */
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	152 gimple *stmt;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	153
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	154 /* Next group representative for this aggregate. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	155 struct access *next_grp;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	156
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	157 /* Pointer to the group representative. Pointer to itself if the struct is
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	158 the representative. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	159 struct access *group_representative;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	160
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	161 /* After access tree has been constructed, this points to the parent of the
04ced10e8804 gcc 7 kono parents: 14 diff changeset	162 current access, if there is one. NULL for roots. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	163 struct access *parent;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	164
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	165 /* If this access has any children (in terms of the definition above), this
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	166 points to the first one. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	167 struct access *first_child;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	168
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	169 /* In intraprocedural SRA, pointer to the next sibling in the access tree as
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	170 described above. In IPA-SRA this is a pointer to the next access
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	171 belonging to the same group (having the same representative). */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	172 struct access *next_sibling;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	173
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	174 /* Pointers to the first and last element in the linked list of assign
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	175 links. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	176 struct assign_link first_link, last_link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	177
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	178 /* Pointer to the next access in the work queue. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	179 struct access *next_queued;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	180
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	181 /* Replacement variable for this access "region." Never to be accessed
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	182 directly, always only by the means of get_access_replacement() and only
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	183 when grp_to_be_replaced flag is set. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	184 tree replacement_decl;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	185
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	186 /* Is this access an access to a non-addressable field? */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	187 unsigned non_addressable : 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	188
04ced10e8804 gcc 7 kono parents: 14 diff changeset	189 /* Is this access made in reverse storage order? */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	190 unsigned reverse : 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	191
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	192 /* Is this particular access write access? */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	193 unsigned write : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	194
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	195 /* Is this access currently in the work queue? */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	196 unsigned grp_queued : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	197
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	198 /* Does this group contain a write access? This flag is propagated down the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	199 access tree. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	200 unsigned grp_write : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	201
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	202 /* Does this group contain a read access? This flag is propagated down the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	203 access tree. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	204 unsigned grp_read : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	205
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	206 /* Does this group contain a read access that comes from an assignment
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	207 statement? This flag is propagated down the access tree. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	208 unsigned grp_assignment_read : 1;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	209
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	210 /* Does this group contain a write access that comes from an assignment
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	211 statement? This flag is propagated down the access tree. */
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	212 unsigned grp_assignment_write : 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	213
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	214 /* Does this group contain a read access through a scalar type? This flag is
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	215 not propagated in the access tree in any direction. */
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	216 unsigned grp_scalar_read : 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	217
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	218 /* Does this group contain a write access through a scalar type? This flag
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	219 is not propagated in the access tree in any direction. */
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	220 unsigned grp_scalar_write : 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	221
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	222 /* Is this access an artificial one created to scalarize some record
04ced10e8804 gcc 7 kono parents: 14 diff changeset	223 entirely? */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	224 unsigned grp_total_scalarization : 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	225
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	226 /* Other passes of the analysis use this bit to make function
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	227 analyze_access_subtree create scalar replacements for this group if
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	228 possible. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	229 unsigned grp_hint : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	230
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	231 /* Is the subtree rooted in this access fully covered by scalar
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	232 replacements? */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	233 unsigned grp_covered : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	234
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	235 /* If set to true, this access and all below it in an access tree must not be
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	236 scalarized. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	237 unsigned grp_unscalarizable_region : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	238
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	239 /* Whether data have been written to parts of the aggregate covered by this
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	240 access which is not to be scalarized. This flag is propagated up in the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	241 access tree. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	242 unsigned grp_unscalarized_data : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	243
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	244 /* Does this access and/or group contain a write access through a
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	245 BIT_FIELD_REF? */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	246 unsigned grp_partial_lhs : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	247
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	248 /* Set when a scalar replacement should be created for this variable. */
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	249 unsigned grp_to_be_replaced : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	250
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	251 /* Set when we want a replacement for the sole purpose of having it in
04ced10e8804 gcc 7 kono parents: 14 diff changeset	252 generated debug statements. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	253 unsigned grp_to_be_debug_replaced : 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	254
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	255 /* Should TREE_NO_WARNING of a replacement be set? */
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	256 unsigned grp_no_warning : 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	257
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	258 /* Is it possible that the group refers to data which might be (directly or
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	259 otherwise) modified? */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	260 unsigned grp_maybe_modified : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	261
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	262 /* Set when this is a representative of a pointer to scalar (i.e. by
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	263 reference) parameter which we consider for turning into a plain scalar
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	264 (i.e. a by value parameter). */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	265 unsigned grp_scalar_ptr : 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	266
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	267 /* Set when we discover that this pointer is not safe to dereference in the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	268 caller. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	269 unsigned grp_not_necessarilly_dereferenced : 1;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	270 };
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	271
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	272 typedef struct access *access_p;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	273
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	274
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	275 /* Alloc pool for allocating access structures. */
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	276 static object_allocator<struct access> access_pool ("SRA accesses");
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	277
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	278 /* A structure linking lhs and rhs accesses from an aggregate assignment. They
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	279 are used to propagate subaccesses from rhs to lhs as long as they don't
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	280 conflict with what is already there. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	281 struct assign_link
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	282 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	283 struct access lacc, racc;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	284 struct assign_link *next;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	285 };
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	286
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	287 /* Alloc pool for allocating assign link structures. */
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	288 static object_allocator<assign_link> assign_link_pool ("SRA links");
04ced10e8804 gcc 7 kono parents: 14 diff changeset	289
04ced10e8804 gcc 7 kono parents: 14 diff changeset	290 /* Base (tree) -> Vector (vec<access_p> ) map. /
04ced10e8804 gcc 7 kono parents: 14 diff changeset	291 static hash_map<tree, auto_vec<access_p> > *base_access_vec;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	292
04ced10e8804 gcc 7 kono parents: 14 diff changeset	293 /* Candidate hash table helpers. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	294
04ced10e8804 gcc 7 kono parents: 14 diff changeset	295 struct uid_decl_hasher : nofree_ptr_hash <tree_node>
04ced10e8804 gcc 7 kono parents: 14 diff changeset	296 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	297 static inline hashval_t hash (const tree_node *);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	298 static inline bool equal (const tree_node , const tree_node );
04ced10e8804 gcc 7 kono parents: 14 diff changeset	299 };
04ced10e8804 gcc 7 kono parents: 14 diff changeset	300
04ced10e8804 gcc 7 kono parents: 14 diff changeset	301 /* Hash a tree in a uid_decl_map. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	302
04ced10e8804 gcc 7 kono parents: 14 diff changeset	303 inline hashval_t
04ced10e8804 gcc 7 kono parents: 14 diff changeset	304 uid_decl_hasher::hash (const tree_node *item)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	305 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	306 return item->decl_minimal.uid;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	307 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	308
04ced10e8804 gcc 7 kono parents: 14 diff changeset	309 /* Return true if the DECL_UID in both trees are equal. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	310
04ced10e8804 gcc 7 kono parents: 14 diff changeset	311 inline bool
04ced10e8804 gcc 7 kono parents: 14 diff changeset	312 uid_decl_hasher::equal (const tree_node a, const tree_node b)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	313 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	314 return (a->decl_minimal.uid == b->decl_minimal.uid);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	315 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	316
04ced10e8804 gcc 7 kono parents: 14 diff changeset	317 /* Set of candidates. */
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	318 static bitmap candidate_bitmap;
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	319 static hash_table<uid_decl_hasher> *candidates;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	320
04ced10e8804 gcc 7 kono parents: 14 diff changeset	321 /* For a candidate UID return the candidates decl. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	322
04ced10e8804 gcc 7 kono parents: 14 diff changeset	323 static inline tree
04ced10e8804 gcc 7 kono parents: 14 diff changeset	324 candidate (unsigned uid)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	325 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	326 tree_node t;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	327 t.decl_minimal.uid = uid;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	328 return candidates->find_with_hash (&t, static_cast <hashval_t> (uid));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	329 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	330
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	331 /* Bitmap of candidates which we should try to entirely scalarize away and
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	332 those which cannot be (because they are and need be used as a whole). */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	333 static bitmap should_scalarize_away_bitmap, cannot_scalarize_away_bitmap;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	334
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	335 /* Bitmap of candidates in the constant pool, which cannot be scalarized
04ced10e8804 gcc 7 kono parents: 14 diff changeset	336 because this would produce non-constant expressions (e.g. Ada). */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	337 static bitmap disqualified_constants;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	338
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	339 /* Obstack for creation of fancy names. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	340 static struct obstack name_obstack;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	341
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	342 /* Head of a linked list of accesses that need to have its subaccesses
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	343 propagated to their assignment counterparts. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	344 static struct access *work_queue_head;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	345
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	346 /* Number of parameters of the analyzed function when doing early ipa SRA. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	347 static int func_param_count;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	348
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	349 /* scan_function sets the following to true if it encounters a call to
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	350 __builtin_apply_args. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	351 static bool encountered_apply_args;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	352
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	353 /* Set by scan_function when it finds a recursive call. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	354 static bool encountered_recursive_call;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	355
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	356 /* Set by scan_function when it finds a recursive call with less actual
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	357 arguments than formal parameters.. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	358 static bool encountered_unchangable_recursive_call;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	359
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	360 /* This is a table in which for each basic block and parameter there is a
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	361 distance (offset + size) in that parameter which is dereferenced and
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	362 accessed in that BB. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	363 static HOST_WIDE_INT *bb_dereferences;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	364 /* Bitmap of BBs that can cause the function to "stop" progressing by
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	365 returning, throwing externally, looping infinitely or calling a function
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	366 which might abort etc.. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	367 static bitmap final_bbs;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	368
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	369 /* Representative of no accesses at all. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	370 static struct access no_accesses_representant;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	371
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	372 /* Predicate to test the special value. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	373
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	374 static inline bool
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	375 no_accesses_p (struct access *access)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	376 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	377 return access == &no_accesses_representant;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	378 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	379
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	380 /* Dump contents of ACCESS to file F in a human friendly way. If GRP is true,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	381 representative fields are dumped, otherwise those which only describe the
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	382 individual access are. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	383
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	384 static struct
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	385 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	386 /* Number of processed aggregates is readily available in
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	387 analyze_all_variable_accesses and so is not stored here. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	388
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	389 /* Number of created scalar replacements. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	390 int replacements;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	391
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	392 /* Number of times sra_modify_expr or sra_modify_assign themselves changed an
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	393 expression. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	394 int exprs;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	395
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	396 /* Number of statements created by generate_subtree_copies. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	397 int subtree_copies;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	398
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	399 /* Number of statements created by load_assign_lhs_subreplacements. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	400 int subreplacements;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	401
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	402 /* Number of times sra_modify_assign has deleted a statement. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	403 int deleted;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	404
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	405 /* Number of times sra_modify_assign has to deal with subaccesses of LHS and
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	406 RHS reparately due to type conversions or nonexistent matching
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	407 references. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	408 int separate_lhs_rhs_handling;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	409
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	410 /* Number of parameters that were removed because they were unused. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	411 int deleted_unused_parameters;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	412
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	413 /* Number of scalars passed as parameters by reference that have been
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	414 converted to be passed by value. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	415 int scalar_by_ref_to_by_val;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	416
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	417 /* Number of aggregate parameters that were replaced by one or more of their
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	418 components. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	419 int aggregate_params_reduced;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	420
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	421 /* Numbber of components created when splitting aggregate parameters. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	422 int param_reductions_created;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	423 } sra_stats;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	424
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	425 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	426 dump_access (FILE f, struct access access, bool grp)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	427 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	428 fprintf (f, "access { ");
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	429 fprintf (f, "base = (%d)'", DECL_UID (access->base));
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	430 print_generic_expr (f, access->base);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	431 fprintf (f, "', offset = " HOST_WIDE_INT_PRINT_DEC, access->offset);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	432 fprintf (f, ", size = " HOST_WIDE_INT_PRINT_DEC, access->size);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	433 fprintf (f, ", expr = ");
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	434 print_generic_expr (f, access->expr);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	435 fprintf (f, ", type = ");
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	436 print_generic_expr (f, access->type);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	437 fprintf (f, ", non_addressable = %d, reverse = %d",
04ced10e8804 gcc 7 kono parents: 14 diff changeset	438 access->non_addressable, access->reverse);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	439 if (grp)
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	440 fprintf (f, ", grp_read = %d, grp_write = %d, grp_assignment_read = %d, "
04ced10e8804 gcc 7 kono parents: 14 diff changeset	441 "grp_assignment_write = %d, grp_scalar_read = %d, "
04ced10e8804 gcc 7 kono parents: 14 diff changeset	442 "grp_scalar_write = %d, grp_total_scalarization = %d, "
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	443 "grp_hint = %d, grp_covered = %d, "
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	444 "grp_unscalarizable_region = %d, grp_unscalarized_data = %d, "
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	445 "grp_partial_lhs = %d, grp_to_be_replaced = %d, "
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	446 "grp_to_be_debug_replaced = %d, grp_maybe_modified = %d, "
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	447 "grp_not_necessarilly_dereferenced = %d\n",
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	448 access->grp_read, access->grp_write, access->grp_assignment_read,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	449 access->grp_assignment_write, access->grp_scalar_read,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	450 access->grp_scalar_write, access->grp_total_scalarization,
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	451 access->grp_hint, access->grp_covered,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	452 access->grp_unscalarizable_region, access->grp_unscalarized_data,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	453 access->grp_partial_lhs, access->grp_to_be_replaced,
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	454 access->grp_to_be_debug_replaced, access->grp_maybe_modified,
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	455 access->grp_not_necessarilly_dereferenced);
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	456 else
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	457 fprintf (f, ", write = %d, grp_total_scalarization = %d, "
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	458 "grp_partial_lhs = %d\n",
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	459 access->write, access->grp_total_scalarization,
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	460 access->grp_partial_lhs);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	461 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	462
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	463 /* Dump a subtree rooted in ACCESS to file F, indent by LEVEL. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	464
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	465 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	466 dump_access_tree_1 (FILE f, struct access access, int level)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	467 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	468 do
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	469 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	470 int i;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	471
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	472 for (i = 0; i < level; i++)
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	473 fputs ("* ", f);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	474
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	475 dump_access (f, access, true);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	476
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	477 if (access->first_child)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	478 dump_access_tree_1 (f, access->first_child, level + 1);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	479
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	480 access = access->next_sibling;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	481 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	482 while (access);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	483 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	484
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	485 /* Dump all access trees for a variable, given the pointer to the first root in
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	486 ACCESS. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	487
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	488 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	489 dump_access_tree (FILE f, struct access access)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	490 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	491 for (; access; access = access->next_grp)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	492 dump_access_tree_1 (f, access, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	493 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	494
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	495 /* Return true iff ACC is non-NULL and has subaccesses. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	496
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	497 static inline bool
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	498 access_has_children_p (struct access *acc)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	499 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	500 return acc && acc->first_child;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	501 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	502
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	503 /* Return true iff ACC is (partly) covered by at least one replacement. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	504
04ced10e8804 gcc 7 kono parents: 14 diff changeset	505 static bool
04ced10e8804 gcc 7 kono parents: 14 diff changeset	506 access_has_replacements_p (struct access *acc)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	507 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	508 struct access *child;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	509 if (acc->grp_to_be_replaced)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	510 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	511 for (child = acc->first_child; child; child = child->next_sibling)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	512 if (access_has_replacements_p (child))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	513 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	514 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	515 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	516
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	517 /* Return a vector of pointers to accesses for the variable given in BASE or
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	518 NULL if there is none. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	519
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	520 static vec<access_p> *
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	521 get_base_access_vector (tree base)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	522 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	523 return base_access_vec->get (base);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	524 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	525
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	526 /* Find an access with required OFFSET and SIZE in a subtree of accesses rooted
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	527 in ACCESS. Return NULL if it cannot be found. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	528
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	529 static struct access *
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	530 find_access_in_subtree (struct access *access, HOST_WIDE_INT offset,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	531 HOST_WIDE_INT size)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	532 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	533 while (access && (access->offset != offset \|\| access->size != size))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	534 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	535 struct access *child = access->first_child;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	536
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	537 while (child && (child->offset + child->size <= offset))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	538 child = child->next_sibling;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	539 access = child;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	540 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	541
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	542 return access;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	543 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	544
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	545 /* Return the first group representative for DECL or NULL if none exists. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	546
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	547 static struct access *
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	548 get_first_repr_for_decl (tree base)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	549 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	550 vec<access_p> *access_vec;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	551
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	552 access_vec = get_base_access_vector (base);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	553 if (!access_vec)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	554 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	555
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	556 return (*access_vec)[0];
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	557 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	558
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	559 /* Find an access representative for the variable BASE and given OFFSET and
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	560 SIZE. Requires that access trees have already been built. Return NULL if
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	561 it cannot be found. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	562
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	563 static struct access *
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	564 get_var_base_offset_size_access (tree base, HOST_WIDE_INT offset,
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	565 HOST_WIDE_INT size)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	566 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	567 struct access *access;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	568
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	569 access = get_first_repr_for_decl (base);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	570 while (access && (access->offset + access->size <= offset))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	571 access = access->next_grp;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	572 if (!access)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	573 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	574
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	575 return find_access_in_subtree (access, offset, size);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	576 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	577
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	578 /* Add LINK to the linked list of assign links of RACC. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	579 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	580 add_link_to_rhs (struct access racc, struct assign_link link)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	581 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	582 gcc_assert (link->racc == racc);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	583
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	584 if (!racc->first_link)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	585 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	586 gcc_assert (!racc->last_link);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	587 racc->first_link = link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	588 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	589 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	590 racc->last_link->next = link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	591
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	592 racc->last_link = link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	593 link->next = NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	594 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	595
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	596 /* Move all link structures in their linked list in OLD_RACC to the linked list
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	597 in NEW_RACC. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	598 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	599 relink_to_new_repr (struct access new_racc, struct access old_racc)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	600 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	601 if (!old_racc->first_link)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	602 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	603 gcc_assert (!old_racc->last_link);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	604 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	605 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	606
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	607 if (new_racc->first_link)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	608 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	609 gcc_assert (!new_racc->last_link->next);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	610 gcc_assert (!old_racc->last_link \|\| !old_racc->last_link->next);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	611
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	612 new_racc->last_link->next = old_racc->first_link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	613 new_racc->last_link = old_racc->last_link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	614 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	615 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	616 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	617 gcc_assert (!new_racc->last_link);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	618
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	619 new_racc->first_link = old_racc->first_link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	620 new_racc->last_link = old_racc->last_link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	621 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	622 old_racc->first_link = old_racc->last_link = NULL;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	623 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	624
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	625 /* Add ACCESS to the work queue (which is actually a stack). */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	626
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	627 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	628 add_access_to_work_queue (struct access *access)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	629 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	630 if (access->first_link && !access->grp_queued)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	631 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	632 gcc_assert (!access->next_queued);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	633 access->next_queued = work_queue_head;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	634 access->grp_queued = 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	635 work_queue_head = access;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	636 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	637 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	638
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	639 /* Pop an access from the work queue, and return it, assuming there is one. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	640
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	641 static struct access *
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	642 pop_access_from_work_queue (void)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	643 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	644 struct access *access = work_queue_head;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	645
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	646 work_queue_head = access->next_queued;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	647 access->next_queued = NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	648 access->grp_queued = 0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	649 return access;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	650 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	651
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	652
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	653 /* Allocate necessary structures. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	654
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	655 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	656 sra_initialize (void)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	657 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	658 candidate_bitmap = BITMAP_ALLOC (NULL);
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	659 candidates = new hash_table<uid_decl_hasher>
04ced10e8804 gcc 7 kono parents: 14 diff changeset	660 (vec_safe_length (cfun->local_decls) / 2);
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	661 should_scalarize_away_bitmap = BITMAP_ALLOC (NULL);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	662 cannot_scalarize_away_bitmap = BITMAP_ALLOC (NULL);
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	663 disqualified_constants = BITMAP_ALLOC (NULL);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	664 gcc_obstack_init (&name_obstack);
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	665 base_access_vec = new hash_map<tree, auto_vec<access_p> >;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	666 memset (&sra_stats, 0, sizeof (sra_stats));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	667 encountered_apply_args = false;
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	668 encountered_recursive_call = false;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	669 encountered_unchangable_recursive_call = false;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	670 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	671
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	672 /* Deallocate all general structures. */
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	673
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	674 static void
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	675 sra_deinitialize (void)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	676 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	677 BITMAP_FREE (candidate_bitmap);
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	678 delete candidates;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	679 candidates = NULL;
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	680 BITMAP_FREE (should_scalarize_away_bitmap);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	681 BITMAP_FREE (cannot_scalarize_away_bitmap);
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	682 BITMAP_FREE (disqualified_constants);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	683 access_pool.release ();
04ced10e8804 gcc 7 kono parents: 14 diff changeset	684 assign_link_pool.release ();
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	685 obstack_free (&name_obstack, NULL);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	686
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	687 delete base_access_vec;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	688 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	689
04ced10e8804 gcc 7 kono parents: 14 diff changeset	690 /* Return true if DECL is a VAR_DECL in the constant pool, false otherwise. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	691
04ced10e8804 gcc 7 kono parents: 14 diff changeset	692 static bool constant_decl_p (tree decl)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	693 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	694 return VAR_P (decl) && DECL_IN_CONSTANT_POOL (decl);
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	695 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	696
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	697 /* Remove DECL from candidates for SRA and write REASON to the dump file if
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	698 there is one. */
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	699
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	700 static void
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	701 disqualify_candidate (tree decl, const char *reason)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	702 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	703 if (bitmap_clear_bit (candidate_bitmap, DECL_UID (decl)))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	704 candidates->remove_elt_with_hash (decl, DECL_UID (decl));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	705 if (constant_decl_p (decl))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	706 bitmap_set_bit (disqualified_constants, DECL_UID (decl));
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	707
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	708 if (dump_file && (dump_flags & TDF_DETAILS))
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	709 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	710 fprintf (dump_file, "! Disqualifying ");
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	711 print_generic_expr (dump_file, decl);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	712 fprintf (dump_file, " - %s\n", reason);
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	713 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	714 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	715
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	716 /* Return true iff the type contains a field or an element which does not allow
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	717 scalarization. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	718
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	719 static bool
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	720 type_internals_preclude_sra_p (tree type, const char **msg)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	721 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	722 tree fld;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	723 tree et;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	724
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	725 switch (TREE_CODE (type))
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	726 {
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	727 case RECORD_TYPE:
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	728 case UNION_TYPE:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	729 case QUAL_UNION_TYPE:
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	730 for (fld = TYPE_FIELDS (type); fld; fld = DECL_CHAIN (fld))
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	731 if (TREE_CODE (fld) == FIELD_DECL)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	732 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	733 tree ft = TREE_TYPE (fld);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	734
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	735 if (TREE_THIS_VOLATILE (fld))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	736 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	737 *msg = "volatile structure field";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	738 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	739 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	740 if (!DECL_FIELD_OFFSET (fld))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	741 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	742 *msg = "no structure field offset";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	743 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	744 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	745 if (!DECL_SIZE (fld))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	746 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	747 *msg = "zero structure field size";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	748 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	749 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	750 if (!tree_fits_uhwi_p (DECL_FIELD_OFFSET (fld)))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	751 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	752 *msg = "structure field offset not fixed";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	753 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	754 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	755 if (!tree_fits_uhwi_p (DECL_SIZE (fld)))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	756 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	757 *msg = "structure field size not fixed";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	758 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	759 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	760 if (!tree_fits_shwi_p (bit_position (fld)))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	761 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	762 *msg = "structure field size too big";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	763 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	764 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	765 if (AGGREGATE_TYPE_P (ft)
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	766 && int_bit_position (fld) % BITS_PER_UNIT != 0)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	767 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	768 *msg = "structure field is bit field";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	769 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	770 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	771
04ced10e8804 gcc 7 kono parents: 14 diff changeset	772 if (AGGREGATE_TYPE_P (ft) && type_internals_preclude_sra_p (ft, msg))
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	773 return true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	774 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	775
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	776 return false;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	777
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	778 case ARRAY_TYPE:
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	779 et = TREE_TYPE (type);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	780
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	781 if (TYPE_VOLATILE (et))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	782 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	783 *msg = "element type is volatile";
04ced10e8804 gcc 7 kono parents: 14 diff changeset	784 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	785 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	786
04ced10e8804 gcc 7 kono parents: 14 diff changeset	787 if (AGGREGATE_TYPE_P (et) && type_internals_preclude_sra_p (et, msg))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	788 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	789
04ced10e8804 gcc 7 kono parents: 14 diff changeset	790 return false;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	791
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	792 default:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	793 return false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	794 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	795 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	796
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	797 /* If T is an SSA_NAME, return NULL if it is not a default def or return its
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	798 base variable if it is. Return T if it is not an SSA_NAME. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	799
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	800 static tree
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	801 get_ssa_base_param (tree t)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	802 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	803 if (TREE_CODE (t) == SSA_NAME)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	804 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	805 if (SSA_NAME_IS_DEFAULT_DEF (t))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	806 return SSA_NAME_VAR (t);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	807 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	808 return NULL_TREE;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	809 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	810 return t;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	811 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	812
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	813 /* Mark a dereference of BASE of distance DIST in a basic block tht STMT
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	814 belongs to, unless the BB has already been marked as a potentially
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	815 final. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	816
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	817 static void
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	818 mark_parm_dereference (tree base, HOST_WIDE_INT dist, gimple *stmt)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	819 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	820 basic_block bb = gimple_bb (stmt);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	821 int idx, parm_index = 0;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	822 tree parm;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	823
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	824 if (bitmap_bit_p (final_bbs, bb->index))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	825 return;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	826
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	827 for (parm = DECL_ARGUMENTS (current_function_decl);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	828 parm && parm != base;
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	829 parm = DECL_CHAIN (parm))
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	830 parm_index++;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	831
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	832 gcc_assert (parm_index < func_param_count);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	833
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	834 idx = bb->index * func_param_count + parm_index;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	835 if (bb_dereferences[idx] < dist)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	836 bb_dereferences[idx] = dist;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	837 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	838
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	839 /* Allocate an access structure for BASE, OFFSET and SIZE, clear it, fill in
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	840 the three fields. Also add it to the vector of accesses corresponding to
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	841 the base. Finally, return the new access. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	842
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	843 static struct access *
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	844 create_access_1 (tree base, HOST_WIDE_INT offset, HOST_WIDE_INT size)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	845 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	846 struct access *access = access_pool.allocate ();
04ced10e8804 gcc 7 kono parents: 14 diff changeset	847
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	848 memset (access, 0, sizeof (struct access));
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	849 access->base = base;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	850 access->offset = offset;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	851 access->size = size;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	852
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	853 base_access_vec->get_or_insert (base).safe_push (access);
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	854
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	855 return access;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	856 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	857
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	858 static bool maybe_add_sra_candidate (tree);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	859
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	860 /* Create and insert access for EXPR. Return created access, or NULL if it is
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	861 not possible. Also scan for uses of constant pool as we go along and add
04ced10e8804 gcc 7 kono parents: 14 diff changeset	862 to candidates. */
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	863
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	864 static struct access *
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	865 create_access (tree expr, gimple *stmt, bool write)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	866 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	867 struct access *access;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	868 HOST_WIDE_INT offset, size, max_size;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	869 tree base = expr;
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	870 bool reverse, ptr, unscalarizable_region = false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	871
04ced10e8804 gcc 7 kono parents: 14 diff changeset	872 base = get_ref_base_and_extent (expr, &offset, &size, &max_size, &reverse);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	873
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	874 if (sra_mode == SRA_MODE_EARLY_IPA
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	875 && TREE_CODE (base) == MEM_REF)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	876 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	877 base = get_ssa_base_param (TREE_OPERAND (base, 0));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	878 if (!base)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	879 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	880 ptr = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	881 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	882 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	883 ptr = false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	884
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	885 /* For constant-pool entries, check we can substitute the constant value. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	886 if (constant_decl_p (base)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	887 && (sra_mode == SRA_MODE_EARLY_INTRA \|\| sra_mode == SRA_MODE_INTRA))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	888 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	889 gcc_assert (!bitmap_bit_p (disqualified_constants, DECL_UID (base)));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	890 if (expr != base
04ced10e8804 gcc 7 kono parents: 14 diff changeset	891 && !is_gimple_reg_type (TREE_TYPE (expr))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	892 && dump_file && (dump_flags & TDF_DETAILS))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	893 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	894 /* This occurs in Ada with accesses to ARRAY_RANGE_REFs,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	895 and elements of multidimensional arrays (which are
04ced10e8804 gcc 7 kono parents: 14 diff changeset	896 multi-element arrays in their own right). */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	897 fprintf (dump_file, "Allowing non-reg-type load of part"
04ced10e8804 gcc 7 kono parents: 14 diff changeset	898 " of constant-pool entry: ");
04ced10e8804 gcc 7 kono parents: 14 diff changeset	899 print_generic_expr (dump_file, expr);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	900 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	901 maybe_add_sra_candidate (base);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	902 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	903
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	904 if (!DECL_P (base) \|\| !bitmap_bit_p (candidate_bitmap, DECL_UID (base)))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	905 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	906
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	907 if (sra_mode == SRA_MODE_EARLY_IPA)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	908 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	909 if (size < 0 \|\| size != max_size)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	910 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	911 disqualify_candidate (base, "Encountered a variable sized access.");
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	912 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	913 }
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	914 if (TREE_CODE (expr) == COMPONENT_REF
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	915 && DECL_BIT_FIELD (TREE_OPERAND (expr, 1)))
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	916 {
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	917 disqualify_candidate (base, "Encountered a bit-field access.");
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	918 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	919 }
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	920 gcc_checking_assert ((offset % BITS_PER_UNIT) == 0);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	921
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	922 if (ptr)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	923 mark_parm_dereference (base, offset + size, stmt);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	924 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	925 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	926 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	927 if (size != max_size)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	928 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	929 size = max_size;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	930 unscalarizable_region = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	931 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	932 if (size < 0)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	933 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	934 disqualify_candidate (base, "Encountered an unconstrained access.");
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	935 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	936 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	937 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	938
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	939 access = create_access_1 (base, offset, size);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	940 access->expr = expr;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	941 access->type = TREE_TYPE (expr);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	942 access->write = write;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	943 access->grp_unscalarizable_region = unscalarizable_region;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	944 access->stmt = stmt;
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	945 access->reverse = reverse;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	946
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	947 if (TREE_CODE (expr) == COMPONENT_REF
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	948 && DECL_NONADDRESSABLE_P (TREE_OPERAND (expr, 1)))
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	949 access->non_addressable = 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	950
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	951 return access;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	952 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	953
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	954
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	955 /* Return true iff TYPE is scalarizable - i.e. a RECORD_TYPE or fixed-length
04ced10e8804 gcc 7 kono parents: 14 diff changeset	956 ARRAY_TYPE with fields that are either of gimple register types (excluding
04ced10e8804 gcc 7 kono parents: 14 diff changeset	957 bit-fields) or (recursively) scalarizable types. CONST_DECL must be true if
04ced10e8804 gcc 7 kono parents: 14 diff changeset	958 we are considering a decl from constant pool. If it is false, char arrays
04ced10e8804 gcc 7 kono parents: 14 diff changeset	959 will be refused. */
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	960
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	961 static bool
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	962 scalarizable_type_p (tree type, bool const_decl)
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	963 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	964 gcc_assert (!is_gimple_reg_type (type));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	965 if (type_contains_placeholder_p (type))
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	966 return false;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	967
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	968 switch (TREE_CODE (type))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	969 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	970 case RECORD_TYPE:
04ced10e8804 gcc 7 kono parents: 14 diff changeset	971 for (tree fld = TYPE_FIELDS (type); fld; fld = DECL_CHAIN (fld))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	972 if (TREE_CODE (fld) == FIELD_DECL)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	973 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	974 tree ft = TREE_TYPE (fld);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	975
04ced10e8804 gcc 7 kono parents: 14 diff changeset	976 if (DECL_BIT_FIELD (fld))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	977 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	978
04ced10e8804 gcc 7 kono parents: 14 diff changeset	979 if (!is_gimple_reg_type (ft)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	980 && !scalarizable_type_p (ft, const_decl))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	981 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	982 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	983
04ced10e8804 gcc 7 kono parents: 14 diff changeset	984 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	985
04ced10e8804 gcc 7 kono parents: 14 diff changeset	986 case ARRAY_TYPE:
04ced10e8804 gcc 7 kono parents: 14 diff changeset	987 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	988 HOST_WIDE_INT min_elem_size;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	989 if (const_decl)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	990 min_elem_size = 0;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	991 else
04ced10e8804 gcc 7 kono parents: 14 diff changeset	992 min_elem_size = BITS_PER_UNIT;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	993
04ced10e8804 gcc 7 kono parents: 14 diff changeset	994 if (TYPE_DOMAIN (type) == NULL_TREE
04ced10e8804 gcc 7 kono parents: 14 diff changeset	995 \|\| !tree_fits_shwi_p (TYPE_SIZE (type))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	996 \|\| !tree_fits_shwi_p (TYPE_SIZE (TREE_TYPE (type)))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	997 \|\| (tree_to_shwi (TYPE_SIZE (TREE_TYPE (type))) <= min_elem_size)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	998 \|\| !tree_fits_shwi_p (TYPE_MIN_VALUE (TYPE_DOMAIN (type))))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	999 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1000 if (tree_to_shwi (TYPE_SIZE (type)) == 0
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1001 && TYPE_MAX_VALUE (TYPE_DOMAIN (type)) == NULL_TREE)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1002 /* Zero-element array, should not prevent scalarization. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1003 ;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1004 else if ((tree_to_shwi (TYPE_SIZE (type)) <= 0)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1005 \|\| !tree_fits_shwi_p (TYPE_MAX_VALUE (TYPE_DOMAIN (type))))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1006 /* Variable-length array, do not allow scalarization. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1007 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1008
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1009 tree elem = TREE_TYPE (type);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1010 if (!is_gimple_reg_type (elem)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1011 && !scalarizable_type_p (elem, const_decl))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1012 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1013 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1014 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1015 default:
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1016 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1017 }
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1018 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1019
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1020 static void scalarize_elem (tree, HOST_WIDE_INT, HOST_WIDE_INT, bool, tree, tree);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1021
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1022 /* Create total_scalarization accesses for all scalar fields of a member
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1023 of type DECL_TYPE conforming to scalarizable_type_p. BASE
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1024 must be the top-most VAR_DECL representing the variable; within that,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1025 OFFSET locates the member and REF must be the memory reference expression for
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1026 the member. */
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1027
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1028 static void
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1029 completely_scalarize (tree base, tree decl_type, HOST_WIDE_INT offset, tree ref)
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1030 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1031 switch (TREE_CODE (decl_type))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1032 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1033 case RECORD_TYPE:
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1034 for (tree fld = TYPE_FIELDS (decl_type); fld; fld = DECL_CHAIN (fld))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1035 if (TREE_CODE (fld) == FIELD_DECL)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1036 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1037 HOST_WIDE_INT pos = offset + int_bit_position (fld);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1038 tree ft = TREE_TYPE (fld);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1039 tree nref = build3 (COMPONENT_REF, ft, ref, fld, NULL_TREE);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1040
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1041 scalarize_elem (base, pos, tree_to_uhwi (DECL_SIZE (fld)),
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1042 TYPE_REVERSE_STORAGE_ORDER (decl_type),
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1043 nref, ft);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1044 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1045 break;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1046 case ARRAY_TYPE:
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1047 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1048 tree elemtype = TREE_TYPE (decl_type);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1049 tree elem_size = TYPE_SIZE (elemtype);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1050 gcc_assert (elem_size && tree_fits_shwi_p (elem_size));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1051 HOST_WIDE_INT el_size = tree_to_shwi (elem_size);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1052 gcc_assert (el_size > 0);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1053
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1054 tree minidx = TYPE_MIN_VALUE (TYPE_DOMAIN (decl_type));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1055 gcc_assert (TREE_CODE (minidx) == INTEGER_CST);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1056 tree maxidx = TYPE_MAX_VALUE (TYPE_DOMAIN (decl_type));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1057 /* Skip (some) zero-length arrays; others have MAXIDX == MINIDX - 1. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1058 if (maxidx)
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1059 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1060 gcc_assert (TREE_CODE (maxidx) == INTEGER_CST);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1061 tree domain = TYPE_DOMAIN (decl_type);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1062 /* MINIDX and MAXIDX are inclusive, and must be interpreted in
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1063 DOMAIN (e.g. signed int, whereas min/max may be size_int). */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1064 offset_int idx = wi::to_offset (minidx);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1065 offset_int max = wi::to_offset (maxidx);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1066 if (!TYPE_UNSIGNED (domain))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1067 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1068 idx = wi::sext (idx, TYPE_PRECISION (domain));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1069 max = wi::sext (max, TYPE_PRECISION (domain));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1070 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1071 for (int el_off = offset; idx <= max; ++idx)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1072 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1073 tree nref = build4 (ARRAY_REF, elemtype,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1074 ref,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1075 wide_int_to_tree (domain, idx),
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1076 NULL_TREE, NULL_TREE);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1077 scalarize_elem (base, el_off, el_size,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1078 TYPE_REVERSE_STORAGE_ORDER (decl_type),
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1079 nref, elemtype);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1080 el_off += el_size;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1081 }
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1082 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1083 }
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1084 break;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1085 default:
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1086 gcc_unreachable ();
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1087 }
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1088 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1089
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1090 /* Create total_scalarization accesses for a member of type TYPE, which must
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1091 satisfy either is_gimple_reg_type or scalarizable_type_p. BASE must be the
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1092 top-most VAR_DECL representing the variable; within that, POS and SIZE locate
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1093 the member, REVERSE gives its torage order. and REF must be the reference
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1094 expression for it. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1095
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1096 static void
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1097 scalarize_elem (tree base, HOST_WIDE_INT pos, HOST_WIDE_INT size, bool reverse,
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1098 tree ref, tree type)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1099 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1100 if (is_gimple_reg_type (type))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1101 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1102 struct access *access = create_access_1 (base, pos, size);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1103 access->expr = ref;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1104 access->type = type;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1105 access->grp_total_scalarization = 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1106 access->reverse = reverse;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1107 /* Accesses for intraprocedural SRA can have their stmt NULL. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1108 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1109 else
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1110 completely_scalarize (base, type, pos, ref);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1111 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1112
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1113 /* Create a total_scalarization access for VAR as a whole. VAR must be of a
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1114 RECORD_TYPE or ARRAY_TYPE conforming to scalarizable_type_p. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1115
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1116 static void
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1117 create_total_scalarization_access (tree var)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1118 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1119 HOST_WIDE_INT size = tree_to_uhwi (DECL_SIZE (var));
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1120 struct access *access;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1121
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1122 access = create_access_1 (var, 0, size);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1123 access->expr = var;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1124 access->type = TREE_TYPE (var);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1125 access->grp_total_scalarization = 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1126 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1127
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1128 /* Return true if REF has an VIEW_CONVERT_EXPR somewhere in it. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1129
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1130 static inline bool
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1131 contains_view_convert_expr_p (const_tree ref)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1132 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1133 while (handled_component_p (ref))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1134 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1135 if (TREE_CODE (ref) == VIEW_CONVERT_EXPR)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1136 return true;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1137 ref = TREE_OPERAND (ref, 0);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1138 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1139
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1140 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1141 }
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1142
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1143 /* Search the given tree for a declaration by skipping handled components and
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1144 exclude it from the candidates. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1145
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1146 static void
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1147 disqualify_base_of_expr (tree t, const char *reason)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1148 {
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1149 t = get_base_address (t);
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1150 if (sra_mode == SRA_MODE_EARLY_IPA
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1151 && TREE_CODE (t) == MEM_REF)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1152 t = get_ssa_base_param (TREE_OPERAND (t, 0));
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1153
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1154 if (t && DECL_P (t))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1155 disqualify_candidate (t, reason);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1156 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1157
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1158 /* Scan expression EXPR and create access structures for all accesses to
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1159 candidates for scalarization. Return the created access or NULL if none is
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1160 created. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1161
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1162 static struct access *
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1163 build_access_from_expr_1 (tree expr, gimple *stmt, bool write)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1164 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1165 struct access *ret = NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1166 bool partial_ref;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1167
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1168 if (TREE_CODE (expr) == BIT_FIELD_REF
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1169 \|\| TREE_CODE (expr) == IMAGPART_EXPR
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1170 \|\| TREE_CODE (expr) == REALPART_EXPR)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1171 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1172 expr = TREE_OPERAND (expr, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1173 partial_ref = true;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1174 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1175 else
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1176 partial_ref = false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1177
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1178 if (storage_order_barrier_p (expr))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1179 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1180 disqualify_base_of_expr (expr, "storage order barrier.");
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1181 return NULL;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1182 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1183
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1184 /* We need to dive through V_C_Es in order to get the size of its parameter
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1185 and not the result type. Ada produces such statements. We are also
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1186 capable of handling the topmost V_C_E but not any of those buried in other
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1187 handled components. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1188 if (TREE_CODE (expr) == VIEW_CONVERT_EXPR)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1189 expr = TREE_OPERAND (expr, 0);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1190
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1191 if (contains_view_convert_expr_p (expr))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1192 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1193 disqualify_base_of_expr (expr, "V_C_E under a different handled "
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1194 "component.");
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1195 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1196 }
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1197 if (TREE_THIS_VOLATILE (expr))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1198 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1199 disqualify_base_of_expr (expr, "part of a volatile reference.");
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1200 return NULL;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1201 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1202
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1203 switch (TREE_CODE (expr))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1204 {
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1205 case MEM_REF:
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1206 if (TREE_CODE (TREE_OPERAND (expr, 0)) != ADDR_EXPR
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1207 && sra_mode != SRA_MODE_EARLY_IPA)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1208 return NULL;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1209 /* fall through */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1210 case VAR_DECL:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1211 case PARM_DECL:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1212 case RESULT_DECL:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1213 case COMPONENT_REF:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1214 case ARRAY_REF:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1215 case ARRAY_RANGE_REF:
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1216 ret = create_access (expr, stmt, write);
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1217 break;
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1218
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1219 default:
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1220 break;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1221 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1222
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1223 if (write && partial_ref && ret)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1224 ret->grp_partial_lhs = 1;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1225
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1226 return ret;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1227 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1228
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1229 /* Scan expression EXPR and create access structures for all accesses to
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1230 candidates for scalarization. Return true if any access has been inserted.
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1231 STMT must be the statement from which the expression is taken, WRITE must be
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1232 true if the expression is a store and false otherwise. */
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1233
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1234 static bool
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1235 build_access_from_expr (tree expr, gimple *stmt, bool write)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1236 {
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1237 struct access *access;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1238
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1239 access = build_access_from_expr_1 (expr, stmt, write);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1240 if (access)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1241 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1242 /* This means the aggregate is accesses as a whole in a way other than an
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1243 assign statement and thus cannot be removed even if we had a scalar
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1244 replacement for everything. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1245 if (cannot_scalarize_away_bitmap)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1246 bitmap_set_bit (cannot_scalarize_away_bitmap, DECL_UID (access->base));
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1247 return true;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1248 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1249 return false;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1250 }
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1251
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1252 /* Return the single non-EH successor edge of BB or NULL if there is none or
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1253 more than one. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1254
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1255 static edge
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1256 single_non_eh_succ (basic_block bb)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1257 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1258 edge e, res = NULL;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1259 edge_iterator ei;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1260
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1261 FOR_EACH_EDGE (e, ei, bb->succs)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1262 if (!(e->flags & EDGE_EH))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1263 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1264 if (res)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1265 return NULL;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1266 res = e;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1267 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1268
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1269 return res;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1270 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1271
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1272 /* Disqualify LHS and RHS for scalarization if STMT has to terminate its BB and
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1273 there is no alternative spot where to put statements SRA might need to
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1274 generate after it. The spot we are looking for is an edge leading to a
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1275 single non-EH successor, if it exists and is indeed single. RHS may be
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1276 NULL, in that case ignore it. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1277
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1278 static bool
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1279 disqualify_if_bad_bb_terminating_stmt (gimple *stmt, tree lhs, tree rhs)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1280 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1281 if ((sra_mode == SRA_MODE_EARLY_INTRA \|\| sra_mode == SRA_MODE_INTRA)
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1282 && stmt_ends_bb_p (stmt))
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1283 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1284 if (single_non_eh_succ (gimple_bb (stmt)))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1285 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1286
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1287 disqualify_base_of_expr (lhs, "LHS of a throwing stmt.");
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1288 if (rhs)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1289 disqualify_base_of_expr (rhs, "RHS of a throwing stmt.");
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1290 return true;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1291 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1292 return false;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1293 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1294
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1295 /* Return true if the nature of BASE is such that it contains data even if
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1296 there is no write to it in the function. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1297
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1298 static bool
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1299 comes_initialized_p (tree base)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1300 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1301 return TREE_CODE (base) == PARM_DECL \|\| constant_decl_p (base);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1302 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1303
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1304 /* Scan expressions occurring in STMT, create access structures for all accesses
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1305 to candidates for scalarization and remove those candidates which occur in
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1306 statements or expressions that prevent them from being split apart. Return
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1307 true if any access has been inserted. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1308
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1309 static bool
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1310 build_accesses_from_assign (gimple *stmt)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1311 {
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1312 tree lhs, rhs;
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1313 struct access lacc, racc;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1314
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1315 if (!gimple_assign_single_p (stmt)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1316 /* Scope clobbers don't influence scalarization. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1317 \|\| gimple_clobber_p (stmt))
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1318 return false;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1319
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1320 lhs = gimple_assign_lhs (stmt);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1321 rhs = gimple_assign_rhs1 (stmt);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1322
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1323 if (disqualify_if_bad_bb_terminating_stmt (stmt, lhs, rhs))
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1324 return false;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1325
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1326 racc = build_access_from_expr_1 (rhs, stmt, false);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1327 lacc = build_access_from_expr_1 (lhs, stmt, true);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1328
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1329 if (lacc)
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1330 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1331 lacc->grp_assignment_write = 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1332 if (storage_order_barrier_p (rhs))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1333 lacc->grp_unscalarizable_region = 1;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1334 }
14 f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318 nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 11 diff changeset	1335
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1336 if (racc)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1337 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1338 racc->grp_assignment_read = 1;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1339 if (should_scalarize_away_bitmap && !gimple_has_volatile_ops (stmt)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1340 && !is_gimple_reg_type (racc->type))
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1341 bitmap_set_bit (should_scalarize_away_bitmap, DECL_UID (racc->base));
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1342 if (storage_order_barrier_p (lhs))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1343 racc->grp_unscalarizable_region = 1;
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1344 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1345
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1346 if (lacc && racc
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1347 && (sra_mode == SRA_MODE_EARLY_INTRA \|\| sra_mode == SRA_MODE_INTRA)
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1348 && !lacc->grp_unscalarizable_region
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1349 && !racc->grp_unscalarizable_region
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1350 && AGGREGATE_TYPE_P (TREE_TYPE (lhs))
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1351 && lacc->size == racc->size
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1352 && useless_type_conversion_p (lacc->type, racc->type))
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1353 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1354 struct assign_link *link;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1355
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1356 link = assign_link_pool.allocate ();
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1357 memset (link, 0, sizeof (struct assign_link));
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1358
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1359 link->lacc = lacc;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1360 link->racc = racc;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1361 add_link_to_rhs (racc, link);
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1362 add_access_to_work_queue (racc);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1363
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1364 /* Let's delay marking the areas as written until propagation of accesses
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1365 across link, unless the nature of rhs tells us that its data comes
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1366 from elsewhere. */
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1367 if (!comes_initialized_p (racc->base))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1368 lacc->write = false;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1369 }
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1370
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1371 return lacc \|\| racc;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1372 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1373
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1374 /* Callback of walk_stmt_load_store_addr_ops visit_addr used to determine
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1375 GIMPLE_ASM operands with memory constrains which cannot be scalarized. */
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1376
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1377 static bool
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1378 asm_visit_addr (gimple , tree op, tree, void )
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1379 {
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1380 op = get_base_address (op);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1381 if (op
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1382 && DECL_P (op))
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1383 disqualify_candidate (op, "Non-scalarizable GIMPLE_ASM operand.");
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1384
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1385 return false;
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1386 }
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1387
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1388 /* Return true iff callsite CALL has at least as many actual arguments as there
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1389 are formal parameters of the function currently processed by IPA-SRA and
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1390 that their types match. */
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1391
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1392 static inline bool
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1393 callsite_arguments_match_p (gimple *call)
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1394 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1395 if (gimple_call_num_args (call) < (unsigned) func_param_count)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1396 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1397
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1398 tree parm;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1399 int i;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1400 for (parm = DECL_ARGUMENTS (current_function_decl), i = 0;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1401 parm;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1402 parm = DECL_CHAIN (parm), i++)
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1403 {
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1404 tree arg = gimple_call_arg (call, i);
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1405 if (!useless_type_conversion_p (TREE_TYPE (parm), TREE_TYPE (arg)))
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1406 return false;
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1407 }
04ced10e8804 gcc 7 kono parents: 14 diff changeset	1408 return true;
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1409 }
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1410
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1411 /* Scan function and look for interesting expressions and create access
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1412 structures for them. Return true iff any access is created. */
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1413
a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1414 static bool
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1415 scan_function (void)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1416 {
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1417 basic_block bb;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1418 bool ret = false;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1419
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1420 FOR_EACH_BB_FN (bb, cfun)
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1421 {
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1422 gimple_stmt_iterator gsi;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1423 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
0 a06113de4d67 first commit kent <kent@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1424 {
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1425 gimple *stmt = gsi_stmt (gsi);
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1426 tree t;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1427 unsigned i;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1428
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1429 if (final_bbs && stmt_can_throw_external (stmt))
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1430 bitmap_set_bit (final_bbs, bb->index);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1431 switch (gimple_code (stmt))
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1432 {
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1433 case GIMPLE_RETURN:
16 04ced10e8804 gcc 7 kono parents: 14 diff changeset	1434 t = gimple_return_retval (as_a <greturn *> (stmt));
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1435 if (t != NULL_TREE)
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1436 ret \|= build_access_from_expr (t, stmt, false);
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1437 if (final_bbs)
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1438 bitmap_set_bit (final_bbs, bb->index);
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1439 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1440
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1441 case GIMPLE_ASSIGN:
11 b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 9 diff changeset	1442 ret \|= build_accesses_from_assign (stmt);
9 77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff changeset	1443 break;
77e2b8dfacca update it from 4.4.3 to 4.5.0 ryoma <e075725@ie.u-ryukyu.ac.jp> parents: 0 diff

Mercurial > hg > CbC > GCC_original

annotate gcc/tree-sra.c @ 16:04ced10e8804