Lines Matching refs:left
18 e->left.sym = sym; in expr_alloc_symbol()
26 e->left.expr = ce; in expr_alloc_one()
34 e->left.expr = e1; in expr_alloc_two()
43 e->left.sym = s1; in expr_alloc_comp()
73 e->left = org->left; in expr_copy()
76 e->left.expr = expr_copy(org->left.expr); in expr_copy()
80 e->left.sym = org->left.sym; in expr_copy()
86 e->left.expr = expr_copy(org->left.expr); in expr_copy()
108 expr_free(e->left.expr); in expr_free()
115 expr_free(e->left.expr); in expr_free()
133 __expr_eliminate_eq(type, &e1->left.expr, &e2); in __expr_eliminate_eq()
138 __expr_eliminate_eq(type, &e1, &e2->left.expr); in __expr_eliminate_eq()
143 e1->left.sym == e2->left.sym && in __expr_eliminate_eq()
144 (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no)) in __expr_eliminate_eq()
198 return e1->left.sym == e2->left.sym && e1->right.sym == e2->right.sym; in expr_eq()
200 return e1->left.sym == e2->left.sym; in expr_eq()
202 return expr_eq(e1->left.expr, e2->left.expr); in expr_eq()
210 e1->left.sym == e2->left.sym); in expr_eq()
237 e->left.expr = expr_eliminate_yn(e->left.expr); in expr_eliminate_yn()
239 if (e->left.expr->type == E_SYMBOL) { in expr_eliminate_yn()
240 if (e->left.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
241 expr_free(e->left.expr); in expr_eliminate_yn()
244 e->left.sym = &symbol_no; in expr_eliminate_yn()
247 } else if (e->left.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
248 free(e->left.expr); in expr_eliminate_yn()
256 if (e->right.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
257 expr_free(e->left.expr); in expr_eliminate_yn()
260 e->left.sym = &symbol_no; in expr_eliminate_yn()
263 } else if (e->right.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
265 tmp = e->left.expr; in expr_eliminate_yn()
266 *e = *(e->left.expr); in expr_eliminate_yn()
273 e->left.expr = expr_eliminate_yn(e->left.expr); in expr_eliminate_yn()
275 if (e->left.expr->type == E_SYMBOL) { in expr_eliminate_yn()
276 if (e->left.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
277 free(e->left.expr); in expr_eliminate_yn()
282 } else if (e->left.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
283 expr_free(e->left.expr); in expr_eliminate_yn()
286 e->left.sym = &symbol_yes; in expr_eliminate_yn()
292 if (e->right.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
294 tmp = e->left.expr; in expr_eliminate_yn()
295 *e = *(e->left.expr); in expr_eliminate_yn()
298 } else if (e->right.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
299 expr_free(e->left.expr); in expr_eliminate_yn()
302 e->left.sym = &symbol_yes; in expr_eliminate_yn()
325 e->left.expr = expr_trans_bool(e->left.expr); in expr_trans_bool()
330 if (e->left.sym->type == S_TRISTATE) { in expr_trans_bool()
358 tmp = e1->left.expr; in expr_join_or()
361 sym1 = tmp->left.sym; in expr_join_or()
363 sym1 = e1->left.sym; in expr_join_or()
365 if (e2->left.expr->type != E_SYMBOL) in expr_join_or()
367 sym2 = e2->left.expr->left.sym; in expr_join_or()
369 sym2 = e2->left.sym; in expr_join_or()
395 if ((e1->type == E_NOT && e1->left.expr->type == E_SYMBOL && e2->type == E_SYMBOL) || in expr_join_or()
396 (e2->type == E_NOT && e2->left.expr->type == E_SYMBOL && e1->type == E_SYMBOL)) in expr_join_or()
422 tmp = e1->left.expr; in expr_join_and()
425 sym1 = tmp->left.sym; in expr_join_and()
427 sym1 = e1->left.sym; in expr_join_and()
429 if (e2->left.expr->type != E_SYMBOL) in expr_join_and()
431 sym2 = e2->left.expr->left.sym; in expr_join_and()
433 sym2 = e2->left.sym; in expr_join_and()
511 expr_eliminate_dups1(type, &e1->left.expr, &e2); in expr_eliminate_dups1()
516 expr_eliminate_dups1(type, &e1, &e2->left.expr); in expr_eliminate_dups1()
563 expr_eliminate_dups2(type, &e1->left.expr, &e2); in expr_eliminate_dups2()
568 expr_eliminate_dups2(type, &e1, &e2->left.expr); in expr_eliminate_dups2()
649 e->left.expr = expr_transform(e->left.expr); in expr_transform()
655 if (e->left.sym->type != S_BOOLEAN) in expr_transform()
659 e->left.expr = expr_alloc_symbol(e->left.sym); in expr_transform()
664 printf("boolean symbol %s tested for 'm'? test forced to 'n'\n", e->left.sym->name); in expr_transform()
666 e->left.sym = &symbol_no; in expr_transform()
677 if (e->left.sym->type != S_BOOLEAN) in expr_transform()
685 printf("boolean symbol %s tested for 'm'? test forced to 'y'\n", e->left.sym->name); in expr_transform()
687 e->left.sym = &symbol_yes; in expr_transform()
693 e->left.expr = expr_alloc_symbol(e->left.sym); in expr_transform()
699 switch (e->left.expr->type) { in expr_transform()
702 tmp = e->left.expr->left.expr; in expr_transform()
703 free(e->left.expr); in expr_transform()
711 tmp = e->left.expr; in expr_transform()
718 tmp = e->left.expr; in expr_transform()
727 tmp = e->left.expr; in expr_transform()
735 if (e->left.expr->left.sym == &symbol_yes) { in expr_transform()
737 tmp = e->left.expr; in expr_transform()
741 e->left.sym = &symbol_no; in expr_transform()
744 if (e->left.expr->left.sym == &symbol_mod) { in expr_transform()
746 tmp = e->left.expr; in expr_transform()
750 e->left.sym = &symbol_mod; in expr_transform()
753 if (e->left.expr->left.sym == &symbol_no) { in expr_transform()
755 tmp = e->left.expr; in expr_transform()
759 e->left.sym = &symbol_yes; in expr_transform()
781 return expr_contains_symbol(dep->left.expr, sym) || in expr_contains_symbol()
784 return dep->left.sym == sym; in expr_contains_symbol()
787 return dep->left.sym == sym || in expr_contains_symbol()
790 return expr_contains_symbol(dep->left.expr, sym); in expr_contains_symbol()
804 return expr_depends_symbol(dep->left.expr, sym) || in expr_depends_symbol()
807 return dep->left.sym == sym; in expr_depends_symbol()
809 if (dep->left.sym == sym) { in expr_depends_symbol()
815 if (dep->left.sym == sym) { in expr_depends_symbol()
853 expr_extract_eq(type, ep, &e1->left.expr, &e2); in expr_extract_eq()
858 expr_extract_eq(type, ep, ep1, &e2->left.expr); in expr_extract_eq()
889 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym); in expr_trans_compare()
899 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym); in expr_trans_compare()
909 return expr_trans_compare(e->left.expr, type == E_EQUAL ? E_UNEQUAL : E_EQUAL, sym); in expr_trans_compare()
929 return expr_alloc_comp(type, e->left.sym, sym); in expr_trans_compare()
948 sym_calc_value(e->left.sym); in expr_calc_value()
949 return e->left.sym->curr.tri; in expr_calc_value()
951 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
955 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
959 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
962 sym_calc_value(e->left.sym); in expr_calc_value()
964 str1 = sym_get_string_value(e->left.sym); in expr_calc_value()
968 sym_calc_value(e->left.sym); in expr_calc_value()
970 str1 = sym_get_string_value(e->left.sym); in expr_calc_value()
1019 e = e->left.expr; in expr_get_leftmost_symbol()
1035 expr_simplify_unmet_dep(e1->left.expr, e2), in expr_simplify_unmet_dep()
1064 if (e->left.sym->name) in expr_print()
1065 fn(data, e->left.sym, e->left.sym->name); in expr_print()
1071 expr_print(e->left.expr, fn, data, E_NOT); in expr_print()
1074 if (e->left.sym->name) in expr_print()
1075 fn(data, e->left.sym, e->left.sym->name); in expr_print()
1082 if (e->left.sym->name) in expr_print()
1083 fn(data, e->left.sym, e->left.sym->name); in expr_print()
1090 expr_print(e->left.expr, fn, data, E_OR); in expr_print()
1095 expr_print(e->left.expr, fn, data, E_AND); in expr_print()
1101 if (e->left.expr) { in expr_print()
1103 expr_print(e->left.expr, fn, data, E_LIST); in expr_print()
1108 fn(data, e->left.sym, e->left.sym->name); in expr_print()