CF Bolz-Tereick on Nostr: Started hacking on a small DSL for expressing peephole rewrites for the integer ...
Started hacking on a small DSL for expressing peephole rewrites for the integer operations in the PyPy JIT.
The rules can be conditional on properties the bounds analysis/knownbits abstract domain found out.
The correctness of every rule is automatically verified using Z3.
The rules are compiled to relatively efficient pattern matching code and the JIT can print statistics about which rule fired how often. /cc
John Regehr (npub1er4…x9ky).
Published at
2024-10-08 19:48:33Event JSON
{
"id": "c0aa4e789c791f13450b748ca05b72facf168646c27e0885b7702b46d72ea13e",
"pubkey": "25b8723ef87e15c6006418eeb48533f36814c7525a397700eab8d2954f078453",
"created_at": 1728416913,
"kind": 1,
"tags": [
[
"imeta",
"url https://files.mastodon.social/media_attachments/files/113/273/463/376/082/964/original/8b805b54f7400ade.png",
"m image/png"
],
[
"proxy",
"https://mastodon.social/@cfbolz/113273530865541271",
"web"
],
[
"p",
"c8eb06af5f49cb42cc3107d8c5659e3d8849b4ce57c58f717ac3e9c0ef79f53d"
],
[
"proxy",
"https://mastodon.social/users/cfbolz/statuses/113273530865541271",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/cfbolz/statuses/113273530865541271",
"pink.momostr"
],
[
"-"
]
],
"content": "Started hacking on a small DSL for expressing peephole rewrites for the integer operations in the PyPy JIT.\n\nThe rules can be conditional on properties the bounds analysis/knownbits abstract domain found out.\n\nThe correctness of every rule is automatically verified using Z3.\n\nThe rules are compiled to relatively efficient pattern matching code and the JIT can print statistics about which rule fired how often. /cc nostr:npub1er4sdt6lf8959np3qlvv2ev78kyyndxw2lzc7ut6c05upmme757s4kx9ky.\nhttps://files.mastodon.social/media_attachments/files/113/273/463/376/082/964/original/8b805b54f7400ade.png\n",
"sig": "86d44777cb00f3ad7ffda65906cb4dfb7fe2e36bbbb6ea3a91b5f42955ce0904fb35e5834dcce3fbf515e2837fa65c7ce4b9b7ff341be1be916bd7cc282dcb08"
}
