Defines | |
| #define | ESUPPL_MERGE_MASK 0x3fffff |
| #define | ESUPPL_BITS_TO_STORE 5 |
| #define | ESUPPL_WAS_SWAPPED(x) x.part.swapped |
| #define | ESUPPL_IS_ROOT(x) x.part.root |
| #define | ESUPPL_IS_TRUE(x) x.part.eval_t |
| #define | ESUPPL_IS_FALSE(x) x.part.eval_f |
| #define | ESUPPL_WAS_TRUE(x) x.part.true |
| #define | ESUPPL_WAS_FALSE(x) x.part.false |
| #define | ESUPPL_IS_LEFT_CHANGED(x) x.part.left_changed |
| #define | ESUPPL_IS_RIGHT_CHANGED(x) x.part.right_changed |
| #define | ESUPPL_WAS_COMB_COUNTED(x) x.part.comb_cntd |
| #define | ESUPPL_IS_LHS(x) x.part.lhs |
| #define | ESUPPL_IS_IN_FUNC(x) x.part.in_func |
| #define | ESUPPL_OWNS_VEC(x) x.part.owns_vec |
| #define | ESUPPL_EXCLUDED(x) x.part.excluded |
| #define | ESUPPL_TYPE(x) x.part.type |
| #define | ESUPPL_STATIC_BASE(x) x.part.base |
| #define ESUPPL_BITS_TO_STORE 5 |
Specifies the number of bits to store for a given expression for reentrant purposes. Contains the following expression supplemental field bits:
Referenced by reentrant_count_afu_bits(), reentrant_restore_data_bits(), and reentrant_store_data_bits().
| #define ESUPPL_EXCLUDED | ( | x | ) | x.part.excluded |
Returns a value of 1 if the specified expression should be excluded from coverage consideration.
Referenced by combination_event(), combination_get_exclude_list(), combination_get_tree_stats(), combination_multi_expr_calc(), combination_multi_vars(), combination_output_expr(), combination_two_vars(), combination_unary(), exclude_is_parent_excluded(), line_collect(), ovl_collect(), ovl_get_coverage(), and ovl_get_funit_stats().
| #define ESUPPL_IS_FALSE | ( | x | ) | x.part.eval_f |
Returns a value of 1 if the specified supplemental belongs to an expression who was just evaluated to FALSE.
Referenced by expression_set_eval_NN().
| #define ESUPPL_IS_IN_FUNC | ( | x | ) | x.part.in_func |
Returns a value of 1 if the specified expression is contained in a function.
Referenced by expression_op_func__nb_call().
| #define ESUPPL_IS_LEFT_CHANGED | ( | x | ) | x.part.left_changed |
Returns a value of 1 if the left child expression was changed during this timestamp.
Referenced by expression_assign(), sim_expr_changed(), and sim_expression().
| #define ESUPPL_IS_LHS | ( | x | ) | x.part.lhs |
Returns a value of 1 if the specified expression exists on the left-hand side of an assignment operation.
Referenced by bind_signal(), expression_db_read(), expression_find_rhs_sigs(), expression_is_assigned(), expression_is_static_only_helper(), expression_resize(), expression_set_assigned(), race_check_one_block_assignment(), and sim_expression().
| #define ESUPPL_IS_RIGHT_CHANGED | ( | x | ) | x.part.right_changed |
Returns a value of 1 if the right child expression was changed during this timestamp.
Referenced by sim_expr_changed(), and sim_expression().
| #define ESUPPL_IS_ROOT | ( | x | ) | x.part.root |
Returns a value of 1 if the specified supplemental value has the ROOT bit set indicating that the current expression is the root expression of its expression tree.
Referenced by codegen_gen_expr(), combination_get_missed_expr(), combination_get_tree_stats(), combination_is_expr_multi_node(), combination_multi_expr_calc(), combination_multi_var_exprs(), combination_underline_tree(), exclude_expr_assign_and_recalc(), exclude_is_parent_excluded(), exclude_line_from_id(), expression_get_curr_dimension(), expression_get_root_statement(), expression_is_assigned(), expression_is_bit_select(), expression_is_in_rassign(), expression_is_last_select(), expression_is_nba_lhs(), expression_op_func__mbit(), expression_op_func__mbit_neg(), expression_op_func__mbit_pos(), expression_op_func__sbit(), expression_resize(), expression_set_assigned(), expression_set_signed(), funit_size_elements(), race_check_one_block_assignment(), sim_expr_changed(), and sim_expression().
| #define ESUPPL_IS_TRUE | ( | x | ) | x.part.eval_t |
Returns a value of 1 if the specified supplemental belongs to an expression who was just evaluated to TRUE.
Referenced by expression_op_func__dly_assign(), expression_op_func__eor(), expression_op_func__slist(), expression_set_eval_NN(), gen_item_resolve(), and sim_thread().
| #define ESUPPL_MERGE_MASK 0x3fffff |
Used for merging two supplemental fields from two expressions. Both expression supplemental fields are ANDed with this mask and ORed together to perform the merge. See esuppl_u for information on which bits are masked.
Referenced by expression_db_merge(), expression_db_write(), and expression_merge().
| #define ESUPPL_OWNS_VEC | ( | x | ) | x.part.owns_vec |
Returns a value of 1 if the specified expression owns its vector structure or 0 if it shares it with someone else.
Referenced by expression_db_merge(), expression_db_read(), expression_db_write(), expression_dealloc(), and expression_merge().
| #define ESUPPL_STATIC_BASE | ( | x | ) | x.part.base |
Returns the base type of the vector value if the expression is an EXP_OP_STATIC. Legal values are DECIMAL, HEXIDECIMAL, OCTAL, BINARY, and QSTRING.
Referenced by codegen_gen_expr(), combination_underline_tree(), fsm_arg_parse_attr(), fsm_arg_parse_trans(), and ovl_get_coverage_point().
| #define ESUPPL_TYPE | ( | x | ) | x.part.type |
Returns the type of expression that this expression should be treated as. Legal values are specified Expression Types.
Referenced by expression_contains_expr_calling_stmt(), and statement_dealloc_recursive().
| #define ESUPPL_WAS_COMB_COUNTED | ( | x | ) | x.part.comb_cntd |
Returns a value of 1 if the specified expression has already been counted for combinational coverage.
Referenced by combination_get_tree_stats(), combination_output_expr(), and rank_gather_comb_cov().
| #define ESUPPL_WAS_FALSE | ( | x | ) | x.part.false |
Returns a value of 1 if the specified supplemental belongs to an expression that has evaluated to a value of FALSE (0) during simulation.
Referenced by combination_does_multi_exp_need_ul(), combination_get_tree_stats(), combination_multi_expr_calc(), combination_multi_var_exprs(), combination_two_vars(), combination_unary(), and rank_gather_comb_cov().
| #define ESUPPL_WAS_SWAPPED | ( | x | ) | x.part.swapped |
Returns a value of 1 if the specified supplemental value has the SWAPPED bit set indicating that the children of the current expression were swapped positions during the scoring phase.
Referenced by codegen_gen_expr().
| #define ESUPPL_WAS_TRUE | ( | x | ) | x.part.true |
Returns a value of 1 if the specified supplemental belongs to an expression that has evaluated to a value of TRUE (1) during simulation.
Referenced by combination_does_multi_exp_need_ul(), combination_event(), combination_get_tree_stats(), combination_multi_expr_calc(), combination_multi_var_exprs(), combination_two_vars(), combination_unary(), and rank_gather_comb_cov().
1.6.3