void turnArrayAround(int a[]) {
  int n = a[0];
  int temp[n];
  int i = 0;
  for (i = 0; i < n; i++)
    temp[i] = a[i];
  i = 0;
  while (i < n) {
    ++i;
    a[i] = temp[n - i];
  }
}


x86 assembly (clang, -O0):
<turnArrayAround>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x18(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    117a <turnArrayAround+0x7a>
mov    -0x30(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,4),%edx
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114a <turnArrayAround+0x4a>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11b6 <turnArrayAround+0xb6>
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x24(%rbp)
mov    -0xc(%rbp),%ecx
sub    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1181 <turnArrayAround+0x81>
mov    -0x18(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<turnArrayAround>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    (%rdi),%ebx
mov    %rsp,%r14
lea    0xf(,%rbx,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r14
mov    %r14,%rsp
test   %ebx,%ebx
jle    1231 <turnArrayAround+0x121>
mov    %rdi,%r15
lea    0x0(,%rbx,4),%rdx
mov    %r14,%rdi
mov    %r15,%rsi
call   1030 <memcpy@plt>
cmp    $0x8,%ebx
jae    115b <turnArrayAround+0x4b>
xor    %eax,%eax
jmp    1215 <turnArrayAround+0x105>
mov    %ebx,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rdx
mov    %rdx,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rdx,%rdx
je     123c <turnArrayAround+0x12c>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%r14,%rbx,4),%rdi
add    $0xfffffffffffffff0,%rdi
mov    $0x1,%edx
nopl   0x0(%rax)
movdqu -0x10(%rdi),%xmm0
movdqu (%rdi),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,(%r15,%rdx,4)
movdqu %xmm0,0x10(%r15,%rdx,4)
movdqu -0x30(%rdi),%xmm0
movdqu -0x20(%rdi),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,0x20(%r15,%rdx,4)
movdqu %xmm0,0x30(%r15,%rdx,4)
add    $0x10,%rdx
add    $0xffffffffffffffc0,%rdi
add    $0xfffffffffffffffe,%rsi
jne    1190 <turnArrayAround+0x80>
test   $0x1,%cl
je     1210 <turnArrayAround+0x100>
mov    %rbx,%rcx
sub    %rdx,%rcx
movdqu -0x1c(%r14,%rcx,4),%xmm0
movdqu -0xc(%r14,%rcx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,(%r15,%rdx,4)
movdqu %xmm0,0x10(%r15,%rdx,4)
cmp    %rbx,%rax
je     1231 <turnArrayAround+0x121>
sub    %rax,%rbx
lea    (%r15,%rax,4),%rax
add    $0x4,%rax
mov    -0x4(%r14,%rbx,4),%ecx
mov    %ecx,(%rax)
add    $0x4,%rax
add    $0xffffffffffffffff,%rbx
jne    1220 <turnArrayAround+0x110>
lea    -0x18(%rbp),%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%edx
test   $0x1,%cl
jne    11e5 <turnArrayAround+0xd5>
jmp    1210 <turnArrayAround+0x100>

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

LLVM IR (-O2):
define void @turnArrayAround(i32* nocapture %0) {
%2 = load i32, i32* %0
%3 = zext i32 %2 to i64
%4 = alloca i32, i64 %3
%5 = icmp sgt i32 %2, 0
br i1 %5, label %6, label %92
6: ; preds = %1
%7 = bitcast i32* %4 to i8*
%8 = bitcast i32* %0 to i8*
%9 = shl nuw nsw i64 %3, 2
%10 = zext i32 %2 to i64
%11 = icmp ult i32 %2, 8
br i1 %11, label %82, label %12
12: ; preds = %6
%13 = and i64 %3, 4294967288
%14 = add nsw i64 %13, -8
%15 = lshr exact i64 %14, 3
%16 = add nuw nsw i64 %15, 1
%17 = and i64 %16, 1
%18 = icmp eq i64 %14, 0
br i1 %18, label %61, label %19
19: ; preds = %12
%20 = and i64 %16, 4611686018427387902
br label %21
21: ; preds = %21, %19
%22 = phi i64 [ 0, %19 ], [ %56, %21 ]
%23 = phi i64 [ 0, %19 ], [ %57, %21 ]
%24 = or i64 %22, 1
%25 = sub nsw i64 %10, %24
%26 = getelementptr inbounds i32, i32* %4, i64 %25
%27 = getelementptr inbounds i32, i32* %26, i64 -3
%28 = bitcast i32* %27 to <4 x i32>*
%29 = load <4 x i32>, <4 x i32>* %28
%30 = shufflevector <4 x i32> %29, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%31 = getelementptr inbounds i32, i32* %26, i64 -4
%32 = getelementptr inbounds i32, i32* %31, i64 -3
%33 = bitcast i32* %32 to <4 x i32>*
%34 = load <4 x i32>, <4 x i32>* %33
%35 = shufflevector <4 x i32> %34, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%36 = getelementptr inbounds i32, i32* %0, i64 %24
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> %30, <4 x i32>* %37
%38 = getelementptr inbounds i32, i32* %36, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> %35, <4 x i32>* %39
%40 = or i64 %22, 9
%41 = sub nsw i64 %10, %40
%42 = getelementptr inbounds i32, i32* %4, i64 %41
%43 = getelementptr inbounds i32, i32* %42, i64 -3
%44 = bitcast i32* %43 to <4 x i32>*
%45 = load <4 x i32>, <4 x i32>* %44
%46 = shufflevector <4 x i32> %45, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%47 = getelementptr inbounds i32, i32* %42, i64 -4
%48 = getelementptr inbounds i32, i32* %47, i64 -3
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = shufflevector <4 x i32> %50, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%52 = getelementptr inbounds i32, i32* %0, i64 %40
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %46, <4 x i32>* %53
%54 = getelementptr inbounds i32, i32* %52, i64 4
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> %51, <4 x i32>* %55
%56 = add nuw i64 %22, 16
%57 = add i64 %23, 2
%58 = icmp eq i64 %57, %20
br i1 %58, label %59, label %21
59: ; preds = %21
%60 = or i64 %56, 1
br label %61
61: ; preds = %59, %12
%62 = phi i64 [ 1, %12 ], [ %60, %59 ]
%63 = icmp eq i64 %17, 0
br i1 %63, label %80, label %64
64: ; preds = %61
%65 = sub nsw i64 %10, %62
%66 = getelementptr inbounds i32, i32* %4, i64 %65
%67 = getelementptr inbounds i32, i32* %66, i64 -3
%68 = bitcast i32* %67 to <4 x i32>*
%69 = load <4 x i32>, <4 x i32>* %68
%70 = shufflevector <4 x i32> %69, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%71 = getelementptr inbounds i32, i32* %66, i64 -4
%72 = getelementptr inbounds i32, i32* %71, i64 -3
%73 = bitcast i32* %72 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = shufflevector <4 x i32> %74, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%76 = getelementptr inbounds i32, i32* %0, i64 %62
%77 = bitcast i32* %76 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %77
%78 = getelementptr inbounds i32, i32* %76, i64 4
%79 = bitcast i32* %78 to <4 x i32>*
store <4 x i32> %75, <4 x i32>* %79
br label %80
80: ; preds = %61, %64
%81 = icmp eq i64 %13, %3
br i1 %81, label %92, label %82
82: ; preds = %6, %80
%83 = phi i64 [ 0, %6 ], [ %13, %80 ]
br label %84
84: ; preds = %82, %84
%85 = phi i64 [ %86, %84 ], [ %83, %82 ]
%86 = add nuw nsw i64 %85, 1
%87 = sub nsw i64 %10, %86
%88 = getelementptr inbounds i32, i32* %4, i64 %87
%89 = load i32, i32* %88
%90 = getelementptr inbounds i32, i32* %0, i64 %86
store i32 %89, i32* %90
%91 = icmp eq i64 %86, %3
br i1 %91, label %92, label %84
92: ; preds = %84, %80, %1
ret void
}