gimple_infer_range Class Reference

#include <gimple-range-infer.h>

Collaboration diagram for gimple_infer_range:

Public Member Functions
	gimple_infer_range (gimple *s)
unsigned	num () const
tree	name (unsigned index) const
const vrange &	range (unsigned index) const
void	add_range (tree name, vrange &range)
void	add_nonzero (tree name)

Private Member Functions
void	check_assume_func (gcall *call)
void	bump_index ()

Private Attributes
unsigned	num_args
tree	m_names [size_limit]
Value_Range	m_ranges [size_limit]

Static Private Attributes
static const int	size_limit = 10

Detailed Description

Header file for gimple range inference.
   Copyright (C) 2022-2024 Free Software Foundation, Inc.
   Contributed by 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/>.   

Constructor & Destructor Documentation

gimple_infer_range()

gimple_infer_range::gimple_infer_range

(

gimple *

s

)

References add_nonzero(), bitmap_bit_p, bitmap_empty_p(), BITMAP_FREE, check_assume_func(), get_nonnull_args(), ggc_alloc(), gimple_call_arg(), gimple_call_fntype(), gimple_call_internal_fn(), gimple_call_internal_p(), gimple_call_num_args(), gimple_clobber_p(), i, non_null_loadstore(), num_args, POINTER_TYPE_P, TREE_TYPE, and walk_stmt_load_store_ops().

Member Function Documentation

add_nonzero()

void gimple_infer_range::add_nonzero

(

tree

name

)

References add_range(), ggc_alloc(), gimple_range_ssa_p(), name(), and TREE_TYPE.

Referenced by gimple_infer_range().

add_range()

void gimple_infer_range::add_range	(	tree	name,
		vrange &	range )

References m_names, m_ranges, name(), num_args, range(), and size_limit.

Referenced by add_nonzero(), and check_assume_func().

bump_index()

void gimple_infer_range::bump_index ( )

inlineprivate

References num_args, and size_limit.

check_assume_func()

void gimple_infer_range::check_assume_func ( gcall * call )

private

References add_range(), DECL_ARGUMENTS, DECL_CHAIN, DECL_STRUCT_FUNCTION, dump_file, fputc(), ggc_alloc(), gimple_call_arg(), gimple_call_num_args(), gimple_range_global(), gimple_range_ssa_p(), i, print_generic_expr(), ssa_default_def(), Value_Range::supports_type_p(), TDF_SLIM, TREE_OPERAND, and TREE_TYPE.

Referenced by gimple_infer_range().

name()

tree gimple_infer_range::name ( unsigned index ) const

inline

References gcc_checking_assert, m_names, and num_args.

Referenced by add_nonzero(), and add_range().

num()

unsigned gimple_infer_range::num ( ) const

inline

References num_args.

range()

const vrange & gimple_infer_range::range ( unsigned index ) const

inline

References gcc_checking_assert, m_ranges, and num_args.

Referenced by add_range().

Field Documentation

m_names

tree gimple_infer_range::m_names[size_limit]

private

Referenced by add_range(), and name().

m_ranges

Value_Range gimple_infer_range::m_ranges[size_limit]

private

Referenced by add_range(), and range().

num_args

unsigned gimple_infer_range::num_args

private

Referenced by add_range(), bump_index(), gimple_infer_range(), name(), num(), and range().

size_limit

const int gimple_infer_range::size_limit = 10

staticprivate

Referenced by add_range(), and bump_index().

---

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

• gimple-range-infer.h
• gimple-range-infer.cc