https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98673
--- Comment #3 from jojo <rjiejie at me dot com> --- (In reply to jojo from comment #2) > (In reply to Richard Biener from comment #1) > > The analysis sounds a bit confused. What is the transform that DOM cannot > > do after the transform that FRE does? There's some older bug about > > out-of-SSA > > coalescing issues with loops and liveness of induction variables but it's > > not clear if this is related (the assembly doesn't show the loop exit > > block). > > > > Can you name the loop in the source that is problematic? > > > > see this loop: > > for( i1 = 0 ; i1 < ( numXEntries - 1 ) ; i1++ ) > { > if( ( loadValue < engLoad[i1+1] ) && ( loadValue >= engLoad[i1] > ) ) > { > break ; > } > } Richi: Can you please update Known to work?