Time to do some magic with predicated VN. GCC seems to be able to handle predicated Value Numbering than LLVM too. Though GCC fails in some cases by not looking to see if the conditional was a bitwise and to see if there was more predicates to assert.
This is the only second time I have touched SCCVN in GCC (for a missed optimization; the other 2 times were either for an ICE or wrong code). The first missed optimization was back in 2009 dealing with VCE (View Convert Expressions).
Conversation
Notices
-
Embed this notice
pinskia (pinskia@hachyderm.io)'s status on Saturday, 02-Nov-2024 10:37:23 JST pinskia