`LOAD_FAST_BORROW` not being used even when safe to do so, if value is live at BB end.

This function

def f(x, y, c):
    return 1 + (x if c else y)

compiles to

  1           RESUME                   0

  2           LOAD_SMALL_INT           1
              LOAD_FAST_BORROW         2 (c)
              TO_BOOL
              POP_JUMP_IF_FALSE        9 (to L1)
              NOT_TAKEN
              LOAD_FAST_BORROW         0 (x)
              BINARY_OP                0 (+)
              RETURN_VALUE
      L1:     LOAD_FAST                1 (y)
              BINARY_OP                0 (+)
              RETURN_VALUE

Note that the load of y uses LOAD_FAST even though LOAD_FAST_BORROW is safe.

This becomes important with virtual iterators as the iterable for the loop is live at BB end.

Linked PRs

• gh-133721
• gh-148999

Comece reproduzindo a desmontagem relatada para f(x, y, c) e investigue o tratamento, pelo compilador, dos valores vivos no final de um bloco básico. Compare os desvios condicionais e o caso do iterador virtual; em seguida, verifique se y usa LOAD_FAST_BORROW quando for seguro e adicione ou atualize a cobertura do comportamento relatado.