]>
Commit | Line | Data |
---|---|---|
b9d73ea6 | 1 | /* Scalar evolution detector. |
f1717362 | 2 | Copyright (C) 2003-2016 Free Software Foundation, Inc. |
b9d73ea6 | 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 | |
8c4c00c1 | 9 | Software Foundation; either version 3, or (at your option) any later |
b9d73ea6 | 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 | |
8c4c00c1 | 18 | along with GCC; see the file COPYING3. If not see |
19 | <http://www.gnu.org/licenses/>. */ | |
b9d73ea6 | 20 | |
21 | #ifndef GCC_TREE_SCALAR_EVOLUTION_H | |
22 | #define GCC_TREE_SCALAR_EVOLUTION_H | |
23 | ||
0c3c2e56 | 24 | extern tree number_of_latch_executions (struct loop *); |
1a91d914 | 25 | extern gcond *get_loop_exit_condition (const struct loop *); |
c2c3fd24 | 26 | |
7194de72 | 27 | extern void scev_initialize (void); |
a9ef9877 | 28 | extern bool scev_initialized_p (void); |
c2c3fd24 | 29 | extern void scev_reset (void); |
efe339e3 | 30 | extern void scev_reset_htab (void); |
c2c3fd24 | 31 | extern void scev_finalize (void); |
32 | extern tree analyze_scalar_evolution (struct loop *, tree); | |
089aa668 | 33 | extern tree instantiate_scev (basic_block, struct loop *, tree); |
5fe66b3c | 34 | extern tree resolve_mixers (struct loop *, tree, bool *); |
c2c3fd24 | 35 | extern void gather_stats_on_scev_database (void); |
9e75a9b9 | 36 | extern void final_value_replacement_loop (struct loop *); |
524bc988 | 37 | extern unsigned int scev_const_prop (void); |
38 | extern bool expression_expensive_p (tree); | |
b3e7c666 | 39 | extern bool simple_iv (struct loop *, struct loop *, tree, struct affine_iv *, |
f86b328b | 40 | bool); |
524bc988 | 41 | extern tree compute_overall_effect_of_inner_loop (struct loop *, tree); |
553b9523 | 42 | |
efee62d1 | 43 | /* Returns the basic block preceding LOOP, or the CFG entry block when |
44 | the loop is function's body. */ | |
089aa668 | 45 | |
46 | static inline basic_block | |
47 | block_before_loop (loop_p loop) | |
48 | { | |
49 | edge preheader = loop_preheader_edge (loop); | |
34154e27 | 50 | return (preheader ? preheader->src : ENTRY_BLOCK_PTR_FOR_FN (cfun)); |
089aa668 | 51 | } |
52 | ||
afd80ffb | 53 | /* Analyze all the parameters of the chrec that were left under a |
54 | symbolic form. LOOP is the loop in which symbolic names have to | |
55 | be analyzed and instantiated. */ | |
56 | ||
57 | static inline tree | |
58 | instantiate_parameters (struct loop *loop, tree chrec) | |
59 | { | |
089aa668 | 60 | return instantiate_scev (block_before_loop (loop), loop, chrec); |
afd80ffb | 61 | } |
62 | ||
17519ba0 | 63 | /* Returns the loop of the polynomial chrec CHREC. */ |
64 | ||
65 | static inline struct loop * | |
7ecb5bb2 | 66 | get_chrec_loop (const_tree chrec) |
17519ba0 | 67 | { |
41f75a99 | 68 | return get_loop (cfun, CHREC_VARIABLE (chrec)); |
17519ba0 | 69 | } |
70 | ||
b9d73ea6 | 71 | #endif /* GCC_TREE_SCALAR_EVOLUTION_H */ |