ideally, a compiler would be monotonic in the sense that giving it more information would never make it generate worse code. these folks go looking for violations of this principle in GCC and LLVM.
https://dl.acm.org/doi/pdf/10.1145/3656404
John Regehr /
npub15x…e5a5k
2024-07-04 23:59:23
Author Public Key
npub15xjwk4qzx56p5tdsmzsge7m5ahztkp4nzmrmkw2cp324t888rwsswe5a5kPublished at
2024-07-04 23:59:23Event JSON
{
"id": "ff844d678674d774c771a72d17455b9e81f19324eeaedc59dead191d28f7f847",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1720137563,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/regehr/statuses/112730935344079075",
"activitypub"
]
],
"content": "ideally, a compiler would be monotonic in the sense that giving it more information would never make it generate worse code. these folks go looking for violations of this principle in GCC and LLVM.\n\nhttps://dl.acm.org/doi/pdf/10.1145/3656404",
"sig": "5d4cc7425c1183892563ed6343ec433b14eb1a8c467982a8311cb18ec6a20ccb66e2fdf792e87a3df6b543000d8e47ccb52b2f0ddb5f307fefe2ad9d9305c3db"
}