tree-ssa-scopedtables.h File Reference

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

Go to the source code of this file.

Data Structures
struct	hashable_expr
struct	cond_equivalence
class	expr_hash_elt
struct	expr_elt_hasher
class	avail_exprs_stack
class	const_and_copies

Typedefs
typedef class expr_hash_elt *	expr_hash_elt_t

Enumerations
enum	expr_kind {   EXPR_SINGLE , EXPR_UNARY , EXPR_BINARY , EXPR_TERNARY ,   EXPR_CALL , EXPR_PHI }

Functions
void	initialize_expr_from_cond (tree cond, struct hashable_expr *expr)
void	record_conditions (vec< cond_equivalence > *p, tree, tree)

Typedef Documentation

expr_hash_elt_t

typedef class expr_hash_elt* expr_hash_elt_t

Structure for entries in the expression hash table.   

Enumeration Type Documentation

expr_kind

enum expr_kind

Header file for SSA dominator optimizations.
   Copyright (C) 2013-2024 Free Software Foundation, Inc.

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/>.   

Representation of a "naked" right-hand-side expression, to be used
in recording available expressions in the expression hash table.   

Enumerator
EXPR_SINGLE
EXPR_UNARY
EXPR_BINARY
EXPR_TERNARY
EXPR_CALL
EXPR_PHI

Function Documentation

initialize_expr_from_cond()

void initialize_expr_from_cond	(	tree	cond,
		struct hashable_expr *	expr )

Given a conditional expression COND as a tree, initialize
a hashable_expr expression EXPR.  The conditional must be a
comparison or logical negation.  A constant or a variable is
not permitted.   

References boolean_type_node, COMPARISON_CLASS_P, EXPR_BINARY, EXPR_UNARY, gcc_unreachable, expr::ops, TREE_CODE, TREE_OPERAND, and operand::type.

Referenced by record_conditions().

record_conditions()

void record_conditions	(	vec< cond_equivalence > *	p,
		tree	cond,
		tree	inverted )

Record that COND is true and INVERTED is false into the edge information
structure.  Also record that any conditions dominated by COND are true
as well.

For example, if a < b is true, then a <= b must also be true.   

References boolean_false_node, boolean_true_node, build_and_record_new_cond(), COMPARISON_CLASS_P, cond_equivalence::cond, FLOAT_TYPE_P, initialize_expr_from_cond(), TREE_CODE, TREE_OPERAND, TREE_TYPE, and cond_equivalence::value.

Referenced by edge_info::derive_equivalences(), and record_edge_info().