Data Fields | |
| ccp_lattice_t | lattice_val |
| tree | value |
| double_int | mask |
Detailed Description
Lattice for copy-propagation. The lattice is initialized to UNDEFINED (value == NULL) for SSA names that can become a copy of something or VARYING (value == self) if not (see get_copy_of_val and stmt_may_generate_copy). Other values make the name a COPY of that value. When visiting a statement or PHI node the lattice value for an SSA name can transition from UNDEFINED to COPY to VARYING.
Field Documentation
| ccp_lattice_t prop_value_d::lattice_val |
Referenced by bit_value_assume_aligned(), bit_value_binop(), bit_value_unop(), canonicalize_float_value(), ccp_finalize(), ccp_fold_stmt(), ccp_lattice_meet(), ccp_visit_phi_node(), do_dbg_cnt(), dump_lattice_value(), evaluate_stmt(), get_constant_value(), get_default_value(), get_value(), get_value_for_expr(), get_value_from_alignment(), likely_value(), set_lattice_value(), set_value_varying(), valid_lattice_transition(), visit_assignment(), and visit_cond_stmt().
| double_int prop_value_d::mask |
Referenced by bit_value_assume_aligned(), bit_value_binop(), bit_value_binop_1(), bit_value_unop(), ccp_finalize(), ccp_fold_stmt(), ccp_lattice_meet(), do_dbg_cnt(), dump_lattice_value(), evaluate_stmt(), get_constant_value(), get_default_value(), get_value_for_expr(), get_value_from_alignment(), set_lattice_value(), set_value_varying(), valid_lattice_transition(), and visit_cond_stmt().
| tree prop_value_d::value |
Referenced by bit_value_assume_aligned(), bit_value_binop(), bit_value_unop(), canonicalize_float_value(), ccp_finalize(), ccp_fold_stmt(), ccp_lattice_meet(), ccp_visit_phi_node(), copy_prop_visit_phi_node(), do_dbg_cnt(), dump_copy_of(), dump_lattice_value(), evaluate_stmt(), fini_copy_prop(), get_constant_value(), get_copy_of_val(), get_default_value(), get_value(), get_value_for_expr(), get_value_from_alignment(), set_copy_of_val(), set_lattice_value(), set_value_varying(), valid_lattice_transition(), value_to_double_int(), valueize_val(), and visit_cond_stmt().
The documentation for this struct was generated from the following files:
