Method make_random_array_init

src/StatementArrayOp.cpp:91–161

}

StatementArrayOp *
StatementArrayOp::make_random_array_init(CGContext &cg_context)
{
	// select the array to initialize
	//static int g = 0;
	//int h = g++;
	ArrayVariable* av =  VariableSelector::select_array(cg_context);
	ERROR_GUARD(NULL);
	cg_context.get_effect_stm().clear();
	// Select the loop control variable.
	vector<const Variable*> invalid_vars;
	vector<const Variable*> cvs;
	ERROR_GUARD(NULL);
	// the iteration settings are simple: start from index 0, step through all members
	vector<int> inits, incrs;
	size_t i;
	cg_context.get_effect_stm().clear();
	FactMgr* fm = get_fact_mgr(&cg_context);
	int vol_count = 0;
	if (av->is_volatile())
		vol_count++;

	for (i=0; i<av->get_dimension(); i++) {
		inits.push_back(0);
		incrs.push_back(1);
		Variable *cv = NULL;
		do {
			cv = VariableSelector::SelectLoopCtrlVar(cg_context, invalid_vars);
			if (cv->type->is_float()) {
				invalid_vars.push_back(cv);
				continue;
			}
			if (cv->is_volatile())
				vol_count++;
			if ((CGOptions::strict_volatile_rule() && (vol_count > 1) && cv->is_volatile())
				|| (CGOptions::ccomp() && cv->is_packed_aggregate_field_var())
				|| (!CGOptions::signed_char_index() && cv->type->is_signed_char())) {
				invalid_vars.push_back(cv);
				continue;
			}
			else {
				break;
			}
		} while (true);
		invalid_vars.push_back(cv);
		cvs.push_back(cv);
		bool read = cg_context.read_indices(cv, fm->global_facts);
		assert(read);
		cg_context.write_var(cv);
		// put in induction variable list so that later indices have no write-write conflict
		cg_context.iv_bounds[cv] = av->get_sizes()[i];
	}
	cg_context.write_var(av);

	// JYTODO: initialize only field(s) of array members if they are of type struct
	Block* b = cg_context.get_current_block()->random_parent_block();
	Expression* init = VariableSelector::make_init_value(Effect::READ, cg_context, av->type, &av->qfer, b);
	assert(init->visit_facts(fm->global_facts, cg_context));