Home
last modified time | relevance | path

Searched refs:const_idx (Results 26 – 50 of 206) sorted by relevance

123456789

/dports/graphics/mesa-gallium-va/mesa-21.3.6/src/panfrost/bifrost/
H A Ddisassemble.c581 unsigned const_idx; in dump_clause() member
605 unsigned const_idx = pos_table[pos].const_idx; in dump_clause() local
607 if (num_consts < const_idx + 2) in dump_clause()
608 num_consts = const_idx + 2; in dump_clause()
610 consts.raw[const_idx] = const0; in dump_clause()
611 consts.raw[const_idx + 1] = const1; in dump_clause()
626 decode_M(&consts.mods[const_idx], M1, M2, false); in dump_clause()
/dports/graphics/mesa-gallium-vdpau/mesa-21.3.6/src/panfrost/bifrost/
H A Ddisassemble.c581 unsigned const_idx; in dump_clause() member
605 unsigned const_idx = pos_table[pos].const_idx; in dump_clause() local
607 if (num_consts < const_idx + 2) in dump_clause()
608 num_consts = const_idx + 2; in dump_clause()
610 consts.raw[const_idx] = const0; in dump_clause()
611 consts.raw[const_idx + 1] = const1; in dump_clause()
626 decode_M(&consts.mods[const_idx], M1, M2, false); in dump_clause()
/dports/graphics/mesa-gallium-xa/mesa-21.3.6/src/panfrost/bifrost/
H A Ddisassemble.c581 unsigned const_idx; in dump_clause() member
605 unsigned const_idx = pos_table[pos].const_idx; in dump_clause() local
607 if (num_consts < const_idx + 2) in dump_clause()
608 num_consts = const_idx + 2; in dump_clause()
610 consts.raw[const_idx] = const0; in dump_clause()
611 consts.raw[const_idx + 1] = const1; in dump_clause()
626 decode_M(&consts.mods[const_idx], M1, M2, false); in dump_clause()
/dports/graphics/mesa-devel/mesa-22.0-branchpoint-2059-ge8a63cf61ec/src/panfrost/bifrost/
H A Ddisassemble.c581 unsigned const_idx; in dump_clause() member
605 unsigned const_idx = pos_table[pos].const_idx; in dump_clause() local
607 if (num_consts < const_idx + 2) in dump_clause()
608 num_consts = const_idx + 2; in dump_clause()
610 consts.raw[const_idx] = const0; in dump_clause()
611 consts.raw[const_idx + 1] = const1; in dump_clause()
626 decode_M(&consts.mods[const_idx], M1, M2, false); in dump_clause()
/dports/graphics/mesa-dri/mesa-21.3.6/src/panfrost/bifrost/
H A Ddisassemble.c581 unsigned const_idx; in dump_clause() member
605 unsigned const_idx = pos_table[pos].const_idx; in dump_clause() local
607 if (num_consts < const_idx + 2) in dump_clause()
608 num_consts = const_idx + 2; in dump_clause()
610 consts.raw[const_idx] = const0; in dump_clause()
611 consts.raw[const_idx + 1] = const1; in dump_clause()
626 decode_M(&consts.mods[const_idx], M1, M2, false); in dump_clause()
/dports/lang/clover/mesa-21.3.6/src/panfrost/bifrost/
H A Ddisassemble.c581 unsigned const_idx; in dump_clause() member
605 unsigned const_idx = pos_table[pos].const_idx; in dump_clause() local
607 if (num_consts < const_idx + 2) in dump_clause()
608 num_consts = const_idx + 2; in dump_clause()
610 consts.raw[const_idx] = const0; in dump_clause()
611 consts.raw[const_idx + 1] = const1; in dump_clause()
626 decode_M(&consts.mods[const_idx], M1, M2, false); in dump_clause()
/dports/math/yices/yices-2.6.2/src/terms/
H A Dpoly_buffer_terms.c26 poly_buffer_addmul_monomial(aux, const_idx, a, rational_term_desc(terms, t)); in poly_buffer_addmul_term()
36 poly_buffer_submul_monomial(aux, const_idx, a, rational_term_desc(terms, t)); in poly_buffer_submul_term()
H A Dpoly_buffer.c659 if (a->var == const_idx) { in poly_buffer_make_nonconstant_integral()
800 if (n == 0 || a->var != const_idx) return true; // the constant is 0 in poly_buffer_gcd_test()
823 if (buffer->nterms > 0 && buffer->mono[0].var == const_idx) { in poly_buffer_get_constant()
835 if (buffer->nterms > 0 && buffer->mono[0].var == const_idx) { in poly_buffer_get_neg_constant()
877 return (x == const_idx) ? null_idx : x; in poly_buffer_nonconstant_convert_to_var()
882 if (buffer->mono[0].var == const_idx && q_is_one(&buffer->mono[1].coeff)) { in poly_buffer_nonconstant_convert_to_var()
906 if (x == const_idx) { in poly_buffer_convert_to_vareq()
920 } else if (n == 2 && buffer->mono[0].var == const_idx) { in poly_buffer_convert_to_vareq()
H A Dpolynomial_common.h39 const_idx = 0, enumerator
H A Dfull_subst.c199 if (m[0].var == const_idx) { in fsubst_visit_arith_poly()
221 if (m[0].var == const_idx) { in fsubst_visit_bv_poly()
243 if (m[0].var == const_idx) { in fsubst_visit_bv64_poly()
1070 if (p->mono[0].var == const_idx) { in full_subst_poly()
1071 a[i] = const_idx; in full_subst_poly()
1103 if (p->mono[0].var == const_idx) { in full_subst_bvpoly64()
1104 a[i] = const_idx; in full_subst_bvpoly64()
1136 if (p->mono[0].var == const_idx) { in full_subst_bvpoly()
1137 a[i] = const_idx; in full_subst_bvpoly()
/dports/math/yices/yices-2.6.2/src/solvers/simplex/
H A Dmatrices.c1347 if (x == const_idx) { in markowitz_init_simple_row()
1352 } else if (y == const_idx) { in markowitz_init_simple_row()
1547 if (x == const_idx) { in markowitz_update_simple_row()
1552 } else if (y == const_idx) { in markowitz_update_simple_row()
2336 assert(x != const_idx); in gauss_elim_simple_row()
2348 if (y == const_idx) { in gauss_elim_simple_row()
2449 assert(x != const_idx); in gauss_elim_row()
2716 if (x == const_idx) { in tableau_process_simple_row()
2846 assert(x != const_idx); in markowitz_tableau_process_simple_row()
2857 if (y == const_idx) { in markowitz_tableau_process_simple_row()
[all …]
/dports/math/yices/yices-2.6.2/src/solvers/floyd_warshall/
H A Ddl_vartable.c409 poly_buffer_addmul_monomial(b, const_idx, &t->constant, a); in poly_buffer_addmul_triple()
417 poly_buffer_submul_monomial(b, const_idx, &t->constant, a); in poly_buffer_submul_triple()
564 if (n >= 4 || (n == 3 && p[0].var != const_idx)) { in convert_poly_buffer_to_dl_triple()
574 if (n > 0 && p[0].var == const_idx) { in convert_poly_buffer_to_dl_triple()
629 if (n >= 4 || (n == 3 && p[0].var != const_idx)) { in rescale_poly_buffer_to_dl_triple()
649 if (n > 0 && p[0].var == const_idx) { in rescale_poly_buffer_to_dl_triple()
/dports/math/yices/yices-2.6.2/src/mcsat/
H A Dpreprocessor.c708 term_t x_pre = (x == const_idx ? const_idx : preprocessor_get(pre, x)); in preprocessor_apply()
710 if (x_pre != const_idx) { in preprocessor_apply()
748 term_t x_pre = (x == const_idx ? const_idx : preprocessor_get(pre, x)); in preprocessor_apply()
750 if (x_pre != const_idx) { in preprocessor_apply()
828 term_t x_pre = (x == const_idx ? const_idx : preprocessor_get(pre, x)); in preprocessor_apply()
830 if (x_pre != const_idx) { in preprocessor_apply()
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_bvarith.c.old88 if (v == const_idx) {
125 if (v == const_idx) {
156 if (v == const_idx) {
243 v[6] = bv_var_manager_mul_var(&manager, v[2], const_idx); // z
246 v[9] = const_idx;
H A Dtest_matrices.c113 if (abs_one && v != const_idx) { in print_monomial()
128 if (v == const_idx) { in print_monomial()
368 if (c >= 0 && c != const_idx) { in random_pivot()
/dports/math/yices/yices-2.6.2/src/context/
H A Dshared_terms.c129 if (c->mono[0].var == const_idx) { in sharing_map_visit_poly()
147 if (c->mono[0].var == const_idx) { in sharing_map_visit_bvpoly64()
165 if (c->mono[0].var == const_idx) { in sharing_map_visit_bvpoly()
/dports/math/z3/z3-z3-4.8.13/src/math/grobner/
H A Dpdd_simplifier.cpp558 unsigned const_idx = idx2mon.size(); in simplify_exlin() local
559 bm.reset(const_idx + 1); in simplify_exlin()
570 row.set(const_idx); in simplify_exlin()
594 if (c == const_idx) { in simplify_exlin()
606 if (c == const_idx) { in simplify_exlin()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/grobner/
H A Dpdd_simplifier.cpp558 unsigned const_idx = idx2mon.size(); in simplify_exlin() local
559 bm.reset(const_idx + 1); in simplify_exlin()
570 row.set(const_idx); in simplify_exlin()
594 if (c == const_idx) { in simplify_exlin()
606 if (c == const_idx) { in simplify_exlin()
/dports/math/yices/yices-2.6.2/src/mcsat/utils/
H A Dsubstitution.c305 if (x != const_idx) { in substitution_run_core()
315 if (children_done) { ivector_push(&children, const_idx); } in substitution_run_core()
343 if (x != const_idx) { in substitution_run_core()
353 if (children_done) { ivector_push(&children, const_idx); } in substitution_run_core()
/dports/math/yices/yices-2.6.2/src/io/
H A Dterm_printer.c110 if (x != const_idx) { in print_monomial()
124 if (x == const_idx) { in print_monomial()
219 if (x == const_idx) { in print_bvmono()
320 if (x == const_idx) { in print_bvmono64()
406 if (x == const_idx) { in print_bvmono64_raw()
431 if (x == const_idx) { in print_bvmono_raw()
727 if (x == const_idx) { in print_mono_recur()
759 if (x == const_idx) { in print_bvmono_recur()
798 if (x == const_idx) { in print_bvmono64_recur()
1371 if (x == const_idx) { in print_named_monomial()
[all …]
/dports/math/py-statsmodels/statsmodels-0.13.1/statsmodels/regression/
H A Drolling.py158 const_idx = self.data.const_idx
161 self.data.const_idx = const_idx
186 self.const_idx = self.data.const_idx
665 locs.pop(self.model.const_idx)
/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbvpoly_compiler.c519 if (p->mono[0].var == const_idx) { in bv_compiler_simplify_poly64()
525 assert(p->mono[i].var != const_idx); in bv_compiler_simplify_poly64()
550 if (p->mono[0].var == const_idx) { in bv_compiler_simplify_poly()
556 assert(p->mono[i].var != const_idx); in bv_compiler_simplify_poly()
603 if (p->mono[0].var == const_idx) { in bv_compiler_push_poly64()
619 if (p->mono[0].var == const_idx) { in bv_compiler_push_poly()
742 if (bvpoly_buffer_var(b, 0) == const_idx) { in bv_compiler_pbuffer_to_dag()
743 ivector_push(v, const_idx); // need a place-holder in v->data[0] in bv_compiler_pbuffer_to_dag()
748 assert(x != const_idx && mtbl_is_root(c->mtbl, x)); in bv_compiler_pbuffer_to_dag()
H A Dbvsolver_printer.c71 if (x == const_idx) { in print_bv_mono64()
83 if (x == const_idx) { in print_bv_mono64()
100 if (x != const_idx) { in print_bv_mono64()
133 if (x == const_idx) { in print_bv_mono()
145 if (x == const_idx) { in print_bv_mono()
162 if (x != const_idx) { in print_bv_mono()
/dports/graphics/libosmesa-gallium/mesa-21.3.6/src/freedreno/decode/
H A Dpgmdump.c126 uint32_t const_idx; /* the CONST() indx value for sampler */ member
200 uint32_t const_idx; /* the CONST() indx value for the sampler */ member
229 uint32_t const_idx; member
323 printf("\tR%d, CONST(%d): %s\n", attrib->reg, attrib->const_idx, in dump_attribute()
350 printf("\tCONST(%d): %s\n", sampler->const_idx, sampler->name); in dump_sampler()
381 printf("\tC%d: %f, %f, %f, %f\n", constant->const_idx, constant->val[0], in dump_constant()
/dports/lang/clover/mesa-21.3.6/src/freedreno/decode/
H A Dpgmdump.c126 uint32_t const_idx; /* the CONST() indx value for sampler */ member
200 uint32_t const_idx; /* the CONST() indx value for the sampler */ member
229 uint32_t const_idx; member
323 printf("\tR%d, CONST(%d): %s\n", attrib->reg, attrib->const_idx, in dump_attribute()
350 printf("\tCONST(%d): %s\n", sampler->const_idx, sampler->name); in dump_sampler()
381 printf("\tC%d: %f, %f, %f, %f\n", constant->const_idx, constant->val[0], in dump_constant()

123456789