The `NOT_TAKEN` instruction is added during code gen, but can be left when jumps are removed by the optimizer. We should probably add the `NOT_TAKEN` instructions in the assembler after optimization, as suggested in https://github.com/python/cpython/pull/122564#discussion_r1890281790 <!-- gh-linked-prs --> ### Linked PRs * gh-128554 <!-- /gh-linked-prs -->