Home
last modified time | relevance | path

Searched refs:inv_vars (Results 1 – 25 of 34) sorted by relevance

12

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/
H A Dinj_axiom.cpp83 ptr_buffer<expr> f_args, inv_vars; in simplify_inj_axiom() local
101 inv_vars.push_back(new_c); in simplify_inj_axiom()
113 inv_vars.push_back(f); in simplify_inj_axiom()
114 for (unsigned i = 0; i < inv_vars.size(); ++i) { in simplify_inj_axiom()
115 domain.push_back(inv_vars[i]->get_sort()); in simplify_inj_axiom()
120 expr * proj = m.mk_app(inv_decl, inv_vars.size(), inv_vars.data()); in simplify_inj_axiom()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/
H A Dinj_axiom.cpp83 ptr_buffer<expr> f_args, inv_vars; in simplify_inj_axiom() local
101 inv_vars.push_back(new_c); in simplify_inj_axiom()
113 inv_vars.push_back(f); in simplify_inj_axiom()
114 for (unsigned i = 0; i < inv_vars.size(); ++i) { in simplify_inj_axiom()
115 domain.push_back(m.get_sort(inv_vars[i])); in simplify_inj_axiom()
120 expr * proj = m.mk_app(inv_decl, inv_vars.size(), inv_vars.c_ptr()); in simplify_inj_axiom()
/dports/lang/gcc8/gcc-8.5.0/gcc/
H A Dtree-ssa-loop-ivopts.c814 if (cand->inv_vars) in dump_cand()
2979 bitmap *inv_vars; member
3014 if (!*wdata->inv_vars) in find_inv_vars_cb()
3029 if (!inv_vars) in find_inv_vars()
3033 wdata.inv_vars = inv_vars; in find_inv_vars()
3638 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3659 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4533 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4615 if (inv_vars) in get_computation_cost()
4616 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/
H A Dtree-ssa-loop-ivopts.c811 if (cand->inv_vars) in dump_cand()
2976 bitmap *inv_vars; member
3011 if (!*wdata->inv_vars) in find_inv_vars_cb()
3026 if (!inv_vars) in find_inv_vars()
3030 wdata.inv_vars = inv_vars; in find_inv_vars()
3622 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3643 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4517 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4599 if (inv_vars) in get_computation_cost()
4600 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/
H A Dtree-ssa-loop-ivopts.c811 if (cand->inv_vars) in dump_cand()
2976 bitmap *inv_vars; member
3011 if (!*wdata->inv_vars) in find_inv_vars_cb()
3026 if (!inv_vars) in find_inv_vars()
3030 wdata.inv_vars = inv_vars; in find_inv_vars()
3622 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3643 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4517 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4599 if (inv_vars) in get_computation_cost()
4600 *inv_vars = NULL; in get_computation_cost()
[all …]
H A DChangeLog-201732606 inv_vars. Add inv_exprs.
32607 (struct iv_cand): Rename depends_on to inv_vars.
32611 (dump_cand): Dump inv_vars.
32612 (tree_ssa_iv_optimize_init): Support inv_vars and inv_exprs.
32623 (iv_ca_set_remove_invs): ... this. Support inv_vars and inv_exprs.
32626 (iv_ca_set_add_invs): ... this. Support inv_vars and inv_exprs.
32628 (iv_ca_has_deps): Support inv_vars and inv_exprs.
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/
H A Dtree-ssa-loop-ivopts.c814 if (cand->inv_vars) in dump_cand()
2993 bitmap *inv_vars; member
3028 if (!*wdata->inv_vars) in find_inv_vars_cb()
3043 if (!inv_vars) in find_inv_vars()
3047 wdata.inv_vars = inv_vars; in find_inv_vars()
3652 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3673 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4547 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4629 if (inv_vars) in get_computation_cost()
4630 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/
H A Dtree-ssa-loop-ivopts.c811 if (cand->inv_vars) in dump_cand()
2976 bitmap *inv_vars; member
3011 if (!*wdata->inv_vars) in find_inv_vars_cb()
3026 if (!inv_vars) in find_inv_vars()
3030 wdata.inv_vars = inv_vars; in find_inv_vars()
3622 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3643 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4517 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4599 if (inv_vars) in get_computation_cost()
4600 *inv_vars = NULL; in get_computation_cost()
[all …]
H A DChangeLog-201732606 inv_vars. Add inv_exprs.
32607 (struct iv_cand): Rename depends_on to inv_vars.
32611 (dump_cand): Dump inv_vars.
32612 (tree_ssa_iv_optimize_init): Support inv_vars and inv_exprs.
32623 (iv_ca_set_remove_invs): ... this. Support inv_vars and inv_exprs.
32626 (iv_ca_set_add_invs): ... this. Support inv_vars and inv_exprs.
32628 (iv_ca_has_deps): Support inv_vars and inv_exprs.
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/
H A Dtree-ssa-loop-ivopts.c811 if (cand->inv_vars) in dump_cand()
2976 bitmap *inv_vars; member
3011 if (!*wdata->inv_vars) in find_inv_vars_cb()
3026 if (!inv_vars) in find_inv_vars()
3030 wdata.inv_vars = inv_vars; in find_inv_vars()
3622 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3643 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4517 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4599 if (inv_vars) in get_computation_cost()
4600 *inv_vars = NULL; in get_computation_cost()
[all …]
H A DChangeLog-201732606 inv_vars. Add inv_exprs.
32607 (struct iv_cand): Rename depends_on to inv_vars.
32611 (dump_cand): Dump inv_vars.
32612 (tree_ssa_iv_optimize_init): Support inv_vars and inv_exprs.
32623 (iv_ca_set_remove_invs): ... this. Support inv_vars and inv_exprs.
32626 (iv_ca_set_add_invs): ... this. Support inv_vars and inv_exprs.
32628 (iv_ca_has_deps): Support inv_vars and inv_exprs.
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/
H A Dtree-ssa-loop-ivopts.c808 if (cand->inv_vars) in dump_cand()
2966 bitmap *inv_vars; member
3001 if (!*wdata->inv_vars) in find_inv_vars_cb()
3016 if (!inv_vars) in find_inv_vars()
3020 wdata.inv_vars = inv_vars; in find_inv_vars()
3612 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3633 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4507 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4589 if (inv_vars) in get_computation_cost()
4590 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/
H A Dtree-ssa-loop-ivopts.c814 if (cand->inv_vars) in dump_cand()
2993 bitmap *inv_vars; member
3028 if (!*wdata->inv_vars) in find_inv_vars_cb()
3043 if (!inv_vars) in find_inv_vars()
3047 wdata.inv_vars = inv_vars; in find_inv_vars()
3652 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3673 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4547 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4629 if (inv_vars) in get_computation_cost()
4630 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/
H A Dtree-ssa-loop-ivopts.c808 if (cand->inv_vars) in dump_cand()
2980 bitmap *inv_vars; member
3015 if (!*wdata->inv_vars) in find_inv_vars_cb()
3030 if (!inv_vars) in find_inv_vars()
3034 wdata.inv_vars = inv_vars; in find_inv_vars()
3626 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3647 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4521 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4603 if (inv_vars) in get_computation_cost()
4604 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/
H A Dtree-ssa-loop-ivopts.c856 if (cand->inv_vars) in dump_cand()
2970 bitmap *inv_vars; member
3008 if (!*wdata->inv_vars) in find_inv_vars_cb()
3023 if (!inv_vars) in find_inv_vars()
3027 wdata.inv_vars = inv_vars; in find_inv_vars()
3659 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3680 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4756 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4841 if (inv_vars) in get_computation_cost()
4842 *inv_vars = NULL; in get_computation_cost()
[all …]
H A DChangeLog-201732606 inv_vars. Add inv_exprs.
32607 (struct iv_cand): Rename depends_on to inv_vars.
32611 (dump_cand): Dump inv_vars.
32612 (tree_ssa_iv_optimize_init): Support inv_vars and inv_exprs.
32623 (iv_ca_set_remove_invs): ... this. Support inv_vars and inv_exprs.
32626 (iv_ca_set_add_invs): ... this. Support inv_vars and inv_exprs.
32628 (iv_ca_has_deps): Support inv_vars and inv_exprs.
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/
H A Dtree-ssa-loop-ivopts.c856 if (cand->inv_vars) in dump_cand()
2974 bitmap *inv_vars; member
3012 if (!*wdata->inv_vars) in find_inv_vars_cb()
3027 if (!inv_vars) in find_inv_vars()
3031 wdata.inv_vars = inv_vars; in find_inv_vars()
3663 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3684 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4760 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4845 if (inv_vars) in get_computation_cost()
4846 *inv_vars = NULL; in get_computation_cost()
[all …]
H A DChangeLog-201732606 inv_vars. Add inv_exprs.
32607 (struct iv_cand): Rename depends_on to inv_vars.
32611 (dump_cand): Dump inv_vars.
32612 (tree_ssa_iv_optimize_init): Support inv_vars and inv_exprs.
32623 (iv_ca_set_remove_invs): ... this. Support inv_vars and inv_exprs.
32626 (iv_ca_set_add_invs): ... this. Support inv_vars and inv_exprs.
32628 (iv_ca_has_deps): Support inv_vars and inv_exprs.
/dports/lang/gcc10/gcc-10.3.0/gcc/
H A Dtree-ssa-loop-ivopts.c856 if (cand->inv_vars)
2972 bitmap *inv_vars;
3010 if (!*wdata->inv_vars)
3025 if (!inv_vars)
3029 wdata.inv_vars = inv_vars;
3661 group->cost_map[cand->id].inv_vars = inv_vars;
3682 group->cost_map[i].inv_vars = inv_vars;
4758 if (*inv_expr != NULL && inv_vars && *inv_vars)
4843 if (inv_vars)
4844 *inv_vars = NULL;
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/
H A Dtree-ssa-loop-ivopts.c856 if (cand->inv_vars) in dump_cand()
2974 bitmap *inv_vars; member
3012 if (!*wdata->inv_vars) in find_inv_vars_cb()
3027 if (!inv_vars) in find_inv_vars()
3031 wdata.inv_vars = inv_vars; in find_inv_vars()
3663 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3684 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4760 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4845 if (inv_vars) in get_computation_cost()
4846 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/devel/avr-gcc/gcc-10.2.0/gcc/
H A Dtree-ssa-loop-ivopts.c856 if (cand->inv_vars) in dump_cand()
2972 bitmap *inv_vars; member
3010 if (!*wdata->inv_vars) in find_inv_vars_cb()
3025 if (!inv_vars) in find_inv_vars()
3029 wdata.inv_vars = inv_vars; in find_inv_vars()
3661 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3682 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4758 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4843 if (inv_vars) in get_computation_cost()
4844 *inv_vars = NULL; in get_computation_cost()
[all …]
H A DChangeLog-201732606 inv_vars. Add inv_exprs.
32607 (struct iv_cand): Rename depends_on to inv_vars.
32611 (dump_cand): Dump inv_vars.
32612 (tree_ssa_iv_optimize_init): Support inv_vars and inv_exprs.
32623 (iv_ca_set_remove_invs): ... this. Support inv_vars and inv_exprs.
32626 (iv_ca_set_add_invs): ... this. Support inv_vars and inv_exprs.
32628 (iv_ca_has_deps): Support inv_vars and inv_exprs.
/dports/lang/gcc11/gcc-11.2.0/gcc/
H A Dtree-ssa-loop-ivopts.c856 if (cand->inv_vars) in dump_cand()
2974 bitmap *inv_vars; member
3012 if (!*wdata->inv_vars) in find_inv_vars_cb()
3027 if (!inv_vars) in find_inv_vars()
3031 wdata.inv_vars = inv_vars; in find_inv_vars()
3663 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3684 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4760 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4845 if (inv_vars) in get_computation_cost()
4846 *inv_vars = NULL; in get_computation_cost()
[all …]
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/
H A Dtree-ssa-loop-ivopts.c856 if (cand->inv_vars) in dump_cand()
2972 bitmap *inv_vars; member
3010 if (!*wdata->inv_vars) in find_inv_vars_cb()
3025 if (!inv_vars) in find_inv_vars()
3029 wdata.inv_vars = inv_vars; in find_inv_vars()
3661 group->cost_map[cand->id].inv_vars = inv_vars; in set_group_iv_cost()
3682 group->cost_map[i].inv_vars = inv_vars; in set_group_iv_cost()
4758 if (*inv_expr != NULL && inv_vars && *inv_vars) in get_address_cost()
4843 if (inv_vars) in get_computation_cost()
4844 *inv_vars = NULL; in get_computation_cost()
[all …]
H A DChangeLog-201732606 inv_vars. Add inv_exprs.
32607 (struct iv_cand): Rename depends_on to inv_vars.
32611 (dump_cand): Dump inv_vars.
32612 (tree_ssa_iv_optimize_init): Support inv_vars and inv_exprs.
32623 (iv_ca_set_remove_invs): ... this. Support inv_vars and inv_exprs.
32626 (iv_ca_set_add_invs): ... this. Support inv_vars and inv_exprs.
32628 (iv_ca_has_deps): Support inv_vars and inv_exprs.

12