Optimization problem: bulk Boolean operations on vectors

[Johan Engelen via Digitalmars-d]

On Friday, 23 December 2016 at 22:11:31 UTC, Walter Bright wrote:
> 
> enum SIZE = 100000000;
>
> void foo(int* a, int* b) {
>     int* atop = a + 1000; // should be `a + SIZE`, right?
>     ptrdiff_t offset = b - a;
>     for (; a < atop; ++a)
> 	*a &= *(a + offset);
> }

This code is not equivalent with the plain foreach loop. 
Execution is different when a > (size_t.max-SIZE). Thus the 
"ptrdiff" loop cannot be vectorized (or can only be vectorized 
when guarded with a check for potential overflow first).
LDC:
https://godbolt.org/g/YcCJdZ
(note the funny jmp .LBB1_6 to a ret instruction... what's that?!)

GDC does something more complex:
https://godbolt.org/g/3XeI9p

Just for info. Don't know which is faster, but I'm guessing the 
vectorized foreach loop.