Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[mypyc] Fix coercion from short tagged int to fixed-width int #20587

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
JukkaL merged 6 commits into from
Jan 15, 2026
Merged

[mypyc] Fix coercion from short tagged int to fixed-width int #20587

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
4f992c0
WIP coercion from short int to fixed width int
JukkaL Jan 15, 2026
afbe495
Refactor
JukkaL Jan 15, 2026
9ad51d7
Test i16 and u8 as well
JukkaL Jan 15, 2026
cb91895
Add run tests
JukkaL Jan 15, 2026
eed643d
Tweaks
JukkaL Jan 15, 2026
fbd4886
Add i64 test case
JukkaL Jan 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add run tests
  • Loading branch information
@JukkaL
JukkaL committed Jan 15, 2026
commit cb91895191bf7001ea2a34df101e39b9be3193d0
42 changes: 41 additions & 1 deletion mypyc/test-data/run-strings.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -808,7 +808,7 @@ def test_chr() -> None:

[case testOrd]
from testutil import assertRaises
from mypy_extensions import i64, i32, i16
from mypy_extensions import i64, i32, i16, u8

def test_ord() -> None:
assert ord(' ') == 32
Expand Down Expand Up @@ -906,6 +906,46 @@ def test_ord_str_index_unicode_mix() -> None:
assert ord(s[2 + int()]) == 20320 # 3-byte
assert ord(s[3 + int()]) == 128512 # 4-byte

def test_ord_str_index_to_fixed_width() -> None:
# Test i32 coercion (signed 32-bit: -2^31 to 2^31-1)
# All valid Unicode code points fit in i32, so test min/max boundaries
s_i32_min = chr(0)
assert i32(ord(s_i32_min[0 + int()])) == 0

s_i32_max = chr(0x10FFFF) # Max Unicode code point
assert i32(ord(s_i32_max[0 + int()])) == 0x10FFFF

# Test i16 coercion (signed 16-bit: -2^15 to 2^15-1, i.e., -32768 to 32767)
# ord() returns non-negative, so test 0 to 32767
s_i16_min = chr(0)
assert i16(ord(s_i16_min[0 + int()])) == 0

s_i16_max = chr(32767) # 2^15 - 1
assert i16(ord(s_i16_max[0 + int()])) == 32767

s_i16_overflow = chr(32768) # 2^15
with assertRaises(ValueError, "int too large to convert to i16"):
i16(ord(s_i16_overflow[0 + int()]))

s_i16_overflow2 = chr(32769) # 2^15 + 1
with assertRaises(ValueError, "int too large to convert to i16"):
i16(ord(s_i16_overflow2[0 + int()]))

# Test u8 coercion (unsigned 8-bit: 0 to 2^8-1, i.e., 0 to 255)
s_u8_min = chr(0)
assert u8(ord(s_u8_min[0 + int()])) == 0

s_u8_max = chr(255)
assert u8(ord(s_u8_max[0 + int()])) == 255

s_u8_overflow = chr(256)
with assertRaises(ValueError, "int too large or small to convert to u8"):
u8(ord(s_u8_overflow[0 + int()]))

s_u8_overflow2 = chr(257)
with assertRaises(ValueError, "int too large or small to convert to u8"):
u8(ord(s_u8_overflow2[0 + int()]))

[case testDecode]
from testutil import assertRaises

Expand Down