php-8.0.30-src/Zend/tests/bug72335.phpt

--TEST--
Misoptimize due to type narrowing
--FILE--
<?php

function test() {
    $b = false;
    $x = (1<<53)+1;
    do {
        $x = 1.0 * ($x - (1<<53));
    } while ($b);
    return $x;
}
var_dump(test());

?>
--EXPECT--
float(1)