Force avx to "avx = false" when use LHS scattering, unless the index is checked to be unique. about tullio.jl HOT 3 CLOSED

LoopVectorization issue:
JuliaSIMD/LoopVectorization.jl#145

The problem there is that if you try to write to the same memory location multiple times simultaneously, the answer is going to be undefined (but probably equal to one of those simultaneous write attempts).
This could also be considered a cumsum-like example, in that correct value of memory-reads are also changing between loop iterations.

I'd say this is a problem in documentation. @N5N3 should've been able to figure out that this is expected behavior.

from tullio.jl.

Thanks for finding this. There is some logic to prevent multi-threading from messing this up, with += it sets unsafeind = [:i] which hides i from threader. It's possible this ought to also disable @avx entirely, I just need to remember how things work. The goal is certainly to make operations safe by default.

from tullio.jl.

So the SubArray ver is correct only because the size is small and the Multi-threads is not open. If true, I think this might be warned somewhere in the document. As it seem's impossible to check the indices of the SubArray.

from tullio.jl.