void test(int *input, int *out, unsigned x1, unsigned x2) {
  unsigned i, j;
  unsigned end = x1;
  for (i = j = 0; i < 1000; i++) {
    int sum = 0;
    end += x2;
    for (; j < end; j++)
      sum += input[j];
    out[i] = sum;
  }
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3e8,-0x1c(%rbp)
jae    1188 <test+0x88>
movl   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    116d <test+0x6d>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1143 <test+0x43>
mov    -0x28(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1126 <test+0x26>
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
lea    (%rcx,%rdx,1),%r10d
lea    0x70(%rdi),%rax
mov    %rax,-0x8(%rsp)
lea    0x10(%rdi),%r9
xor    %r11d,%r11d
mov    %r10d,%ebp
xor    %eax,%eax
jmp    114b <test+0x4b>
cs nopw 0x0(%rax,%rax,1)
nop
xor    %ebx,%ebx
mov    %ebx,(%rsi,%r11,4)
add    $0x1,%r11
lea    (%r8,%rcx,1),%ebp
cmp    $0x3e8,%r11
je     12c1 <test+0x1c1>
mov    %ebp,%r8d
add    %ecx,%edx
cmp    %edx,%eax
jae    1130 <test+0x30>
mov    %r11d,%r13d
imul   %ecx,%r13d
add    %r10d,%r13d
mov    %eax,%eax
sub    %rax,%r13
xor    %ebx,%ebx
cmp    $0x8,%r13
jb     12a2 <test+0x1a2>
mov    %r13,%r15
and    $0xfffffffffffffff8,%r15
lea    -0x8(%r15),%rbx
mov    %rbx,%r12
shr    $0x3,%r12
add    $0x1,%r12
cmp    $0x18,%rbx
jae    119a <test+0x9a>
pxor   %xmm0,%xmm0
xor    %ebx,%ebx
pxor   %xmm1,%xmm1
jmp    122a <test+0x12a>
mov    -0x8(%rsp),%rbx
lea    (%rbx,%rax,4),%rbp
mov    %r8,%r14
sub    %rax,%r14
and    $0xfffffffffffffff8,%r14
add    $0xfffffffffffffff8,%r14
shr    $0x3,%r14
add    $0x1,%r14
and    $0xfffffffffffffffc,%r14
pxor   %xmm0,%xmm0
xor    %ebx,%ebx
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movdqu -0x70(%rbp,%rbx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu -0x60(%rbp,%rbx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu -0x50(%rbp,%rbx,4),%xmm1
movdqu -0x40(%rbp,%rbx,4),%xmm3
movdqu -0x30(%rbp,%rbx,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu -0x20(%rbp,%rbx,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu -0x10(%rbp,%rbx,4),%xmm0
paddd  %xmm4,%xmm0
movdqu 0x0(%rbp,%rbx,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rbx
add    $0xfffffffffffffffc,%r14
jne    11d0 <test+0xd0>
test   $0x3,%r12b
je     127c <test+0x17c>
add    %rax,%rbx
lea    (%r9,%rbx,4),%rbx
mov    %r8d,%ebp
sub    %eax,%ebp
and    $0x18,%bpl
add    $0xf8,%bpl
shr    $0x3,%bpl
add    $0x1,%bpl
movzbl %bpl,%r14d
and    $0x3,%r14d
shl    $0x5,%r14
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
movdqu -0x10(%rbx,%rbp,1),%xmm2
paddd  %xmm2,%xmm0
movdqu (%rbx,%rbp,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rbp
cmp    %rbp,%r14
jne    1260 <test+0x160>
paddd  %xmm1,%xmm0
add    %r15,%rax
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ebx
cmp    %r15,%r13
je     1132 <test+0x32>
mov    %edx,%ebp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    (%rdi,%rax,4),%ebx
add    $0x1,%rax
cmp    %rbp,%rax
jb     12b0 <test+0x1b0>
jmp    1132 <test+0x32>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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