Method AssignOpsProbability

src/StatementAssign.cpp:88–109

}

eAssignOps
StatementAssign::AssignOpsProbability(const Type* type)
{
	if (!CGOptions::compound_assignment()) {
		return eSimpleAssign;
	}
	// First, floating point values do not apply to |=, &= and ^=.
	// Second, similar to signed integers, we don't generate pre- or post-
	// operators for floating point values. Instead, we will wrap all
	// of these operations into safe_float_math later.
	if (type && (type->eType != eSimple || type->get_base_type()->is_float())) {
		return eSimpleAssign;
	}

	VectorFilter filter(&assignOpsTable_);
	if (type && type->is_signed()) {
		filter.add(ePreIncr).add(ePreDecr).add(ePostIncr).add(ePostDecr);
	}

	int value = rnd_upto(filter.get_max_prob(), &filter);
	return (eAssignOps)(filter.lookup(value));
}

/*
 *