git: openjdk/jdk: master: 8349139: C2: Div looses dependency on condition that guarantees divisor not zero in counted loop

[Roland Westrelin]

Changeset: be6e4406
Branch: master
Author:    Roland Westrelin <roland at openjdk.org>
Date:      2025-04-24 09:10:43 +0000
URL:       https://git.openjdk.org/jdk/commit/be6e4406d8c9024bb368ed9dc22d4a6df2a0846a

8349139: C2: Div looses dependency on condition that guarantees divisor not zero in counted loop

Reviewed-by: chagedorn, epeter, qamai

! src/hotspot/share/opto/loopTransform.cpp
! src/hotspot/share/opto/loopnode.cpp
! src/hotspot/share/opto/loopnode.hpp
! src/hotspot/share/opto/loopopts.cpp
! src/hotspot/share/opto/predicates.cpp
+ test/hotspot/jtreg/compiler/controldependency/TestDivDependentOnMainLoopGuard.java
+ test/hotspot/jtreg/compiler/controldependency/TestMainLoopNoBackedgeFloatingDiv.java