void rev(int *int1, int *int2, int digits) {
  int i, j = 0;
  for (i = digits - 1; i >= 0; i--) {
    int2[j] = int1[i];
    j++;
  }
}


x86 assembly (clang, -O0):
<rev>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jl     1156 <rev+0x56>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    111f <rev+0x1f>
pop    %rbp
ret

x86 assembly (clang, -O2):
<rev>:
push   %rbx
test   %edx,%edx
jle    1196 <rev+0x96>
mov    %edx,%r8d
cmp    $0x8,%edx
jae    1198 <rev+0x98>
xor    %ecx,%ecx
mov    %r8,%rax
mov    %rcx,%r9
not    %r9
add    %r8,%r9
mov    %r8,%rdx
and    $0x3,%rdx
je     1146 <rev+0x46>
nopl   0x0(%rax)
add    $0xffffffffffffffff,%rax
mov    %eax,%ebx
mov    (%rdi,%rbx,4),%ebx
mov    %ebx,(%rsi,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rdx
jne    1130 <rev+0x30>
cmp    $0x3,%r9
jb     1196 <rev+0x96>
mov    $0xfffffffe,%r9d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    (%rax,%r9,1),%rbx
lea    0x1(%rbx),%edx
mov    (%rdi,%rdx,4),%edx
mov    %edx,(%rsi,%rcx,4)
mov    %ebx,%edx
mov    (%rdi,%rdx,4),%edx
mov    %edx,0x4(%rsi,%rcx,4)
add    $0xffffffff,%ebx
mov    (%rdi,%rbx,4),%edx
mov    %edx,0x8(%rsi,%rcx,4)
add    $0xfffffffffffffffc,%rax
mov    %eax,%edx
mov    (%rdi,%rdx,4),%edx
mov    %edx,0xc(%rsi,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%r8
jne    1160 <rev+0x60>
pop    %rbx
ret
lea    -0x1(%r8),%r9
add    $0xffffffff,%edx
xor    %ecx,%ecx
cmp    %r9d,%edx
jb     1117 <rev+0x17>
mov    %r9,%rax
shr    $0x20,%rax
mov    %r8,%rax
jne    111a <rev+0x1a>
lea    (%rdi,%rdx,4),%rax
add    $0x4,%rax
cmp    %rsi,%rax
jbe    11df <rev+0xdf>
lea    (%rsi,%r8,4),%rax
add    $0x1,%rdx
sub    %r8,%rdx
lea    (%rdi,%rdx,4),%rcx
cmp    %rax,%rcx
jb     1115 <rev+0x15>
mov    %r8d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rax,%rax
je     12bc <rev+0x1bc>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
mov    $0xfffffffe,%eax
lea    (%r8,%rax,1),%rdx
add    $0xfffffffffffffff9,%rdx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r9d,%ebx
movdqu -0x1c(%rdi,%rbx,4),%xmm0
movdqu -0xc(%rdi,%rbx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,(%rsi,%rax,4)
movdqu %xmm0,0x10(%rsi,%rax,4)
mov    %edx,%ebx
movdqu -0x1c(%rdi,%rbx,4),%xmm0
movdqu -0xc(%rdi,%rbx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,0x20(%rsi,%rax,4)
movdqu %xmm0,0x30(%rsi,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffff0,%r9
add    $0xfffffffffffffffe,%r11
jne    1220 <rev+0x120>
test   $0x1,%r10b
je     12a8 <rev+0x1a8>
mov    %eax,%edx
not    %edx
add    %r8d,%edx
movdqu -0x1c(%rdi,%rdx,4),%xmm0
movdqu -0xc(%rdi,%rdx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,(%rsi,%rax,4)
movdqu %xmm0,0x10(%rsi,%rax,4)
cmp    %r8,%rcx
je     1196 <rev+0x96>
mov    %r8d,%eax
and    $0x7,%eax
jmp    111a <rev+0x1a>
xor    %eax,%eax
test   $0x1,%r10b
jne    1280 <rev+0x180>
jmp    12a8 <rev+0x1a8>

LLVM IR (-O0):
define void @rev(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
store i32 0, i32* %8
%9 = load i32, i32* %6
%10 = sub nsw i32 %9, 1
store i32 %10, i32* %7
br label %11
11: ; preds = %26, %3
%12 = load i32, i32* %7
%13 = icmp sge i32 %12, 0
br i1 %13, label %14, label %29
14: ; preds = %11
%15 = load i32*, i32** %4
%16 = load i32, i32* %7
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32*, i32** %5
%21 = load i32, i32* %8
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %20, i64 %22
store i32 %19, i32* %23
%24 = load i32, i32* %8
%25 = add nsw i32 %24, 1
store i32 %25, i32* %8
br label %26
26: ; preds = %14
%27 = load i32, i32* %7
%28 = add nsw i32 %27, -1
store i32 %28, i32* %7
br label %11
29: ; preds = %11
ret void
}

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