SIMD benchmark

[Peter Alexander]

On 17/01/12 9:24 PM, Walter Bright wrote:
> On 1/17/2012 1:20 PM, Peter Alexander wrote:
>> As Manu said, you need something like __restrict (or a linear type
>> system) to
>> solve this problem.
>
> No, you don't. It can be done with a runtime check, like array bounds
> checking is done.

So you'd change it to this, even in release builds?

void foo(int[] a, int[] b, int[] c)
{
   if ( /* arrays overlap */ )
   {
     foreach(i; 0..256)
       a[i] = b[i] + c[i];
   }
   else
   {
     /* vectorized code */
   }
}


i.e. duplicate all loops that can be potentially vectorized depending on 
aliasing? Please bear in mind that this is a simple example.

Seems a bit inefficient (code size).