1/* Scalar evolution detector.
2   Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc.
3   Contributed by Sebastian Pop <s.pop@laposte.net>
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9Software Foundation; either version 2, or (at your option) any later
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING.  If not, write to the Free
19Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
2002110-1301, USA.  */
21
22#ifndef GCC_TREE_SCALAR_EVOLUTION_H
23#define GCC_TREE_SCALAR_EVOLUTION_H
24
25extern tree number_of_iterations_in_loop (struct loop *);
26extern tree get_loop_exit_condition (struct loop *);
27
28extern void scev_initialize (struct loops *loops);
29extern void scev_reset (void);
30extern void scev_finalize (void);
31extern tree analyze_scalar_evolution (struct loop *, tree);
32extern tree instantiate_parameters (struct loop *, tree);
33extern void gather_stats_on_scev_database (void);
34extern void scev_analysis (void);
35void scev_const_prop (void);
36
37/* Affine iv.  */
38
39typedef struct
40{
41  /* Iv = BASE + STEP * i.  */
42  tree base, step;
43
44  /* True if this iv does not overflow.  */
45  bool no_overflow;
46} affine_iv;
47
48extern bool simple_iv (struct loop *, tree, tree, affine_iv *, bool);
49
50#endif  /* GCC_TREE_SCALAR_EVOLUTION_H  */
51