GCC Middle and Back End API Reference
assume_query Class Reference

#include <gimple-range.h>

Inheritance diagram for assume_query:
Collaboration diagram for assume_query:

Public Member Functions

 assume_query ()
 
bool assume_range_p (vrange &r, tree name)
 
virtual bool range_of_expr (vrange &r, tree expr, gimple *=NULL)
 
void dump (FILE *f)
 
virtual tree value_of_expr (tree expr, gimple *=NULL)
 
virtual tree value_on_edge (edge, tree expr)
 
virtual tree value_of_stmt (gimple *, tree name=NULL)
 
virtual bool range_on_edge (vrange &r, edge, tree expr)
 
virtual bool range_of_stmt (vrange &r, gimple *, tree name=NULL)
 
relation_kind query_relation (gimple *s, tree ssa1, tree ssa2, bool get_range=true)
 
relation_kind query_relation (edge e, tree ssa1, tree ssa2, bool get_range=true)
 
relation_oracleoracle () const
 

Protected Member Functions

void calculate_stmt (gimple *s, vrange &lhs_range, fur_source &src)
 
void calculate_op (tree op, gimple *s, vrange &lhs, fur_source &src)
 
void calculate_phi (gphi *phi, vrange &lhs_range, fur_source &src)
 
void check_taken_edge (edge e, fur_source &src)
 
bool get_tree_range (vrange &v, tree expr, gimple *stmt)
 
bool get_arith_expr_range (vrange &r, tree expr, gimple *stmt)
 

Protected Attributes

ssa_lazy_cache global
 
gori_compute m_gori
 
relation_oraclem_oracle
 

Constructor & Destructor Documentation

◆ assume_query()

Member Function Documentation

◆ assume_range_p()

bool assume_query::assume_range_p ( vrange & r,
tree name )

References ssa_lazy_cache::get_range(), global, and r.

Referenced by dump().

◆ calculate_op()

◆ calculate_phi()

◆ calculate_stmt()

◆ check_taken_edge()

void assume_query::check_taken_edge ( edge e,
fur_source & src )
protected

◆ dump()

◆ get_arith_expr_range()

bool range_query::get_arith_expr_range ( vrange & r,
tree expr,
gimple * stmt )
protectedinherited

◆ get_tree_range()

◆ oracle()

◆ query_relation() [1/2]

◆ query_relation() [2/2]

◆ range_of_expr()

bool assume_query::range_of_expr ( vrange & r,
tree expr,
gimple * stmt = NULL )
virtual

◆ range_of_stmt()

bool range_query::range_of_stmt ( vrange & r,
gimple * stmt,
tree name = NULL )
virtualinherited

◆ range_on_edge()

bool range_query::range_on_edge ( vrange & r,
edge ,
tree expr )
virtualinherited
Support routines for value queries.
   Copyright (C) 2020-2024 Free Software Foundation, Inc.
   Contributed by Aldy Hernandez <aldyh@redhat.com> and
   Andrew MacLeod <amacleod@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

Reimplemented in ranger_cache, dom_ranger, and gimple_ranger.

References r, and range_query::range_of_expr().

Referenced by fur_edge::get_operand(), fur_source::get_phi_operand(), fur_edge::get_phi_operand(), phi_analyzer::process_phi(), range_query::query_relation(), and range_query::value_on_edge().

◆ value_of_expr()

tree range_query::value_of_expr ( tree expr,
gimple * stmt = NULL )
virtualinherited

◆ value_of_stmt()

◆ value_on_edge()

Field Documentation

◆ global

ssa_lazy_cache assume_query::global
protected

◆ m_gori

gori_compute assume_query::m_gori
protected

Referenced by calculate_op().

◆ m_oracle


The documentation for this class was generated from the following files: