void vector_fmul_reverse_c(float *dst, const float *src0, const float *src1,
                           int len) {
  int i;
  src1 += len - 1;
  for (i = 0; i < len; i++)
    dst[i] = src0[i] * src1[-i];
}


x86 assembly (clang, -O0):
<vector_fmul_reverse_c>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1177 <vector_fmul_reverse_c+0x77>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
xor    %ecx,%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mulss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1132 <vector_fmul_reverse_c+0x32>
pop    %rbp
ret

x86 assembly (clang, -O2):
<vector_fmul_reverse_c>:
push   %rbp
push   %r14
push   %rbx
test   %ecx,%ecx
jle    12b4 <vector_fmul_reverse_c+0x1b4>
movslq %ecx,%r8
lea    (%rdx,%r8,4),%r9
add    $0xfffffffffffffffc,%r9
add    $0xffffffffffffffff,%r8
mov    %ecx,%r10d
cmp    $0x8,%ecx
jae    1191 <vector_fmul_reverse_c+0x91>
xor    %ecx,%ecx
mov    %rcx,%rax
not    %rax
test   $0x1,%r10b
je     114f <vector_fmul_reverse_c+0x4f>
lea    0x0(,%rcx,4),%rbp
movss  (%rsi,%rcx,4),%xmm0
sub    %rbp,%r9
mulss  (%r9),%xmm0
movss  %xmm0,(%rdi,%rcx,4)
or     $0x1,%rcx
add    %r10,%rax
je     12b4 <vector_fmul_reverse_c+0x1b4>
sub    %rcx,%r8
lea    (%rdx,%r8,4),%rax
nop
movss  (%rsi,%rcx,4),%xmm0
mulss  (%rax),%xmm0
movss  %xmm0,(%rdi,%rcx,4)
movss  0x4(%rsi,%rcx,4),%xmm0
mulss  -0x4(%rax),%xmm0
movss  %xmm0,0x4(%rdi,%rcx,4)
add    $0x2,%rcx
add    $0xfffffffffffffff8,%rax
cmp    %rcx,%r10
jne    1160 <vector_fmul_reverse_c+0x60>
jmp    12b4 <vector_fmul_reverse_c+0x1b4>
lea    (%rdi,%r10,4),%rcx
lea    (%rsi,%r10,4),%rax
lea    0x1(%r8),%rbx
sub    %r10,%rbx
cmp    %rdi,%rax
seta   %r11b
lea    (%rdx,%rbx,4),%rbx
cmp    %rsi,%rcx
seta   %bpl
lea    (%rdx,%r8,4),%rax
add    $0x4,%rax
cmp    %rdi,%rax
seta   %al
cmp    %rcx,%rbx
setb   %bl
xor    %ecx,%ecx
test   %bpl,%r11b
jne    1125 <vector_fmul_reverse_c+0x25>
and    %bl,%al
jne    1125 <vector_fmul_reverse_c+0x25>
mov    %r10d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     12b9 <vector_fmul_reverse_c+0x1b9>
mov    %r11,%r14
and    $0xfffffffffffffffe,%r14
lea    (%rdx,%r8,4),%rbx
add    $0xfffffffffffffff4,%rbx
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rax,4),%xmm0
movups 0x10(%rsi,%rax,4),%xmm1
movups -0x10(%rbx),%xmm2
movups (%rbx),%xmm3
shufps $0x1b,%xmm3,%xmm3
mulps  %xmm0,%xmm3
shufps $0x1b,%xmm2,%xmm2
mulps  %xmm1,%xmm2
movups %xmm3,(%rdi,%rax,4)
movups %xmm2,0x10(%rdi,%rax,4)
movups 0x20(%rsi,%rax,4),%xmm0
movups 0x30(%rsi,%rax,4),%xmm1
movups -0x30(%rbx),%xmm2
movups -0x20(%rbx),%xmm3
shufps $0x1b,%xmm3,%xmm3
mulps  %xmm0,%xmm3
shufps $0x1b,%xmm2,%xmm2
mulps  %xmm1,%xmm2
movups %xmm3,0x20(%rdi,%rax,4)
movups %xmm2,0x30(%rdi,%rax,4)
add    $0x10,%rax
add    $0xffffffffffffffc0,%rbx
add    $0xfffffffffffffffe,%r14
jne    1210 <vector_fmul_reverse_c+0x110>
test   $0x1,%r11b
je     12ab <vector_fmul_reverse_c+0x1ab>
lea    0x0(,%rax,4),%rbp
movups (%rsi,%rax,4),%xmm0
movups 0x10(%rsi,%rax,4),%xmm1
mov    %r9,%rbx
sub    %rbp,%rbx
movups -0x1c(%rbx),%xmm2
movups -0xc(%rbx),%xmm3
shufps $0x1b,%xmm3,%xmm3
mulps  %xmm0,%xmm3
shufps $0x1b,%xmm2,%xmm2
mulps  %xmm1,%xmm2
movups %xmm3,(%rdi,%rax,4)
movups %xmm2,0x10(%rdi,%rax,4)
cmp    %r10,%rcx
jne    1125 <vector_fmul_reverse_c+0x25>
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %eax,%eax
test   $0x1,%r11b
jne    1275 <vector_fmul_reverse_c+0x175>
jmp    12ab <vector_fmul_reverse_c+0x1ab>

LLVM IR (-O0):
define void @vector_fmul_reverse_c(float* %0, float* %1, float* %2, i32 %3) {
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = alloca i32
%9 = alloca i32
store float* %0, float** %5
store float* %1, float** %6
store float* %2, float** %7
store i32 %3, i32* %8
%10 = load i32, i32* %8
%11 = sub nsw i32 %10, 1
%12 = load float*, float** %7
%13 = sext i32 %11 to i64
%14 = getelementptr inbounds float, float* %12, i64 %13
store float* %14, float** %7
store i32 0, i32* %9
br label %15
15: ; preds = %36, %4
%16 = load i32, i32* %9
%17 = load i32, i32* %8
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %39
19: ; preds = %15
%20 = load float*, float** %6
%21 = load i32, i32* %9
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds float, float* %20, i64 %22
%24 = load float, float* %23
%25 = load float*, float** %7
%26 = load i32, i32* %9
%27 = sub nsw i32 0, %26
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds float, float* %25, i64 %28
%30 = load float, float* %29
%31 = fmul float %24, %30
%32 = load float*, float** %5
%33 = load i32, i32* %9
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds float, float* %32, i64 %34
store float %31, float* %35
br label %36
36: ; preds = %19
%37 = load i32, i32* %9
%38 = add nsw i32 %37, 1
store i32 %38, i32* %9
br label %15
39: ; preds = %15
ret void
}

LLVM IR (-O2):
define void @vector_fmul_reverse_c(float* nocapture writeonly %0, float* nocapture %1, float* nocapture %2, i32 %3) {
%5 = add nsw i32 %3, -1
%6 = sext i32 %5 to i64
%7 = getelementptr inbounds float, float* %2, i64 %6
%8 = icmp sgt i32 %3, 0
br i1 %8, label %9, label %155
9: ; preds = %4
%10 = zext i32 %3 to i64
%11 = icmp ult i32 %3, 8
br i1 %11, label %118, label %12
12: ; preds = %9
%13 = getelementptr float, float* %0, i64 %10
%14 = getelementptr float, float* %1, i64 %10
%15 = add nsw i64 %6, 1
%16 = sub nsw i64 %15, %10
%17 = getelementptr float, float* %2, i64 %16
%18 = add nsw i64 %6, 1
%19 = getelementptr float, float* %2, i64 %18
%20 = icmp ugt float* %14, %0
%21 = icmp ugt float* %13, %1
%22 = and i1 %20, %21
%23 = icmp ugt float* %19, %0
%24 = icmp ult float* %17, %13
%25 = and i1 %23, %24
%26 = or i1 %22, %25
br i1 %26, label %118, label %27
27: ; preds = %12
%28 = and i64 %10, 4294967288
%29 = add nsw i64 %28, -8
%30 = lshr exact i64 %29, 3
%31 = add nuw nsw i64 %30, 1
%32 = and i64 %31, 1
%33 = icmp eq i64 %29, 0
br i1 %33, label %89, label %34
34: ; preds = %27
%35 = and i64 %31, 4611686018427387902
br label %36
36: ; preds = %36, %34
%37 = phi i64 [ 0, %34 ], [ %86, %36 ]
%38 = phi i64 [ 0, %34 ], [ %87, %36 ]
%39 = getelementptr inbounds float, float* %1, i64 %37
%40 = bitcast float* %39 to <4 x float>*
%41 = load <4 x float>, <4 x float>* %40
%42 = getelementptr inbounds float, float* %39, i64 4
%43 = bitcast float* %42 to <4 x float>*
%44 = load <4 x float>, <4 x float>* %43
%45 = sub nsw i64 0, %37
%46 = getelementptr inbounds float, float* %7, i64 %45
%47 = getelementptr inbounds float, float* %46, i64 -3
%48 = bitcast float* %47 to <4 x float>*
%49 = load <4 x float>, <4 x float>* %48
%50 = shufflevector <4 x float> %49, <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%51 = getelementptr inbounds float, float* %46, i64 -4
%52 = getelementptr inbounds float, float* %51, i64 -3
%53 = bitcast float* %52 to <4 x float>*
%54 = load <4 x float>, <4 x float>* %53
%55 = shufflevector <4 x float> %54, <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%56 = fmul <4 x float> %41, %50
%57 = fmul <4 x float> %44, %55
%58 = getelementptr inbounds float, float* %0, i64 %37
%59 = bitcast float* %58 to <4 x float>*
store <4 x float> %56, <4 x float>* %59
%60 = getelementptr inbounds float, float* %58, i64 4
%61 = bitcast float* %60 to <4 x float>*
store <4 x float> %57, <4 x float>* %61
%62 = or i64 %37, 8
%63 = getelementptr inbounds float, float* %1, i64 %62
%64 = bitcast float* %63 to <4 x float>*
%65 = load <4 x float>, <4 x float>* %64
%66 = getelementptr inbounds float, float* %63, i64 4
%67 = bitcast float* %66 to <4 x float>*
%68 = load <4 x float>, <4 x float>* %67
%69 = sub nuw nsw i64 -8, %37
%70 = getelementptr inbounds float, float* %7, i64 %69
%71 = getelementptr inbounds float, float* %70, i64 -3
%72 = bitcast float* %71 to <4 x float>*
%73 = load <4 x float>, <4 x float>* %72
%74 = shufflevector <4 x float> %73, <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%75 = getelementptr inbounds float, float* %70, i64 -4
%76 = getelementptr inbounds float, float* %75, i64 -3
%77 = bitcast float* %76 to <4 x float>*
%78 = load <4 x float>, <4 x float>* %77
%79 = shufflevector <4 x float> %78, <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%80 = fmul <4 x float> %65, %74
%81 = fmul <4 x float> %68, %79
%82 = getelementptr inbounds float, float* %0, i64 %62
%83 = bitcast float* %82 to <4 x float>*
store <4 x float> %80, <4 x float>* %83
%84 = getelementptr inbounds float, float* %82, i64 4
%85 = bitcast float* %84 to <4 x float>*
store <4 x float> %81, <4 x float>* %85
%86 = add nuw i64 %37, 16
%87 = add i64 %38, 2
%88 = icmp eq i64 %87, %35
br i1 %88, label %89, label %36
89: ; preds = %36, %27
%90 = phi i64 [ 0, %27 ], [ %86, %36 ]
%91 = icmp eq i64 %32, 0
br i1 %91, label %116, label %92
92: ; preds = %89
%93 = getelementptr inbounds float, float* %1, i64 %90
%94 = bitcast float* %93 to <4 x float>*
%95 = load <4 x float>, <4 x float>* %94
%96 = getelementptr inbounds float, float* %93, i64 4
%97 = bitcast float* %96 to <4 x float>*
%98 = load <4 x float>, <4 x float>* %97
%99 = sub nsw i64 0, %90
%100 = getelementptr inbounds float, float* %7, i64 %99
%101 = getelementptr inbounds float, float* %100, i64 -3
%102 = bitcast float* %101 to <4 x float>*
%103 = load <4 x float>, <4 x float>* %102
%104 = shufflevector <4 x float> %103, <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%105 = getelementptr inbounds float, float* %100, i64 -4
%106 = getelementptr inbounds float, float* %105, i64 -3
%107 = bitcast float* %106 to <4 x float>*
%108 = load <4 x float>, <4 x float>* %107
%109 = shufflevector <4 x float> %108, <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%110 = fmul <4 x float> %95, %104
%111 = fmul <4 x float> %98, %109
%112 = getelementptr inbounds float, float* %0, i64 %90
%113 = bitcast float* %112 to <4 x float>*
store <4 x float> %110, <4 x float>* %113
%114 = getelementptr inbounds float, float* %112, i64 4
%115 = bitcast float* %114 to <4 x float>*
store <4 x float> %111, <4 x float>* %115
br label %116
116: ; preds = %89, %92
%117 = icmp eq i64 %28, %10
br i1 %117, label %155, label %118
118: ; preds = %12, %9, %116
%119 = phi i64 [ 0, %12 ], [ 0, %9 ], [ %28, %116 ]
%120 = xor i64 %119, -1
%121 = and i64 %10, 1
%122 = icmp eq i64 %121, 0
br i1 %122, label %132, label %123
123: ; preds = %118
%124 = getelementptr inbounds float, float* %1, i64 %119
%125 = load float, float* %124
%126 = sub nsw i64 0, %119
%127 = getelementptr inbounds float, float* %7, i64 %126
%128 = load float, float* %127
%129 = fmul float %125, %128
%130 = getelementptr inbounds float, float* %0, i64 %119
store float %129, float* %130
%131 = or i64 %119, 1
br label %132
132: ; preds = %123, %118
%133 = phi i64 [ %119, %118 ], [ %131, %123 ]
%134 = sub nsw i64 0, %10
%135 = icmp eq i64 %120, %134
br i1 %135, label %155, label %136
136: ; preds = %132, %136
%137 = phi i64 [ %153, %136 ], [ %133, %132 ]
%138 = getelementptr inbounds float, float* %1, i64 %137
%139 = load float, float* %138
%140 = sub nsw i64 0, %137
%141 = getelementptr inbounds float, float* %7, i64 %140
%142 = load float, float* %141
%143 = fmul float %139, %142
%144 = getelementptr inbounds float, float* %0, i64 %137
store float %143, float* %144
%145 = add nuw nsw i64 %137, 1
%146 = getelementptr inbounds float, float* %1, i64 %145
%147 = load float, float* %146
%148 = xor i64 %137, -1
%149 = getelementptr inbounds float, float* %7, i64 %148
%150 = load float, float* %149
%151 = fmul float %147, %150
%152 = getelementptr inbounds float, float* %0, i64 %145
store float %151, float* %152
%153 = add nuw nsw i64 %137, 2
%154 = icmp eq i64 %153, %10
br i1 %154, label %155, label %136
155: ; preds = %132, %136, %116, %4
ret void
}