/dports/graphics/mesa-gallium-va/mesa-21.3.6/src/panfrost/bifrost/ |
H A D | disassemble.c | 581 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 D | disassemble.c | 581 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 D | disassemble.c | 581 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 D | disassemble.c | 581 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 D | disassemble.c | 581 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 D | disassemble.c | 581 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 D | poly_buffer_terms.c | 26 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 D | poly_buffer.c | 659 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 D | polynomial_common.h | 39 const_idx = 0, enumerator
|
H A D | full_subst.c | 199 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 D | matrices.c | 1347 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 D | dl_vartable.c | 409 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 D | preprocessor.c | 708 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 D | test_bvarith.c.old | 88 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 D | test_matrices.c | 113 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 D | shared_terms.c | 129 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 D | pdd_simplifier.cpp | 558 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 D | pdd_simplifier.cpp | 558 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 D | substitution.c | 305 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 D | term_printer.c | 110 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 D | rolling.py | 158 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 D | bvpoly_compiler.c | 519 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 D | bvsolver_printer.c | 71 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 D | pgmdump.c | 126 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 D | pgmdump.c | 126 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()
|