Searched refs:n_unknown (Results 1 – 2 of 2) sorted by relevance
126 int n_unknown; member339 n_known = n_div - sol->context->n_unknown; in sol_push_sol_mat()2101 pos = context_tab->n_var - context->n_unknown; in add_div()2108 pos = tab->n_var - context->n_unknown; in add_div()2119 return tab->n_div - 1 - context->n_unknown; in add_div()2212 n = tab->n_div - context->n_unknown; in add_parametric_cut()3667 context->n_unknown = n_div - first; in isl_context_alloc()
170 define i1 @n_unknown(i32* %dst, i32 %n, i32 %i) {171 ; CHECK-LABEL: @n_unknown(