[PATCH][v2] Enhance if-conversion for automatic arrays

[Richard Biener]

> Am 19.06.2024 um 20:25 schrieb Toon Moene <toon@moene.org>:
> 
> On 6/17/24 16:05, Richard Biener wrote:
> 
>> Automatic arrays that are not address-taken should not be subject to
>> store data races.  This applies to OMP SIMD in-branch lowered
>> functions result array which for the testcase otherwise prevents
>> vectorization with SSE and for AVX and AVX512 ends up with spurious
>> .MASK_STORE to the stack surviving.
> 
> Does this also apply for "automatic arrays" as defined by the Fortran Standard (see https://j3-fortran.org/doc/year/23/23-007r1.pdf, page 104), i.e., outside of the OMP_SIMD construct ?
> 
> In gfortran, when using the option -fstack-arrays, they are assigned memory space on the stack.

I’d say yes though the likelihood those are address taken and thus not considered is high.  The main target were the arrays created as part of the SIMD lowering.

Richard 

> Kind regards,
> 
> --
> Toon Moene - e-mail: toon@moene.org - phone: +31 346 214290
> Saturnushof 14, 3738 XG  Maartensdijk, The Netherlands
>