This graph shows which files directly or indirectly include this file:

Data Structures
class	relation_oracle

class	equiv_chain

class	pe_slice

class	equiv_oracle

class	relation_chain_head

class	dom_oracle

class	path_oracle

class	equiv_relation_iterator

class	relation_trio

class	value_relation

Macros
#define	FOR_EACH_EQUIVALENCE(oracle, bb, name, equiv_name)

#define	FOR_EACH_PARTIAL_EQUIV(oracle, bb, name, equiv_name, equiv_rel)

#define	FOR_EACH_PARTIAL_AND_FULL_EQUIV(oracle, bb, name, equiv_name, equiv_rel)

#define	TRIO_VARYING relation_trio ()

#define	TRIO_SHIFT 4

#define	TRIO_MASK 0x000F

Typedefs
typedef enum relation_kind_t	relation_kind

Enumerations
enum	relation_kind_t { VREL_VARYING = 0 , VREL_UNDEFINED , VREL_LT , VREL_LE , VREL_GT , VREL_GE , VREL_EQ , VREL_NE , VREL_PE8 , VREL_PE16 , VREL_PE32 , VREL_PE64 , VREL_LAST }

Functions
relation_kind	relation_union (relation_kind r1, relation_kind r2)

relation_kind	relation_intersect (relation_kind r1, relation_kind r2)

relation_kind	relation_negate (relation_kind r)

relation_kind	relation_swap (relation_kind r)

bool	relation_lt_le_gt_ge_p (relation_kind r)

bool	relation_partial_equiv_p (relation_kind r)

bool	relation_equiv_p (relation_kind r)

void	print_relation (FILE *f, relation_kind rel)

void	adjust_equivalence_range (vrange &range)

int	pe_to_bits (relation_kind t)

relation_kind	bits_to_pe (int bits)

relation_kind	pe_min (relation_kind t1, relation_kind t2)

Variables
relation_oracle	default_relation_oracle

Macro Definition Documentation

◆ FOR_EACH_EQUIVALENCE

#define FOR_EACH_EQUIVALENCE	(	oracle,
		bb,
		name,
		equiv_name )

Value:

  for (equiv_relation_iterator iter (oracle, bb, name, true, false);    \
       ((equiv_name) = iter.get_name ());                               \
       iter.next ())

◆ FOR_EACH_PARTIAL_AND_FULL_EQUIV

#define FOR_EACH_PARTIAL_AND_FULL_EQUIV	(	oracle,
		bb,
		name,
		equiv_name,
		equiv_rel )

Value:

  for (equiv_relation_iterator iter (oracle, bb, name, true, true);     \
       ((equiv_name) = iter.get_name (&equiv_rel));                     \
       iter.next ())

Referenced by ranger_cache::fill_block_cache().

◆ FOR_EACH_PARTIAL_EQUIV

#define FOR_EACH_PARTIAL_EQUIV	(	oracle,
		bb,
		name,
		equiv_name,
		equiv_rel )

Value:

  for (equiv_relation_iterator iter (oracle, bb, name, false, true);    \
       ((equiv_name) = iter.get_name (&equiv_rel));                     \
       iter.next ())

◆ TRIO_MASK

#define TRIO_MASK 0x000F

Referenced by relation_trio::lhs_op1(), relation_trio::lhs_op2(), and relation_trio::op1_op2().

◆ TRIO_SHIFT

#define TRIO_SHIFT 4

Referenced by relation_trio::lhs_op2(), relation_trio::op1_op2(), relation_trio::relation_trio(), and relation_trio::relation_trio().

◆ TRIO_VARYING

#define TRIO_VARYING relation_trio ()

Referenced by fold_relations().

Typedef Documentation

◆ relation_kind

typedef enum relation_kind_t relation_kind

Header file for the value range relational processing.
   Copyright (C) 2020-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/>.

Enumeration Type Documentation

◆ relation_kind_t

enum relation_kind_t

Header file for the value range relational processing.
   Copyright (C) 2020-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/>.