From 56b623b9e21c1dddffaaa37cfb4aeaca27917cbe Mon Sep 17 00:00:00 2001
From: Timo Teräs <timo.teras@iki.fi>
Date: Fri, 14 Jun 2013 21:20:19 +0300
Subject: solver: use array_foreach_item and clean ups

---
 src/solver.c | 286 +++++++++++++++++++++++++++--------------------------------
 1 file changed, 130 insertions(+), 156 deletions(-)

(limited to 'src')

diff --git a/src/solver.c b/src/solver.c
index 58bb30b..1b55496 100644
--- a/src/solver.c
+++ b/src/solver.c
@@ -51,10 +51,10 @@ void apk_solver_set_name_flags(struct apk_name *name,
 			       unsigned short solver_flags,
 			       unsigned short solver_flags_inheritable)
 {
-	int i;
+	struct apk_provider *p;
 
-	for (i = 0; i < name->providers->num; i++) {
-		struct apk_package *pkg = name->providers->item[i].pkg;
+	foreach_array_item(p, name->providers) {
+		struct apk_package *pkg = p->pkg;
 		pkg->ss.solver_flags |= solver_flags;
 		pkg->ss.solver_flags_inheritable |= solver_flags_inheritable;
 	}
@@ -78,50 +78,25 @@ static unsigned int get_pkg_repos(struct apk_database *db, struct apk_package *p
 	return pkg->repos | (pkg->ipkg ? db->repo_tags[pkg->ipkg->repository_tag].allowed_repos : 0);
 }
 
-static void foreach_dependency(struct apk_solver_state *ss, struct apk_package *ppkg, struct apk_dependency_array *deps,
-			       void (*func)(struct apk_solver_state *ss, struct apk_package *ppkg, struct apk_dependency *dep))
-{
-	int i;
-	for (i = 0; i < deps->num; i++)
-		func(ss, ppkg, &deps->item[i]);
-}
-
-static void foreach_name(struct apk_solver_state *ss, struct apk_name_array *names,
-			 void (*func)(struct apk_solver_state *ss, struct apk_name *name))
-{
-	int i;
-	for (i = 0; i < names->num; i++)
-		if (names->item[i]->ss.seen)
-			func(ss, names->item[i]);
-}
-
 static void foreach_rinstall_if_pkg(
 	struct apk_solver_state *ss, struct apk_package *pkg,
 	void (*cb)(struct apk_solver_state *ss, struct apk_package *rinstall_if, struct apk_package *parent_pkg))
 {
-	struct apk_name *name = pkg->name;
-	int i, j, k;
-
-	for (i = 0; i < pkg->name->rinstall_if->num; i++) {
-		struct apk_name *name0 = pkg->name->rinstall_if->item[i];
+	struct apk_name *name = pkg->name, *name0, **pname0;
+	struct apk_dependency *dep;
+	struct apk_provider *p0;
 
+	foreach_array_item(pname0, pkg->name->rinstall_if) {
+		name0 = *pname0;
 		dbg_printf(PKG_VER_FMT ": rinstall_if %s\n", PKG_VER_PRINTF(pkg), name0->name);
-
-		for (j = 0; j < name0->providers->num; j++) {
-			struct apk_provider *p0 = &name0->providers->item[j];
-
-			for (k = 0; k < p0->pkg->install_if->num; k++) {
-				struct apk_dependency *dep = &p0->pkg->install_if->item[k];
-
-				if (dep->name == name &&
-				    apk_dep_is_provided(dep, p0))
+		foreach_array_item(p0, name0->providers) {
+			foreach_array_item(dep, p0->pkg->install_if) {
+				if (dep->name == name && apk_dep_is_provided(dep, p0)) {
+					/* pkg depends (via install_if) on pkg0 */
+					cb(ss, p0->pkg, pkg);
 					break;
+				}
 			}
-			if (k >= p0->pkg->install_if->num)
-				continue;
-
-			/* pkg depends (via install_if) on pkg0 */
-			cb(ss, p0->pkg, pkg);
 		}
 	}
 }
@@ -159,35 +134,48 @@ static void queue_unresolved(struct apk_solver_state *ss, struct apk_name *name)
 		list_del_init(&name->ss.unresolved_list);
 }
 
-static void reevaluate_deps(struct apk_solver_state *ss, struct apk_name *name)
+static void reevaluate_reverse_deps(struct apk_solver_state *ss, struct apk_name *name)
 {
-	name->ss.reevaluate_deps = 1;
-	queue_dirty(ss, name);
+	struct apk_name **pname0, *name0;
+
+	foreach_array_item(pname0, name->rdepends) {
+		name0 = *pname0;
+		if (!name0->ss.seen)
+			continue;
+		name0->ss.reevaluate_deps = 1;
+		queue_dirty(ss, name0);
+	}
 }
 
-static void reevaluate_installif(struct apk_solver_state *ss, struct apk_name *name)
+static void reevaluate_reverse_installif(struct apk_solver_state *ss, struct apk_name *name)
 {
-	name->ss.reevaluate_iif = 1;
-	queue_dirty(ss, name);
+	struct apk_name **pname0, *name0;
+
+	foreach_array_item(pname0, name->rinstall_if) {
+		name0 = *pname0;
+		if (!name0->ss.seen)
+			continue;
+		name0->ss.reevaluate_iif = 1;
+		queue_dirty(ss, name0);
+	}
 }
 
 static void disqualify_package(struct apk_solver_state *ss, struct apk_package *pkg, const char *reason)
 {
-	int i;
+	struct apk_dependency *p;
 
 	dbg_printf("disqualify_package: " PKG_VER_FMT " (%s)\n", PKG_VER_PRINTF(pkg), reason);
 	pkg->ss.available = 0;
-
-	foreach_name(ss, pkg->name->rdepends, reevaluate_deps);
-	for (i = 0; i < pkg->provides->num; i++)
-		foreach_name(ss, pkg->provides->item[i].name->rdepends, reevaluate_deps);
-	foreach_name(ss, pkg->name->rinstall_if, reevaluate_installif);
+	reevaluate_reverse_deps(ss, pkg->name);
+	foreach_array_item(p, pkg->provides)
+		reevaluate_reverse_deps(ss, p->name);
+	reevaluate_reverse_installif(ss, pkg->name);
 }
 
 static int dependency_satisfiable(struct apk_solver_state *ss, struct apk_dependency *dep)
 {
 	struct apk_name *name = dep->name;
-	int i;
+	struct apk_provider *p;
 
 	if (name->ss.locked)
 		return apk_dep_is_provided(dep, &name->ss.chosen);
@@ -195,36 +183,27 @@ static int dependency_satisfiable(struct apk_solver_state *ss, struct apk_depend
 	if (name->ss.requirers == 0 && apk_dep_is_provided(dep, &provider_none))
 		return TRUE;
 
-	for (i = 0; i < name->providers->num; i++) {
-		struct apk_package *pkg = name->providers->item[i].pkg;
-		if (!pkg->ss.available)
-			continue;
-		if (apk_dep_is_provided(dep, &name->providers->item[i]))
+	foreach_array_item(p, name->providers)
+		if (p->pkg->ss.available && apk_dep_is_provided(dep, p))
 			return TRUE;
-	}
 
 	return FALSE;
 }
 
-static void discover_name(struct apk_solver_state *ss, struct apk_name *name);
-
-static void discover_names(struct apk_solver_state *ss, struct apk_package *ppkg, struct apk_dependency *dep)
-{
-	discover_name(ss, dep->name);
-}
-
 static void discover_name(struct apk_solver_state *ss, struct apk_name *name)
 {
 	struct apk_database *db = ss->db;
+	struct apk_name **pname0;
+	struct apk_provider *p;
+	struct apk_dependency *dep;
 	unsigned int repos;
-	int i, j;
 
 	if (name->ss.seen)
 		return;
 
 	name->ss.seen = 1;
-	for (i = 0; i < name->providers->num; i++) {
-		struct apk_package *pkg = name->providers->item[i].pkg;
+	foreach_array_item(p, name->providers) {
+		struct apk_package *pkg = p->pkg;
 		if (pkg->ss.seen)
 			continue;
 		pkg->ss.seen = 1;
@@ -236,10 +215,11 @@ static void discover_name(struct apk_solver_state *ss, struct apk_name *name)
 		pkg->ss.tag_ok = !!(repos & ss->default_repos);
 		pkg->ss.tag_preferred = !!(repos & ss->default_repos);
 
-		foreach_dependency(ss, pkg, pkg->depends, discover_names);
-		for (j = 0; j < pkg->depends->num; j++)
+		foreach_array_item(dep, pkg->depends) {
+			discover_name(ss, dep->name);
 			pkg->ss.max_dep_chain = max(pkg->ss.max_dep_chain,
-						    pkg->depends->item[j].name->ss.max_dep_chain+1);
+						    dep->name->ss.max_dep_chain+1);
+		}
 		name->ss.max_dep_chain = max(name->ss.max_dep_chain, pkg->ss.max_dep_chain);
 
 		dbg_printf("discover " PKG_VER_FMT ": tag_ok=%d, tag_pref=%d max_dep_chain=%d\n",
@@ -248,15 +228,14 @@ static void discover_name(struct apk_solver_state *ss, struct apk_name *name)
 			pkg->ss.tag_preferred,
 			pkg->ss.max_dep_chain);
 	}
-	/* Can't use foreach_name, as it checks the seen flag */
-	for (i = 0; i < name->rinstall_if->num; i++)
-		discover_name(ss, name->rinstall_if->item[i]);
+	foreach_array_item(pname0, name->rinstall_if)
+		discover_name(ss, *pname0);
 }
 
 static void name_requirers_changed(struct apk_solver_state *ss, struct apk_name *name)
 {
 	queue_unresolved(ss, name);
-	foreach_name(ss, name->rinstall_if, reevaluate_installif);
+	reevaluate_reverse_installif(ss, name);
 	queue_dirty(ss, name);
 }
 
@@ -276,8 +255,9 @@ static void inherit_pinning(struct apk_solver_state *ss, struct apk_package *pkg
 static void apply_constraint(struct apk_solver_state *ss, struct apk_package *ppkg, struct apk_dependency *dep)
 {
 	struct apk_name *name = dep->name;
+	struct apk_provider *p0;
 	unsigned int solver_flags_inherit = ss->solver_flags_inherit;
-	int i;
+	int is_provided;
 
 	dbg_printf("apply_constraint: %s%s%s" BLOB_FMT "\n",
 		dep->conflict ? "!" : "",
@@ -288,10 +268,8 @@ static void apply_constraint(struct apk_solver_state *ss, struct apk_package *pp
 	name->ss.requirers += !dep->conflict;
 	name_requirers_changed(ss, name);
 
-	for (i = 0; i < name->providers->num; i++) {
-		struct apk_provider *p0 = &name->providers->item[i];
+	foreach_array_item(p0, name->providers) {
 		struct apk_package *pkg0 = p0->pkg;
-		int is_provided;
 
 		is_provided = apk_dep_is_provided(dep, p0);
 		dbg_printf("apply_constraint: provider: %s-" BLOB_FMT ": %d\n",
@@ -318,32 +296,29 @@ static void reconsider_name(struct apk_solver_state *ss, struct apk_name *name)
 {
 	struct apk_name *name0;
 	struct apk_dependency *dep;
-	struct apk_package *pkg;
-	int i, j, reevaluate_deps, reevaluate_iif;
-	int first_candidate = -1, last_candidate = 0;
+	struct apk_package *first_candidate = NULL;
+	struct apk_provider *p;
+	int reevaluate_deps, reevaluate_iif;
 	int num_options = 0, num_tag_not_ok = 0, has_iif = 0;
 
 	dbg_printf("reconsider_name: %s\n", name->name);
 
 	reevaluate_deps = name->ss.reevaluate_deps;
-	name->ss.reevaluate_deps = 0;
-
 	reevaluate_iif = name->ss.reevaluate_iif;
+	name->ss.reevaluate_deps = 0;
 	name->ss.reevaluate_iif = 0;
 
 	/* propagate down by merging common dependencies and
 	 * applying new constraints */
-	for (i = 0; i < name->providers->num; i++) {
-		struct apk_provider *p0 = &name->providers->item[i];
-		struct apk_package *pkg = p0->pkg;
+	foreach_array_item(p, name->providers) {
+		struct apk_package *pkg = p->pkg;
 
 		/* check if this pkg's dependencies have become unsatisfiable */
 		pkg->ss.dependencies_merged = 0;
 		if (reevaluate_deps) {
 			if (!pkg->ss.available)
 				continue;
-			for (j = 0; j < pkg->depends->num; j++) {
-				dep = &pkg->depends->item[j];
+			foreach_array_item(dep, pkg->depends) {
 				if (!dependency_satisfiable(ss, dep)) {
 					disqualify_package(ss, pkg, "dependency no longer satisfiable");
 					break;
@@ -354,53 +329,50 @@ static void reconsider_name(struct apk_solver_state *ss, struct apk_name *name)
 			continue;
 
 		if (reevaluate_iif) {
-			for (j = 0; j < pkg->install_if->num; j++) {
-				dep = &pkg->install_if->item[j];
-				if (!dependency_satisfiable(ss, dep))
+			pkg->ss.iif_triggered = 1;
+			foreach_array_item(dep, pkg->install_if) {
+				if (!dependency_satisfiable(ss, dep)) {
+					pkg->ss.iif_triggered = 0;
 					break;
+				}
 			}
-			pkg->ss.iif_triggered = (j >= pkg->install_if->num);
 			has_iif |= pkg->ss.iif_triggered;
 		}
 
 		if (name->ss.requirers == 0 && !pkg->ss.iif_triggered)
 			continue;
 
-		num_options++;
-		num_tag_not_ok += !pkg->ss.tag_ok;
-
 		/* merge common dependencies */
 		pkg->ss.dependencies_merged = 1;
-		if (first_candidate == -1)
-			first_candidate = i;
-		for (j = 0; j < pkg->depends->num; j++) {
-			dep = &pkg->depends->item[j];
-			if (dep->conflict /*&& dep->result_mask != APK_DEPMASK_ANY*/)
+		if (first_candidate == NULL)
+			first_candidate = pkg;
+		foreach_array_item(dep, pkg->depends) {
+			/* FIXME: can merge also conflicts */
+			if (dep->conflict)
 				continue;
 			name0 = dep->name;
-			if (name0->ss.merge_index == last_candidate)
-				name0->ss.merge_index = i + 1;
+			if (name0->ss.merge_index == num_options)
+				name0->ss.merge_index = num_options + 1;
 		}
-		last_candidate = i + 1;
+
+		num_tag_not_ok += !pkg->ss.tag_ok;
+		num_options++;
 	}
 	name->ss.has_options = (num_options > 1 || num_tag_not_ok > 0);
 	name->ss.has_iif = has_iif;
 	queue_unresolved(ss, name);
 
-	if (first_candidate != -1) {
-		for (i = 0; i < name->providers->num; i++) {
-			struct apk_package *pkg = name->providers->item[i].pkg;
-			pkg->ss.dependencies_used = pkg->ss.dependencies_merged;
-		}
+	if (first_candidate != NULL) {
+		foreach_array_item(p, name->providers)
+			p->pkg->ss.dependencies_used = p->pkg->ss.dependencies_merged;
+
 		/* TODO: could merge versioning bits too */
 		/* propagate down common dependencies */
-		pkg = name->providers->item[first_candidate].pkg;
-		for (j = 0; j < pkg->depends->num; j++) {
-			dep = &pkg->depends->item[j];
-			if (dep->conflict && dep->result_mask != APK_DEPMASK_ANY)
+		foreach_array_item(dep, first_candidate->depends) {
+			if (dep->conflict)
 				continue;
 			name0 = dep->name;
-			if (name0->ss.merge_index == last_candidate) {
+			if (name0->ss.merge_index == num_options) {
 				/* common dependency name with all */
 				if (name0->ss.requirers == 0) {
 					dbg_printf("%s common dependency: %s\n",
@@ -508,7 +480,7 @@ static void inherit_pinning_from_pkg(struct apk_solver_state *ss, struct apk_pac
 
 static void assign_name(struct apk_solver_state *ss, struct apk_name *name, struct apk_provider p)
 {
-	int i;
+	struct apk_provider *p0;
 
 	if (name->ss.locked) {
 		/* If both are providing this name without version, it's ok */
@@ -536,35 +508,33 @@ static void assign_name(struct apk_solver_state *ss, struct apk_name *name, stru
 		foreach_rinstall_if_pkg(ss, p.pkg, inherit_pinning_from_pkg);
 
 	/* disqualify all conflicting packages */
-	for (i = 0; i < name->providers->num; i++) {
-		if (name->providers->item[i].pkg == p.pkg)
+	foreach_array_item(p0, name->providers) {
+		if (p0->pkg == p.pkg)
 			continue;
 		if (p.version == &apk_null_blob &&
-		    name->providers->item[i].version == &apk_null_blob)
+		    p0->version == &apk_null_blob)
 			continue;
-		disqualify_package(ss, name->providers->item[i].pkg,
-				   "conflicting provides");
+		disqualify_package(ss, p0->pkg, "conflicting provides");
 	}
-
-	foreach_name(ss, name->rdepends, reevaluate_deps);
+	reevaluate_reverse_deps(ss, name);
 }
 
 static void select_package(struct apk_solver_state *ss, struct apk_name *name)
 {
-	struct apk_provider chosen = { NULL, &apk_null_blob };
+	struct apk_provider chosen = { NULL, &apk_null_blob }, *p;
 	struct apk_package *pkg = NULL;
-	int i;
+	struct apk_dependency *d;
 
 	dbg_printf("select_package: %s\n", name->name);
 
 	if (name->ss.requirers || name->ss.has_iif) {
-		for (i = 0; i < name->providers->num; i++) {
+		foreach_array_item(p, name->providers) {
 			if (name->ss.requirers == 0 &&
-			    (!name->providers->item[i].pkg->ss.iif_triggered ||
-			     !name->providers->item[i].pkg->ss.tag_ok))
+			    (!p->pkg->ss.iif_triggered ||
+			     !p->pkg->ss.tag_ok))
 				continue;
-			if (compare_providers(ss, &name->providers->item[i], &chosen) > 0)
-				chosen = name->providers->item[i];
+			if (compare_providers(ss, p, &chosen) > 0)
+				chosen = *p;
 		}
 	}
 
@@ -581,16 +551,18 @@ static void select_package(struct apk_solver_state *ss, struct apk_name *name)
 			mark_error(ss, pkg);
 		}
 		dbg_printf("selecting: " PKG_VER_FMT ", available: %d\n", PKG_VER_PRINTF(pkg), pkg->ss.available);
+
 		assign_name(ss, pkg->name, APK_PROVIDER_FROM_PACKAGE(pkg));
-		for (i = 0; i < pkg->provides->num; i++) {
-			struct apk_dependency *p = &pkg->provides->item[i];
-			assign_name(ss, p->name, APK_PROVIDER_FROM_PROVIDES(pkg, p));
-		}
+		foreach_array_item(d, pkg->provides)
+			assign_name(ss, d->name, APK_PROVIDER_FROM_PROVIDES(pkg, d));
+
 		ss->solver_flags_inherit = pkg->ss.solver_flags_inheritable;
 		ss->pinning_inherit = pkg->ss.pinning_allowed;
-		foreach_dependency(ss, pkg, pkg->depends, apply_constraint);
+		foreach_array_item(d, pkg->depends)
+			apply_constraint(ss, pkg, d);
 		ss->solver_flags_inherit = 0;
 		ss->pinning_inherit = 0;
+
 		ss->num_selections++;
 	} else {
 		dbg_printf("selecting: %s [unassigned]\n", name->name);
@@ -604,9 +576,11 @@ static void generate_change_iif(struct apk_solver_state *ss, struct apk_name *na
 
 static void generate_change(struct apk_solver_state *ss, struct apk_name *name)
 {
+	struct apk_name **pname;
 	struct apk_package *pkg = name->ss.chosen.pkg, *opkg;
 	struct apk_changeset *changeset = ss->changeset;
 	struct apk_change *change;
+	struct apk_dependency *d;
 
 	if (pkg == NULL)
 		return;
@@ -616,7 +590,8 @@ static void generate_change(struct apk_solver_state *ss, struct apk_name *name)
 	pkg->ss.in_changeset = 1;
 	pkg->name->ss.in_changeset = 1;
 
-	foreach_dependency(ss, pkg, pkg->depends, generate_change_dep);
+	foreach_array_item(d, pkg->depends)
+		generate_change_dep(ss, pkg, d);
 
 	change = &changeset->changes->item[ss->num_solution_entries++];
 	dbg_printf("Selecting: "PKG_VER_FMT"%s\n", PKG_VER_PRINTF(pkg), pkg->ss.available ? "" : " [NOT AVAILABLE]");
@@ -636,21 +611,20 @@ static void generate_change(struct apk_solver_state *ss, struct apk_name *name)
 		 change->new_repository_tag != change->old_repository_tag)
 		changeset->num_adjust++;
 
-	foreach_name(ss, pkg->name->rinstall_if, generate_change_iif);
+	foreach_array_item(pname, pkg->name->rinstall_if)
+		generate_change_iif(ss, *pname);
 }
 
 static void generate_change_iif(struct apk_solver_state *ss, struct apk_name *name)
 {
 	struct apk_package *pkg = name->ss.chosen.pkg;
-	int i;
+	struct apk_dependency *dep0;
 
-	if (pkg == NULL)
+	if (pkg == NULL || !name->ss.seen)
 		return;
 
-	for (i = 0; i < pkg->install_if->num; i++) {
-		struct apk_dependency *dep0 = &pkg->install_if->item[i];
+	foreach_array_item(dep0, pkg->install_if) {
 		struct apk_name *name0 = dep0->name;
-
 		if (!name0->ss.in_changeset)
 			return;
 		if (!apk_dep_is_provided(dep0, &name0->ss.chosen))
@@ -678,6 +652,7 @@ static void generate_changeset(struct apk_solver_state *ss, struct apk_dependenc
 {
 	struct apk_changeset *changeset = ss->changeset;
 	struct apk_installed_package *ipkg;
+	struct apk_dependency *d;
 
 	list_for_each_entry(ipkg, &ss->db->installed.packages, installed_pkgs_list) {
 		struct apk_name *name = ipkg->pkg->name;
@@ -686,7 +661,8 @@ static void generate_changeset(struct apk_solver_state *ss, struct apk_dependenc
 	}
 
 	apk_change_array_resize(&ss->changeset->changes, ss->num_selections);
-	foreach_dependency(ss, NULL, world, generate_change_dep);
+	foreach_array_item(d, world)
+		generate_change_dep(ss, NULL, d);
 
 	/* FIXME: could order better the removals of unneeded packages */
 	list_for_each_entry(ipkg, &ss->db->installed.packages, installed_pkgs_list) {
@@ -736,8 +712,9 @@ int apk_solver_solve(struct apk_database *db,
 		     struct apk_changeset *changeset)
 {
 	struct apk_name *name, *name0;
+	struct apk_package *pkg;
 	struct apk_solver_state ss_data, *ss = &ss_data;
-	int i;
+	struct apk_dependency *d;
 
 restart:
 	memset(ss, 0, sizeof(*ss));
@@ -747,19 +724,17 @@ restart:
 	list_init(&ss->dirty_head);
 	list_init(&ss->unresolved_head);
 
-	foreach_dependency(ss, NULL, world, discover_names);
-
 	dbg_printf("applying world\n");
 	ss->prefer_pinning = 1;
 	ss->solver_flags_inherit = solver_flags;
-	for (i = 0; i < world->num; i++) {
-		struct apk_dependency *dep = &world->item[i];
-		if (dep->broken)
+	foreach_array_item(d, world) {
+		if (d->broken)
 			continue;
-		name = dep->name;
+		name = d->name;
 		name->ss.in_world_dependency = 1;
-		ss->pinning_inherit = BIT(dep->repository_tag);
-		apply_constraint(ss, NULL, dep);
+		discover_name(ss, d->name);
+		ss->pinning_inherit = BIT(d->repository_tag);
+		apply_constraint(ss, NULL, d);
 	}
 	ss->solver_flags_inherit = 0;
 	ss->pinning_inherit = 0;
@@ -798,12 +773,11 @@ restart:
 	generate_changeset(ss, world);
 
 	if (ss->errors && (apk_flags & APK_FORCE)) {
-		for (i = 0; i < world->num; i++) {
-			struct apk_dependency *dep = &world->item[i];
-			struct apk_name *name = dep->name;
-			struct apk_package *pkg = name->ss.chosen.pkg;
+		foreach_array_item(d, world) {
+			name = d->name;
+			pkg = name->ss.chosen.pkg;
 			if (pkg == NULL || pkg->ss.error) {
-				dep->broken = 1;
+				d->broken = 1;
 				dbg_printf("disabling broken world dep: %s", name->name);
 			}
 		}
-- 
cgit v1.2.3-60-g2f50