1  /* Support routines for Value Range Propagation (VRP).
       2     Copyright (C) 2016-2023 Free Software Foundation, Inc.
       3  
       4  This file is part of GCC.
       5  
       6  GCC is free software; you can redistribute it and/or modify
       7  it under the terms of the GNU General Public License as published by
       8  the Free Software Foundation; either version 3, or (at your option)
       9  any later version.
      10  
      11  GCC is distributed in the hope that it will be useful,
      12  but WITHOUT ANY WARRANTY; without even the implied warranty of
      13  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      14  GNU General Public License for more details.
      15  
      16  You should have received a copy of the GNU General Public License
      17  along with GCC; see the file COPYING3.  If not see
      18  <http://www.gnu.org/licenses/>.  */
      19  
      20  #ifndef GCC_VR_VALUES_H
      21  #define GCC_VR_VALUES_H
      22  
      23  #include "value-query.h"
      24  
      25  // Abstract class to return a range for a given SSA.
      26  
      27  // Class to simplify a statement using range information.
      28  
      29  class simplify_using_ranges
      30  {
      31  public:
      32    simplify_using_ranges (range_query *query = NULL,
      33  			 int not_executable_flag = 0);
      34    ~simplify_using_ranges ();
      35    bool simplify (gimple_stmt_iterator *);
      36    bool fold_cond (gcond *);
      37  private:
      38    void vrp_visit_cond_stmt (gcond *, edge *);
      39    tree vrp_evaluate_conditional_warnv_with_ops (gimple *stmt, enum tree_code,
      40  						tree, tree, bool *, bool *);
      41    bool simplify_casted_cond (gcond *);
      42    bool simplify_truth_ops_using_ranges (gimple_stmt_iterator *, gimple *);
      43    bool simplify_div_or_mod_using_ranges (gimple_stmt_iterator *, gimple *);
      44    bool simplify_abs_using_ranges (gimple_stmt_iterator *, gimple *);
      45    bool simplify_bit_ops_using_ranges (gimple_stmt_iterator *, gimple *);
      46    bool simplify_min_or_max_using_ranges (gimple_stmt_iterator *, gimple *);
      47    bool simplify_cond_using_ranges_1 (gcond *);
      48    bool simplify_switch_using_ranges (gswitch *);
      49    bool simplify_float_conversion_using_ranges (gimple_stmt_iterator *,
      50  					       gimple *);
      51    bool simplify_internal_call_using_ranges (gimple_stmt_iterator *, gimple *);
      52  
      53    bool two_valued_val_range_p (tree, tree *, tree *, gimple *);
      54    bool op_with_boolean_value_range_p (tree, gimple *);
      55    tree compare_name_with_value (enum tree_code, tree, tree, bool *, gimple *);
      56    const value_range *get_vr_for_comparison (int, value_range *, gimple *s);
      57    tree vrp_evaluate_conditional_warnv_with_ops_using_ranges (enum tree_code,
      58  							     tree, tree,
      59  							     bool *, gimple *s);
      60    void set_and_propagate_unexecutable (edge e);
      61    void cleanup_edges_and_switches (void);
      62  
      63    /* Vectors of edges that need removing and switch statements that
      64       need updating.  It is expected that a pass using the simplification
      65       routines will, at the end of the pass, clean up the edges and
      66       switch statements.  The class dtor will try to detect cases
      67       that do not follow that expectation.  */
      68    struct switch_update {
      69      gswitch *stmt;
      70      tree vec;
      71    };
      72  
      73    vec<edge> to_remove_edges;
      74    vec<switch_update> to_update_switch_stmts;
      75    class range_query *query;
      76    int m_not_executable_flag;   // Non zero if not_executable flag exists.
      77    vec<edge> m_flag_set_edges;  // List of edges with flag to be cleared.
      78  };
      79  
      80  extern bool range_fits_type_p (const value_range *vr,
      81  			       unsigned dest_precision, signop dest_sgn);
      82  extern bool bounds_of_var_in_loop (tree *min, tree *max, range_query *,
      83  				   class loop *loop, gimple *stmt, tree var);
      84  
      85  #endif /* GCC_VR_VALUES_H */