Redundant stack spills on subsequent escaping calls separated by comments

Bug report

Bug description:

Tier 1 case generator emits stack spill for every subsequent escaping call, when subsequent escaping calls are separated by comment(s). Example:

Subsequent escaping calls without comments in between:

Bytecode definition:

pure inst(NOP, (--)) {
    escaping_call1();
    escaping_call2();
    escaping_call3();
}

Generated case:

TARGET(NOP) {
    frame->instr_ptr = next_instr;
    next_instr += 1;
    INSTRUCTION_STATS(NOP);
    _PyFrame_SetStackPointer(frame, stack_pointer);
    escaping_call1();
    escaping_call2();
    escaping_call3();
    stack_pointer = _PyFrame_GetStackPointer(frame);
    DISPATCH();
}

Subsequent escaping calls with comments in between:

Bytecode definition:

pure inst(NOP, (--)) {
    escaping_call1();
    // comment1
    escaping_call2();
    // comment2
    escaping_call3();
}

Generated case:

TARGET(NOP) {
    frame->instr_ptr = next_instr;
    next_instr += 1;
    INSTRUCTION_STATS(NOP);
    _PyFrame_SetStackPointer(frame, stack_pointer);
    escaping_call1();
    stack_pointer = _PyFrame_GetStackPointer(frame);
    // comment1
    _PyFrame_SetStackPointer(frame, stack_pointer);
    escaping_call2();
    stack_pointer = _PyFrame_GetStackPointer(frame);
    // comment2
    _PyFrame_SetStackPointer(frame, stack_pointer);
    escaping_call3();
    stack_pointer = _PyFrame_GetStackPointer(frame);
    DISPATCH();
}

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Linked PRs

• gh-128761

Commencez par le générateur de cas de Tier 1 et la définition du bytecode présentés dans le rapport, puis examinez le PR lié gh-128761 pour voir les travaux en cours. Reproduisez les exemples avec des commentaires entre les appels d’escaping et vérifiez que le cas généré n’émet que les opérations nécessaires sur le pointeur de pile.