Method make_random_array_loop

src/StatementFor.cpp:295–329

generate loop traversing array(s) */

/* generate loop traversing array(s) */
StatementFor *
StatementFor::make_random_array_loop(const CGContext &cg_context)
{
	// select the number of arrays to manipulate, default maximum = 4;
	unsigned int aryno = rnd_upto(CGOptions::max_array_num_in_loop());
	// choose arrays to manipulate, create new ones if necessary
	VariableSet must_reads, must_writes;
	for (size_t i=0; i<aryno; i++) {
		const ArrayVariable* av = VariableSelector::select_array(cg_context);
		// random access choice: 0 = must read, 1 = must write, 2 = both
		int access = rnd_upto(3);
		if (access == 0 || access == 2) {
			add_variable_to_set(must_reads, (const Variable*)av);
		}
		if (access == 1 || access == 2) {
			add_variable_to_set(must_writes, (const Variable*)av);
		}
	}
	// create read/write directive from existing context and incoming directives
	VariableSet all_must_reads, all_must_writes, no_reads, no_writes;
	if (cg_context.rw_directive) {
		combine_variable_sets(cg_context.rw_directive->must_read_vars, must_reads, all_must_reads);
		combine_variable_sets(cg_context.rw_directive->must_write_vars, must_writes, all_must_writes);
		no_reads = cg_context.rw_directive->no_read_vars;
		no_writes = cg_context.rw_directive->no_write_vars;
	} else {
		all_must_reads = must_reads;
		all_must_writes = must_writes;
	}
	RWDirective rwd(no_reads, no_writes, all_must_reads, all_must_writes);
	// create CGContext for loop
	CGContext loop_cg_context(cg_context, &rwd, NULL, 0);
	StatementFor* sf = make_random(loop_cg_context);
	return sf;
}

void
StatementFor::post_loop_analysis(CGContext& cg_context, vector<const Fact*>& pre_facts, Effect& pre_effect)