Lines Matching refs:left
24 e->left.sym = sym; in expr_alloc_symbol()
32 e->left.expr = ce; in expr_alloc_one()
40 e->left.expr = e1; in expr_alloc_two()
49 e->left.sym = s1; in expr_alloc_comp()
79 e->left = org->left; in expr_copy()
82 e->left.expr = expr_copy(org->left.expr); in expr_copy()
86 e->left.sym = org->left.sym; in expr_copy()
92 e->left.expr = expr_copy(org->left.expr); in expr_copy()
114 expr_free(e->left.expr); in expr_free()
121 expr_free(e->left.expr); in expr_free()
139 __expr_eliminate_eq(type, &e1->left.expr, &e2); in __expr_eliminate_eq()
144 __expr_eliminate_eq(type, &e1, &e2->left.expr); in __expr_eliminate_eq()
149 e1->left.sym == e2->left.sym && in __expr_eliminate_eq()
150 (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no)) in __expr_eliminate_eq()
204 return e1->left.sym == e2->left.sym && e1->right.sym == e2->right.sym; in expr_eq()
206 return e1->left.sym == e2->left.sym; in expr_eq()
208 return expr_eq(e1->left.expr, e2->left.expr); in expr_eq()
216 e1->left.sym == e2->left.sym); in expr_eq()
243 e->left.expr = expr_eliminate_yn(e->left.expr); in expr_eliminate_yn()
245 if (e->left.expr->type == E_SYMBOL) { in expr_eliminate_yn()
246 if (e->left.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
247 expr_free(e->left.expr); in expr_eliminate_yn()
250 e->left.sym = &symbol_no; in expr_eliminate_yn()
253 } else if (e->left.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
254 free(e->left.expr); in expr_eliminate_yn()
262 if (e->right.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
263 expr_free(e->left.expr); in expr_eliminate_yn()
266 e->left.sym = &symbol_no; in expr_eliminate_yn()
269 } else if (e->right.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
271 tmp = e->left.expr; in expr_eliminate_yn()
272 *e = *(e->left.expr); in expr_eliminate_yn()
279 e->left.expr = expr_eliminate_yn(e->left.expr); in expr_eliminate_yn()
281 if (e->left.expr->type == E_SYMBOL) { in expr_eliminate_yn()
282 if (e->left.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
283 free(e->left.expr); in expr_eliminate_yn()
288 } else if (e->left.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
289 expr_free(e->left.expr); in expr_eliminate_yn()
292 e->left.sym = &symbol_yes; in expr_eliminate_yn()
298 if (e->right.expr->left.sym == &symbol_no) { in expr_eliminate_yn()
300 tmp = e->left.expr; in expr_eliminate_yn()
301 *e = *(e->left.expr); in expr_eliminate_yn()
304 } else if (e->right.expr->left.sym == &symbol_yes) { in expr_eliminate_yn()
305 expr_free(e->left.expr); in expr_eliminate_yn()
308 e->left.sym = &symbol_yes; in expr_eliminate_yn()
331 e->left.expr = expr_trans_bool(e->left.expr); in expr_trans_bool()
336 if (e->left.sym->type == S_TRISTATE) { in expr_trans_bool()
364 tmp = e1->left.expr; in expr_join_or()
367 sym1 = tmp->left.sym; in expr_join_or()
369 sym1 = e1->left.sym; in expr_join_or()
371 if (e2->left.expr->type != E_SYMBOL) in expr_join_or()
373 sym2 = e2->left.expr->left.sym; in expr_join_or()
375 sym2 = e2->left.sym; in expr_join_or()
401 if ((e1->type == E_NOT && e1->left.expr->type == E_SYMBOL && e2->type == E_SYMBOL) || in expr_join_or()
402 (e2->type == E_NOT && e2->left.expr->type == E_SYMBOL && e1->type == E_SYMBOL)) in expr_join_or()
428 tmp = e1->left.expr; in expr_join_and()
431 sym1 = tmp->left.sym; in expr_join_and()
433 sym1 = e1->left.sym; in expr_join_and()
435 if (e2->left.expr->type != E_SYMBOL) in expr_join_and()
437 sym2 = e2->left.expr->left.sym; in expr_join_and()
439 sym2 = e2->left.sym; in expr_join_and()
517 expr_eliminate_dups1(type, &e1->left.expr, &e2); in expr_eliminate_dups1()
522 expr_eliminate_dups1(type, &e1, &e2->left.expr); in expr_eliminate_dups1()
569 expr_eliminate_dups2(type, &e1->left.expr, &e2); in expr_eliminate_dups2()
574 expr_eliminate_dups2(type, &e1, &e2->left.expr); in expr_eliminate_dups2()
655 e->left.expr = expr_transform(e->left.expr); in expr_transform()
661 if (e->left.sym->type != S_BOOLEAN) in expr_transform()
665 e->left.expr = expr_alloc_symbol(e->left.sym); in expr_transform()
670 printf("boolean symbol %s tested for 'm'? test forced to 'n'\n", e->left.sym->name); in expr_transform()
672 e->left.sym = &symbol_no; in expr_transform()
683 if (e->left.sym->type != S_BOOLEAN) in expr_transform()
691 printf("boolean symbol %s tested for 'm'? test forced to 'y'\n", e->left.sym->name); in expr_transform()
693 e->left.sym = &symbol_yes; in expr_transform()
699 e->left.expr = expr_alloc_symbol(e->left.sym); in expr_transform()
705 switch (e->left.expr->type) { in expr_transform()
708 tmp = e->left.expr->left.expr; in expr_transform()
709 free(e->left.expr); in expr_transform()
717 tmp = e->left.expr; in expr_transform()
724 tmp = e->left.expr; in expr_transform()
733 tmp = e->left.expr; in expr_transform()
741 if (e->left.expr->left.sym == &symbol_yes) { in expr_transform()
743 tmp = e->left.expr; in expr_transform()
747 e->left.sym = &symbol_no; in expr_transform()
750 if (e->left.expr->left.sym == &symbol_mod) { in expr_transform()
752 tmp = e->left.expr; in expr_transform()
756 e->left.sym = &symbol_mod; in expr_transform()
759 if (e->left.expr->left.sym == &symbol_no) { in expr_transform()
761 tmp = e->left.expr; in expr_transform()
765 e->left.sym = &symbol_yes; in expr_transform()
787 return expr_contains_symbol(dep->left.expr, sym) || in expr_contains_symbol()
790 return dep->left.sym == sym; in expr_contains_symbol()
793 return dep->left.sym == sym || in expr_contains_symbol()
796 return expr_contains_symbol(dep->left.expr, sym); in expr_contains_symbol()
810 return expr_depends_symbol(dep->left.expr, sym) || in expr_depends_symbol()
813 return dep->left.sym == sym; in expr_depends_symbol()
815 if (dep->left.sym == sym) { in expr_depends_symbol()
821 if (dep->left.sym == sym) { in expr_depends_symbol()
859 expr_extract_eq(type, ep, &e1->left.expr, &e2); in expr_extract_eq()
864 expr_extract_eq(type, ep, ep1, &e2->left.expr); in expr_extract_eq()
895 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym); in expr_trans_compare()
905 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym); in expr_trans_compare()
915 return expr_trans_compare(e->left.expr, type == E_EQUAL ? E_UNEQUAL : E_EQUAL, sym); in expr_trans_compare()
935 return expr_alloc_comp(type, e->left.sym, sym); in expr_trans_compare()
954 sym_calc_value(e->left.sym); in expr_calc_value()
955 return e->left.sym->curr.tri; in expr_calc_value()
957 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
961 val1 = expr_calc_value(e->left.expr); in expr_calc_value()
965 val1 = expr_calc_value(e->left.expr); 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()
974 sym_calc_value(e->left.sym); in expr_calc_value()
976 str1 = sym_get_string_value(e->left.sym); in expr_calc_value()
1021 e = e->left.expr; in expr_get_leftmost_symbol()
1037 expr_simplify_unmet_dep(e1->left.expr, e2), in expr_simplify_unmet_dep()
1066 if (e->left.sym->name) in expr_print()
1067 fn(data, e->left.sym, e->left.sym->name); in expr_print()
1073 expr_print(e->left.expr, fn, data, E_NOT); in expr_print()
1076 if (e->left.sym->name) in expr_print()
1077 fn(data, e->left.sym, e->left.sym->name); 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()
1092 expr_print(e->left.expr, fn, data, E_OR); in expr_print()
1097 expr_print(e->left.expr, fn, data, E_AND); in expr_print()
1103 if (e->left.expr) { in expr_print()
1105 expr_print(e->left.expr, fn, data, E_LIST); in expr_print()
1110 fn(data, e->left.sym, e->left.sym->name); in expr_print()