https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118581
--- Comment #3 from Hongtao Liu <liuhongt at gcc dot gnu.org> --- (In reply to Richard Biener from comment #2) > (In reply to Richard Biener from comment #1) > > Does it have counter info for PHI arguments (aka copies emitted on those > > edges)? > > I think yes, so IMO it should check a single successors PHIs corresponding > to the block and use those counts. Let me check. More dump is like 5239 <bb 6> [count: 0]: 5240 # DEBUG BEGIN_STMT 5241 # DEBUG ux => 5.00000000000000010408340855860842566471546888351440429688e-3 5242 # DEBUG BEGIN_STMT 5243 # DEBUG uy => 2.00000000000000004163336342344337026588618755340576171875e-3 5244 # DEBUG BEGIN_STMT 5245 # DEBUG uz => 0.0 5246 5247 <bb 7> [count: 1102067]: 5248 # ux_591 = PHI <ux_602(5), 5.00000000000000010408340855860842566471546888351440429688e-3(6)> 5249 # uy_592 = PHI <uy_603(5), 2.00000000000000004163336342344337026588618755340576171875e-3(6)> 5250 # uz_593 = PHI <uz_604(5), 0.0(6)> 5251 # DEBUG uz => uz_593 5252 # DEBUG uy => uy_592 5253 # DEBUG ux => ux_591 5254 # DEBUG BEGIN_STMT 5255 _310 = ux_591 * ux_591; 5256 _311 = uy_592 * uy_592; 5257 _312 = _310 + _311; 5258 _313 = uz_593 * uz_593; 5259 _314 = _312 + _313; 5260 u2_605 = _314 * 1.5e+0; 5261 # DEBUG u2 => u2_605 5262 # DEBUG BEGIN_STMT 5263 _315 = rho_598 * 3.33333333333333314829616256247390992939472198486328125e-1; 5264 _316 = 1.0e+0 - u2_605; 5265 _317 = _315 * _316; 5266 # DEBUG feqs$0 => _317 5267 # DEBUG BEGIN_STMT 5268 _318 = rho_598 * 5.55555555555555524716027093745651654899120330810546875e-2; 5269 _319 = uy_592 * 4.5e+0;