GCC Middle and Back End API Reference
gimplify.h
Go to the documentation of this file.
1/* Header file for gimplification.
2 Copyright (C) 2013-2024 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16You should have received a copy of the GNU General Public License
17along 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
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. */
27
28/* FIXME we should deduce this from the predicate. */
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. */
41};
42
43typedef int fallback_t;
44
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};
51
52extern void free_gimplify_stack (void);
53extern void push_gimplify_context (bool in_ssa = false,
54 bool rhs_cond_ok = false);
55extern void pop_gimplify_context (gimple *);
56extern gbind *gimple_current_bind_expr (void);
58extern void gimplify_and_add (tree, gimple_seq *);
61 bool = true);
62extern void declare_vars (tree, gimple *, bool);
63extern void gimple_add_tmp_var (tree);
64extern void gimple_add_tmp_var_fn (struct function *, tree);
65extern void copy_if_shared (tree *, void * = NULL);
66extern tree unshare_expr (tree);
69extern tree build_and_jump (tree *);
71 gimple_seq *, bool, tree);
72extern tree gimple_boolify (tree);
74extern bool gimplify_stmt (tree *, gimple_seq *);
77 bool (*) (tree), fallback_t);
78
79int omp_construct_selector_matches (enum tree_code *, int, int *);
80int omp_has_novariants (void);
81
82extern void gimplify_type_sizes (tree, gimple_seq *);
83extern void gimplify_one_sizepos (tree *, gimple_seq *);
84extern gbind *gimplify_body (tree, bool);
85extern enum gimplify_status gimplify_arg (tree *, gimple_seq *, location_t,
86 bool = true);
87extern void gimplify_function_tree (tree);
89 gimple_seq *);
92
93#endif /* GCC_GIMPLIFY_H */
Definition genmatch.cc:1496
union tree_node * tree
Definition coretypes.h:97
tree_code
Definition genmatch.cc:992
void gimplify_and_add(tree, gimple_seq *)
Definition gimplify.cc:540
enum gimplify_status gimplify_va_arg_expr(tree *, gimple_seq *, gimple_seq *)
Definition gimplify.cc:20440
int fallback_t
Definition gimplify.h:43
void declare_vars(tree, gimple *, bool)
Definition gimplify.cc:745
gbind * gimple_current_bind_expr(void)
Definition gimplify.cc:434
fallback
Definition gimplify.h:29
@ fb_lvalue
Definition gimplify.h:35
@ fb_either
Definition gimplify.h:40
@ fb_rvalue
Definition gimplify.h:32
@ fb_none
Definition gimplify.h:30
@ fb_mayfail
Definition gimplify.h:38
gimple_predicate rhs_predicate_for(tree)
Definition gimplify.cc:5731
void gimplify_function_tree(tree)
Definition gimplify.cc:20286
int omp_has_novariants(void)
Definition gimplify.cc:15096
bool generic_expr_could_trap_p(tree expr)
Definition gimplify.cc:4956
gimple * gimplify_assign(tree, tree, gimple_seq *)
Definition gimplify.cc:20526
tree get_initialized_tmp_var(tree, gimple_seq *, gimple_seq *=NULL, bool=true)
Definition gimplify.cc:734
bool gimplify_stmt(tree *, gimple_seq *)
Definition gimplify.cc:7994
gimplify_status
Definition gimplify.h:45
@ GS_OK
Definition gimplify.h:48
@ GS_ERROR
Definition gimplify.h:46
@ GS_UNHANDLED
Definition gimplify.h:47
@ GS_ALL_DONE
Definition gimplify.h:49
enum gimplify_status gimplify_expr(tree *, gimple_seq *, gimple_seq *, bool(*)(tree), fallback_t)
Definition gimplify.cc:18626
void pop_gimplify_context(gimple *)
Definition gimplify.cc:394
tree unshare_expr(tree)
Definition gimplify.cc:1085
tree voidify_wrapper_expr(tree, tree)
Definition gimplify.cc:1163
enum gimplify_status gimplify_self_mod_expr(tree *, gimple_seq *, gimple_seq *, bool, tree)
Definition gimplify.cc:3659
enum gimplify_status gimplify_arg(tree *, gimple_seq *, location_t, bool=true)
Definition gimplify.cc:3774
gbind * gimplify_body(tree, bool)
Definition gimplify.cc:20064
bool(* gimple_predicate)(tree)
Definition gimplify.h:26
void gimple_add_tmp_var(tree)
Definition gimplify.cc:827
void free_gimplify_stack(void)
Definition gimplify.cc:362
vec< gbind * > gimple_bind_expr_stack(void)
Definition gimplify.cc:442
void copy_if_shared(tree *, void *=NULL)
Definition gimplify.cc:1007
void gimple_add_tmp_var_fn(struct function *, tree)
Definition gimplify.cc:808
int omp_construct_selector_matches(enum tree_code *, int, int *)
Definition gimplify.cc:15152
tree gimple_boolify(tree)
Definition gimplify.cc:4834
tree get_formal_tmp_var(tree, gimple_seq *)
Definition gimplify.cc:725
tree unshare_expr_without_location(tree)
Definition gimplify.cc:1107
void push_gimplify_context(bool in_ssa=false, bool rhs_cond_ok=false)
Definition gimplify.cc:377
void gimplify_type_sizes(tree, gimple_seq *)
Definition gimplify.cc:19919
tree build_and_jump(tree *)
Definition gimplify.cc:3136
void omp_firstprivatize_variable(struct gimplify_omp_ctx *, tree)
Definition gimplify.cc:8008
void gimplify_one_sizepos(tree *, gimple_seq *)
Definition gimplify.cc:20031
Definition function.h:249
Definition gimple.h:389
Definition gimple.h:221
Definition gimplify.cc:268
Definition vec.h:450
#define NULL
Definition system.h:50
#define bool
Definition system.h:886