void test_v8sf(float *__restrict__ p, float *__restrict q) {
  p[0] = p[0] - q[0];
  p[1] = p[1] + q[1];
  p[2] = p[2] - q[2];
  p[3] = p[3] + q[3];
  p[4] = p[4] - q[4];
  p[5] = p[5] + q[5];
  p[6] = p[6] - q[6];
  p[7] = p[7] + q[7];
}


x86 assembly (clang, -O0):
<test_v8sf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0xc(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  0x10(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x10(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x8(%rbp),%rax
movss  0x14(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x14(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x14(%rax)
mov    -0x8(%rbp),%rax
movss  0x18(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x18(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x18(%rax)
mov    -0x8(%rbp),%rax
movss  0x1c(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x1c(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x1c(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_v8sf>:
movups (%rsi),%xmm0
movups (%rdi),%xmm1
movups 0x10(%rdi),%xmm2
movaps %xmm1,%xmm3
subps  %xmm0,%xmm3
addps  %xmm0,%xmm1
shufps $0xd8,%xmm1,%xmm3
shufps $0xd8,%xmm3,%xmm3
movups %xmm3,(%rdi)
movups 0x10(%rsi),%xmm0
movaps %xmm2,%xmm1
subps  %xmm0,%xmm1
addps  %xmm0,%xmm2
shufps $0xd8,%xmm2,%xmm1
shufps $0xd8,%xmm1,%xmm1
movups %xmm1,0x10(%rdi)
ret

LLVM IR (-O0):
define void @test_v8sf(float* noalias %0, float* noalias %1) {
%3 = alloca float*
%4 = alloca float*
store float* %0, float** %3
store float* %1, float** %4
%5 = load float*, float** %3
%6 = getelementptr inbounds float, float* %5, i64 0
%7 = load float, float* %6
%8 = load float*, float** %4
%9 = getelementptr inbounds float, float* %8, i64 0
%10 = load float, float* %9
%11 = fsub float %7, %10
%12 = load float*, float** %3
%13 = getelementptr inbounds float, float* %12, i64 0
store float %11, float* %13
%14 = load float*, float** %3
%15 = getelementptr inbounds float, float* %14, i64 1
%16 = load float, float* %15
%17 = load float*, float** %4
%18 = getelementptr inbounds float, float* %17, i64 1
%19 = load float, float* %18
%20 = fadd float %16, %19
%21 = load float*, float** %3
%22 = getelementptr inbounds float, float* %21, i64 1
store float %20, float* %22
%23 = load float*, float** %3
%24 = getelementptr inbounds float, float* %23, i64 2
%25 = load float, float* %24
%26 = load float*, float** %4
%27 = getelementptr inbounds float, float* %26, i64 2
%28 = load float, float* %27
%29 = fsub float %25, %28
%30 = load float*, float** %3
%31 = getelementptr inbounds float, float* %30, i64 2
store float %29, float* %31
%32 = load float*, float** %3
%33 = getelementptr inbounds float, float* %32, i64 3
%34 = load float, float* %33
%35 = load float*, float** %4
%36 = getelementptr inbounds float, float* %35, i64 3
%37 = load float, float* %36
%38 = fadd float %34, %37
%39 = load float*, float** %3
%40 = getelementptr inbounds float, float* %39, i64 3
store float %38, float* %40
%41 = load float*, float** %3
%42 = getelementptr inbounds float, float* %41, i64 4
%43 = load float, float* %42
%44 = load float*, float** %4
%45 = getelementptr inbounds float, float* %44, i64 4
%46 = load float, float* %45
%47 = fsub float %43, %46
%48 = load float*, float** %3
%49 = getelementptr inbounds float, float* %48, i64 4
store float %47, float* %49
%50 = load float*, float** %3
%51 = getelementptr inbounds float, float* %50, i64 5
%52 = load float, float* %51
%53 = load float*, float** %4
%54 = getelementptr inbounds float, float* %53, i64 5
%55 = load float, float* %54
%56 = fadd float %52, %55
%57 = load float*, float** %3
%58 = getelementptr inbounds float, float* %57, i64 5
store float %56, float* %58
%59 = load float*, float** %3
%60 = getelementptr inbounds float, float* %59, i64 6
%61 = load float, float* %60
%62 = load float*, float** %4
%63 = getelementptr inbounds float, float* %62, i64 6
%64 = load float, float* %63
%65 = fsub float %61, %64
%66 = load float*, float** %3
%67 = getelementptr inbounds float, float* %66, i64 6
store float %65, float* %67
%68 = load float*, float** %3
%69 = getelementptr inbounds float, float* %68, i64 7
%70 = load float, float* %69
%71 = load float*, float** %4
%72 = getelementptr inbounds float, float* %71, i64 7
%73 = load float, float* %72
%74 = fadd float %70, %73
%75 = load float*, float** %3
%76 = getelementptr inbounds float, float* %75, i64 7
store float %74, float* %76
ret void
}

LLVM IR (-O2):
define void @test_v8sf(float* noalias nocapture %0, float* noalias nocapture %1) {
%3 = bitcast float* %0 to <4 x float>*
%4 = load <4 x float>, <4 x float>* %3
%5 = bitcast float* %1 to <4 x float>*
%6 = load <4 x float>, <4 x float>* %5
%7 = fsub <4 x float> %4, %6
%8 = fadd <4 x float> %4, %6
%9 = shufflevector <4 x float> %7, <4 x float> %8, <4 x i32> <i32 0, i32 5, i32 2, i32 7>
%10 = bitcast float* %0 to <4 x float>*
store <4 x float> %9, <4 x float>* %10
%11 = getelementptr inbounds float, float* %0, i64 4
%12 = getelementptr inbounds float, float* %1, i64 4
%13 = bitcast float* %11 to <4 x float>*
%14 = load <4 x float>, <4 x float>* %13
%15 = bitcast float* %12 to <4 x float>*
%16 = load <4 x float>, <4 x float>* %15
%17 = fsub <4 x float> %14, %16
%18 = fadd <4 x float> %14, %16
%19 = shufflevector <4 x float> %17, <4 x float> %18, <4 x i32> <i32 0, i32 5, i32 2, i32 7>
%20 = bitcast float* %11 to <4 x float>*
store <4 x float> %19, <4 x float>* %20
ret void
}