]>
Commit | Line | Data |
---|---|---|
a8783bee | 1 | /* Header file for gimplification. |
3aea1f79 | 2 | Copyright (C) 2013-2014 Free Software Foundation, Inc. |
a8783bee | 3 | |
4 | This file is part of GCC. | |
5 | ||
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 | |
9 | version. | |
10 | ||
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 | |
14 | for more details. | |
15 | ||
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/>. */ | |
19 | ||
20 | #ifndef GCC_GIMPLIFY_H | |
21 | #define GCC_GIMPLIFY_H | |
22 | ||
a8783bee | 23 | /* Validation of GIMPLE expressions. Note that these predicates only check |
24 | the basic form of the expression, they don't recurse to make sure that | |
25 | underlying nodes are also of the right form. */ | |
26 | typedef bool (*gimple_predicate)(tree); | |
27 | ||
28 | /* FIXME we should deduce this from the predicate. */ | |
29 | enum fallback { | |
30 | fb_none = 0, /* Do not generate a temporary. */ | |
31 | ||
32 | fb_rvalue = 1, /* Generate an rvalue to hold the result of a | |
33 | gimplified expression. */ | |
34 | ||
35 | fb_lvalue = 2, /* Generate an lvalue to hold the result of a | |
36 | gimplified expression. */ | |
37 | ||
38 | fb_mayfail = 4, /* Gimplification may fail. Error issued | |
39 | afterwards. */ | |
40 | fb_either= fb_rvalue | fb_lvalue | |
41 | }; | |
42 | ||
43 | typedef int fallback_t; | |
44 | ||
45 | enum gimplify_status { | |
46 | GS_ERROR = -2, /* Something Bad Seen. */ | |
47 | GS_UNHANDLED = -1, /* A langhook result for "I dunno". */ | |
48 | GS_OK = 0, /* We did something, maybe more to do. */ | |
49 | GS_ALL_DONE = 1 /* The expression is fully gimplified. */ | |
50 | }; | |
e795d6e1 | 51 | |
8a4a28a8 | 52 | extern void free_gimplify_stack (void); |
53 | extern void push_gimplify_context (bool in_ssa = false, | |
54 | bool rhs_cond_ok = false); | |
a8783bee | 55 | extern void pop_gimplify_context (gimple); |
1a91d914 | 56 | extern gbind *gimple_current_bind_expr (void); |
57 | extern vec<gbind *> gimple_bind_expr_stack (void); | |
a8783bee | 58 | extern void gimplify_and_add (tree, gimple_seq *); |
59 | extern tree get_formal_tmp_var (tree, gimple_seq *); | |
60 | extern tree get_initialized_tmp_var (tree, gimple_seq *, gimple_seq *); | |
61 | extern void declare_vars (tree, gimple, bool); | |
62 | extern void gimple_add_tmp_var (tree); | |
98107def | 63 | extern void gimple_add_tmp_var_fn (struct function *, tree); |
a8783bee | 64 | extern tree unshare_expr (tree); |
65 | extern tree unshare_expr_without_location (tree); | |
66 | extern tree voidify_wrapper_expr (tree, tree); | |
67 | extern tree build_and_jump (tree *); | |
68 | extern enum gimplify_status gimplify_self_mod_expr (tree *, gimple_seq *, | |
69 | gimple_seq *, bool, tree); | |
70 | extern tree gimple_boolify (tree); | |
e795d6e1 | 71 | extern gimple_predicate rhs_predicate_for (tree); |
a8783bee | 72 | extern bool gimplify_stmt (tree *, gimple_seq *); |
73 | extern void omp_firstprivatize_variable (struct gimplify_omp_ctx *, tree); | |
74 | extern enum gimplify_status gimplify_expr (tree *, gimple_seq *, gimple_seq *, | |
75 | bool (*) (tree), fallback_t); | |
76 | ||
77 | extern void gimplify_type_sizes (tree, gimple_seq *); | |
78 | extern void gimplify_one_sizepos (tree *, gimple_seq *); | |
1a91d914 | 79 | extern gbind *gimplify_body (tree, bool); |
10621300 | 80 | extern enum gimplify_status gimplify_arg (tree *, gimple_seq *, location_t); |
a8783bee | 81 | extern void gimplify_function_tree (tree); |
a8783bee | 82 | extern enum gimplify_status gimplify_va_arg_expr (tree *, gimple_seq *, |
83 | gimple_seq *); | |
84 | gimple gimplify_assign (tree, tree, gimple_seq *); | |
85 | ||
e795d6e1 | 86 | /* Return true if gimplify_one_sizepos doesn't need to gimplify |
87 | expr (when in TYPE_SIZE{,_UNIT} and similar type/decl size/bitsize | |
88 | fields). */ | |
89 | ||
90 | static inline bool | |
91 | is_gimple_sizepos (tree expr) | |
92 | { | |
93 | /* gimplify_one_sizepos doesn't need to do anything if the value isn't there, | |
94 | is constant, or contains A PLACEHOLDER_EXPR. We also don't want to do | |
95 | anything if it's already a VAR_DECL. If it's a VAR_DECL from another | |
96 | function, the gimplifier will want to replace it with a new variable, | |
97 | but that will cause problems if this type is from outside the function. | |
98 | It's OK to have that here. */ | |
99 | return (expr == NULL_TREE | |
100 | || TREE_CONSTANT (expr) | |
101 | || TREE_CODE (expr) == VAR_DECL | |
102 | || CONTAINS_PLACEHOLDER_P (expr)); | |
103 | } | |
104 | ||
a8783bee | 105 | #endif /* GCC_GIMPLIFY_H */ |