15 static struct expr *expr_eliminate_yn(struct expr *e);
19 	struct expr *e = xcalloc(1, sizeof(*e));  in expr_alloc_symbol()  local
20 	e->type = E_SYMBOL;  in expr_alloc_symbol()
21 	e->left.sym = sym;  in expr_alloc_symbol()
22 	return e;  in expr_alloc_symbol()
27 	struct expr *e = xcalloc(1, sizeof(*e));  in expr_alloc_one()  local
28 	e->type = type;  in expr_alloc_one()
29 	e->left.expr = ce;  in expr_alloc_one()
30 	return e;  in expr_alloc_one()
35 	struct expr *e = xcalloc(1, sizeof(*e));  in expr_alloc_two()  local
36 	e->type = type;  in expr_alloc_two()
37 	e->left.expr = e1;  in expr_alloc_two()
38 	e->right.expr = e2;  in expr_alloc_two()
39 	return e;  in expr_alloc_two()
44 	struct expr *e = xcalloc(1, sizeof(*e));  in expr_alloc_comp()  local
45 	e->type = type;  in expr_alloc_comp()
46 	e->left.sym = s1;  in expr_alloc_comp()
47 	e->right.sym = s2;  in expr_alloc_comp()
48 	return e;  in expr_alloc_comp()
67 	struct expr *e;  in expr_copy()  local
72 	e = xmalloc(sizeof(*org));  in expr_copy()
73 	memcpy(e, org, sizeof(*org));  in expr_copy()
76 		e->left = org->left;  in expr_copy()
79 		e->left.expr = expr_copy(org->left.expr);  in expr_copy()
87 		e->left.sym = org->left.sym;  in expr_copy()
88 		e->right.sym = org->right.sym;  in expr_copy()
93 		e->left.expr = expr_copy(org->left.expr);  in expr_copy()
94 		e->right.expr = expr_copy(org->right.expr);  in expr_copy()
97 		printf("can't copy type %d\n", e->type);  in expr_copy()
98 		free(e);  in expr_copy()
99 		e = NULL;  in expr_copy()
103 	return e;  in expr_copy()
106 void expr_free(struct expr *e)  in expr_free()  argument
108 	if (!e)  in expr_free()
111 	switch (e->type) {  in expr_free()
115 		expr_free(e->left.expr);  in expr_free()
126 		expr_free(e->left.expr);  in expr_free()
127 		expr_free(e->right.expr);  in expr_free()
130 		printf("how to free type %d?\n", e->type);  in expr_free()
133 	free(e);  in expr_free()
246 static struct expr *expr_eliminate_yn(struct expr *e)  in expr_eliminate_yn()  argument
250 	if (e) switch (e->type) {  in expr_eliminate_yn()
252 		e->left.expr = expr_eliminate_yn(e->left.expr);  in expr_eliminate_yn()
253 		e->right.expr = expr_eliminate_yn(e->right.expr);  in expr_eliminate_yn()
254 		if (e->left.expr->type == E_SYMBOL) {  in expr_eliminate_yn()
255 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
256 				expr_free(e->left.expr);  in expr_eliminate_yn()
257 				expr_free(e->right.expr);  in expr_eliminate_yn()
258 				e->type = E_SYMBOL;  in expr_eliminate_yn()
259 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
260 				e->right.expr = NULL;  in expr_eliminate_yn()
261 				return e;  in expr_eliminate_yn()
262 			} else if (e->left.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
263 				free(e->left.expr);  in expr_eliminate_yn()
264 				tmp = e->right.expr;  in expr_eliminate_yn()
265 				*e = *(e->right.expr);  in expr_eliminate_yn()
267 				return e;  in expr_eliminate_yn()
270 		if (e->right.expr->type == E_SYMBOL) {  in expr_eliminate_yn()
271 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
272 				expr_free(e->left.expr);  in expr_eliminate_yn()
273 				expr_free(e->right.expr);  in expr_eliminate_yn()
274 				e->type = E_SYMBOL;  in expr_eliminate_yn()
275 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
276 				e->right.expr = NULL;  in expr_eliminate_yn()
277 				return e;  in expr_eliminate_yn()
278 			} else if (e->right.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
279 				free(e->right.expr);  in expr_eliminate_yn()
280 				tmp = e->left.expr;  in expr_eliminate_yn()
281 				*e = *(e->left.expr);  in expr_eliminate_yn()
283 				return e;  in expr_eliminate_yn()
288 		e->left.expr = expr_eliminate_yn(e->left.expr);  in expr_eliminate_yn()
289 		e->right.expr = expr_eliminate_yn(e->right.expr);  in expr_eliminate_yn()
290 		if (e->left.expr->type == E_SYMBOL) {  in expr_eliminate_yn()
291 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
292 				free(e->left.expr);  in expr_eliminate_yn()
293 				tmp = e->right.expr;  in expr_eliminate_yn()
294 				*e = *(e->right.expr);  in expr_eliminate_yn()
296 				return e;  in expr_eliminate_yn()
297 			} else if (e->left.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
298 				expr_free(e->left.expr);  in expr_eliminate_yn()
299 				expr_free(e->right.expr);  in expr_eliminate_yn()
300 				e->type = E_SYMBOL;  in expr_eliminate_yn()
301 				e->left.sym = &symbol_yes;  in expr_eliminate_yn()
302 				e->right.expr = NULL;  in expr_eliminate_yn()
303 				return e;  in expr_eliminate_yn()
306 		if (e->right.expr->type == E_SYMBOL) {  in expr_eliminate_yn()
307 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
308 				free(e->right.expr);  in expr_eliminate_yn()
309 				tmp = e->left.expr;  in expr_eliminate_yn()
310 				*e = *(e->left.expr);  in expr_eliminate_yn()
312 				return e;  in expr_eliminate_yn()
313 			} else if (e->right.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
314 				expr_free(e->left.expr);  in expr_eliminate_yn()
315 				expr_free(e->right.expr);  in expr_eliminate_yn()
316 				e->type = E_SYMBOL;  in expr_eliminate_yn()
317 				e->left.sym = &symbol_yes;  in expr_eliminate_yn()
318 				e->right.expr = NULL;  in expr_eliminate_yn()
319 				return e;  in expr_eliminate_yn()
326 	return e;  in expr_eliminate_yn()
332 struct expr *expr_trans_bool(struct expr *e)  in expr_trans_bool()  argument
334 	if (!e)  in expr_trans_bool()
336 	switch (e->type) {  in expr_trans_bool()
340 		e->left.expr = expr_trans_bool(e->left.expr);  in expr_trans_bool()
341 		e->right.expr = expr_trans_bool(e->right.expr);  in expr_trans_bool()
345 		if (e->left.sym->type == S_TRISTATE) {  in expr_trans_bool()
346 			if (e->right.sym == &symbol_no) {  in expr_trans_bool()
347 				e->type = E_SYMBOL;  in expr_trans_bool()
348 				e->right.sym = NULL;  in expr_trans_bool()
355 	return e;  in expr_trans_bool()
571 struct expr *expr_eliminate_dups(struct expr *e)  in expr_eliminate_dups()  argument
574 	if (!e)  in expr_eliminate_dups()
575 		return e;  in expr_eliminate_dups()
580 		switch (e->type) {  in expr_eliminate_dups()
582 			expr_eliminate_dups1(e->type, &e, &e);  in expr_eliminate_dups()
588 		e = expr_eliminate_yn(e);  in expr_eliminate_dups()
591 	return e;  in expr_eliminate_dups()
594 struct expr *expr_transform(struct expr *e)  in expr_transform()  argument
598 	if (!e)  in expr_transform()
600 	switch (e->type) {  in expr_transform()
611 		e->left.expr = expr_transform(e->left.expr);  in expr_transform()
612 		e->right.expr = expr_transform(e->right.expr);  in expr_transform()
615 	switch (e->type) {  in expr_transform()
617 		if (e->left.sym->type != S_BOOLEAN)  in expr_transform()
619 		if (e->right.sym == &symbol_no) {  in expr_transform()
620 			e->type = E_NOT;  in expr_transform()
621 			e->left.expr = expr_alloc_symbol(e->left.sym);  in expr_transform()
622 			e->right.sym = NULL;  in expr_transform()
625 		if (e->right.sym == &symbol_mod) {  in expr_transform()
626 			printf("boolean symbol %s tested for 'm'? test forced to 'n'\n", e->left.sym->name);  in expr_transform()
627 			e->type = E_SYMBOL;  in expr_transform()
628 			e->left.sym = &symbol_no;  in expr_transform()
629 			e->right.sym = NULL;  in expr_transform()
632 		if (e->right.sym == &symbol_yes) {  in expr_transform()
633 			e->type = E_SYMBOL;  in expr_transform()
634 			e->right.sym = NULL;  in expr_transform()
639 		if (e->left.sym->type != S_BOOLEAN)  in expr_transform()
641 		if (e->right.sym == &symbol_no) {  in expr_transform()
642 			e->type = E_SYMBOL;  in expr_transform()
643 			e->right.sym = NULL;  in expr_transform()
646 		if (e->right.sym == &symbol_mod) {  in expr_transform()
647 			printf("boolean symbol %s tested for 'm'? test forced to 'y'\n", e->left.sym->name);  in expr_transform()
648 			e->type = E_SYMBOL;  in expr_transform()
649 			e->left.sym = &symbol_yes;  in expr_transform()
650 			e->right.sym = NULL;  in expr_transform()
653 		if (e->right.sym == &symbol_yes) {  in expr_transform()
654 			e->type = E_NOT;  in expr_transform()
655 			e->left.expr = expr_alloc_symbol(e->left.sym);  in expr_transform()
656 			e->right.sym = NULL;  in expr_transform()
661 		switch (e->left.expr->type) {  in expr_transform()
664 			tmp = e->left.expr->left.expr;  in expr_transform()
665 			free(e->left.expr);  in expr_transform()
666 			free(e);  in expr_transform()
667 			e = tmp;  in expr_transform()
668 			e = expr_transform(e);  in expr_transform()
673 			tmp = e->left.expr;  in expr_transform()
674 			free(e);  in expr_transform()
675 			e = tmp;  in expr_transform()
676 			e->type = e->type == E_EQUAL ? E_UNEQUAL : E_EQUAL;  in expr_transform()
681 			tmp = e->left.expr;  in expr_transform()
682 			free(e);  in expr_transform()
683 			e = tmp;  in expr_transform()
684 			e->type = e->type == E_LEQ ? E_GTH : E_LTH;  in expr_transform()
689 			tmp = e->left.expr;  in expr_transform()
690 			free(e);  in expr_transform()
691 			e = tmp;  in expr_transform()
692 			e->type = e->type == E_LTH ? E_GEQ : E_LEQ;  in expr_transform()
696 			tmp = e->left.expr;  in expr_transform()
697 			e->type = E_AND;  in expr_transform()
698 			e->right.expr = expr_alloc_one(E_NOT, tmp->right.expr);  in expr_transform()
701 			e = expr_transform(e);  in expr_transform()
705 			tmp = e->left.expr;  in expr_transform()
706 			e->type = E_OR;  in expr_transform()
707 			e->right.expr = expr_alloc_one(E_NOT, tmp->right.expr);  in expr_transform()
710 			e = expr_transform(e);  in expr_transform()
713 			if (e->left.expr->left.sym == &symbol_yes) {  in expr_transform()
715 				tmp = e->left.expr;  in expr_transform()
716 				free(e);  in expr_transform()
717 				e = tmp;  in expr_transform()
718 				e->type = E_SYMBOL;  in expr_transform()
719 				e->left.sym = &symbol_no;  in expr_transform()
722 			if (e->left.expr->left.sym == &symbol_mod) {  in expr_transform()
724 				tmp = e->left.expr;  in expr_transform()
725 				free(e);  in expr_transform()
726 				e = tmp;  in expr_transform()
727 				e->type = E_SYMBOL;  in expr_transform()
728 				e->left.sym = &symbol_mod;  in expr_transform()
731 			if (e->left.expr->left.sym == &symbol_no) {  in expr_transform()
733 				tmp = e->left.expr;  in expr_transform()
734 				free(e);  in expr_transform()
735 				e = tmp;  in expr_transform()
736 				e->type = E_SYMBOL;  in expr_transform()
737 				e->left.sym = &symbol_yes;  in expr_transform()
748 	return e;  in expr_transform()
808 struct expr *expr_trans_compare(struct expr *e, enum expr_type type, struct symbol *sym)  in expr_trans_compare()  argument
812 	if (!e) {  in expr_trans_compare()
813 		e = expr_alloc_symbol(sym);  in expr_trans_compare()
815 			e = expr_alloc_one(E_NOT, e);  in expr_trans_compare()
816 		return e;  in expr_trans_compare()
818 	switch (e->type) {  in expr_trans_compare()
820 		e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym);  in expr_trans_compare()
821 		e2 = expr_trans_compare(e->right.expr, E_EQUAL, sym);  in expr_trans_compare()
823 			e = expr_alloc_two(E_AND, e1, e2);  in expr_trans_compare()
825 			e = expr_alloc_two(E_OR, e1, e2);  in expr_trans_compare()
827 			e = expr_alloc_one(E_NOT, e);  in expr_trans_compare()
828 		return e;  in expr_trans_compare()
830 		e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym);  in expr_trans_compare()
831 		e2 = expr_trans_compare(e->right.expr, E_EQUAL, sym);  in expr_trans_compare()
833 			e = expr_alloc_two(E_OR, e1, e2);  in expr_trans_compare()
835 			e = expr_alloc_two(E_AND, e1, e2);  in expr_trans_compare()
837 			e = expr_alloc_one(E_NOT, e);  in expr_trans_compare()
838 		return e;  in expr_trans_compare()
840 		return expr_trans_compare(e->left.expr, type == E_EQUAL ? E_UNEQUAL : E_EQUAL, sym);  in expr_trans_compare()
849 				return expr_copy(e);  in expr_trans_compare()
853 				return expr_alloc_one(E_NOT, expr_copy(e));  in expr_trans_compare()
856 				return expr_alloc_one(E_NOT, expr_copy(e));  in expr_trans_compare()
860 				return expr_copy(e);  in expr_trans_compare()
864 		return expr_alloc_comp(type, e->left.sym, sym);  in expr_trans_compare()
917 tristate expr_calc_value(struct expr *e)  in expr_calc_value()  argument
925 	if (!e)  in expr_calc_value()
928 	switch (e->type) {  in expr_calc_value()
930 		sym_calc_value(e->left.sym);  in expr_calc_value()
931 		return e->left.sym->curr.tri;  in expr_calc_value()
933 		val1 = expr_calc_value(e->left.expr);  in expr_calc_value()
934 		val2 = expr_calc_value(e->right.expr);  in expr_calc_value()
937 		val1 = expr_calc_value(e->left.expr);  in expr_calc_value()
938 		val2 = expr_calc_value(e->right.expr);  in expr_calc_value()
941 		val1 = expr_calc_value(e->left.expr);  in expr_calc_value()
951 		printf("expr_calc_value: %d?\n", e->type);  in expr_calc_value()
955 	sym_calc_value(e->left.sym);  in expr_calc_value()
956 	sym_calc_value(e->right.sym);  in expr_calc_value()
957 	str1 = sym_get_string_value(e->left.sym);  in expr_calc_value()
958 	str2 = sym_get_string_value(e->right.sym);  in expr_calc_value()
960 	if (e->left.sym->type != S_STRING || e->right.sym->type != S_STRING) {  in expr_calc_value()
961 		k1 = expr_parse_string(str1, e->left.sym->type, &lval);  in expr_calc_value()
962 		k2 = expr_parse_string(str2, e->right.sym->type, &rval);  in expr_calc_value()
968 		if (e->type != E_EQUAL && e->type != E_UNEQUAL) {  in expr_calc_value()
978 	switch(e->type) {  in expr_calc_value()
992 		printf("expr_calc_value: relation %d?\n", e->type);  in expr_calc_value()
1032 expr_get_leftmost_symbol(const struct expr *e)  in expr_get_leftmost_symbol()  argument
1035 	if (e == NULL)  in expr_get_leftmost_symbol()
1038 	while (e->type != E_SYMBOL)  in expr_get_leftmost_symbol()
1039 		e = e->left.expr;  in expr_get_leftmost_symbol()
1041 	return expr_copy(e);  in expr_get_leftmost_symbol()
1058 		struct expr *e;  in expr_simplify_unmet_dep()  local
1059 		e = expr_alloc_and(expr_copy(e1), expr_copy(e2));  in expr_simplify_unmet_dep()
1060 		e = expr_eliminate_dups(e);  in expr_simplify_unmet_dep()
1061 		ret = (!expr_eq(e, e1)) ? e1 : NULL;  in expr_simplify_unmet_dep()
1062 		expr_free(e);  in expr_simplify_unmet_dep()
1073 void expr_print(struct expr *e, void (*fn)(void *, struct symbol *, const char *), void *data, int …  in expr_print()  argument
1075 	if (!e) {  in expr_print()
1080 	if (expr_compare_type(prevtoken, e->type) > 0)  in expr_print()
1082 	switch (e->type) {  in expr_print()
1084 		if (e->left.sym->name)  in expr_print()
1085 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1091 		expr_print(e->left.expr, fn, data, E_NOT);  in expr_print()
1094 		if (e->left.sym->name)  in expr_print()
1095 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1099 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1103 		if (e->left.sym->name)  in expr_print()
1104 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1107 		fn(data, NULL, e->type == E_LEQ ? "<=" : "<");  in expr_print()
1108 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1112 		if (e->left.sym->name)  in expr_print()
1113 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1116 		fn(data, NULL, e->type == E_GEQ ? ">=" : ">");  in expr_print()
1117 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1120 		if (e->left.sym->name)  in expr_print()
1121 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1125 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1128 		expr_print(e->left.expr, fn, data, E_OR);  in expr_print()
1130 		expr_print(e->right.expr, fn, data, E_OR);  in expr_print()
1133 		expr_print(e->left.expr, fn, data, E_AND);  in expr_print()
1135 		expr_print(e->right.expr, fn, data, E_AND);  in expr_print()
1138 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1139 		if (e->left.expr) {  in expr_print()
1141 			expr_print(e->left.expr, fn, data, E_LIST);  in expr_print()
1146 		fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1148 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1154 		sprintf(buf, "<unknown type %d>", e->type);  in expr_print()
1159 	if (expr_compare_type(prevtoken, e->type) > 0)  in expr_print()
1168 void expr_fprint(struct expr *e, FILE *out)  in expr_fprint()  argument
1170 	expr_print(e, expr_print_file_helper, out, E_NONE);  in expr_fprint()
1203 void expr_gstr_print(struct expr *e, struct gstr *gs)  in expr_gstr_print()  argument
1205 	expr_print(e, expr_print_gstr_helper, gs, E_NONE);  in expr_gstr_print()