bpo-37271: Optimize bytecode multiple times until it cannot be optimized further by pablogsal · Pull Request #14068 · python/cpython

@nedbat Sure, I will talk with Victor to see if we can push it forward.

I have rebased and address the feedback. Also, I have added a max cap of iterations (although is not needed, it can be proven that the while loop will always finish) to make sure the time expended in the loop is always bounded.

@markshannon I have added some comments as requested, check if they look good to you :)

This is the code that is failing the assert currently:

def f(cond1, cond2):
    while 1:
        return 3
    while 1:
        return 5
    return 6