Mastodon Feed: Post

Reblogged by kornel ("Kornel"):

regehr ("John Regehr") wrote:

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