CF Bolz-Tereick on Nostr: I just merged the PyPy "known bits" JIT optimization that Nico Rittinghaus and I ...
I just merged the PyPy "known bits" JIT optimization that Nico Rittinghaus and I worked on in the last two years. It allows the JIT to reason about specific bits of integer variables that are known to be 0 or 1. This makes bit-manipulation code faster, sometimes significantly so.
A concrete example of something the JIT now knows, but didn't before: if you add two even integers together, you get an even result.
Published at
2024-06-04 09:36:20Event JSON
{
"id": "0a1b50d52211a2ee47ca564abc75e4b6510a8ae33692c07273d00c91de5a7e02",
"pubkey": "25b8723ef87e15c6006418eeb48533f36814c7525a397700eab8d2954f078453",
"created_at": 1717493780,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/@cfbolz/112557672421317765",
"web"
],
[
"proxy",
"https://mastodon.social/users/cfbolz/statuses/112557672421317765",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/cfbolz/statuses/112557672421317765",
"pink.momostr"
]
],
"content": "I just merged the PyPy \"known bits\" JIT optimization that Nico Rittinghaus and I worked on in the last two years. It allows the JIT to reason about specific bits of integer variables that are known to be 0 or 1. This makes bit-manipulation code faster, sometimes significantly so.\n\nA concrete example of something the JIT now knows, but didn't before: if you add two even integers together, you get an even result.",
"sig": "10064be7575028867630bd25bc273621d5f0b8518ea0b62836262541875028d6f79ec375f8c11352b3afae23684bfb070e27baad297f13287a5a6319d7d8d272"
}
