void reverse(int a[], int len) {
  int b[1000];
  int k;
  for (k = 0; k < len; k++)
    b[k] = a[len - 1 - k];
  for (k = 0; k < len; k++)
    a[k] = b[k];
}


x86 assembly (clang, -O0):
<reverse>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0xfb4(%rbp)
mov    -0xfb4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1163 <reverse+0x63>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xfb4(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0xfb4(%rbp),%rax
mov    %ecx,-0xfb0(%rbp,%rax,4)
mov    -0xfb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfb4(%rbp)
jmp    111c <reverse+0x1c>
movl   $0x0,-0xfb4(%rbp)
mov    -0xfb4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11ac <reverse+0xac>
movslq -0xfb4(%rbp),%rax
mov    -0xfb0(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xfb4(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xfb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfb4(%rbp)
jmp    116d <reverse+0x6d>
add    $0xf40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse>:
sub    $0xfa8,%rsp
test   %esi,%esi
jle    1297 <reverse+0x187>
mov    %esi,%edx
cmp    $0x8,%esi
jae    1198 <reverse+0x88>
xor    %r9d,%r9d
mov    %r9,%rax
not    %rax
test   $0x1,%dl
je     1149 <reverse+0x39>
mov    %r9d,%ecx
not    %ecx
add    %esi,%ecx
movslq %ecx,%rcx
mov    (%rdi,%rcx,4),%ecx
mov    %ecx,(%rsp,%r9,4)
or     $0x1,%r9
add    %rdx,%rax
je     1287 <reverse+0x177>
mov    %rdx,%r8
sub    %r9,%r8
mov    %r9d,%ecx
not    %ecx
add    %esi,%ecx
lea    (%rsp,%r9,4),%r9
add    $0x4,%r9
xor    %r10d,%r10d
nopw   0x0(%rax,%rax,1)
movslq %ecx,%rcx
mov    (%rdi,%rcx,4),%eax
mov    %eax,-0x4(%r9,%r10,4)
lea    -0x1(%rcx),%eax
cltq
mov    (%rdi,%rax,4),%eax
mov    %eax,(%r9,%r10,4)
add    $0x2,%r10
add    $0xfffffffe,%ecx
cmp    %r10,%r8
jne    1170 <reverse+0x60>
jmp    1287 <reverse+0x177>
lea    -0x1(%rdx),%r8
lea    -0x1(%rsi),%eax
mov    %eax,%ecx
sub    %r8d,%ecx
xor    %r9d,%r9d
cmp    %eax,%ecx
jg     1129 <reverse+0x19>
shr    $0x20,%r8
jne    1129 <reverse+0x19>
mov    %edx,%r9d
and    $0xfffffff8,%r9d
lea    -0x8(%r9),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     129f <reverse+0x18f>
mov    %r8,%r10
and    $0xfffffffffffffffe,%r10
lea    -0x9(%rsi),%eax
xor    %r11d,%r11d
cs nopw 0x0(%rax,%rax,1)
nop
lea    0x8(%rax),%ecx
movslq %ecx,%rcx
movdqu -0x1c(%rdi,%rcx,4),%xmm0
movdqu -0xc(%rdi,%rcx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,(%rsp,%r11,4)
movdqa %xmm0,0x10(%rsp,%r11,4)
cltq
movdqu -0x1c(%rdi,%rax,4),%xmm0
movdqu -0xc(%rdi,%rax,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,0x20(%rsp,%r11,4)
movdqa %xmm0,0x30(%rsp,%r11,4)
add    $0x10,%r11
add    $0xfffffff0,%eax
add    $0xfffffffffffffffe,%r10
jne    11f0 <reverse+0xe0>
test   $0x1,%r8b
je     127e <reverse+0x16e>
mov    %r11d,%eax
not    %eax
add    %esi,%eax
cltq
movdqu -0x1c(%rdi,%rax,4),%xmm0
movdqu -0xc(%rdi,%rax,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,(%rsp,%r11,4)
movdqa %xmm0,0x10(%rsp,%r11,4)
cmp    %rdx,%r9
jne    1129 <reverse+0x19>
test   %esi,%esi
jle    1297 <reverse+0x187>
shl    $0x2,%rdx
mov    %rsp,%rsi
call   1030 <memcpy@plt>
add    $0xfa8,%rsp
ret
xor    %r11d,%r11d
test   $0x1,%r8b
jne    1252 <reverse+0x142>
jmp    127e <reverse+0x16e>

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

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