21:17:05pfdietzIt would be interesting if code generated from lisp has some different superoptimization opportunities.
21:17:21pkhuongthough not sure how much it's tied to llvm
21:17:56pfdietz"we discovered that Souper’s intermediate representation was sufficiently similar to the one in Microsoft Visual C++ that we applied Souper to that compiler as well. "
21:20:24pfdietzThe optimization I would like to see is moving 'cold' code away from 'hot' code.
21:21:09pkhuongVOPs do that by hand with "elsewhere"
21:21:58pkhuongwe can't even get jump tensioning right... actually modeling BB locations feels like a heavy lift ;)
21:22:17pfdietzI'd want to track coldness back through control flow, so anything that necessarily executes cold code is itself cold.
21:24:47pfdietzthinking about superoptimization, I just looked up what happened to Massalin. Huh.