Found by Tobias (@ichttt) during the work on JDK-8364766: https://github.com/openjdk/jdk/pull/26143#discussion_r2443450184

The current very basic implementation prevents constant folding of long division with constant inputs. As these nodes are also used for Math intrinsics, basic constant folding should be supported. Hotspot already has multiply_high_unsigned and multiply_high_signed functions that can be reused.