1 /* SSA name expresssons routines
2 Copyright (C) 2013-2016 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #ifndef GCC_TREE_SSANAMES_H
21 #define GCC_TREE_SSANAMES_H
23 /* Aliasing information for SSA_NAMEs representing pointer variables. */
25 struct GTY(()) ptr_info_def
27 /* The points-to solution. */
28 struct pt_solution pt
;
30 /* Alignment and misalignment of the pointer in bytes. Together
31 align and misalign specify low known bits of the pointer.
32 ptr & (align - 1) == misalign. */
34 /* When known, this is the power-of-two byte alignment of the object this
35 pointer points into. This is usually DECL_ALIGN_UNIT for decls and
36 MALLOC_ABI_ALIGNMENT for allocated storage. When the alignment is not
37 known, it is zero. Do not access directly but use functions
38 get_ptr_info_alignment, set_ptr_info_alignment,
39 mark_ptr_info_alignment_unknown and similar. */
42 /* When alignment is known, the byte offset this pointer differs from the
43 above alignment. Access only through the same helper functions as align
45 unsigned int misalign
;
48 /* Value range information for SSA_NAMEs representing non-pointer variables. */
50 struct GTY ((variable_size
)) range_info_def
{
51 /* Minimum, maximum and nonzero bits. */
52 TRAILING_WIDE_INT_ACCESSOR (min
, ints
, 0)
53 TRAILING_WIDE_INT_ACCESSOR (max
, ints
, 1)
54 TRAILING_WIDE_INT_ACCESSOR (nonzero_bits
, ints
, 2)
55 trailing_wide_ints
<3> ints
;
59 #define SSANAMES(fun) (fun)->gimple_df->ssa_names
60 #define DEFAULT_DEFS(fun) (fun)->gimple_df->default_defs
62 #define num_ssa_names (vec_safe_length (cfun->gimple_df->ssa_names))
63 #define ssa_name(i) ((*cfun->gimple_df->ssa_names)[(i)])
65 /* Sets the value range to SSA. */
66 extern void set_range_info (tree
, enum value_range_type
, const wide_int_ref
&,
67 const wide_int_ref
&);
68 /* Gets the value range from SSA. */
69 extern enum value_range_type
get_range_info (const_tree
, wide_int
*,
71 extern void set_nonzero_bits (tree
, const wide_int_ref
&);
72 extern wide_int
get_nonzero_bits (const_tree
);
73 extern bool ssa_name_has_boolean_range (tree
);
74 extern void init_ssanames (struct function
*, int);
75 extern void fini_ssanames (struct function
*);
76 extern void ssanames_print_statistics (void);
77 extern tree
make_ssa_name_fn (struct function
*, tree
, gimple
*);
78 extern void release_ssa_name_fn (struct function
*, tree
);
79 extern bool get_ptr_info_alignment (struct ptr_info_def
*, unsigned int *,
81 extern void mark_ptr_info_alignment_unknown (struct ptr_info_def
*);
82 extern void set_ptr_info_alignment (struct ptr_info_def
*, unsigned int,
84 extern void adjust_ptr_info_misalignment (struct ptr_info_def
*,
86 extern struct ptr_info_def
*get_ptr_info (tree
);
88 extern tree
copy_ssa_name_fn (struct function
*, tree
, gimple
*);
89 extern void duplicate_ssa_name_ptr_info (tree
, struct ptr_info_def
*);
90 extern tree
duplicate_ssa_name_fn (struct function
*, tree
, gimple
*);
91 extern void duplicate_ssa_name_range_info (tree
, enum value_range_type
,
92 struct range_info_def
*);
93 extern void reset_flow_sensitive_info (tree
);
94 extern void reset_flow_sensitive_info_in_bb (basic_block
);
95 extern void release_defs (gimple
*);
96 extern void replace_ssa_name_symbol (tree
, tree
);
97 extern void flush_ssaname_freelist (void);
100 /* Return an SSA_NAME node for variable VAR defined in statement STMT
104 make_ssa_name (tree var
, gimple
*stmt
= NULL
)
106 return make_ssa_name_fn (cfun
, var
, stmt
);
109 /* Return an SSA_NAME node using the template SSA name NAME defined in
110 statement STMT in function cfun. */
113 copy_ssa_name (tree var
, gimple
*stmt
= NULL
)
115 return copy_ssa_name_fn (cfun
, var
, stmt
);
118 /* Creates a duplicate of a SSA name NAME tobe defined by statement STMT
122 duplicate_ssa_name (tree var
, gimple
*stmt
)
124 return duplicate_ssa_name_fn (cfun
, var
, stmt
);
127 /* Release the SSA name NAME used in function cfun. */
130 release_ssa_name (tree name
)
132 release_ssa_name_fn (cfun
, name
);
135 /* Return an anonymous SSA_NAME node for type TYPE defined in statement STMT
136 in function cfun. Arrange so that it uses NAME in dumps. */
139 make_temp_ssa_name (tree type
, gimple
*stmt
, const char *name
)
142 gcc_checking_assert (TYPE_P (type
));
143 ssa_name
= make_ssa_name_fn (cfun
, type
, stmt
);
144 SET_SSA_NAME_VAR_OR_IDENTIFIER (ssa_name
, get_identifier (name
));
149 #endif /* GCC_TREE_SSANAMES_H */