Re: [PATCH] Enhance if-conversion for automatic arrays

2024-06-16 Thread Richard Biener
On Fri, 14 Jun 2024, Andrew Pinski wrote: > On Fri, Jun 14, 2024 at 5:54 AM Richard Biener wrote: > > > > Automatic arrays that are not address-taken should not be subject to > > store data races. > > That seems conservative enough. Though I would think if the array > never escaped the function

Re: [PATCH] Enhance if-conversion for automatic arrays

2024-06-14 Thread Andrew Pinski
On Fri, Jun 14, 2024 at 5:54 AM Richard Biener wrote: > > Automatic arrays that are not address-taken should not be subject to > store data races. That seems conservative enough. Though I would think if the array never escaped the function would be still correct and allow for more arrays (but may

[PATCH] Enhance if-conversion for automatic arrays

2024-06-14 Thread Richard Biener
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.