Expression supplemental field defines and macros.

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 Documentation

#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: left_changed right_changed eval_t eval_f prev_called

#define ESUPPL_EXCLUDED (  x   )     x.part.excluded

Returns a value of 1 if the specified expression should be excluded from coverage consideration.

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

#define ESUPPL_IS_IN_FUNC (  x   )     x.part.in_func

Returns a value of 1 if the specified expression is contained in a function.

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

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

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

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

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

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

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

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

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

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

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

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

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

---