https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94589
--- Comment #7 from Marc Glisse <glisse at gcc dot gnu.org> --- Some key steps in the optimization: PRE turns PHI<-1,0,1> > 0 into PHI<0,0,1> reassoc then combines the operations (it didn't in gcc-10) forwprop+phiopt cleans up (i>0)!=0?1:0 into just i>0. Having to wait until phiopt4 to get the simplified form is still very long, and most likely causes missed optimizations in earlier passes. But nice progress!
