1 | /* Scalar evolution detector. |
2 | Copyright (C) 2003-2024 Free Software Foundation, Inc. |
3 | Contributed by Sebastian Pop <s.pop@laposte.net> |
4 | |
5 | This file is part of GCC. |
6 | |
7 | GCC is free software; you can redistribute it and/or modify it under |
8 | the terms of the GNU General Public License as published by the Free |
9 | Software Foundation; either version 3, or (at your option) any later |
10 | version. |
11 | |
12 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
15 | for more details. |
16 | |
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/>. */ |
20 | |
21 | #ifndef GCC_TREE_SCALAR_EVOLUTION_H |
22 | #define GCC_TREE_SCALAR_EVOLUTION_H |
23 | |
24 | extern tree number_of_latch_executions (class loop *); |
25 | extern gcond *get_loop_exit_condition (const class loop *); |
26 | extern gcond *get_loop_exit_condition (const_edge); |
27 | |
28 | extern void scev_initialize (void); |
29 | extern bool scev_initialized_p (void); |
30 | extern void scev_reset (void); |
31 | extern void scev_reset_htab (void); |
32 | extern void scev_finalize (void); |
33 | extern tree analyze_scalar_evolution (class loop *, tree); |
34 | extern tree instantiate_scev (edge, class loop *, tree); |
35 | extern tree resolve_mixers (class loop *, tree, bool *); |
36 | extern void gather_stats_on_scev_database (void); |
37 | extern bool final_value_replacement_loop (class loop *); |
38 | extern unsigned int scev_const_prop (void); |
39 | extern bool expression_expensive_p (tree, bool *); |
40 | extern bool simple_iv_with_niters (class loop *, class loop *, tree, |
41 | struct affine_iv *, tree *, bool); |
42 | extern bool simple_iv (class loop *, class loop *, tree, struct affine_iv *, |
43 | bool); |
44 | extern bool iv_can_overflow_p (class loop *, tree, tree, tree); |
45 | extern tree compute_overall_effect_of_inner_loop (class loop *, tree); |
46 | extern void record_nonwrapping_chrec (tree); |
47 | extern bool nonwrapping_chrec_p (tree); |
48 | |
49 | /* Returns the basic block preceding LOOP, or the CFG entry block when |
50 | the loop is function's body. */ |
51 | |
52 | inline basic_block |
53 | block_before_loop (loop_p loop) |
54 | { |
55 | edge = loop_preheader_edge (loop); |
56 | return (preheader ? preheader->src : ENTRY_BLOCK_PTR_FOR_FN (cfun)); |
57 | } |
58 | |
59 | /* Analyze all the parameters of the chrec that were left under a |
60 | symbolic form. LOOP is the loop in which symbolic names have to |
61 | be analyzed and instantiated. */ |
62 | |
63 | inline tree |
64 | instantiate_parameters (class loop *loop, tree chrec) |
65 | { |
66 | return instantiate_scev (loop_preheader_edge (loop), loop, chrec); |
67 | } |
68 | |
69 | /* Returns the loop of the polynomial chrec CHREC. */ |
70 | |
71 | inline class loop * |
72 | get_chrec_loop (const_tree chrec) |
73 | { |
74 | return get_loop (cfun, CHREC_VARIABLE (chrec)); |
75 | } |
76 | |
77 | #endif /* GCC_TREE_SCALAR_EVOLUTION_H */ |
78 | |