Go to the source code of this file.
Data Structures | |
| struct | vn_pval |
| struct | vn_nary_op_s |
| struct | vn_phi_s |
| struct | vn_reference_op_struct |
| struct | vn_reference_s |
| struct | vn_constant_s |
| struct | vn_avail |
| struct | vn_ssa_aux |
Typedefs | |
| typedef struct vn_nary_op_s * | vn_nary_op_t |
| typedef const struct vn_nary_op_s * | const_vn_nary_op_t |
| typedef struct vn_phi_s * | vn_phi_t |
| typedef const struct vn_phi_s * | const_vn_phi_t |
| typedef struct vn_reference_op_struct | vn_reference_op_s |
| typedef vn_reference_op_s * | vn_reference_op_t |
| typedef const vn_reference_op_s * | const_vn_reference_op_t |
| typedef struct vn_reference_s * | vn_reference_t |
| typedef const struct vn_reference_s * | const_vn_reference_t |
| typedef struct vn_constant_s * | vn_constant_t |
| typedef struct vn_ssa_aux * | vn_ssa_aux_t |
Enumerations | |
| enum | vn_kind { VN_NONE , VN_CONSTANT , VN_NARY , VN_REFERENCE , VN_PHI } |
| enum | vn_lookup_kind { VN_NOWALK , VN_WALK , VN_WALKREWRITE } |
Variables | |
| tree | VN_TOP |
| tree(* | vn_valueize )(tree) |
| basic_block | vn_context_bb |
Typedef Documentation
◆ const_vn_nary_op_t
| typedef const struct vn_nary_op_s* const_vn_nary_op_t |
◆ const_vn_phi_t
| typedef const struct vn_phi_s* const_vn_phi_t |
◆ const_vn_reference_op_t
| typedef const vn_reference_op_s* const_vn_reference_op_t |
◆ const_vn_reference_t
| typedef const struct vn_reference_s* const_vn_reference_t |
◆ vn_constant_t
| typedef struct vn_constant_s * vn_constant_t |
◆ vn_nary_op_t
| typedef struct vn_nary_op_s * vn_nary_op_t |
N-ary operations in the hashtable consist of length operands, an opcode, and a type. Result is the value number of the operation, and hashcode is stored to avoid having to calculate it repeatedly.
◆ vn_phi_t
Phi nodes in the hashtable consist of their non-VN_TOP phi arguments, and the basic block the phi is in. Result is the value number of the operation, and hashcode is stored to avoid having to calculate it repeatedly. Phi nodes not in the same block are never considered equivalent.
◆ vn_reference_op_s
| typedef struct vn_reference_op_struct vn_reference_op_s |
Reference operands only exist in reference operations structures. They consist of an opcode, type, and some number of operands. For a given opcode, some, all, or none of the operands may be used. The operands are there to store the information that makes up the portion of the addressing calculation that opcode performs.
◆ vn_reference_op_t
| typedef vn_reference_op_s* vn_reference_op_t |
◆ vn_reference_t
| typedef struct vn_reference_s * vn_reference_t |
A reference operation in the hashtable is representation as the vuse, representing the memory state at the time of the operation, and a collection of operands that make up the addressing calculation. If two vn_reference_t's have the same set of operands, they access the same memory location. We also store the resulting value number, and the hashcode.
◆ vn_ssa_aux_t
| typedef struct vn_ssa_aux * vn_ssa_aux_t |
Enumeration Type Documentation
◆ vn_kind
| enum vn_kind |
◆ vn_lookup_kind
| enum vn_lookup_kind |
Function Documentation
◆ alloc_vn_nary_op_noinit()
| vn_nary_op_t alloc_vn_nary_op_noinit | ( | unsigned int | length, |
| struct obstack * | stack ) |
Allocate a vn_nary_op_t with LENGTH operands on STACK.
References sizeof_vn_nary_op().
Referenced by alloc_vn_nary_op(), get_or_alloc_expr_for_nary(), VN_INFO(), and vn_nary_build_or_lookup_1().
◆ ao_ref_init_from_vn_reference()
| bool ao_ref_init_from_vn_reference | ( | ao_ref * | ref, |
| alias_set_type | set, | ||
| alias_set_type | base_set, | ||
| tree | type, | ||
| const vec< vn_reference_op_s > & | ops ) |
Build a alias-oracle reference abstraction in *REF from the vn_reference operands in *OPS, the reference alias set SET and the reference type TYPE. Return true if something useful was produced.
References ao_ref::base, vn_reference_op_struct::base, ao_ref::base_alias_set, build2(), build5(), vn_reference_op_struct::clique, DECL_FIELD_BIT_OFFSET, DECL_FIELD_OFFSET, DECL_P, DECL_SIZE, FOR_EACH_VEC_ELT, GET_MODE_BITSIZE(), i, known_eq, known_lt, ao_ref::max_size, MR_DEPENDENCE_BASE, MR_DEPENDENCE_CLIQUE, NULL, NULL_TREE, vn_reference_op_struct::off, ao_ref::offset, offset, vn_reference_op_struct::op0, vn_reference_op_struct::op1, vn_reference_op_struct::op2, vn_reference_op_struct::opcode, poly_int_tree_p(), ao_ref::ref, ao_ref::ref_alias_set, ao_ref::size, wi::to_offset(), wi::to_poly_offset(), poly_int< N, C >::to_shwi(), TREE_CODE, TREE_OPERAND, vn_reference_op_struct::type, TYPE_MODE, TYPE_SIZE, and ao_ref::volatile_p.
Referenced by translate_vuse_through_block(), value_dies_in_block_x(), vn_reference_lookup(), vn_reference_lookup_3(), and vn_reference_lookup_pieces().
◆ do_rpo_vn()
| unsigned do_rpo_vn | ( | function * | fn, |
| edge | entry, | ||
| bitmap | exit_bbs, | ||
| bool | iterate, | ||
| bool | eliminate, | ||
| bool | skip_entry_phis, | ||
| vn_lookup_kind | kind ) |
Region-based entry for RPO VN. Performs value-numbering and elimination on the SEME region specified by ENTRY and EXIT_BBS. If ENTRY is not the only edge into the region at ENTRY->dest PHI nodes in ENTRY->dest are not considered. If ITERATE is true then treat backedges optimistically as not executed and iterate. If ELIMINATE is true then perform elimination, otherwise leave that to the caller. If SKIP_ENTRY_PHIS is true then force PHI nodes in ENTRY->dest to VARYING. KIND specifies the amount of work done for handling memory operations.
References do_rpo_vn_1(), free_rpo_vn(), and todo.
Referenced by execute_early_warn_uninitialized(), tree_if_conversion(), tree_loop_unroll_and_jam(), and tree_unroll_loops_completely().
◆ eliminate_with_rpo_vn()
| unsigned eliminate_with_rpo_vn | ( | bitmap | inserted_exprs | ) |
Eliminate fully redundant computations.
References CDI_DOMINATORS, cfun, eliminate_dom_walker::eliminate_cleanup(), inserted_exprs, rpo_avail, and dom_walker::walk().
Referenced by do_rpo_vn_1().
◆ expressions_equal_p()
Tree SCC value numbering Copyright (C) 2007-2024 Free Software Foundation, Inc. Contributed by Daniel Berlin <dberlin@dberlin.org> This file is part of GCC. GCC is free software; you can redistribute it and/or modify under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, 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/>.
In tree-ssa-sccvn.cc
Compare two expressions E1 and E2 and return true if they are equal. If match_vn_top_optimistically is true then VN_TOP is equal to anything, otherwise VN_TOP only matches VN_TOP.
References OEP_PURE_SAME, operand_equal_p(), TREE_CODE, and VN_TOP.
Referenced by cond_stmts_equal_p(), visit_phi(), visit_reference_op_store(), vn_constant_eq_with_type(), vn_nary_op_eq(), vn_nary_op_insert_into(), vn_phi_eq(), vn_reference_eq(), and vn_reference_op_eq().
◆ free_rpo_vn()
| void free_rpo_vn | ( | void | ) |
Free VN associated data structures.
References constant_to_value_id, FOR_EACH_HASH_TABLE_ELEMENT, free_vn_table(), vn_ssa_aux::name, vn_ssa_aux::needs_insertion, NULL, release_ssa_name(), valid_info, vn_ssa_aux_hash, vn_ssa_aux_obstack, vn_tables_insert_obstack, and vn_tables_obstack.
Referenced by do_rpo_vn().
◆ fully_constant_vn_reference_p()
| tree fully_constant_vn_reference_p | ( | vn_reference_t | ref | ) |
Optimize the reference REF to a constant if possible or return NULL_TREE if not.
References as_combined_fn(), build_zero_cst(), BUILT_IN_NORMAL, vn_reference_op_struct::clique, COMPLETE_TYPE_P, ctor_for_folding(), DECL_FUNCTION_CODE(), error_mark_node, fndecl_built_in_p(), fold_const_call(), fold_ctor_reference(), i, INTEGRAL_TYPE_P, poly_int< N, C >::is_constant(), is_gimple_min_invariant(), is_gimple_reg_type(), known_eq, native_encode_expr(), native_interpret_expr(), NULL, NULL_TREE, vn_reference_op_struct::op0, vn_reference_op_struct::opcode, vn_reference_s::operands, STRIP_USELESS_TYPE_CONVERSION, tcc_constant, TREE_CODE, TREE_CODE_CLASS, tree_fits_shwi_p(), TREE_OPERAND, tree_to_shwi(), vn_reference_s::type, TYPE_PRECISION, TYPE_SIZE, and VAR_P.
Referenced by fully_constant_expression(), vn_reference_lookup(), vn_reference_lookup_3(), and vn_reference_lookup_pieces().
◆ get_constant_value_id()
| unsigned int get_constant_value_id | ( | tree | constant | ) |
Lookup a value id for CONSTANT and return it. If it does not exist returns 0.
References vn_constant_s::constant, constant_to_value_id, vn_constant_s::hashcode, and vn_hash_constant_with_type().
◆ get_max_constant_value_id()
| unsigned int get_max_constant_value_id | ( | void | ) |
Return the maximum constant value id we have ever seen.
References next_constant_value_id.
Referenced by init_pre().
◆ get_max_value_id()
| unsigned int get_max_value_id | ( | void | ) |
◆ get_next_constant_value_id()
| unsigned int get_next_constant_value_id | ( | void | ) |
Return the next unique value id for constants.
References gcc_checking_assert, and next_constant_value_id.
Referenced by get_or_alloc_constant_value_id().
◆ get_next_value_id()
| unsigned int get_next_value_id | ( | void | ) |
Return the next unique value id.
References gcc_checking_assert, and next_value_id.
Referenced by create_expression_by_pieces(), get_or_alloc_expr_for_nary(), phi_translate_1(), run_rpo_vn(), set_value_id_for_result(), and vn_nary_build_or_lookup_1().
◆ get_or_alloc_constant_value_id()
| unsigned int get_or_alloc_constant_value_id | ( | tree | constant | ) |
Lookup a value id for CONSTANT, and if it does not exist, create a new one and return it. If it does exist, return it.
References vn_constant_s::constant, constant_to_value_id, get_next_constant_value_id(), vn_constant_s::hashcode, and vn_hash_constant_with_type().
Referenced by get_or_alloc_expr_for_constant(), run_rpo_vn(), set_value_id_for_result(), vn_reference_insert(), and vn_reference_lookup_or_insert_for_pieces().
◆ has_VN_INFO()
Return the value numbering info for an SSA_NAME.
Return whether there is value numbering information for a given SSA name.
References SSA_NAME_VERSION, and vn_ssa_aux_hash.
Referenced by eliminate_dom_walker::eliminate_stmt(), and tail_merge_valueize().
◆ init_vn_nary_op_from_stmt()
| void init_vn_nary_op_from_stmt | ( | vn_nary_op_t | vno, |
| gassign * | stmt ) |
Initialize VNO from STMT.
References CONSTRUCTOR_ELT, CONSTRUCTOR_NELTS, gcc_checking_assert, gimple_assign_lhs(), gimple_assign_rhs1(), gimple_assign_rhs_code(), gimple_assign_single_p(), gimple_num_ops(), gimple_op(), i, vn_nary_op_s::length, vn_nary_op_s::op, vn_nary_op_s::opcode, TREE_OPERAND, TREE_TYPE, and vn_nary_op_s::type.
Referenced by compute_avail(), vn_nary_build_or_lookup_1(), vn_nary_op_insert_stmt(), and vn_nary_op_lookup_stmt().
◆ print_vn_reference_ops()
| void print_vn_reference_ops | ( | FILE * | outfile, |
| const vec< vn_reference_op_s > | ops ) |
Pretty-print OPS to OUTFILE.
References vn_reference_op_struct::clique, get_tree_code_name(), i, internal_fn_name(), vn_reference_op_struct::op0, vn_reference_op_struct::op1, vn_reference_op_struct::op2, vn_reference_op_struct::opcode, print_generic_expr(), tcc_declaration, and TREE_CODE_CLASS.
Referenced by debug_vn_reference_ops(), and print_pre_expr().
◆ run_rpo_vn()
| void run_rpo_vn | ( | vn_lookup_kind | kind | ) |
Private interface for PRE.
References cfun, constant_to_value_id, do_rpo_vn_1(), dump_file, dump_flags, FOR_EACH_SSA_NAME, get_next_value_id(), get_or_alloc_constant_value_id(), i, is_gimple_min_invariant(), NULL, print_generic_expr(), set_hashtable_value_ids(), SSA_VAL(), TDF_DETAILS, TREE_CODE, vn_ssa_aux::valnum, vn_reference_s::value_id, vn_ssa_aux::value_id, visited, vn_ssa_aux::visited, VN_INFO(), and VN_TOP.
◆ scc_vn_restore_ssa_info()
| void scc_vn_restore_ssa_info | ( | void | ) |
◆ sizeof_vn_nary_op()
|
inline |
Return the size of a vn_nary_op_t with LENGTH operands.
References vn_nary_op_s::length.
Referenced by alloc_vn_nary_op_noinit(), compute_avail(), get_or_alloc_expr_for_nary(), phi_translate_1(), vn_nary_op_lookup_pieces(), and vn_nary_op_lookup_stmt().
◆ value_id_constant_p()
|
inline |
Return true if V is a value id for a constant.
Referenced by add_to_value(), bitmap_find_leader(), bitmap_insert_into_set(), bitmap_set_contains_value(), bitmap_value_insert_into_set(), bitmap_value_replace_in_set(), compute_avail(), find_or_generate_expression(), get_or_alloc_expr_for_nary(), phi_translate(), and vn_valnum_from_value_id().
◆ vn_constant_eq_with_type()
Compare the constants C1 and C2 with distinguishing type incompatible constants in the types_compatible_p sense.
References expressions_equal_p(), TREE_TYPE, and types_compatible_p().
Referenced by pre_expr_d::equal(), and vn_constant_hasher::equal().
◆ vn_get_expr_for()
◆ vn_get_stmt_kind()
Return the vn_kind the expression computed by the stmt should be associated with.
References get_gimple_rhs_class(), gimple_assign_rhs1(), gimple_assign_rhs_code(), GIMPLE_BINARY_RHS, GIMPLE_SINGLE_RHS, GIMPLE_TERNARY_RHS, GIMPLE_UNARY_RHS, is_gimple_min_invariant(), tcc_constant, tcc_declaration, tcc_reference, TREE_CODE, TREE_CODE_CLASS, TREE_OPERAND, VN_CONSTANT, VN_NARY, VN_NONE, VN_PHI, and VN_REFERENCE.
Referenced by compute_avail(), visit_nary_op(), and visit_stmt().
◆ vn_hash_constant_with_type()
|
inline |
Hash the constant CONSTANT with distinguishing type incompatible constants in the types_compatible_p sense.
References inchash::add_expr(), inchash::hash::end(), inchash::hash::merge_hash(), TREE_TYPE, and vn_hash_type().
Referenced by get_constant_value_id(), get_or_alloc_constant_value_id(), and pre_expr_d::hash().
◆ vn_hash_type()
|
inline |
Hash the type TYPE using bits that distinguishes it in the types_compatible_p sense.
References INTEGRAL_TYPE_P, TYPE_PRECISION, and TYPE_UNSIGNED.
Referenced by vn_hash_constant_with_type(), and vn_phi_compute_hash().
◆ VN_INFO()
|
extern |
References alloc_vn_nary_op_noinit(), boolean_false_node, boolean_true_node, boolean_type_node, build_int_cst(), dump_file, dump_flags, gcc_assert, gcc_unreachable, init_vn_nary_op_from_pieces(), last_inserted_nary, vn_ssa_aux::name, vn_tables_s::nary, vn_nary_op_s::next, nonnull_arg_p(), NULL, POINTER_TYPE_P, vn_nary_op_s::predicated_values, print_generic_expr(), vn_nary_op_s::result, SSA_NAME_IS_DEFAULT_DEF, SSA_NAME_VAR, SSA_NAME_VERSION, TDF_DETAILS, TDF_SLIM, TREE_CODE, TREE_TYPE, vn_nary_op_s::u, vn_nary_op_s::unwind_to, valid_info, vn_ssa_aux::valnum, vn_ssa_aux::visited, vn_nary_op_insert_into(), vn_ssa_aux_hash, vn_ssa_aux_obstack, vn_tables_insert_obstack, and VN_TOP.
Referenced by eliminate_dom_walker::after_dom_children(), create_expression_by_pieces(), do_pre_regular_insertion(), eliminate_dom_walker::eliminate_avail(), rpo_elim::eliminate_avail(), eliminate_dom_walker::eliminate_insert(), eliminate_dom_walker::eliminate_push_avail(), rpo_elim::eliminate_push_avail(), eliminate_dom_walker::eliminate_stmt(), find_or_generate_expression(), get_or_alloc_expr_for_name(), get_representative_for(), insert_into_preds_of_block(), op_valid_in_sets(), phi_translate_1(), pre_expr_DFS(), process_bb(), rpo_vn_valueize(), run_rpo_vn(), set_ssa_val_to(), set_value_id_for_result(), tail_merge_valueize(), visit_reference_op_load(), vn_nary_build_or_lookup_1(), vn_nary_op_insert_stmt(), vn_phi_insert(), vn_reference_insert(), vn_reference_lookup_or_insert_for_pieces(), and vn_valnum_from_value_id().
◆ vn_nary_length_from_stmt()
| unsigned int vn_nary_length_from_stmt | ( | gimple * | stmt | ) |
Return the number of operands for a vn_nary ops structure from STMT.
References CONSTRUCTOR_NELTS, gimple_assign_rhs1(), gimple_assign_rhs_code(), and gimple_num_ops().
Referenced by compute_avail(), vn_nary_build_or_lookup_1(), vn_nary_op_insert_stmt(), and vn_nary_op_lookup_stmt().
◆ vn_nary_may_trap()
| bool vn_nary_may_trap | ( | vn_nary_op_t | nary | ) |
Return true if the nary operation NARY may trap. This is a copy of stmt_could_throw_1_p adjusted to the SCCVN IL.
References FLOAT_TYPE_P, i, INTEGRAL_TYPE_P, vn_nary_op_s::length, NULL_TREE, vn_nary_op_s::op, vn_nary_op_s::opcode, operation_could_trap_helper_p(), tcc_binary, tcc_comparison, tcc_unary, TREE_CODE_CLASS, tree_could_trap_p(), type(), vn_nary_op_s::type, and TYPE_OVERFLOW_TRAPS.
Referenced by compute_avail(), and prune_clobbered_mems().
◆ vn_nary_op_compute_hash()
| hashval_t vn_nary_op_compute_hash | ( | const vn_nary_op_t | vno1 | ) |
Compute and return the hash value for nary operation VBO1.
References inchash::add_expr(), inchash::hash::add_int(), commutative_ternary_tree_code(), commutative_tree_code(), inchash::hash::end(), i, vn_nary_op_s::length, vn_nary_op_s::op, vn_nary_op_s::opcode, swap_tree_comparison(), tcc_comparison, TREE_CODE_CLASS, and tree_swap_operands_p().
Referenced by get_or_alloc_expr_for_nary(), vn_nary_op_insert_into(), and vn_nary_op_lookup_1().
◆ vn_nary_op_eq()
| bool vn_nary_op_eq | ( | const_vn_nary_op_t const | vno1, |
| const_vn_nary_op_t const | vno2 ) |
Compare nary operations VNO1 and VNO2 and return true if they are equivalent.
References expressions_equal_p(), vn_nary_op_s::hashcode, i, vn_nary_op_s::length, vn_nary_op_s::op, vn_nary_op_s::opcode, TREE_CODE, TREE_TYPE, vn_nary_op_s::type, TYPE_PRECISION, and types_compatible_p().
Referenced by pre_expr_d::equal(), and vn_nary_op_hasher::equal().
◆ vn_nary_op_insert_pieces()
| vn_nary_op_t vn_nary_op_insert_pieces | ( | unsigned int | length, |
| enum tree_code | code, | ||
| tree | type, | ||
| tree * | ops, | ||
| tree | result, | ||
| unsigned int | value_id ) |
Insert a n-ary operation into the current hash table using it's pieces. Return the vn_nary_op_t structure we created and put in the hashtable.
References alloc_vn_nary_op(), init_vn_nary_op_from_pieces(), vn_tables_s::nary, vn_reference_s::result, valid_info, vn_reference_s::value_id, and vn_nary_op_insert_into().
Referenced by vn_reference_insert().
◆ vn_nary_op_lookup_pieces()
| tree vn_nary_op_lookup_pieces | ( | unsigned int | length, |
| enum tree_code | code, | ||
| tree | type, | ||
| tree * | ops, | ||
| vn_nary_op_t * | vnresult ) |
Lookup a n-ary operation by its pieces and return the resulting value number if it exists in the hash table. Return NULL_TREE if it does not exist in the hash table or if the result field of the operation is NULL. VNRESULT will contain the vn_nary_op_t from the hashtable if it exists.
References init_vn_nary_op_from_pieces(), sizeof_vn_nary_op(), and vn_nary_op_lookup_1().
Referenced by phi_translate_1(), process_bb(), valueized_wider_op(), visit_nary_op(), visit_phi(), vn_lookup_simplify_result(), and vn_reference_lookup().
◆ vn_nary_op_lookup_stmt()
| tree vn_nary_op_lookup_stmt | ( | gimple * | stmt, |
| vn_nary_op_t * | vnresult ) |
Lookup the rhs of STMT in the current hash table, and return the resulting value number if it exists in the hash table. Return NULL_TREE if it does not exist in the hash table. VNRESULT will contain the vn_nary_op_t from the hashtable if it exists.
References as_a(), init_vn_nary_op_from_stmt(), sizeof_vn_nary_op(), vn_nary_length_from_stmt(), and vn_nary_op_lookup_1().
Referenced by compute_avail(), visit_nary_op(), and vn_nary_build_or_lookup_1().
◆ vn_nary_simplify()
| tree vn_nary_simplify | ( | vn_nary_op_t | nary | ) |
Try to simplify the expression RCODE OPS... of type TYPE and return its value if present.
References vn_nary_op_s::length, gimple_match_op::MAX_NUM_OPS, NULL_TREE, vn_nary_op_s::op, vn_nary_op_s::opcode, gimple_match_op::ops, vn_nary_op_s::type, gimple_match_cond::UNCOND, and vn_nary_build_or_lookup_1().
Referenced by fully_constant_expression().
◆ vn_ref_op_align_unit()
|
inline |
References vn_reference_op_struct::align.
Referenced by copy_reference_ops_from_ref(), create_component_ref_by_pieces_1(), and valueize_refs_1().
◆ vn_reference_eq()
| bool vn_reference_eq | ( | const_vn_reference_t const | vr1, |
| const_vn_reference_t const | vr2 ) |
Return true if reference operations VR1 and VR2 are equivalent. This means they have the same set of operands and vuses.
References COMPLETE_TYPE_P, expressions_equal_p(), vn_reference_s::hashcode, i, INTEGRAL_TYPE_P, known_eq, vn_reference_s::max_size, mode_can_transfer_bits(), vn_reference_op_struct::off, vn_reference_s::offset, vn_reference_op_struct::op0, vn_reference_op_struct::opcode, vn_reference_s::operands, vn_reference_op_struct::reverse, TREE_CODE, TREE_INT_CST_LOW, TREE_OPERAND, TREE_TYPE, vn_reference_op_struct::type, vn_reference_s::type, TYPE_MODE, TYPE_PRECISION, TYPE_SIZE, TYPE_VECTOR_SUBPARTS(), types_compatible_p(), VECTOR_BOOLEAN_TYPE_P, vn_reference_op_eq(), and vn_reference_s::vuse.
Referenced by pre_expr_d::equal(), and vn_reference_hasher::equal().
◆ vn_reference_insert_pieces()
| vn_reference_t vn_reference_insert_pieces | ( | tree | vuse, |
| alias_set_type | set, | ||
| alias_set_type | base_set, | ||
| poly_int64 | offset, | ||
| poly_int64 | max_size, | ||
| tree | type, | ||
| vec< vn_reference_op_s > | operands, | ||
| tree | result, | ||
| unsigned int | value_id ) |
Insert a reference by it's pieces into the current hash table with a value number of RESULT. Return the resulting reference structure we created.
References vn_reference_s::base_set, hash_table< Descriptor, Lazy, Allocator >::find_slot_with_hash(), gcc_assert, vn_reference_s::hashcode, last_inserted_ref, vn_reference_s::max_size, vn_reference_s::next, NULL_TREE, offset, vn_reference_s::offset, vn_reference_s::operands, vn_reference_s::punned, vn_tables_s::references, vn_reference_s::result, vn_reference_s::result_vdef, vn_reference_s::set, SSA_VAL(), TREE_CODE, type(), vn_reference_s::type, valid_info, vn_reference_s::value_id, valueize_refs(), vn_reference_compute_hash(), vn_tables_obstack, vn_reference_s::vuse, and vuse_ssa_val().
Referenced by phi_translate_1(), and vn_reference_lookup_or_insert_for_pieces().
◆ vn_reference_lookup()
| tree vn_reference_lookup | ( | tree | op, |
| tree | vuse, | ||
| vn_lookup_kind | kind, | ||
| vn_reference_t * | vnresult, | ||
| bool | tbaa_p, | ||
| tree * | last_vuse_ptr, | ||
| tree | mask, | ||
| bool | redundant_store_removal_p ) |
Lookup OP in the current hash table, and return the resulting value number if it exists in the hash table. Return NULL_TREE if it does not exist in the hash table or if the result field of the structure was NULL.. VNRESULT will be filled in with the vn_reference_t stored in the hashtable if one exists. When TBAA_P is false assume we are looking up a store and treat it as having alias-set zero. *LAST_VUSE_PTR will be updated with the VUSE the value lookup succeeded. MASK is either NULL_TREE, or can be an INTEGER_CST if the result of the load is bitwise anded with MASK and so we are only interested in a subset of the bits and can ignore if the other bits are uninitialized or not initialized with constants. When doing redundant store removal the caller has to set REDUNDANT_STORE_REMOVAL_P.
References ao_ref_alias_set(), ao_ref_base(), ao_ref_base_alias_set(), ao_ref_init(), ao_ref_init_from_vn_reference(), vn_reference_s::base_set, cfun, poly_int< N, C >::coeffs, copy_reference_ops_from_ref(), fully_constant_vn_reference_p(), gcc_assert, gcc_checking_assert, vn_reference_s::hashcode, i, known_eq, vn_reference_s::max_size, NULL, NULL_TREE, vn_reference_op_struct::off, vn_reference_s::offset, vn_reference_op_struct::opcode, operand_equal_p(), vn_reference_s::operands, PROP_objsz, r, vn_reference_s::result, vn_reference_s::set, sext_hwi(), shared_lookup_references, sizetype, TREE_TYPE, vn_reference_s::type, TYPE_PRECISION, valueize_refs_1(), valueize_shared_reference_ops_from_ref(), vn_nary_op_lookup_pieces(), VN_NOWALK, vn_reference_compute_hash(), vn_reference_lookup_1(), vn_reference_lookup_2(), vn_reference_lookup_3(), vn_reference_s::vuse, vuse_ssa_val(), vuse_valueize(), walk_non_aliased_vuses(), and wide_int_to_tree().
Referenced by eliminate_dom_walker::eliminate_stmt(), visit_nary_op(), visit_reference_op_load(), and visit_reference_op_store().
◆ vn_reference_lookup_call()
| void vn_reference_lookup_call | ( | gcall * | call, |
| vn_reference_t * | vnresult, | ||
| vn_reference_t | vr ) |
Lookup CALL in the current hash table and return the entry in *VNRESULT if found. Populates *VR for the hashtable lookup.
References vn_reference_s::base_set, gimple_call_lhs(), gimple_vuse(), vn_reference_s::hashcode, vn_reference_s::max_size, NULL, NULL_TREE, vn_reference_s::offset, vn_reference_s::operands, vn_reference_s::punned, vn_reference_s::set, SSA_VAL(), TREE_CODE, TREE_TYPE, vn_reference_s::type, valueize_shared_reference_ops_from_call(), vn_reference_compute_hash(), vn_reference_lookup_1(), and vn_reference_s::vuse.
Referenced by compute_avail(), and visit_reference_op_call().
◆ vn_reference_lookup_pieces()
| tree vn_reference_lookup_pieces | ( | tree | vuse, |
| alias_set_type | set, | ||
| alias_set_type | base_set, | ||
| tree | type, | ||
| vec< vn_reference_op_s > | operands, | ||
| vn_reference_t * | vnresult, | ||
| vn_lookup_kind | kind ) |
Lookup a reference operation by it's parts, in the current hash table. Returns the resulting value number if it exists in the hash table, NULL_TREE otherwise. VNRESULT will be filled in with the actual vn_reference_t stored in the hashtable if something is found.
References ao_ref_init_from_vn_reference(), vn_reference_s::base_set, fully_constant_vn_reference_p(), gcc_checking_assert, vn_reference_s::hashcode, vn_reference_s::max_size, NULL, NULL_TREE, vn_reference_s::offset, operand_equal_p(), vn_reference_s::operands, r, vn_reference_s::set, shared_lookup_references, type(), vn_reference_s::type, valueize_refs_1(), VN_NOWALK, vn_reference_compute_hash(), vn_reference_lookup_1(), vn_reference_lookup_2(), vn_reference_lookup_3(), vn_reference_s::vuse, vuse_ssa_val(), vuse_valueize(), and walk_non_aliased_vuses().
Referenced by compute_avail(), and phi_translate_1().
◆ vn_reference_may_trap()
| bool vn_reference_may_trap | ( | vn_reference_t | ref | ) |
Return true if the reference operation REF may trap.
References FOR_EACH_VEC_ELT, i, vn_reference_op_struct::op0, vn_reference_op_struct::op1, vn_reference_op_struct::opcode, vn_reference_s::operands, TREE_CODE, tree_could_trap_p(), tree_int_cst_lt(), TREE_OPERAND, TYPE_DOMAIN, and TYPE_MAX_VALUE.
Referenced by compute_avail(), and prune_clobbered_mems().
◆ vn_reference_operands_for_lookup()
| vec< vn_reference_op_s > vn_reference_operands_for_lookup | ( | tree | op | ) |
Return a reference op vector from OP that can be used for vn_reference_lookup_pieces. The caller is responsible for releasing the vector.
References valueize_shared_reference_ops_from_ref().
Referenced by compute_avail().
Variable Documentation
◆ vn_context_bb
|
extern |
Context that valueization should operate on.
Referenced by eliminate_dom_walker::before_dom_children(), compute_avail(), do_rpo_vn_1(), phi_translate(), process_bb(), rpo_vn_valueize(), visit_nary_op(), vn_lookup_simplify_result(), vn_reference_lookup_3(), and vn_valueize_for_srt().
◆ VN_TOP
|
extern |
TOP of the VN lattice.
This represents the top of the VN lattice, which is the universal value.
Referenced by do_rpo_vn_1(), rpo_elim::eliminate_avail(), rpo_elim::eliminate_push_avail(), eliminate_dom_walker::eliminate_stmt(), expressions_equal_p(), process_bb(), rpo_vn_valueize(), run_rpo_vn(), set_ssa_val_to(), tail_merge_valueize(), visit_phi(), VN_INFO(), vn_phi_compute_hash(), vn_phi_insert(), vn_phi_lookup(), vuse_ssa_val(), and vuse_valueize().
◆ vn_valueize
Valueize NAME if it is an SSA name, otherwise just return it. This hook is initialized by run_scc_vn.
Valueization hook for simplify_replace_tree. Valueize NAME if it is an SSA name, otherwise just return it.
Referenced by do_rpo_vn_1(), insert_predicates_for_cond(), process_bb(), try_to_simplify(), valueize_refs_1(), valueized_wider_op(), visit_stmt(), vn_nary_build_or_lookup_1(), vn_phi_insert(), vn_phi_lookup(), vn_reference_fold_indirect(), vn_reference_lookup_3(), vn_reference_maybe_forwprop_address(), and vn_valueize_for_srt().
