static void instrument_move_generator(slice_index si, stip_structure_traversal *st)
{
instrumentation_state_type * const state = st->param;
Side const save_current_side = state->current_side;
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
if (mummer_measure_length[SLICE_STARTER(si)])
{
if (state->ultra_capturing_king)
{
slice_index const prototypes[] =
{
alloc_testing_pipe(STMummerOrchestrator),
alloc_pipe(STUltraMummerMeasurerDeadend)
};
enum { nr_prototypes = sizeof prototypes / sizeof prototypes[0] };
assert(st->activity==stip_traversal_activity_testing);
assert(st->context==stip_traversal_context_help);
slice_insertion_insert_contextually(si,st->context,prototypes,nr_prototypes);
}
else
{
slice_index const prototypes[] =
{
alloc_testing_pipe(STMummerOrchestrator),
alloc_pipe(STMummerDeadend)
};
enum { nr_prototypes = sizeof prototypes / sizeof prototypes[0] };
slice_insertion_insert_contextually(si,st->context,prototypes,nr_prototypes);
}
}
state->current_side = SLICE_STARTER(si);
stip_traverse_structure_children_pipe(si,st);
state->current_side = save_current_side;
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void insert_remover(slice_index si, stip_structure_traversal *st)
{
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
stip_traverse_structure_children(si,st);
{
slice_index const prototype = alloc_pipe(STSuperguardsRemoveIllegalCaptures);
slice_insertion_insert_contextually(si,st->context,&prototype,1);
}
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void insert_move_generator(slice_index si, stip_structure_traversal *st)
{
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
stip_traverse_structure_children_pipe(si,st);
{
slice_index const prototype = alloc_move_generator_slice();
slice_insertion_insert_contextually(si,st->context,&prototype,1);
}
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void insert_remover(slice_index si, stip_structure_traversal *st)
{
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
stip_traverse_structure_children(si,st);
if (BGL_values[SLICE_STARTER(si)]!=BGL_infinity)
{
slice_index const prototype = alloc_pipe(STBGLEnforcer);
slice_insertion_insert_contextually(si,st->context,&prototype,1);
}
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void instrument_move_generator(slice_index si,
stip_structure_traversal *st)
{
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
if (SLICE_STARTER(si)==Black)
{
slice_index const prototype = alloc_pipe(STBlackChecksNullMoveGenerator);
slice_insertion_insert_contextually(si,st->context,&prototype,1);
}
stip_traverse_structure_children(si,st);
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void insert_remover(slice_index si, stip_structure_traversal *st)
{
boolean const (* const enabled)[nr_sides] = st->param;
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
stip_traverse_structure_children(si,st);
if ((*enabled)[SLICE_STARTER(si)])
{
slice_index const prototype = alloc_pipe(STNocaptureRemoveCaptures);
slice_insertion_insert_contextually(si,st->context,&prototype,1);
}
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void instrument_no_rebirth(slice_index si, stip_structure_traversal *st)
{
TraceFunctionEntry(__func__);
TraceValue("%u",si);
TraceFunctionParamListEnd();
stip_traverse_structure_children(si,st);
{
slice_index const prototypes[] =
{
alloc_pipe(STMarsCirceRememberNoRebirth),
alloc_pipe(STMoveGeneratorRejectCaptures)
};
enum { nr_prototypes = sizeof prototypes / sizeof prototypes[0] };
slice_insertion_insert_contextually(si,st->context,prototypes,nr_prototypes);
}
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void insert_selfcheck_guard_branch(slice_index si,
stip_structure_traversal *st)
{
in_branch_insertion_state_type const * const state = st->param;
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
if (!state->is_branch_instrumented)
{
slice_index const prototype = alloc_selfcheck_guard_slice();
SLICE_STARTER(prototype) = SLICE_STARTER(si);
slice_insertion_insert_contextually(si,st->context,&prototype,1);
}
stip_traverse_structure_children_pipe(si,st);
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void insert_make_generator_avoid_pawn_to_baseline(slice_index si,
stip_structure_traversal *st)
{
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
stip_traverse_structure_children(si,st);
{
slice_index const prototypes[] =
{
alloc_pipe(STTakeAndMakeGenerateMake),
alloc_pipe(STTakeAndMakeAvoidPawnMakeToBaseLine),
};
slice_insertion_insert_contextually(si,st->context,prototypes,2);
}
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void insert_exclusivity_detector(slice_index si,
stip_structure_traversal *st)
{
insertion_state_type const * const state = st->param;
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
if (!state->is_this_mating_move_played_for_testing_exclusivity)
{
slice_type const type = (state->are_we_testing_exclusivity
? STExclusiveChessNestedExclusivityDetector
: STExclusiveChessExclusivityDetector);
slice_index const prototype = alloc_pipe(type);
slice_insertion_insert_contextually(si,st->context,&prototype,1);
}
stip_traverse_structure_children_pipe(si,st);
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
static void spin_off_measuring_branch(slice_index si, stip_structure_traversal *st)
{
instrumentation_state_type const * const state = st->param;
stip_deep_copies_type copies;
stip_structure_traversal st_nested;
TraceFunctionEntry(__func__);
TraceFunctionParam("%u",si);
TraceFunctionParamListEnd();
if (SLICE_NEXT2(si)==no_slice)
{
SLICE_NEXT2(si) = alloc_proxy_slice();
init_deep_copy(&st_nested,st,&copies);
stip_structure_traversal_override_single(&st_nested,
STMummerDeadend,
&stop_copying);
stip_structure_traversal_override_single(&st_nested,
STRestartGuard,
&skip_copying);
stip_structure_traversal_override_single(&st_nested,
STDeadEndGoal,
&skip_copying);
stip_structure_traversal_override_single(&st_nested,
STGoalReachableGuardFilterMate,
&skip_copying);
stip_structure_traversal_override_single(&st_nested,
STGoalReachableGuardFilterStalemate,
&skip_copying);
stip_structure_traversal_override_single(&st_nested,
STGoalReachableGuardFilterProof,
&skip_copying);
stip_structure_traversal_override_single(&st_nested,
STGoalReachableGuardFilterProofFairy,
&skip_copying);
stip_structure_traversal_override_by_function(&st_nested,
slice_function_move_removing_optimiser,
&skip_copying);
if (mummer_strictness[state->current_side]!=mummer_strictness_regular)
{
stip_structure_traversal_override_single(&st_nested,
STEndOfBranchGoal,
&skip_copying);
stip_structure_traversal_override_single(&st_nested,
STSelfCheckGuard,
&skip_copying);
}
else
{
regular_deep_copy_end_of_branch_goal = st_nested.map.visitors[STEndOfBranchGoal];
stip_structure_traversal_override_single(&st_nested,
STEndOfBranchGoal,
©_end_of_branch_goal_if_necessary);
stip_structure_traversal_override_single(&st_nested,
STEndOfBranchGoalImmobile,
©_end_of_branch_goal_if_necessary);
}
stip_traverse_structure(SLICE_NEXT1(si),&st_nested);
link_to_branch(SLICE_NEXT2(si),copies[SLICE_NEXT1(si)]);
{
slice_index const prototype = alloc_pipe(STMummerBookkeeper);
switch (st->context)
{
case stip_traversal_context_attack:
attack_branch_insert_slices_behind_proxy(SLICE_NEXT2(si),&prototype,1,si);
break;
case stip_traversal_context_defense:
defense_branch_insert_slices_behind_proxy(SLICE_NEXT2(si),&prototype,1,si);
break;
case stip_traversal_context_help:
help_branch_insert_slices_behind_proxy(SLICE_NEXT2(si),&prototype,1,si);
break;
default:
assert(0);
break;
}
}
if (mummer_strictness[state->current_side]!=mummer_strictness_regular)
{
slice_index const prototype = alloc_pipe(STUltraMummerMeasurerDeadend);
slice_insertion_insert_contextually(copies[SLICE_NEXT1(si)],st->context,&prototype,1);
}
}
stip_traverse_structure_children(si,st);
TraceFunctionExit(__func__);
TraceFunctionResultEnd();
}
