projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| e9eb809d | 1 | /* Scalar evolution detector. |
| 818ab71a | 2 | Copyright (C) 2003-2016 Free Software Foundation, Inc. |
| e9eb809d ZD |
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 | |
| 9dcd6f09 | 9 | Software Foundation; either version 3, or (at your option) any later |
| e9eb809d ZD |
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 | |
| 9dcd6f09 NC |
18 | along with GCC; see the file COPYING3. If not see |
| 19 | <http://www.gnu.org/licenses/>. */ | |
| e9eb809d ZD |
20 | |
| 21 | #ifndef GCC_TREE_SCALAR_EVOLUTION_H | |
| 22 | #define GCC_TREE_SCALAR_EVOLUTION_H | |
| 23 | ||
| a14865db | 24 | extern tree number_of_latch_executions (struct loop *); |
| 538dd0b7 | 25 | extern gcond *get_loop_exit_condition (const struct loop *); |
| 9baba81b | 26 | |
| d73be268 | 27 | extern void scev_initialize (void); |
| e3a8f1fa | 28 | extern bool scev_initialized_p (void); |
| 9baba81b | 29 | extern void scev_reset (void); |
| a7bf45de | 30 | extern void scev_reset_htab (void); |
| 9baba81b SP |
31 | extern void scev_finalize (void); |
| 32 | extern tree analyze_scalar_evolution (struct loop *, tree); | |
| a213b219 | 33 | extern tree instantiate_scev (basic_block, struct loop *, tree); |
| c70ed622 | 34 | extern tree resolve_mixers (struct loop *, tree, bool *); |
| 9baba81b | 35 | extern void gather_stats_on_scev_database (void); |
| f993a853 | 36 | extern void final_value_replacement_loop (struct loop *); |
| 42e6eec5 SP |
37 | extern unsigned int scev_const_prop (void); |
| 38 | extern bool expression_expensive_p (tree); | |
| 84562394 | 39 | extern bool simple_iv (struct loop *, struct loop *, tree, struct affine_iv *, |
| 71343877 | 40 | bool); |
| 019d6598 | 41 | extern bool iv_can_overflow_p (struct loop *, tree, tree, tree); |
| 42e6eec5 | 42 | extern tree compute_overall_effect_of_inner_loop (struct loop *, tree); |
| a6f778b2 | 43 | |
| 6626665f DM |
44 | /* Returns the basic block preceding LOOP, or the CFG entry block when |
| 45 | the loop is function's body. */ | |
| a213b219 SP |
46 | |
| 47 | static inline basic_block | |
| 48 | block_before_loop (loop_p loop) | |
| 49 | { | |
| 50 | edge preheader = loop_preheader_edge (loop); | |
| fefa31b5 | 51 | return (preheader ? preheader->src : ENTRY_BLOCK_PTR_FOR_FN (cfun)); |
| a213b219 SP |
52 | } |
| 53 | ||
| 3f227a8c JS |
54 | /* Analyze all the parameters of the chrec that were left under a |
| 55 | symbolic form. LOOP is the loop in which symbolic names have to | |
| 56 | be analyzed and instantiated. */ | |
| 57 | ||
| 58 | static inline tree | |
| 59 | instantiate_parameters (struct loop *loop, tree chrec) | |
| 60 | { | |
| a213b219 | 61 | return instantiate_scev (block_before_loop (loop), loop, chrec); |
| 3f227a8c JS |
62 | } |
| 63 | ||
| 42fd6772 ZD |
64 | /* Returns the loop of the polynomial chrec CHREC. */ |
| 65 | ||
| 66 | static inline struct loop * | |
| ed7a4b4b | 67 | get_chrec_loop (const_tree chrec) |
| 42fd6772 | 68 | { |
| 0fc822d0 | 69 | return get_loop (cfun, CHREC_VARIABLE (chrec)); |
| 42fd6772 ZD |
70 | } |
| 71 | ||
| e9eb809d | 72 | #endif /* GCC_TREE_SCALAR_EVOLUTION_H */ |