4 ms·
The newly introduced prove pass is probably the biggest game changer. And it provides a ground work for new optimizations to be done on top of it.
by agnivade 8y ago
The newly introduced prove pass is probably the biggest game changer. And it provides a ground work for new optimizations to be done on top of it.
- giovannibajo1 8y agoProve was already there, what we did is to improve it to eliminate even more bound checks. PS: I'm the author of those prove patches.
- hectormalot 8y agoThis is what I like about HN :) How did you prioritize which BCE’s to include? (Or were these all that had a ticket?)
- giovannibajo1 8y agoI wrote a Nintendo DS emulator in Go (see my GitHub) and ended up seeing lots of missing optimizations in generated code. I opened a few tickets and then focused on BCE. I realized that one of the main problems was the missing transitivity of the pass, so I ended up writing a largish piece of code to implement a partial-order set (see the poset data structure) and then picking on a few low hanging fruits that it opened up to be picked (searching for open tickets on GitHub issues). These were my first contributions to the SSA passes btw.
- agnivade 8y agooops, my bad. I assumed with those big checkins that this is the first time this is getting introduced.