void reverse_array(int *a, int n) {
  int i = 0;
  int t[100000];
  while (i < n) {
    t[i] = a[i];
    i++;
  }
  n--;
  i = 0;
  while (n >= 0) {
    a[n] = t[i];
    n--;
    i++;
  }
}


x86 assembly (clang, -O0):
<reverse_array>:
push   %rbp
mov    %rsp,%rbp
sub    $0x61a10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1149 <reverse_array+0x49>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x10(%rbp),%rax
mov    %ecx,-0x61a90(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1119 <reverse_array+0x19>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x0,-0xc(%rbp)
jl     1190 <reverse_array+0x90>
movslq -0x10(%rbp),%rax
mov    -0x61a90(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1159 <reverse_array+0x59>
add    $0x61a10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse_array>:
push   %rbp
push   %r14
push   %rbx
sub    $0x61a80,%rsp
test   %esi,%esi
jle    1294 <reverse_array+0x184>
mov    %esi,%ebp
mov    %rdi,%rbx
mov    %esi,%r14d
lea    0x0(,%r14,4),%rdx
mov    %rsp,%rdi
mov    %rbx,%rsi
call   1030 <memcpy@plt>
cmp    $0x8,%ebp
jae    11cb <reverse_array+0xbb>
xor    %eax,%eax
mov    %r14,%rcx
mov    %rax,%rdx
not    %rdx
add    %r14,%rdx
mov    %r14,%rsi
and    $0x3,%rsi
je     1176 <reverse_array+0x66>
xchg   %ax,%ax
add    $0xffffffffffffffff,%rcx
mov    (%rsp,%rax,4),%edi
mov    %ecx,%ebp
mov    %edi,(%rbx,%rbp,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rsi
jne    1160 <reverse_array+0x50>
cmp    $0x3,%rdx
jb     1294 <reverse_array+0x184>
mov    $0xfffffffe,%edx
cs nopw 0x0(%rax,%rax,1)
nop
lea    (%rcx,%rdx,1),%rsi
lea    0x1(%rsi),%edi
mov    (%rsp,%rax,4),%ebp
mov    %ebp,(%rbx,%rdi,4)
mov    0x4(%rsp,%rax,4),%edi
mov    %esi,%ebp
mov    %edi,(%rbx,%rbp,4)
add    $0xffffffff,%esi
mov    0x8(%rsp,%rax,4),%edi
mov    %edi,(%rbx,%rsi,4)
add    $0xfffffffffffffffc,%rcx
mov    0xc(%rsp,%rax,4),%esi
mov    %ecx,%edi
mov    %esi,(%rbx,%rdi,4)
add    $0x4,%rax
cmp    %rax,%r14
jne    1190 <reverse_array+0x80>
jmp    1294 <reverse_array+0x184>
lea    -0x1(%r14),%rdx
add    $0xffffffff,%ebp
xor    %eax,%eax
cmp    %edx,%ebp
jb     1149 <reverse_array+0x39>
mov    %rdx,%rcx
shr    $0x20,%rcx
mov    %r14,%rcx
jne    114c <reverse_array+0x3c>
mov    %r14d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rcx
mov    %rcx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     12ab <reverse_array+0x19b>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
mov    $0xfffffffe,%ecx
lea    (%r14,%rcx,1),%rbp
add    $0xfffffffffffffff9,%rbp
xor    %ecx,%ecx
pshufd $0x1b,(%rsp,%rcx,4),%xmm0
mov    %edx,%esi
pshufd $0x1b,0x10(%rsp,%rcx,4),%xmm1
movdqu %xmm0,-0xc(%rbx,%rsi,4)
movdqu %xmm1,-0x1c(%rbx,%rsi,4)
mov    %ebp,%esi
pshufd $0x1b,0x20(%rsp,%rcx,4),%xmm0
pshufd $0x1b,0x30(%rsp,%rcx,4),%xmm1
movdqu %xmm0,-0xc(%rbx,%rsi,4)
movdqu %xmm1,-0x1c(%rbx,%rsi,4)
add    $0x10,%rcx
add    $0xfffffffffffffff0,%rbp
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1220 <reverse_array+0x110>
test   $0x1,%r8b
je     128f <reverse_array+0x17f>
mov    %ecx,%edx
not    %edx
add    %r14d,%edx
pshufd $0x1b,(%rsp,%rcx,4),%xmm0
pshufd $0x1b,0x10(%rsp,%rcx,4),%xmm1
movdqu %xmm0,-0xc(%rbx,%rdx,4)
movdqu %xmm1,-0x1c(%rbx,%rdx,4)
cmp    %r14,%rax
jne    12a0 <reverse_array+0x190>
add    $0x61a80,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret
mov    %r14d,%ecx
and    $0x7,%ecx
jmp    114c <reverse_array+0x3c>
xor    %ecx,%ecx
test   $0x1,%r8b
jne    126f <reverse_array+0x15f>
jmp    128f <reverse_array+0x17f>

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

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