#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 */
typedef scalar_t__ *mp_srcptr;
typedef size_t mp_size_t;
typedef scalar_t__ *mp_ptr;
typedef scalar_t__ mp_limb_t;

/* Variables and functions */
mp_limb_t __mpn_add_n(mp_ptr res_ptr, mp_srcptr s1_ptr, mp_srcptr s2_ptr,
                      mp_size_t size) {
  register mp_limb_t x, y, cy;
  register mp_size_t j;
  j = -size;
  s1_ptr -= j;
  s2_ptr -= j;
  res_ptr -= j;
  cy = 0;
  do {
    y = s2_ptr[j];
    x = s1_ptr[j];
    y += cy;
    cy = (y < cy);
    y = x + y;
    cy = (y < x) + cy;
    res_ptr[j] = y;
  } while (++j != 0);
  return cy;
}


x86 assembly (clang, -O0):
<__mpn_add_n>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
xor    %eax,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdx
mov    -0x10(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x40(%rbp),%rdx
mov    -0x18(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x40(%rbp),%rdx
mov    -0x8(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x28(%rbp)
mov    -0x38(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
setl   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
setl   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
cmp    $0x0,%rax
jne    116e <__mpn_add_n+0x6e>
mov    -0x38(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__mpn_add_n>:
push   %rbx
mov    %rcx,%r8
neg    %r8
cmp    $0x1,%rcx
jne    1119 <__mpn_add_n+0x19>
xor    %eax,%eax
test   $0x1,%cl
jne    117e <__mpn_add_n+0x7e>
jmp    11a7 <__mpn_add_n+0xa7>
mov    %rcx,%r9
and    $0xfffffffffffffffe,%r9
xor    %eax,%eax
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdx,%r10,8),%r11
add    %r11,%rax
shr    $0x3f,%r11
mov    (%rsi,%r10,8),%rbx
add    %rax,%rbx
shr    $0x3f,%rax
add    %r11,%rax
mov    %rbx,(%rdi,%r10,8)
mov    0x8(%rdx,%r10,8),%rbx
add    %rbx,%rax
shr    $0x3f,%rbx
mov    0x8(%rsi,%r10,8),%r11
add    %rax,%r11
shr    $0x3f,%rax
add    %rbx,%rax
mov    %r11,0x8(%rdi,%r10,8)
add    $0x2,%r10
cmp    %r10,%r9
jne    1130 <__mpn_add_n+0x30>
add    %r10,%r8
test   $0x1,%cl
je     11a7 <__mpn_add_n+0xa7>
lea    (%rsi,%rcx,8),%rsi
lea    (%rdx,%rcx,8),%rdx
lea    (%rdi,%rcx,8),%rcx
mov    (%rdx,%r8,8),%rdx
add    %rdx,%rax
shr    $0x3f,%rdx
mov    (%rsi,%r8,8),%rsi
add    %rax,%rsi
shr    $0x3f,%rax
add    %rdx,%rax
mov    %rsi,(%rcx,%r8,8)
pop    %rbx
ret

LLVM IR (-O0):
define i64 @__mpn_add_n(i64* %0, i64* %1, i64* %2, i64 %3) {
%5 = alloca i64*
%6 = alloca i64*
%7 = alloca i64*
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
store i64* %0, i64** %5
store i64* %1, i64** %6
store i64* %2, i64** %7
store i64 %3, i64* %8
%13 = load i64, i64* %8
%14 = sub i64 0, %13
store i64 %14, i64* %12
%15 = load i64, i64* %12
%16 = load i64*, i64** %6
%17 = sub i64 0, %15
%18 = getelementptr inbounds i64, i64* %16, i64 %17
store i64* %18, i64** %6
%19 = load i64, i64* %12
%20 = load i64*, i64** %7
%21 = sub i64 0, %19
%22 = getelementptr inbounds i64, i64* %20, i64 %21
store i64* %22, i64** %7
%23 = load i64, i64* %12
%24 = load i64*, i64** %5
%25 = sub i64 0, %23
%26 = getelementptr inbounds i64, i64* %24, i64 %25
store i64* %26, i64** %5
store i64 0, i64* %11
br label %27
27: ; preds = %58, %4
%28 = load i64*, i64** %7
%29 = load i64, i64* %12
%30 = getelementptr inbounds i64, i64* %28, i64 %29
%31 = load i64, i64* %30
store i64 %31, i64* %10
%32 = load i64*, i64** %6
%33 = load i64, i64* %12
%34 = getelementptr inbounds i64, i64* %32, i64 %33
%35 = load i64, i64* %34
store i64 %35, i64* %9
%36 = load i64, i64* %11
%37 = load i64, i64* %10
%38 = add nsw i64 %37, %36
store i64 %38, i64* %10
%39 = load i64, i64* %10
%40 = load i64, i64* %11
%41 = icmp slt i64 %39, %40
%42 = zext i1 %41 to i32
%43 = sext i32 %42 to i64
store i64 %43, i64* %11
%44 = load i64, i64* %9
%45 = load i64, i64* %10
%46 = add nsw i64 %44, %45
store i64 %46, i64* %10
%47 = load i64, i64* %10
%48 = load i64, i64* %9
%49 = icmp slt i64 %47, %48
%50 = zext i1 %49 to i32
%51 = sext i32 %50 to i64
%52 = load i64, i64* %11
%53 = add nsw i64 %51, %52
store i64 %53, i64* %11
%54 = load i64, i64* %10
%55 = load i64*, i64** %5
%56 = load i64, i64* %12
%57 = getelementptr inbounds i64, i64* %55, i64 %56
store i64 %54, i64* %57
br label %58
58: ; preds = %27
%59 = load i64, i64* %12
%60 = add i64 %59, 1
store i64 %60, i64* %12
%61 = icmp ne i64 %60, 0
br i1 %61, label %27, label %62
62: ; preds = %58
%63 = load i64, i64* %11
ret i64 %63
}

LLVM IR (-O2):
define i64 @__mpn_add_n(i64* nocapture writeonly %0, i64* nocapture %1, i64* nocapture %2, i64 %3) {
%5 = sub i64 0, %3
%6 = getelementptr inbounds i64, i64* %1, i64 %3
%7 = getelementptr inbounds i64, i64* %2, i64 %3
%8 = getelementptr inbounds i64, i64* %0, i64 %3
%9 = and i64 %3, 1
%10 = icmp eq i64 %3, 1
br i1 %10, label %41, label %11
11: ; preds = %4
%12 = and i64 %3, -2
br label %13
13: ; preds = %13, %11
%14 = phi i64 [ 0, %11 ], [ %36, %13 ]
%15 = phi i64 [ %5, %11 ], [ %38, %13 ]
%16 = phi i64 [ 0, %11 ], [ %39, %13 ]
%17 = getelementptr inbounds i64, i64* %7, i64 %15
%18 = load i64, i64* %17
%19 = getelementptr inbounds i64, i64* %6, i64 %15
%20 = load i64, i64* %19
%21 = add nsw i64 %18, %14
%22 = lshr i64 %18, 63
%23 = add nsw i64 %20, %21
%24 = lshr i64 %21, 63
%25 = add nuw nsw i64 %24, %22
%26 = getelementptr inbounds i64, i64* %8, i64 %15
store i64 %23, i64* %26
%27 = add i64 %15, 1
%28 = getelementptr inbounds i64, i64* %7, i64 %27
%29 = load i64, i64* %28
%30 = getelementptr inbounds i64, i64* %6, i64 %27
%31 = load i64, i64* %30
%32 = add nsw i64 %29, %25
%33 = lshr i64 %29, 63
%34 = add nsw i64 %31, %32
%35 = lshr i64 %32, 63
%36 = add nuw nsw i64 %35, %33
%37 = getelementptr inbounds i64, i64* %8, i64 %27
store i64 %34, i64* %37
%38 = add i64 %15, 2
%39 = add i64 %16, 2
%40 = icmp eq i64 %39, %12
br i1 %40, label %41, label %13
41: ; preds = %13, %4
%42 = phi i64 [ undef, %4 ], [ %36, %13 ]
%43 = phi i64 [ 0, %4 ], [ %36, %13 ]
%44 = phi i64 [ %5, %4 ], [ %38, %13 ]
%45 = icmp eq i64 %9, 0
br i1 %45, label %57, label %46
46: ; preds = %41
%47 = getelementptr inbounds i64, i64* %7, i64 %44
%48 = load i64, i64* %47
%49 = getelementptr inbounds i64, i64* %6, i64 %44
%50 = load i64, i64* %49
%51 = add nsw i64 %48, %43
%52 = lshr i64 %48, 63
%53 = add nsw i64 %50, %51
%54 = lshr i64 %51, 63
%55 = add nuw nsw i64 %54, %52
%56 = getelementptr inbounds i64, i64* %8, i64 %44
store i64 %53, i64* %56
br label %57
57: ; preds = %41, %46
%58 = phi i64 [ %42, %41 ], [ %55, %46 ]
ret i64 %58
}