Lines Matching refs:left
20 e->left.sym = sym; in expr_alloc_symbol()
29 e->left.expr = ce; in expr_alloc_one()
38 e->left.expr = e1; in expr_alloc_two()
48 e->left.sym = s1; in expr_alloc_comp()
78 e->left = org->left; in expr_copy()
81 e->left.expr = expr_copy(org->left.expr); in expr_copy()
85 e->left.sym = org->left.sym; in expr_copy()
91 e->left.expr = expr_copy(org->left.expr); in expr_copy()
113 expr_free(e->left.expr); in expr_free()
120 expr_free(e->left.expr); in expr_free()
138 __expr_eliminate_eq(type, &e1->left.expr, &e2); in __expr_eliminate_eq()
143 __expr_eliminate_eq(type, &e1, &e2->left.expr); in __expr_eliminate_eq()
148 e1->left.sym == e2->left.sym && in __expr_eliminate_eq()
149 (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no)) in __expr_eliminate_eq()
203 return e1->left.sym == e2->left.sym && e1->right.sym == e2->right.sym; in expr_eq()
205 return e1->left.sym == e2->left.sym; in expr_eq()
207 return expr_eq(e1->left.expr, e2->left.expr); in expr_eq()
215 e1->left.sym == e2->left.sym); in expr_eq()
242 e->left.expr = expr_eliminate_yn(e->left.expr); in expr_eliminate_yn()
244 if (e->left.expr->type == E_SYMBOL) { in expr_eliminate_yn()
245 if (e->left.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
246 expr_free(e->left.expr); in expr_eliminate_yn()
249 e->left.sym = &symbol_no; in expr_eliminate_yn()
252 } else if (e->left.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
253 free(e->left.expr); in expr_eliminate_yn()
261 if (e->right.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
262 expr_free(e->left.expr); in expr_eliminate_yn()
265 e->left.sym = &symbol_no; in expr_eliminate_yn()
268 } else if (e->right.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
270 tmp = e->left.expr; in expr_eliminate_yn()
271 *e = *(e->left.expr); in expr_eliminate_yn()
278 e->left.expr = expr_eliminate_yn(e->left.expr); in expr_eliminate_yn()
280 if (e->left.expr->type == E_SYMBOL) { in expr_eliminate_yn()
281 if (e->left.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
282 free(e->left.expr); in expr_eliminate_yn()
287 } else if (e->left.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
288 expr_free(e->left.expr); in expr_eliminate_yn()
291 e->left.sym = &symbol_yes; in expr_eliminate_yn()
297 if (e->right.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
299 tmp = e->left.expr; in expr_eliminate_yn()
300 *e = *(e->left.expr); in expr_eliminate_yn()
303 } else if (e->right.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
304 expr_free(e->left.expr); in expr_eliminate_yn()
307 e->left.sym = &symbol_yes; in expr_eliminate_yn()
330 e->left.expr = expr_trans_bool(e->left.expr); in expr_trans_bool()
335 if (e->left.sym->type == S_TRISTATE) { in expr_trans_bool()
363 tmp = e1->left.expr; in expr_join_or()
366 sym1 = tmp->left.sym; in expr_join_or()
368 sym1 = e1->left.sym; in expr_join_or()
370 if (e2->left.expr->type != E_SYMBOL) in expr_join_or()
372 sym2 = e2->left.expr->left.sym; in expr_join_or()
374 sym2 = e2->left.sym; in expr_join_or()
400 if ((e1->type == E_NOT && e1->left.expr->type == E_SYMBOL && e2->type == E_SYMBOL) || in expr_join_or()
401 (e2->type == E_NOT && e2->left.expr->type == E_SYMBOL && e1->type == E_SYMBOL)) in expr_join_or()
427 tmp = e1->left.expr; in expr_join_and()
430 sym1 = tmp->left.sym; in expr_join_and()
432 sym1 = e1->left.sym; in expr_join_and()
434 if (e2->left.expr->type != E_SYMBOL) in expr_join_and()
436 sym2 = e2->left.expr->left.sym; in expr_join_and()
438 sym2 = e2->left.sym; in expr_join_and()
516 expr_eliminate_dups1(type, &e1->left.expr, &e2); in expr_eliminate_dups1()
521 expr_eliminate_dups1(type, &e1, &e2->left.expr); in expr_eliminate_dups1()
568 expr_eliminate_dups2(type, &e1->left.expr, &e2); in expr_eliminate_dups2()
573 expr_eliminate_dups2(type, &e1, &e2->left.expr); in expr_eliminate_dups2()
654 e->left.expr = expr_transform(e->left.expr); in expr_transform()
660 if (e->left.sym->type != S_BOOLEAN) in expr_transform()
664 e->left.expr = expr_alloc_symbol(e->left.sym); in expr_transform()
669 printf("boolean symbol %s tested for 'm'? test forced to 'n'\n", e->left.sym->name); in expr_transform()
671 e->left.sym = &symbol_no; in expr_transform()
682 if (e->left.sym->type != S_BOOLEAN) in expr_transform()
690 printf("boolean symbol %s tested for 'm'? test forced to 'y'\n", e->left.sym->name); in expr_transform()
692 e->left.sym = &symbol_yes; in expr_transform()
698 e->left.expr = expr_alloc_symbol(e->left.sym); in expr_transform()
704 switch (e->left.expr->type) { in expr_transform()
707 tmp = e->left.expr->left.expr; in expr_transform()
708 free(e->left.expr); in expr_transform()
716 tmp = e->left.expr; in expr_transform()
723 tmp = e->left.expr; in expr_transform()
732 tmp = e->left.expr; in expr_transform()
740 if (e->left.expr->left.sym == &symbol_yes) { in expr_transform()
742 tmp = e->left.expr; in expr_transform()
746 e->left.sym = &symbol_no; in expr_transform()
749 if (e->left.expr->left.sym == &symbol_mod) { in expr_transform()
751 tmp = e->left.expr; in expr_transform()
755 e->left.sym = &symbol_mod; in expr_transform()
758 if (e->left.expr->left.sym == &symbol_no) { in expr_transform()
760 tmp = e->left.expr; in expr_transform()
764 e->left.sym = &symbol_yes; in expr_transform()
786 return expr_contains_symbol(dep->left.expr, sym) || in expr_contains_symbol()
789 return dep->left.sym == sym; in expr_contains_symbol()
792 return dep->left.sym == sym || in expr_contains_symbol()
795 return expr_contains_symbol(dep->left.expr, sym); in expr_contains_symbol()
809 return expr_depends_symbol(dep->left.expr, sym) || in expr_depends_symbol()
812 return dep->left.sym == sym; in expr_depends_symbol()
814 if (dep->left.sym == sym) { in expr_depends_symbol()
820 if (dep->left.sym == sym) { in expr_depends_symbol()
858 expr_extract_eq(type, ep, &e1->left.expr, &e2); in expr_extract_eq()
863 expr_extract_eq(type, ep, ep1, &e2->left.expr); in expr_extract_eq()
894 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym); in expr_trans_compare()
904 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym); in expr_trans_compare()
914 return expr_trans_compare(e->left.expr, type == E_EQUAL ? E_UNEQUAL : E_EQUAL, sym); in expr_trans_compare()
934 return expr_alloc_comp(type, e->left.sym, sym); in expr_trans_compare()
953 sym_calc_value(e->left.sym); in expr_calc_value()
954 return e->left.sym->curr.tri; in expr_calc_value()
956 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
960 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
964 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
967 sym_calc_value(e->left.sym); in expr_calc_value()
969 str1 = sym_get_string_value(e->left.sym); in expr_calc_value()
973 sym_calc_value(e->left.sym); in expr_calc_value()
975 str1 = sym_get_string_value(e->left.sym); in expr_calc_value()
1027 if (e->left.sym->name) in expr_print()
1028 fn(data, e->left.sym, e->left.sym->name); in expr_print()
1034 expr_print(e->left.expr, fn, data, E_NOT); in expr_print()
1037 fn(data, e->left.sym, e->left.sym->name); in expr_print()
1042 fn(data, e->left.sym, e->left.sym->name); in expr_print()
1047 expr_print(e->left.expr, fn, data, E_OR); in expr_print()
1052 expr_print(e->left.expr, fn, data, E_AND); in expr_print()
1058 if (e->left.expr) { in expr_print()
1060 expr_print(e->left.expr, fn, data, E_CHOICE); in expr_print()
1065 fn(data, e->left.sym, e->left.sym->name); in expr_print()