[issue46724] Odd Bytecode Generation in 3.10

Mark Shannon added the comment: I think this is fixed (for 3.11 at least) by https://github.com/python/cpython/pull/31888 -- ___ Python tracker ___

[issue46724] Odd Bytecode Generation in 3.10

Mark Shannon added the comment: New changeset c3ce7781e3afe6f2dec5eef8e87fd5a664519ae9 by Saul Shanabrook in branch 'main': bpo-46724: Fix dis support for overflow args (GH-31285) https://github.com/python/cpython/commit/c3ce7781e3afe6f2dec5eef8e87fd5a664519ae9 --

[issue46724] Odd Bytecode Generation in 3.10

Mark Shannon added the comment: New changeset d4e4ef107a9fea257981d7701f023177b704a44f by Mark Shannon in branch '3.10': [3.10] bpo-46724: Use `JUMP_ABSOLUTE` for all backward jumps. (GH-31326) (GH-31354) https://github.com/python/cpython/commit/d4e4ef107a9fea257981d7701f023177b704a44f

[issue46724] Odd Bytecode Generation in 3.10

Change by Mark Shannon : -- pull_requests: +29503 pull_request: https://github.com/python/cpython/pull/31354 ___ Python tracker ___

[issue46724] Odd Bytecode Generation in 3.10

Change by Mark Shannon : -- pull_requests: +29501 pull_request: https://github.com/python/cpython/pull/31352 ___ Python tracker ___

[issue46724] Odd Bytecode Generation in 3.10

Mark Shannon added the comment: New changeset 3be1a443ca8e7d4ba85f95b78df5c4122cae9ede by Mark Shannon in branch 'main': bpo-46724: Use `JUMP_ABSOLUTE` for all backward jumps. (GH-31326) https://github.com/python/cpython/commit/3be1a443ca8e7d4ba85f95b78df5c4122cae9ede --

[issue46724] Odd Bytecode Generation in 3.10

Change by Mark Shannon : -- pull_requests: +29482 pull_request: https://github.com/python/cpython/pull/31326 ___ Python tracker ___

[issue46724] Odd Bytecode Generation in 3.10

Saul Shanabrook added the comment: Ah, I see that to represent a negative 4 byte signed integer as an arg, we actually do need the 4 instructions, since each is a byte, to get the most significant bit to a 1? I wasn't able to find anything anywhere which says if the bytecode should or

[issue46724] Odd Bytecode Generation in 3.10

Saul Shanabrook added the comment: I added a patch to make `dis` work with the overflow format. I am looking into why the bytecode is emitted like this in the first place now. I see that currently, Python is trying to write a negative bytecode arg for the JUMP_ABSOLUTE and `instrsize` is

[issue46724] Odd Bytecode Generation in 3.10

Change by Saul Shanabrook : -- keywords: +patch pull_requests: +29445 stage: -> patch review pull_request: https://github.com/python/cpython/pull/31285 ___ Python tracker ___

[issue46724] Odd Bytecode Generation in 3.10

Change by Jelle Zijlstra : -- nosy: +Jelle Zijlstra ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue46724] Odd Bytecode Generation in 3.10

Change by Mark Dickinson : -- nosy: +Mark.Shannon ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue46724] Odd Bytecode Generation in 3.10

New submission from Saul Shanabrook : I noticed that in Python 3.10, and also in main, a certain control flow construct produces some very odd bytecode (showing on main but same on python 3.10 tags): ``` ./python.exe -c 'import dis; dis.dis("while not (a < b < c): pass")' 0