Lines Matching refs:nbools
81 x = a->nbools; in same_bools()
84 if (x != b->nbools) in same_bools()
104 if (a->nbools != b->nbools) in cond_expr_equal()
110 if (a->nbools <= COND_MAX_BOOLS && b->nbools <= COND_MAX_BOOLS) { in cond_expr_equal()
159 new_node->nbools = node->nbools; in cond_node_create()
160 for (i = 0; i < min(node->nbools, COND_MAX_BOOLS); i++) in cond_node_create()
353 cn->nbools = 0; in cond_normalize_expr()
393 if (!bool_present(e->bool, cn->bool_ids, cn->nbools)) { in cond_normalize_expr()
395 if (cn->nbools < COND_MAX_BOOLS) in cond_normalize_expr()
396 cn->bool_ids[cn->nbools++] = e->bool; in cond_normalize_expr()
398 cn->nbools++; in cond_normalize_expr()
407 if (cn->nbools <= COND_MAX_BOOLS) { in cond_normalize_expr()
409 for (i = 0; i < cn->nbools; i++) { in cond_normalize_expr()
415 for (test = 0x0; test < (0x1U << cn->nbools); test++) { in cond_normalize_expr()
418 for (j = 0; j < cn->nbools; j++) { in cond_normalize_expr()
436 for (i = 0; i < cn->nbools; i++) in cond_normalize_expr()