Lines Matching defs:solutions
48 /* Before solving, forced registers; after solving, solutions. */
49 unsigned *solutions;
69 l->solutions = calloc(sizeof(l->solutions[0]), node_count);
72 memset(l->solutions, ~0, sizeof(l->solutions[0]) * node_count);
85 free(l->solutions);
120 lcra_test_linear(struct lcra_state *l, unsigned *solutions, unsigned i)
122 signed constant = solutions[i];
129 if (solutions[j] == ~0) continue;
131 signed lhs = constant - solutions[j];
146 if (solutions[j] == ~0) continue;
148 signed lhs = constant - solutions[j];
164 if (l->solutions[step] != ~0) continue;
170 l->solutions[step] = r;
172 if (lcra_test_linear(l, l->solutions, step)) {
387 l->solutions[node] = 0;
392 l->solutions[node] = 4;
398 l->solutions[node] = 48;
408 l->solutions[node] = 60;
419 l->solutions[node] = 60;
436 if (l->solutions[node] != ~0) continue;
448 l->solutions[node] = reg;
450 if (!lcra_test_linear(l, l->solutions, node))
451 l->solutions[node] = ~0;
477 signed solution = l->solutions[bi_get_node(index)];