void ivec_sub(int *v1, const int *v2, long n) {
  long i = 0;
  for (i = 0; i < n; i++) {
    v1[i] -= v2[i];
  }
}


x86 assembly (clang, -O0):
<ivec_sub>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    115a <ivec_sub+0x5a>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1120 <ivec_sub+0x20>
pop    %rbp
ret

x86 assembly (clang, -O2):
<ivec_sub>:
test   %rdx,%rdx
jle    1257 <ivec_sub+0x157>
cmp    $0x8,%rdx
jb     1121 <ivec_sub+0x21>
lea    (%rsi,%rdx,4),%rax
cmp    %rdi,%rax
jbe    1194 <ivec_sub+0x94>
lea    (%rdi,%rdx,4),%rax
cmp    %rsi,%rax
jbe    1194 <ivec_sub+0x94>
xor    %r10d,%r10d
mov    %r10,%r8
not    %r8
add    %rdx,%r8
mov    %rdx,%rcx
and    $0x3,%rcx
je     1152 <ivec_sub+0x52>
cs nopw 0x0(%rax,%rax,1)
mov    (%rsi,%r10,4),%eax
sub    %eax,(%rdi,%r10,4)
add    $0x1,%r10
add    $0xffffffffffffffff,%rcx
jne    1140 <ivec_sub+0x40>
cmp    $0x3,%r8
jb     1257 <ivec_sub+0x157>
nopl   0x0(%rax)
mov    (%rsi,%r10,4),%eax
sub    %eax,(%rdi,%r10,4)
mov    0x4(%rsi,%r10,4),%eax
sub    %eax,0x4(%rdi,%r10,4)
mov    0x8(%rsi,%r10,4),%eax
sub    %eax,0x8(%rdi,%r10,4)
mov    0xc(%rsi,%r10,4),%eax
sub    %eax,0xc(%rdi,%r10,4)
add    $0x4,%r10
cmp    %r10,%rdx
jne    1160 <ivec_sub+0x60>
jmp    1257 <ivec_sub+0x157>
mov    %rdx,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rcx
mov    %rcx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     1258 <ivec_sub+0x158>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
xor    %ecx,%ecx
nopl   0x0(%rax)
movdqu (%rsi,%rcx,4),%xmm0
movdqu 0x10(%rsi,%rcx,4),%xmm1
movdqu (%rdi,%rcx,4),%xmm2
psubd  %xmm0,%xmm2
movdqu 0x10(%rdi,%rcx,4),%xmm0
psubd  %xmm1,%xmm0
movdqu 0x20(%rdi,%rcx,4),%xmm1
movdqu 0x30(%rdi,%rcx,4),%xmm3
movdqu %xmm2,(%rdi,%rcx,4)
movdqu %xmm0,0x10(%rdi,%rcx,4)
movdqu 0x20(%rsi,%rcx,4),%xmm0
psubd  %xmm0,%xmm1
movdqu 0x30(%rsi,%rcx,4),%xmm0
psubd  %xmm0,%xmm3
movdqu %xmm1,0x20(%rdi,%rcx,4)
movdqu %xmm3,0x30(%rdi,%rcx,4)
add    $0x10,%rcx
add    $0xfffffffffffffffe,%r9
jne    11c0 <ivec_sub+0xc0>
test   $0x1,%r8b
je     124e <ivec_sub+0x14e>
movdqu (%rsi,%rcx,4),%xmm0
movdqu 0x10(%rsi,%rcx,4),%xmm1
movdqu (%rdi,%rcx,4),%xmm2
psubd  %xmm0,%xmm2
movdqu 0x10(%rdi,%rcx,4),%xmm0
psubd  %xmm1,%xmm0
movdqu %xmm2,(%rdi,%rcx,4)
movdqu %xmm0,0x10(%rdi,%rcx,4)
cmp    %rdx,%r10
jne    1124 <ivec_sub+0x24>
ret
xor    %ecx,%ecx
test   $0x1,%r8b
jne    1225 <ivec_sub+0x125>
jmp    124e <ivec_sub+0x14e>

LLVM IR (-O0):
define void @ivec_sub(i32* %0, i32* %1, i64 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i64
%7 = alloca i64
store i32* %0, i32** %4
store i32* %1, i32** %5
store i64 %2, i64* %6
store i64 0, i64* %7
store i64 0, i64* %7
br label %8
8: ; preds = %22, %3
%9 = load i64, i64* %7
%10 = load i64, i64* %6
%11 = icmp slt i64 %9, %10
br i1 %11, label %12, label %25
12: ; preds = %8
%13 = load i32*, i32** %5
%14 = load i64, i64* %7
%15 = getelementptr inbounds i32, i32* %13, i64 %14
%16 = load i32, i32* %15
%17 = load i32*, i32** %4
%18 = load i64, i64* %7
%19 = getelementptr inbounds i32, i32* %17, i64 %18
%20 = load i32, i32* %19
%21 = sub nsw i32 %20, %16
store i32 %21, i32* %19
br label %22
22: ; preds = %12
%23 = load i64, i64* %7
%24 = add nsw i64 %23, 1
store i64 %24, i64* %7
br label %8
25: ; preds = %8
ret void
}

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