On Fri, Oct 15, 2021 at 11:15 AM Eric Botcazou via Gcc-patches
wrote:
>
> Hi,
>
> in order to make it possible to vectorize loops running over arrays in Ada,
> which generally contain index checks, hence control-flow instructions, we rely
> on loop unswitching to generate two copies of the loop, o
Hi,
in order to make it possible to vectorize loops running over arrays in Ada,
which generally contain index checks, hence control-flow instructions, we rely
on loop unswitching to generate two copies of the loop, one guarded with a
global condition (no index check fails in the loop) and vecto
