Method itemize_array

src/VariableSelector.cpp:1402–1456

given a collective array, create a member out of induction variables in the context */

/* given a collective array, create a member out of induction variables in the context */
ArrayVariable*
VariableSelector::itemize_array(CGContext& cg_context, const ArrayVariable* av)
{
	if (av->get_dimension() > cg_context.iv_bounds.size()) return NULL;
	vector<const Expression*> indices;

	for (size_t i=0; i<av->get_dimension(); i++) {
		// choose which induction variables to be used as indices, prefer the ones within array bound
		vector<const Variable*> ok_ivs;
		unsigned int dimen_len = av->get_sizes()[i];
		map<const Variable*, unsigned int>::iterator iter;
		for(iter = cg_context.iv_bounds.begin(); iter != cg_context.iv_bounds.end(); ++iter) {
			if (iter->second != INVALID_BOUND && iter->second < dimen_len) {
				const Variable* iv = iter->first;
				if (!CGOptions::signed_char_index() && iv->type->is_signed_char())
					continue;
				if (CGOptions::ccomp() && iv->is_packed_aggregate_field_var())
					continue;
				if (iv->type->is_float())
					continue;
				// unfortunately different std::map implementations give us diff. order, we
				// have to sort them to generate consistant outputs across diff. platforms
				bool insert_middle = false;
				for (size_t j=0; j<ok_ivs.size(); j++) {
					if (ok_ivs[j]->name.compare(iv->name) > 0) {
						ok_ivs.insert(ok_ivs.begin() + j, iv);
						insert_middle = true;
						break;
					}
				}
				if (insert_middle)
					continue;
				ok_ivs.push_back(iv);
			}
		}

		const Variable* v = choose_ok_var(ok_ivs);
		// this could happen if the context contained 2 or more array to be used, but the longer one(s) has
		// been removed, and leaving the shorter one that is too short for the induction variable's range
		if (v == NULL) return NULL;

		const Expression* ev = new ExpressionVariable(*v);;
		// add random offset to the chosen induction variable
		unsigned int offset = 0;
		if (dimen_len - cg_context.iv_bounds[v] > 1) {
			offset = rnd_upto(dimen_len - cg_context.iv_bounds[v]);
		}
		if (offset) {
			const FunctionInvocation* fi = new FunctionInvocationBinary(eAdd, ev, new Constant(get_int_type(), StringUtils::int2str(offset)), 0);
			ev = new ExpressionFuncall(*fi);
		}
		indices.push_back(ev);
	}
	return av->itemize(indices, cg_context.get_current_block());
}

const Variable*
VariableSelector::select_must_use_var(Effect::Access access, CGContext &cg_context, const Type* type, const CVQualifiers* qfer)