From 15726f9b6c93f4e1707a589901b42b376c9ca82e Mon Sep 17 00:00:00 2001 From: Kerem Kat Date: Wed, 3 Jun 2026 13:45:26 +0000 Subject: [PATCH] 8384182: Incorrect assertion eq4a_state in vectorization AlignmentSolver::solve Reviewed-by: chagedorn, snatarajan --- src/hotspot/share/opto/vectorization.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/hotspot/share/opto/vectorization.cpp b/src/hotspot/share/opto/vectorization.cpp index 8e0ca927a16..96ac4d78dcd 100644 --- a/src/hotspot/share/opto/vectorization.cpp +++ b/src/hotspot/share/opto/vectorization.cpp @@ -1744,8 +1744,8 @@ AlignmentSolution* AlignmentSolver::solve() const { // And since abs(C_pre) < aw, the solutions of (4a, b, c) can now only be constrained or empty. // But since we already handled the empty case, the solutions are now all constrained. assert(eq4a_state == EQ4::State::CONSTRAINED && - eq4a_state == EQ4::State::CONSTRAINED && - eq4a_state == EQ4::State::CONSTRAINED, "all must be constrained now"); + eq4b_state == EQ4::State::CONSTRAINED && + eq4c_state == EQ4::State::CONSTRAINED, "all must be constrained now"); // And since they are all constrained, we must have: //