See comment here: https://github.com/openjdk/jdk/pull/27063#issuecomment-3266887455

"... re-run the SR state adjustment loop until a fixed point is reached, keeping reducible_merges consistent as new allocations are discovered to be NSR? (e.g. by calling revisit_reducible_phi_status - with your clean-up applied - every time an allocation is marked as NSR due to non-removable merges)."