123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105 |
- /* Header file for gimplification.
- Copyright (C) 2013-2015 Free Software Foundation, Inc.
- This file is part of GCC.
- GCC is free software; you can redistribute it and/or modify it under
- the terms of the GNU General Public License as published by the Free
- Software Foundation; either version 3, or (at your option) any later
- version.
- GCC is distributed in the hope that it will be useful, but WITHOUT ANY
- WARRANTY; without even the implied warranty of MERCHANTABILITY or
- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- for more details.
- You should have received a copy of the GNU General Public License
- along with GCC; see the file COPYING3. If not see
- <http://www.gnu.org/licenses/>. */
- #ifndef GCC_GIMPLIFY_H
- #define GCC_GIMPLIFY_H
- /* Validation of GIMPLE expressions. Note that these predicates only check
- the basic form of the expression, they don't recurse to make sure that
- underlying nodes are also of the right form. */
- typedef bool (*gimple_predicate)(tree);
- /* FIXME we should deduce this from the predicate. */
- enum fallback {
- fb_none = 0, /* Do not generate a temporary. */
- fb_rvalue = 1, /* Generate an rvalue to hold the result of a
- gimplified expression. */
- fb_lvalue = 2, /* Generate an lvalue to hold the result of a
- gimplified expression. */
- fb_mayfail = 4, /* Gimplification may fail. Error issued
- afterwards. */
- fb_either= fb_rvalue | fb_lvalue
- };
- typedef int fallback_t;
- enum gimplify_status {
- GS_ERROR = -2, /* Something Bad Seen. */
- GS_UNHANDLED = -1, /* A langhook result for "I dunno". */
- GS_OK = 0, /* We did something, maybe more to do. */
- GS_ALL_DONE = 1 /* The expression is fully gimplified. */
- };
- extern void free_gimplify_stack (void);
- extern void push_gimplify_context (bool in_ssa = false,
- bool rhs_cond_ok = false);
- extern void pop_gimplify_context (gimple);
- extern gbind *gimple_current_bind_expr (void);
- extern vec<gbind *> gimple_bind_expr_stack (void);
- extern void gimplify_and_add (tree, gimple_seq *);
- extern tree get_formal_tmp_var (tree, gimple_seq *);
- extern tree get_initialized_tmp_var (tree, gimple_seq *, gimple_seq *);
- extern void declare_vars (tree, gimple, bool);
- extern void gimple_add_tmp_var (tree);
- extern void gimple_add_tmp_var_fn (struct function *, tree);
- extern tree unshare_expr (tree);
- extern tree unshare_expr_without_location (tree);
- extern tree voidify_wrapper_expr (tree, tree);
- extern tree build_and_jump (tree *);
- extern enum gimplify_status gimplify_self_mod_expr (tree *, gimple_seq *,
- gimple_seq *, bool, tree);
- extern tree gimple_boolify (tree);
- extern gimple_predicate rhs_predicate_for (tree);
- extern bool gimplify_stmt (tree *, gimple_seq *);
- extern void omp_firstprivatize_variable (struct gimplify_omp_ctx *, tree);
- extern enum gimplify_status gimplify_expr (tree *, gimple_seq *, gimple_seq *,
- bool (*) (tree), fallback_t);
- extern void gimplify_type_sizes (tree, gimple_seq *);
- extern void gimplify_one_sizepos (tree *, gimple_seq *);
- extern gbind *gimplify_body (tree, bool);
- extern enum gimplify_status gimplify_arg (tree *, gimple_seq *, location_t);
- extern void gimplify_function_tree (tree);
- extern enum gimplify_status gimplify_va_arg_expr (tree *, gimple_seq *,
- gimple_seq *);
- gimple gimplify_assign (tree, tree, gimple_seq *);
- /* Return true if gimplify_one_sizepos doesn't need to gimplify
- expr (when in TYPE_SIZE{,_UNIT} and similar type/decl size/bitsize
- fields). */
- static inline bool
- is_gimple_sizepos (tree expr)
- {
- /* gimplify_one_sizepos doesn't need to do anything if the value isn't there,
- is constant, or contains A PLACEHOLDER_EXPR. We also don't want to do
- anything if it's already a VAR_DECL. If it's a VAR_DECL from another
- function, the gimplifier will want to replace it with a new variable,
- but that will cause problems if this type is from outside the function.
- It's OK to have that here. */
- return (expr == NULL_TREE
- || TREE_CONSTANT (expr)
- || TREE_CODE (expr) == VAR_DECL
- || CONTAINS_PLACEHOLDER_P (expr));
- }
- #endif /* GCC_GIMPLIFY_H */
|