1 /* Header file for routines that straddle the border between GIMPLE and
3 Copyright (C) 2009-2013 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 #ifndef GCC_GIMPLE_SSA_H
22 #define GCC_GIMPLE_SSA_H
24 /* This structure is used to map a gimple statement to a label,
25 or list of labels to represent transaction restart. */
27 struct GTY(()) tm_restart_node
{
32 /* Gimple dataflow datastructure. All publicly available fields shall have
33 gimple_ accessor defined, all publicly modifiable fields should have
34 gimple_set accessor. */
35 struct GTY(()) gimple_df
{
36 /* A vector of all the noreturn calls passed to modify_stmt.
37 cleanup_control_flow uses it to detect cases where a mid-block
38 indirect call has been turned into a noreturn call. When this
39 happens, all the instructions after the call are no longer
40 reachable and must be deleted as dead. */
41 vec
<gimple
, va_gc
> *modified_noreturn_calls
;
43 /* Array of all SSA_NAMEs used in the function. */
44 vec
<tree
, va_gc
> *ssa_names
;
46 /* Artificial variable used for the virtual operand FUD chain. */
49 /* The PTA solution for the ESCAPED artificial variable. */
50 struct pt_solution escaped
;
52 /* A map of decls to artificial ssa-names that point to the partition
54 struct pointer_map_t
* GTY((skip(""))) decls_to_pointers
;
56 /* Free list of SSA_NAMEs. */
57 vec
<tree
, va_gc
> *free_ssanames
;
59 /* Hashtable holding definition for symbol. If this field is not NULL, it
60 means that the first reference to this variable in the function is a
61 USE or a VUSE. In those cases, the SSA renamer creates an SSA name
62 for this variable with an empty defining statement. */
63 htab_t
GTY((param_is (union tree_node
))) default_defs
;
65 /* True if there are any symbols that need to be renamed. */
66 unsigned int ssa_renaming_needed
: 1;
68 /* True if all virtual operands need to be renamed. */
69 unsigned int rename_vops
: 1;
71 /* True if the code is in ssa form. */
72 unsigned int in_ssa_p
: 1;
74 /* True if IPA points-to information was computed for this function. */
75 unsigned int ipa_pta
: 1;
77 struct ssa_operands ssa_operands
;
79 /* Map gimple stmt to tree label (or list of labels) for transaction
81 htab_t
GTY ((param_is (struct tm_restart_node
))) tm_restart
;
85 /* Return true when gimple SSA form was built.
86 gimple_in_ssa_p is queried by gimplifier in various early stages before SSA
87 infrastructure is initialized. Check for presence of the datastructures
90 gimple_in_ssa_p (const struct function
*fun
)
92 return fun
&& fun
->gimple_df
&& fun
->gimple_df
->in_ssa_p
;
95 /* Inline functions for manipulating various data structures defined in
96 tree-flow.h. See tree-flow.h for documentation. */
98 /* Artificial variable used for the virtual operand FUD chain. */
100 gimple_vop (const struct function
*fun
)
102 gcc_checking_assert (fun
&& fun
->gimple_df
);
103 return fun
->gimple_df
->vop
;
106 /* Return the set of VUSE operand for statement G. */
108 static inline use_operand_p
109 gimple_vuse_op (const_gimple g
)
111 struct use_optype_d
*ops
;
112 if (!gimple_has_mem_ops (g
))
113 return NULL_USE_OPERAND_P
;
114 ops
= g
->gsops
.opbase
.use_ops
;
116 && USE_OP_PTR (ops
)->use
== &g
->gsmembase
.vuse
)
117 return USE_OP_PTR (ops
);
118 return NULL_USE_OPERAND_P
;
121 /* Return the set of VDEF operand for statement G. */
123 static inline def_operand_p
124 gimple_vdef_op (gimple g
)
126 if (!gimple_has_mem_ops (g
))
127 return NULL_DEF_OPERAND_P
;
128 if (g
->gsmembase
.vdef
)
129 return &g
->gsmembase
.vdef
;
130 return NULL_DEF_OPERAND_P
;
133 /* Mark statement S as modified, and update it. */
136 update_stmt (gimple s
)
138 if (gimple_has_ops (s
))
140 gimple_set_modified (s
, true);
141 update_stmt_operands (s
);
145 /* Update statement S if it has been optimized. */
148 update_stmt_if_modified (gimple s
)
150 if (gimple_modified_p (s
))
151 update_stmt_operands (s
);
155 #endif /* GCC_GIMPLE_SSA_H */