#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 */
scalar_t__ calloc(int, int);
int /*<<< orphan*/ copyiarr(int *, int *, int);
int /*<<< orphan*/ fatalx(char *, int);
int /*<<< orphan*/ free(int *);
void reviarr(int *b, int *a, int n) {
  int i;
  int *x;
  if ((x = (int *)calloc((n), sizeof(int))) == NULL)
    fatalx("Unable to allocate %d unit(s) for item \n", n);
  for (i = 0; i < n; i++) {
    x[n - i - 1] = a[i];
  }
  copyiarr(x, b, n);
  free(x);
}


x86 assembly (clang, -O0):
<reviarr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%edi
mov    $0x4,%esi
call   1050 <calloc@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
jne    117d <reviarr+0x3d>
mov    -0x14(%rbp),%esi
lea    0xe88(%rip),%rdi
call   1040 <fatalx@plt>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11bc <reviarr+0x7c>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1184 <reviarr+0x44>
mov    -0x20(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1060 <copyiarr@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reviarr>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %edx,%r15d
mov    %rsi,%r12
mov    %rdi,%r14
mov    %edx,%edi
mov    $0x4,%esi
call   1050 <calloc@plt>
mov    %rax,%rbx
test   %rax,%rax
jne    1174 <reviarr+0x34>
lea    0xe94(%rip),%rdi
mov    %r15d,%esi
call   1040 <fatalx@plt>
test   %r15d,%r15d
jle    11f1 <reviarr+0xb1>
mov    %r15d,%r10d
cmp    $0x8,%r15d
jae    1212 <reviarr+0xd2>
xor    %r9d,%r9d
mov    %r9,%rdx
not    %rdx
test   $0x1,%r10b
je     11ab <reviarr+0x6b>
mov    (%r12,%r9,4),%ecx
mov    %r9d,%esi
not    %esi
add    %r15d,%esi
movslq %esi,%rsi
mov    %ecx,(%rbx,%rsi,4)
or     $0x1,%r9
add    %r10,%rdx
je     11f1 <reviarr+0xb1>
sub    %r9,%r10
mov    %r9d,%edx
not    %edx
add    %r15d,%edx
lea    (%r12,%r9,4),%rcx
add    $0x4,%rcx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
mov    -0x4(%rcx,%rsi,4),%edi
movslq %edx,%rdx
mov    %edi,(%rbx,%rdx,4)
mov    (%rcx,%rsi,4),%edi
lea    -0x1(%rdx),%eax
cltq
mov    %edi,(%rbx,%rax,4)
add    $0x2,%rsi
add    $0xfffffffe,%edx
cmp    %rsi,%r10
jne    11d0 <reviarr+0x90>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15d,%edx
call   1060 <copyiarr@plt>
mov    %rbx,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
jmp    1030 <free@plt>
lea    -0x1(%r10),%rsi
lea    -0x1(%r15),%edx
mov    %edx,%edi
sub    %esi,%edi
xor    %r9d,%r9d
cmp    %edx,%edi
jg     1189 <reviarr+0x49>
shr    $0x20,%rsi
jne    1189 <reviarr+0x49>
movslq %edx,%rcx
lea    (%rbx,%rcx,4),%rdx
add    $0x4,%rdx
cmp    %r12,%rdx
jbe    125b <reviarr+0x11b>
lea    (%r12,%r10,4),%rdx
add    $0x1,%rcx
sub    %r10,%rcx
lea    (%rbx,%rcx,4),%rcx
cmp    %rdx,%rcx
jb     1186 <reviarr+0x46>
mov    %r10d,%r9d
and    $0xfffffff8,%r9d
lea    -0x8(%r9),%rdx
mov    %rdx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     132c <reviarr+0x1ec>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
lea    -0x9(%r15),%edx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movdqu (%r12,%rsi,4),%xmm0
movdqu 0x10(%r12,%rsi,4),%xmm1
lea    0x8(%rdx),%ecx
movslq %ecx,%rcx
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm0,-0xc(%rbx,%rcx,4)
pshufd $0x1b,%xmm1,%xmm0
movdqu %xmm0,-0x1c(%rbx,%rcx,4)
movdqu 0x20(%r12,%rsi,4),%xmm0
movdqu 0x30(%r12,%rsi,4),%xmm1
movslq %edx,%rdx
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm0,-0xc(%rbx,%rdx,4)
pshufd $0x1b,%xmm1,%xmm0
movdqu %xmm0,-0x1c(%rbx,%rdx,4)
add    $0x10,%rsi
add    $0xfffffff0,%edx
add    $0xfffffffffffffffe,%rdi
jne    1290 <reviarr+0x150>
test   $0x1,%r8b
je     131e <reviarr+0x1de>
movdqu (%r12,%rsi,4),%xmm0
movdqu 0x10(%r12,%rsi,4),%xmm1
not    %esi
add    %r15d,%esi
movslq %esi,%rcx
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm0,-0xc(%rbx,%rcx,4)
pshufd $0x1b,%xmm1,%xmm0
movdqu %xmm0,-0x1c(%rbx,%rcx,4)
cmp    %r10,%r9
jne    1189 <reviarr+0x49>
jmp    11f1 <reviarr+0xb1>
xor    %esi,%esi
test   $0x1,%r8b
jne    12f3 <reviarr+0x1b3>
jmp    131e <reviarr+0x1de>

LLVM IR (-O0):
@.str = [41 x i8] c"Unable to allocate %d unit(s) for item \0A\00"
define void @reviarr(i32* %0, i32* %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32*
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
%9 = load i32, i32* %6
%10 = call i64 @calloc(i32 %9, i32 4)
%11 = inttoptr i64 %10 to i32*
store i32* %11, i32** %8
%12 = icmp eq i32* %11, null
br i1 %12, label %13, label %16
13: ; preds = %3
%14 = load i32, i32* %6
%15 = call i32 @fatalx(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str, i64 0, i64 0), i32 %14)
br label %16
16: ; preds = %13, %3
store i32 0, i32* %7
br label %17
17: ; preds = %34, %16
%18 = load i32, i32* %7
%19 = load i32, i32* %6
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %37
21: ; preds = %17
%22 = load i32*, i32** %5
%23 = load i32, i32* %7
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = load i32*, i32** %8
%28 = load i32, i32* %6
%29 = load i32, i32* %7
%30 = sub nsw i32 %28, %29
%31 = sub nsw i32 %30, 1
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %27, i64 %32
store i32 %26, i32* %33
br label %34
34: ; preds = %21
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
store i32 %36, i32* %7
br label %17
37: ; preds = %17
%38 = load i32*, i32** %8
%39 = load i32*, i32** %4
%40 = load i32, i32* %6
%41 = call i32 @copyiarr(i32* %38, i32* %39, i32 %40)
%42 = load i32*, i32** %8
%43 = call i32 @free(i32* %42)
ret void
}

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