/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
H A D | inj_axiom.cpp | 83 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 D | inj_axiom.cpp | 83 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 D | tree-ssa-loop-ivopts.c | 814 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 D | tree-ssa-loop-ivopts.c | 811 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 D | tree-ssa-loop-ivopts.c | 811 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 D | ChangeLog-2017 | 32606 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 D | tree-ssa-loop-ivopts.c | 814 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 D | tree-ssa-loop-ivopts.c | 811 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 D | ChangeLog-2017 | 32606 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 D | tree-ssa-loop-ivopts.c | 811 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 D | ChangeLog-2017 | 32606 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 D | tree-ssa-loop-ivopts.c | 808 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 D | tree-ssa-loop-ivopts.c | 814 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 D | tree-ssa-loop-ivopts.c | 808 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 D | tree-ssa-loop-ivopts.c | 856 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 D | ChangeLog-2017 | 32606 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 D | tree-ssa-loop-ivopts.c | 856 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 D | ChangeLog-2017 | 32606 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 D | tree-ssa-loop-ivopts.c | 856 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 D | tree-ssa-loop-ivopts.c | 856 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 D | tree-ssa-loop-ivopts.c | 856 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 D | ChangeLog-2017 | 32606 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 D | tree-ssa-loop-ivopts.c | 856 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 D | tree-ssa-loop-ivopts.c | 856 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 D | ChangeLog-2017 | 32606 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.
|