Home
last modified time | relevance | path

Searched refs:o_idx (Results 1 – 25 of 136) sorted by relevance

123456

/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/
H A Dspacer_manager.h98 func_decl * o2n(func_decl * p, unsigned o_idx) const in o2n() argument
99 {return m_mux.shift_decl(p, o_index(o_idx), n_index());} in o2n()
102 func_decl * n2o(func_decl * p, unsigned o_idx) const in n2o() argument
103 {return m_mux.shift_decl(p, n_index(), o_index(o_idx));} in n2o()
105 void formula_o2n(expr * f, expr_ref & result, unsigned o_idx,
107 {m_mux.shift_expr(f, o_index(o_idx), n_index(), result, homogenous);}
109 void formula_n2o(expr * f, expr_ref & result, unsigned o_idx,
111 {m_mux.shift_expr(f, n_index(), o_index(o_idx), result, homogenous);}
113 void formula_n2o(unsigned o_idx, bool homogenous, expr_ref & result) const in formula_n2o() argument
114 {m_mux.shift_expr(result.get(), n_index(), o_index(o_idx), in formula_n2o()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/
H A Dspacer_manager.h98 func_decl * o2n(func_decl * p, unsigned o_idx) const in o2n() argument
99 {return m_mux.shift_decl(p, o_index(o_idx), n_index());} in o2n()
102 func_decl * n2o(func_decl * p, unsigned o_idx) const in n2o() argument
103 {return m_mux.shift_decl(p, n_index(), o_index(o_idx));} in n2o()
105 void formula_o2n(expr * f, expr_ref & result, unsigned o_idx,
107 {m_mux.shift_expr(f, o_index(o_idx), n_index(), result, homogenous);}
109 void formula_n2o(expr * f, expr_ref & result, unsigned o_idx,
111 {m_mux.shift_expr(f, n_index(), o_index(o_idx), result, homogenous);}
113 void formula_n2o(unsigned o_idx, bool homogenous, expr_ref & result) const in formula_n2o() argument
114 {m_mux.shift_expr(result.get(), n_index(), o_index(o_idx), in formula_n2o()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Analysis/ScalarEvolution/
H A Dflags-from-poison-noautogen.ll12 ; CHECK-NEXT: %o_idx = phi i32 [ 0, %entry ], [ %o_idx.inc, %outer.be ]
14 ; CHECK-NEXT: %o_idx.inc = add nsw i32 %o_idx, 1
20 ; CHECK-NEXT: %v = sub nsw i32 %i_idx, %o_idx.inc
42 %o_idx = phi i32 [ 0, %entry ], [ %o_idx.inc, %outer.be ]
43 %o_idx.inc = add nsw i32 %o_idx, 1
44 %cond = icmp eq i32 %o_idx, %val
50 %v = sub nsw i32 %i_idx, %o_idx.inc
56 %cond3 = icmp eq i32 %o_idx, %outer_l
/dports/japanese/anthy/anthy-0.4/src-ordering/
H A Dcandswap.c28 int o_idx = o->core_elm_index; in learn_swap_cand_indep() local
32 if (o_idx < 0 || n_idx < 0) { in learn_swap_cand_indep()
35 if (o->elm[o_idx].str.len != n->elm[n_idx].str.len) { in learn_swap_cand_indep()
38 if (o->elm[o_idx].nth == -1 || n->elm[n_idx].nth == -1) { in learn_swap_cand_indep()
41 res = anthy_get_nth_dic_ent_str(o->elm[o_idx].se, &o->elm[o_idx].str, in learn_swap_cand_indep()
42 o->elm[o_idx].nth, &os); in learn_swap_cand_indep()
/dports/misc/vxl/vxl-3.3.2/contrib/brl/bbas/volm/desc/
H A Dvolm_desc_ex.cxx74 for (auto & o_idx : obj) in volm_desc_ex() local
75 this->set_count(o_idx->min_depth(), o_idx->orient_type(), o_idx->land_id(), (unsigned char)1); in volm_desc_ex()
140 unsigned o_idx; in bin_index() local
141 o_idx = orient_idx; in bin_index()
143 o_idx = depth_map_region::FRONT_PARALLEL; in bin_index()
145 o_idx = (unsigned char)(norients_-1); in bin_index()
146 assert(o_idx < norients_ && "orientation type is not recognized in volm_descriptor"); in bin_index()
148 unsigned bin_idx = land_idx + nlands_*o_idx; in bin_index()
/dports/games/mangband/mangband-1.5.3/src/server/
H A Dobject2.c229 if (c_ptr->o_idx) delete_object_idx(c_ptr->o_idx); in delete_object()
3574 c_ptr->o_idx = o_idx; in place_specific_object()
3702 if (o_idx) in place_object()
3717 c_ptr->o_idx = o_idx; in place_object()
3771 if (o_idx) return &o_list[o_idx]; in place_object()
3897 if (o_idx) in place_gold()
3908 c_ptr->o_idx = o_idx; in place_gold()
4097 c_ptr->o_idx = o_idx; in drop_near()
4106 o_idx = c_ptr->o_idx; in drop_near()
4441 if (o_idx) in floor_item_notify()
[all …]
H A Dcmd2.c1383 s16b o_idx; in do_cmd_open() local
1418 o_ptr = &o_list[c_ptr->o_idx]; in do_cmd_open()
1421 o_idx = (o_ptr->tval == TV_CHEST ? c_ptr->o_idx : 0); in do_cmd_open()
1445 o_idx = (o_ptr->tval == TV_CHEST ? c_ptr->o_idx : 0); in do_cmd_open()
1484 else if (o_idx) in do_cmd_open()
2139 o_ptr = &o_list[c_ptr->o_idx]; in do_cmd_disarm_test()
2284 s16b o_idx; in do_cmd_disarm() local
2324 o_ptr = &o_list[c_ptr->o_idx]; in do_cmd_disarm()
2327 o_idx = (o_ptr->tval == TV_CHEST ? c_ptr->o_idx : 0); in do_cmd_disarm()
2351 o_idx = (o_ptr->tval == TV_CHEST ? c_ptr->o_idx : 0); in do_cmd_disarm()
[all …]
H A Dcmd6.c184 item = -cave[p_ptr->dun_depth][p_ptr->py][p_ptr->px].o_idx; in do_cmd_quaff_potion()
304 item = -cave[p_ptr->dun_depth][p_ptr->py][p_ptr->px].o_idx; in do_cmd_read_scroll()
438 item = -cave[p_ptr->dun_depth][p_ptr->py][p_ptr->px].o_idx; in do_cmd_use_staff()
651 item = -cave[p_ptr->dun_depth][p_ptr->py][p_ptr->px].o_idx; in do_cmd_aim_wand()
804 item = -cave[p_ptr->dun_depth][p_ptr->py][p_ptr->px].o_idx; in do_cmd_zap_rod()
959 item = -cave[p_ptr->dun_depth][p_ptr->py][p_ptr->px].o_idx; in do_cmd_activate()
1059 item = -cave[p_ptr->dun_depth][p_ptr->py][p_ptr->px].o_idx; in do_cmd_refill_potion()
/dports/science/simint/simint-v0.8/examples/
H A Dexample_packed.c185 int o_idx = shell_start[k] + o; in main() local
189 … int op_idx = o_idx < p_idx ? (p_idx*(p_idx+1))/2 + o_idx : (o_idx*(o_idx+1))/2 + p_idx; in main()
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/
H A Dgimple-loop-interchange.cc997 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1006 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1042 if (level < o_idx || level > i_idx) in valid_data_dependences()
1049 || (!DDR_REVERSED_P (ddr) && dist_vect[o_idx] < 0) in valid_data_dependences()
1050 || (DDR_REVERSED_P (ddr) && dist_vect[o_idx] > 0)) in valid_data_dependences()
1465 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1613 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1616 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1620 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1660 if (o_idx > 0) in interchange()
[all …]
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/
H A Dgimple-loop-interchange.cc997 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1006 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1042 if (level < o_idx || level > i_idx) in valid_data_dependences()
1049 || (!DDR_REVERSED_P (ddr) && dist_vect[o_idx] < 0) in valid_data_dependences()
1050 || (DDR_REVERSED_P (ddr) && dist_vect[o_idx] > 0)) in valid_data_dependences()
1453 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1601 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1604 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1608 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1648 if (o_idx > 0) in interchange()
[all …]
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/
H A Dgimple-loop-interchange.cc997 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1006 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1042 if (level < o_idx || level > i_idx) in valid_data_dependences()
1049 || (!DDR_REVERSED_P (ddr) && dist_vect[o_idx] < 0) in valid_data_dependences()
1050 || (DDR_REVERSED_P (ddr) && dist_vect[o_idx] > 0)) in valid_data_dependences()
1453 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1601 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1604 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1608 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1648 if (o_idx > 0) in interchange()
[all …]
/dports/lang/gcc11/gcc-11.2.0/gcc/
H A Dgimple-loop-interchange.cc997 std::swap ((*stride)[i_idx], (*stride)[o_idx]);
1006 std::swap (dist_vect[i_idx], dist_vect[o_idx]);
1042 if (level < o_idx || level > i_idx)
1049 || (!DDR_REVERSED_P (ddr) && dist_vect[o_idx] < 0)
1050 || (DDR_REVERSED_P (ddr) && dist_vect[o_idx] > 0))
1453 should_interchange_loops (unsigned i_idx, unsigned o_idx,
1601 unsigned i_idx = i - 1, o_idx = i - 2;
1604 if (!valid_data_dependences (i_idx, o_idx, ddrs))
1608 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]);
1648 if (o_idx > 0)
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/
H A Dgimple-loop-interchange.cc997 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1006 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1042 if (level < o_idx || level > i_idx) in valid_data_dependences()
1049 || (!DDR_REVERSED_P (ddr) && dist_vect[o_idx] < 0) in valid_data_dependences()
1050 || (DDR_REVERSED_P (ddr) && dist_vect[o_idx] > 0)) in valid_data_dependences()
1453 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1601 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1604 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1608 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1648 if (o_idx > 0) in interchange()
[all …]
/dports/misc/vxl/vxl-3.3.2/contrib/brl/bseg/boxm2/volm/exe/
H A Dboxm2_volm_get_best_matcher_from_cand_list.cxx138 for (unsigned o_idx = 0; o_idx < dms->scene_regions().size(); o_idx++) in main() local
139 if (max_depth < dms->scene_regions()[o_idx]->min_depth()) in main()
140 max_depth = dms->scene_regions()[o_idx]->min_depth(); in main()
/dports/comms/openzwave/open-zwave-f339aa6/cpp/src/value_classes/
H A DValueSchedule.cpp328 uint8* o_idx in FindSwitchPoint()
338 if( o_idx ) in FindSwitchPoint()
340 *o_idx = i; in FindSwitchPoint()
/dports/comms/openzwave-devel/open-zwave-14f2ba74/cpp/src/value_classes/
H A DValueSchedule.cpp287 bool ValueSchedule::FindSwitchPoint(uint8 const _hours, uint8 const _minutes, uint8* o_idx) const in FindSwitchPoint()
296 if (o_idx) in FindSwitchPoint()
298 *o_idx = i; in FindSwitchPoint()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/
H A Dgimple-loop-interchange.cc995 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1004 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1040 if (level < o_idx || level > i_idx) in valid_data_dependences()
1045 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1445 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1593 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1596 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1600 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1627 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1640 if (o_idx > 0) in interchange()
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/
H A Dgimple-loop-interchange.cc995 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1004 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1040 if (level < o_idx || level > i_idx) in valid_data_dependences()
1045 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1445 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1593 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1596 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1600 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1627 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1640 if (o_idx > 0) in interchange()
[all …]
/dports/devel/avr-gcc/gcc-10.2.0/gcc/
H A Dgimple-loop-interchange.cc997 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1006 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1042 if (level < o_idx || level > i_idx) in valid_data_dependences()
1047 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1450 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1598 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1601 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1605 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1632 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1645 if (o_idx > 0) in interchange()
[all …]
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/
H A Dgimple-loop-interchange.cc995 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1004 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1040 if (level < o_idx || level > i_idx) in valid_data_dependences()
1045 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1445 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1593 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1596 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1600 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1627 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1640 if (o_idx > 0) in interchange()
[all …]
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/
H A Dgimple-loop-interchange.cc995 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1004 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1040 if (level < o_idx || level > i_idx) in valid_data_dependences()
1045 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1445 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1593 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1596 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1600 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1627 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1640 if (o_idx > 0) in interchange()
[all …]
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/
H A Dgimple-loop-interchange.cc995 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1004 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1040 if (level < o_idx || level > i_idx) in valid_data_dependences()
1045 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1445 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1593 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1596 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1600 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1627 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1640 if (o_idx > 0) in interchange()
[all …]
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/
H A Dgimple-loop-interchange.cc995 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1004 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1040 if (level < o_idx || level > i_idx) in valid_data_dependences()
1045 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1445 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1593 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1596 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1600 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1627 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1640 if (o_idx > 0) in interchange()
[all …]
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/
H A Dgimple-loop-interchange.cc995 std::swap ((*stride)[i_idx], (*stride)[o_idx]); in update_data_info()
1004 std::swap (dist_vect[i_idx], dist_vect[o_idx]); in update_data_info()
1040 if (level < o_idx || level > i_idx) in valid_data_dependences()
1045 if (dist_vect[i_idx] < 0 || dist_vect[o_idx] < 0) in valid_data_dependences()
1445 should_interchange_loops (unsigned i_idx, unsigned o_idx, in should_interchange_loops() argument
1593 unsigned i_idx = i - 1, o_idx = i - 2; in interchange() local
1596 if (!valid_data_dependences (i_idx, o_idx, ddrs)) in interchange()
1600 loop_cand oloop (m_loop_nest[o_idx], m_loop_nest[o_idx]); in interchange()
1627 if (should_interchange_loops (i_idx, o_idx, datarefs, in interchange()
1640 if (o_idx > 0) in interchange()
[all …]

123456