gcc/tree-scalar-evolution.h

   1 /* Scalar evolution detector.
   2    Copyright (C) 2003, 2004, 2005, 2007, 2008, 2009, 2010
   3    Free Software Foundation, Inc.
   4    Contributed by Sebastian Pop <s.pop@laposte.net>
   5
   6 This file is part of GCC.
   7
   8 GCC is free software; you can redistribute it and/or modify it under
   9 the terms of the GNU General Public License as published by the Free
  10 Software Foundation; either version 3, or (at your option) any later
  11 version.
  12
  13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  16 for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GCC; see the file COPYING3.  If not see
  20 <http://www.gnu.org/licenses/>.  */
  21
  22 #ifndef GCC_TREE_SCALAR_EVOLUTION_H
  23 #define GCC_TREE_SCALAR_EVOLUTION_H
  24
  25 extern tree number_of_latch_executions (struct loop *);
  26 extern tree number_of_exit_cond_executions (struct loop *);
  27 extern gimple get_loop_exit_condition (const struct loop *);
  28
  29 extern void scev_initialize (void);
  30 extern bool scev_initialized_p (void);
  31 extern void scev_reset (void);
  32 extern void scev_reset_htab (void);
  33 extern void scev_finalize (void);
  34 extern tree analyze_scalar_evolution (struct loop *, tree);
  35 extern tree instantiate_scev (basic_block, struct loop *, tree);
  36 extern tree resolve_mixers (struct loop *, tree);
  37 extern void gather_stats_on_scev_database (void);
  38 extern void scev_analysis (void);
  39 extern unsigned int scev_const_prop (void);
  40 extern bool expression_expensive_p (tree);
  41 extern bool simple_iv (struct loop *, struct loop *, tree, affine_iv *, bool);
  42 extern tree compute_overall_effect_of_inner_loop (struct loop *, tree);
  43
  44 /* Returns the basic block preceding LOOP or ENTRY_BLOCK_PTR when the
  45    loop is function's body.  */
  46
  47 static inline basic_block
  48 block_before_loop (loop_p loop)
  49 {
  50   edge preheader = loop_preheader_edge (loop);
  51   return (preheader ? preheader->src : ENTRY_BLOCK_PTR);
  52 }
  53
  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 {
  61   return instantiate_scev (block_before_loop (loop), loop, chrec);
  62 }
  63
  64 /* Returns the loop of the polynomial chrec CHREC.  */
  65
  66 static inline struct loop *
  67 get_chrec_loop (const_tree chrec)
  68 {
  69   return get_loop (CHREC_VARIABLE (chrec));
  70 }
  71
  72 #endif  /* GCC_TREE_SCALAR_EVOLUTION_H  */