3 ms·
Google's one step ahead of you there :) https://github.com/google/souper https://github.com/google/souper
by xxpor 6y ago
Google's one step ahead of you there :)
https://github.com/google/souper https://github.com/google/souper
- CalChris 6y agoI think you meant John Regehr and his souper friends at the University of Utah. https://arxiv.org/abs/1711.04422 https://arxiv.org/abs/1711.04422
- read_if_gay_ 6y agoThat’s just peephole optimizations though.
- mhh__ 6y agoNot exactly what I'm talking about. My scheme would really be a cheap way of getting some symbolic optimisations for free during the early days of a compiler, I don't think it's a realistic strategy for all compilation.
- deleted 6y ago[deleted]