From: Richard Biener Date: Mon, 7 Oct 2024 09:24:12 +0000 (+0200) Subject: tree-optimization/116990 - missed control flow check in vect_analyze_loop_form X-Git-Tag: basepoints/gcc-16~5445 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b0b71618157ddac52266909978f331406f98f3a2;p=thirdparty%2Fgcc.git tree-optimization/116990 - missed control flow check in vect_analyze_loop_form The following fixes checking for unsupported control flow in vectorization to also cover the outer loop body. PR tree-optimization/116990 * tree-vect-loop.cc (vect_analyze_loop_form): Check the current loop body for control flow. --- diff --git a/gcc/tree-vect-loop.cc b/gcc/tree-vect-loop.cc index bbadf21efe0..6933f597b4d 100644 --- a/gcc/tree-vect-loop.cc +++ b/gcc/tree-vect-loop.cc @@ -1767,9 +1767,8 @@ vect_analyze_loop_form (class loop *loop, gimple *loop_vectorized_call, exit_e->src->index, exit_e->dest->index, exit_e->aux); /* Check if we have any control flow that doesn't leave the loop. */ - class loop *v_loop = loop->inner ? loop->inner : loop; - basic_block *bbs = get_loop_body (v_loop); - for (unsigned i = 0; i < v_loop->num_nodes; i++) + basic_block *bbs = get_loop_body (loop); + for (unsigned i = 0; i < loop->num_nodes; i++) if (EDGE_COUNT (bbs[i]->succs) != 1 && (EDGE_COUNT (bbs[i]->succs) != 2 || !loop_exits_from_bb_p (bbs[i]->loop_father, bbs[i])))