typedef float float4 __attribute__((ext_vector_type(8)));

float4 sum(float4 *arr, int n) {
    float4 t = 0.f;
    for(int i=0; i<n; ++i)
        t += arr[i];

    return t;
}

// clang -O3

LBB0_9:                                 ## =>This Inner Loop Header: Depth=1
	addps	-80(%rsi), %xmm1
	addps	-96(%rsi), %xmm0
	addps	-64(%rsi), %xmm0
	addps	-48(%rsi), %xmm1
	addps	-16(%rsi), %xmm1
	addps	-32(%rsi), %xmm0
	addps	(%rsi), %xmm0
	addps	16(%rsi), %xmm1
	addq	$4, %rcx
	subq	$-128, %rsi
	cmpq	%rcx, %rdx
	jne	LBB0_9

// clang -O3 -march=skylake

LBB0_9:                                 ## =>This Inner Loop Header: Depth=1
	vaddps	-224(%rsi), %ymm0, %ymm0
	vaddps	-192(%rsi), %ymm0, %ymm0
	vaddps	-160(%rsi), %ymm0, %ymm0
	vaddps	-128(%rsi), %ymm0, %ymm0
	vaddps	-96(%rsi), %ymm0, %ymm0
	vaddps	-64(%rsi), %ymm0, %ymm0
	vaddps	-32(%rsi), %ymm0, %ymm0
	vaddps	(%rsi), %ymm0, %ymm0
	addq	$8, %rcx
	addq	$256, %rsi              ## imm = 0x100
	cmpq	%rcx, %rdx
	jne	LBB0_9