#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ initialize_array(double *, int);
void revert_array(double v[], double out[], int n) {
  initialize_array(out, n);
  int i;
  for (i = 0; i < n; i++) {
    out[i] = v[n - i - 1];
  }
}


x86 assembly (clang, -O0):
<revert_array>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1030 <initialize_array@plt>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1172 <revert_array+0x62>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1136 <revert_array+0x26>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<revert_array>:
push   %r15
push   %r14
push   %rbx
mov    %edx,%r15d
mov    %rsi,%r14
mov    %rdi,%rbx
mov    %rsi,%rdi
mov    %edx,%esi
call   1030 <initialize_array@plt>
test   %r15d,%r15d
jle    11aa <revert_array+0x9a>
mov    %r15d,%eax
cmp    $0x4,%r15d
jae    11b0 <revert_array+0xa0>
xor    %r9d,%r9d
mov    %r9,%rdx
not    %rdx
test   $0x1,%al
je     115d <revert_array+0x4d>
mov    %r9d,%ecx
not    %ecx
add    %r15d,%ecx
movslq %ecx,%rcx
movsd  (%rbx,%rcx,8),%xmm0
movsd  %xmm0,(%r14,%r9,8)
or     $0x1,%r9
add    %rax,%rdx
je     11aa <revert_array+0x9a>
sub    %r9,%rax
mov    %r9d,%edx
not    %edx
add    %r15d,%edx
lea    (%r14,%r9,8),%rcx
add    $0x8,%rcx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movslq %edx,%rdx
movsd  (%rbx,%rdx,8),%xmm0
movsd  %xmm0,-0x8(%rcx,%rsi,8)
lea    -0x1(%rdx),%edi
movslq %edi,%rdi
movsd  (%rbx,%rdi,8),%xmm0
movsd  %xmm0,(%rcx,%rsi,8)
add    $0x2,%rsi
add    $0xfffffffe,%edx
cmp    %rsi,%rax
jne    1180 <revert_array+0x70>
pop    %rbx
pop    %r14
pop    %r15
ret
lea    -0x1(%rax),%rsi
lea    -0x1(%r15),%edx
mov    %edx,%edi
sub    %esi,%edi
xor    %r9d,%r9d
cmp    %edx,%edi
jg     1139 <revert_array+0x29>
shr    $0x20,%rsi
jne    1139 <revert_array+0x29>
movslq %edx,%rcx
lea    (%rbx,%rcx,8),%rdx
add    $0x8,%rdx
cmp    %r14,%rdx
jbe    11f9 <revert_array+0xe9>
lea    (%r14,%rax,8),%rdx
add    $0x1,%rcx
sub    %rax,%rcx
lea    (%rbx,%rcx,8),%rcx
cmp    %rdx,%rcx
jb     1136 <revert_array+0x26>
mov    %eax,%r9d
and    $0xfffffffc,%r9d
lea    -0x4(%r9),%rdx
mov    %rdx,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     12bc <revert_array+0x1ac>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
lea    -0x5(%r15),%esi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nop
lea    0x4(%rsi),%ecx
movslq %ecx,%rcx
movups -0x18(%rbx,%rcx,8),%xmm0
movups -0x8(%rbx,%rcx,8),%xmm1
shufps $0x4e,%xmm1,%xmm1
shufps $0x4e,%xmm0,%xmm0
movups %xmm1,(%r14,%rdx,8)
movups %xmm0,0x10(%r14,%rdx,8)
movslq %esi,%rsi
movups -0x18(%rbx,%rsi,8),%xmm0
movups -0x8(%rbx,%rsi,8),%xmm1
shufps $0x4e,%xmm1,%xmm1
shufps $0x4e,%xmm0,%xmm0
movups %xmm1,0x20(%r14,%rdx,8)
movups %xmm0,0x30(%r14,%rdx,8)
add    $0x8,%rdx
add    $0xfffffff8,%esi
add    $0xfffffffffffffffe,%rdi
jne    1230 <revert_array+0x120>
test   $0x1,%r8b
je     12ae <revert_array+0x19e>
mov    %edx,%ecx
not    %ecx
add    %r15d,%ecx
movslq %ecx,%rcx
movups -0x18(%rbx,%rcx,8),%xmm0
movups -0x8(%rbx,%rcx,8),%xmm1
shufps $0x4e,%xmm1,%xmm1
shufps $0x4e,%xmm0,%xmm0
movups %xmm1,(%r14,%rdx,8)
movups %xmm0,0x10(%r14,%rdx,8)
cmp    %rax,%r9
jne    1139 <revert_array+0x29>
jmp    11aa <revert_array+0x9a>
xor    %edx,%edx
test   $0x1,%r8b
jne    1287 <revert_array+0x177>
jmp    12ae <revert_array+0x19e>

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

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