/dports/math/z3/z3-z3-4.8.13/src/sat/ |
H A D | sat_npn3_finder.cpp | 225 c.mark_used(); in find_mux() 266 c.mark_used(); in find_maj() 299 c.mark_used(); in find_orand() 329 c.mark_used(); in find_xor() 330 if (c1) c1->mark_used(); in find_xor() 364 c.mark_used(); in find_and() 399 c.mark_used(); in find_andxor() 446 c.mark_used(); in find_xorand() 491 c.mark_used(); in find_gamble() 531 c.mark_used(); in find_onehot() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
H A D | sat_npn3_finder.cpp | 225 c.mark_used(); in find_mux() 266 c.mark_used(); in find_maj() 299 c.mark_used(); in find_orand() 329 c.mark_used(); in find_xor() 330 if (c1) c1->mark_used(); in find_xor() 364 c.mark_used(); in find_and() 399 c.mark_used(); in find_andxor() 446 c.mark_used(); in find_xorand() 491 c.mark_used(); in find_gamble() 531 c.mark_used(); in find_onehot() [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_jump.erl | 441 mark_used(Lbl, Used); 443 mark_used(Lbl, Used); 445 mark_used(Lbl, Used); 447 mark_used(Lbl, Used); 449 mark_used(Lbl, Used); 451 mark_used(Lbl, Used); 453 mark_used(Lbl, Used); 455 mark_used(Lbl, Used); 457 mark_used(Lbl, Used); 459 mark_used(Lbl, Used); [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_jump.erl | 441 mark_used(Lbl, Used); 443 mark_used(Lbl, Used); 445 mark_used(Lbl, Used); 447 mark_used(Lbl, Used); 449 mark_used(Lbl, Used); 451 mark_used(Lbl, Used); 453 mark_used(Lbl, Used); 455 mark_used(Lbl, Used); 457 mark_used(Lbl, Used); 459 mark_used(Lbl, Used); [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_jump.erl | 441 mark_used(Lbl, Used); 443 mark_used(Lbl, Used); 445 mark_used(Lbl, Used); 447 mark_used(Lbl, Used); 449 mark_used(Lbl, Used); 451 mark_used(Lbl, Used); 453 mark_used(Lbl, Used); 455 mark_used(Lbl, Used); 457 mark_used(Lbl, Used); 459 mark_used(Lbl, Used); [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_jump.erl | 441 mark_used(Lbl, Used); 443 mark_used(Lbl, Used); 445 mark_used(Lbl, Used); 447 mark_used(Lbl, Used); 449 mark_used(Lbl, Used); 451 mark_used(Lbl, Used); 453 mark_used(Lbl, Used); 455 mark_used(Lbl, Used); 457 mark_used(Lbl, Used); 459 mark_used(Lbl, Used); [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_jump.erl | 441 mark_used(Lbl, Used); 443 mark_used(Lbl, Used); 445 mark_used(Lbl, Used); 447 mark_used(Lbl, Used); 449 mark_used(Lbl, Used); 451 mark_used(Lbl, Used); 453 mark_used(Lbl, Used); 455 mark_used(Lbl, Used); 457 mark_used(Lbl, Used); 459 mark_used(Lbl, Used); [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_jump.erl | 441 mark_used(Lbl, Used); 443 mark_used(Lbl, Used); 445 mark_used(Lbl, Used); 447 mark_used(Lbl, Used); 449 mark_used(Lbl, Used); 451 mark_used(Lbl, Used); 453 mark_used(Lbl, Used); 455 mark_used(Lbl, Used); 457 mark_used(Lbl, Used); 459 mark_used(Lbl, Used); [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_jump.erl | 441 mark_used(Lbl, Used); 443 mark_used(Lbl, Used); 445 mark_used(Lbl, Used); 447 mark_used(Lbl, Used); 449 mark_used(Lbl, Used); 451 mark_used(Lbl, Used); 453 mark_used(Lbl, Used); 455 mark_used(Lbl, Used); 457 mark_used(Lbl, Used); 459 mark_used(Lbl, Used); [all …]
|
/dports/multimedia/libde265/libde265-1.0.2/libde265/encoder/ |
H A D | encpicbuf.cc | 208 imgdata->mark_used = false; 213 FOR_LOOP(int, f, data->ref0) { get_picture(f)->mark_used=true; } 214 FOR_LOOP(int, f, data->ref1) { get_picture(f)->mark_used=true; } 215 FOR_LOOP(int, f, data->longterm) { get_picture(f)->mark_used=true; } 216 FOR_LOOP(int, f, data->keep) { get_picture(f)->mark_used=true; } 217 data->mark_used=true; 227 if (imgdata->mark_used || imgdata->is_in_output_queue) {
|
/dports/graphics/digikam/digikam-7.4.0/core/libs/heifutils/libde265/encoder/ |
H A D | encpicbuf.cc | 208 imgdata->mark_used = false; 213 FOR_LOOP(int, f, data->ref0) { get_picture(f)->mark_used=true; } 214 FOR_LOOP(int, f, data->ref1) { get_picture(f)->mark_used=true; } 215 FOR_LOOP(int, f, data->longterm) { get_picture(f)->mark_used=true; } 216 FOR_LOOP(int, f, data->keep) { get_picture(f)->mark_used=true; } 217 data->mark_used=true; 227 if (imgdata->mark_used || imgdata->is_in_output_queue) {
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/compiler/src/ |
H A D | beam_jump.erl | 573 mark_used(Lbl, Used); 575 mark_used(Lbl, Used); 577 mark_used(Lbl, Used); 579 mark_used(Lbl, Used); 581 mark_used(Lbl, Used); 583 mark_used(Lbl, Used); 585 mark_used(Lbl, Used); 587 mark_used(Lbl, Used); 589 mark_used(Lbl, Used); 591 mark_used(Lbl, Used); [all …]
|
/dports/cad/alliance/alliance/src/s2r/src/ |
H A D | merge.c | 257 mark_used (desc2); 279 mark_used (desc2); 312 mark_used (desc2); 338 mark_used (desc2); 419 mark_used (desc1); 471 mark_used (desc1); 625 mark_used (desc2); 644 mark_used (desc2); 669 mark_used (desc2); 686 mark_used (desc1); [all …]
|
/dports/graphics/libosmesa-gallium/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/lang/clover/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/libosmesa/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-libs/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-dri-classic/mesa-20.2.3/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-dri-gallium/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-gallium-va/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-devel/mesa-22.0-branchpoint-2059-ge8a63cf61ec/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-gallium-xa/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-gallium-vdpau/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/graphics/mesa-dri/mesa-21.3.6/src/gallium/drivers/r300/compiler/ |
H A D | radeon_pair_dead_sources.c | 45 static void mark_used( in mark_used() function 82 mark_used(inst, &inst->U.P.RGB); in rc_pair_remove_dead_sources() 83 mark_used(inst, &inst->U.P.Alpha); in rc_pair_remove_dead_sources()
|
/dports/games/widelands/widelands-build21/src/io/ |
H A D | profile.cc | 91 void Section::Value::mark_used() { in mark_used() function in Section::Value 198 void Section::mark_used() { in mark_used() function in Section 235 value.mark_used(); in get_val() 253 value.mark_used(); in get_next_val() 464 create_val(name, string).mark_used(); in set_string() 468 create_val_duplicate(name, string).mark_used(); in set_string_duplicate() 558 temp_section.mark_used(); in get_section() 584 s.mark_used(); in pull_section() 599 section.mark_used(); in get_next_section()
|