#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*/ insert_(int *, int *, int *, int *, int *);
int lstptr_(int *, int *, int *, int *);
int intadd_(int *kk, int *i1, int *i2, int *i3, int *list, int *lptr, int *lend,
            int *lnew) {
  static int k, n1, n2, n3, lp;
  --lend;
  --lptr;
  --list;
  k = *kk;
  n1 = *i1;
  n2 = *i2;
  n3 = *i3;
  lp = lstptr_(&lend[n1], &n2, &list[1], &lptr[1]);
  insert_(&k, &lp, &list[1], &lptr[1], lnew);
  lp = lstptr_(&lend[n2], &n3, &list[1], &lptr[1]);
  insert_(&k, &lp, &list[1], &lptr[1], lnew);
  lp = lstptr_(&lend[n3], &n1, &list[1], &lptr[1]);
  insert_(&k, &lp, &list[1], &lptr[1], lnew);
  list[*lnew] = n1;
  list[*lnew + 1] = n2;
  list[*lnew + 2] = n3;
  lptr[*lnew] = *lnew + 1;
  lptr[*lnew + 1] = *lnew + 2;
  lptr[*lnew + 2] = *lnew;
  lend[k] = *lnew + 2;
  *lnew += 3;
  return 0;
}


x86 assembly (clang, -O0):
<intadd_>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    0x10(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,0x10(%rbp)
mov    -0x30(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,0x2ebc(%rip)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,0x2eb4(%rip)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,0x2eac(%rip)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,0x2ea4(%rip)
mov    0x10(%rbp),%rdi
movslq 0x2e91(%rip),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rdx
add    $0x4,%rdx
mov    -0x30(%rbp),%rcx
add    $0x4,%rcx
lea    0x2e77(%rip),%rsi
call   1030 <lstptr_@plt>
mov    %eax,0x2e74(%rip)
mov    -0x28(%rbp),%rdx
add    $0x4,%rdx
mov    -0x30(%rbp),%rcx
add    $0x4,%rcx
mov    0x18(%rbp),%r8
lea    0x2e49(%rip),%rdi
lea    0x2e52(%rip),%rsi
call   1040 <insert_@plt>
mov    0x10(%rbp),%rdi
movslq 0x2e3a(%rip),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rdx
add    $0x4,%rdx
mov    -0x30(%rbp),%rcx
add    $0x4,%rcx
lea    0x2e20(%rip),%rsi
call   1030 <lstptr_@plt>
mov    %eax,0x2e19(%rip)
mov    -0x28(%rbp),%rdx
add    $0x4,%rdx
mov    -0x30(%rbp),%rcx
add    $0x4,%rcx
mov    0x18(%rbp),%r8
lea    0x2dee(%rip),%rdi
lea    0x2df7(%rip),%rsi
call   1040 <insert_@plt>
mov    0x10(%rbp),%rdi
movslq 0x2de3(%rip),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rdx
add    $0x4,%rdx
mov    -0x30(%rbp),%rcx
add    $0x4,%rcx
lea    0x2dbd(%rip),%rsi
call   1030 <lstptr_@plt>
mov    %eax,0x2dbe(%rip)
mov    -0x28(%rbp),%rdx
add    $0x4,%rdx
mov    -0x30(%rbp),%rcx
add    $0x4,%rcx
mov    0x18(%rbp),%r8
lea    0x2d93(%rip),%rdi
lea    0x2d9c(%rip),%rsi
call   1040 <insert_@plt>
mov    0x2d85(%rip),%edx
mov    -0x28(%rbp),%rax
mov    0x18(%rbp),%rcx
movslq (%rcx),%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x2d75(%rip),%edx
mov    -0x28(%rbp),%rax
mov    0x18(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x2d60(%rip),%edx
mov    -0x28(%rbp),%rax
mov    0x18(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x18(%rbp),%rax
mov    (%rax),%edx
add    $0x1,%edx
mov    -0x30(%rbp),%rax
mov    0x18(%rbp),%rcx
movslq (%rcx),%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x18(%rbp),%rax
mov    (%rax),%edx
add    $0x2,%edx
mov    -0x30(%rbp),%rax
mov    0x18(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x18(%rbp),%rax
mov    (%rax),%edx
mov    -0x30(%rbp),%rax
mov    0x18(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x18(%rbp),%rax
mov    (%rax),%edx
add    $0x2,%edx
mov    0x10(%rbp),%rax
movslq 0x2ce1(%rip),%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x3,%ecx
mov    %ecx,(%rax)
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<intadd_>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9,%r15
mov    %r8,%rbx
mov    0x48(%rsp),%r14
mov    0x40(%rsp),%rbp
mov    (%rdi),%eax
mov    %eax,0x2ef1(%rip)
lea    0x2eea(%rip),%r12
movslq (%rsi),%rax
mov    %eax,0x2ee5(%rip)
mov    (%rdx),%edx
mov    %edx,0x2ee1(%rip)
lea    0x2eda(%rip),%rsi
mov    (%rcx),%ecx
mov    %ecx,0x2ed6(%rip)
lea    -0x4(,%rax,4),%rdi
ff
add    %rbp,%rdi
mov    %r8,%rdx
mov    %r9,%rcx
call   1030 <lstptr_@plt>
mov    %eax,0x2ebe(%rip)
lea    0x2eb7(%rip),%r13
mov    %r12,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
mov    %r15,%rcx
mov    %r14,%r8
call   1040 <insert_@plt>
movslq 0x2e94(%rip),%rax
lea    -0x4(,%rax,4),%rdi
ff
add    %rbp,%rdi
lea    0x2e86(%rip),%rsi
mov    %rbx,%rdx
mov    %r15,%rcx
call   1030 <lstptr_@plt>
mov    %eax,0x2e79(%rip)
mov    %r12,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
mov    %r15,%rcx
mov    %r14,%r8
call   1040 <insert_@plt>
movslq 0x2e5a(%rip),%rax
lea    -0x4(,%rax,4),%rdi
ff
add    %rbp,%rdi
lea    0x2e40(%rip),%rsi
mov    %rbx,%rdx
mov    %r15,%rcx
call   1030 <lstptr_@plt>
mov    %eax,0x2e3b(%rip)
mov    %r12,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
mov    %r15,%rcx
mov    %r14,%r8
call   1040 <insert_@plt>
mov    0x2e15(%rip),%eax
movslq (%r14),%rcx
mov    %eax,-0x4(%rbx,%rcx,4)
mov    0x2e0c(%rip),%eax
movslq (%r14),%rcx
mov    %eax,(%rbx,%rcx,4)
mov    0x2e04(%rip),%eax
movslq (%r14),%rcx
mov    %eax,0x4(%rbx,%rcx,4)
movslq (%r14),%rax
lea    0x1(%rax),%ecx
mov    %ecx,-0x4(%r15,%rax,4)
movslq (%r14),%rax
lea    0x2(%rax),%ecx
mov    %ecx,(%r15,%rax,4)
movslq (%r14),%rax
mov    %eax,0x4(%r15,%rax,4)
mov    (%r14),%eax
add    $0x2,%eax
movslq 0x2dc7(%rip),%rcx
mov    %eax,-0x4(%rbp,%rcx,4)
addl   $0x3,(%r14)
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@intadd_.k = internal global i32 0
@intadd_.n1 = internal global i32 0
@intadd_.n2 = internal global i32 0
@intadd_.n3 = internal global i32 0
@intadd_.lp = internal global i32 0
define i32 @intadd_(i32* %0, i32* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7) {
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32*
%16 = alloca i32*
store i32* %0, i32** %9
store i32* %1, i32** %10
store i32* %2, i32** %11
store i32* %3, i32** %12
store i32* %4, i32** %13
store i32* %5, i32** %14
store i32* %6, i32** %15
store i32* %7, i32** %16
%17 = load i32*, i32** %15
%18 = getelementptr inbounds i32, i32* %17, i32 -1
store i32* %18, i32** %15
%19 = load i32*, i32** %14
%20 = getelementptr inbounds i32, i32* %19, i32 -1
store i32* %20, i32** %14
%21 = load i32*, i32** %13
%22 = getelementptr inbounds i32, i32* %21, i32 -1
store i32* %22, i32** %13
%23 = load i32*, i32** %9
%24 = load i32, i32* %23
store i32 %24, i32* @intadd_.k
%25 = load i32*, i32** %10
%26 = load i32, i32* %25
store i32 %26, i32* @intadd_.n1
%27 = load i32*, i32** %11
%28 = load i32, i32* %27
store i32 %28, i32* @intadd_.n2
%29 = load i32*, i32** %12
%30 = load i32, i32* %29
store i32 %30, i32* @intadd_.n3
%31 = load i32*, i32** %15
%32 = load i32, i32* @intadd_.n1
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32*, i32** %13
%36 = getelementptr inbounds i32, i32* %35, i64 1
%37 = load i32*, i32** %14
%38 = getelementptr inbounds i32, i32* %37, i64 1
%39 = call i32 @lstptr_(i32* %34, i32* @intadd_.n2, i32* %36, i32* %38)
store i32 %39, i32* @intadd_.lp
%40 = load i32*, i32** %13
%41 = getelementptr inbounds i32, i32* %40, i64 1
%42 = load i32*, i32** %14
%43 = getelementptr inbounds i32, i32* %42, i64 1
%44 = load i32*, i32** %16
%45 = call i32 @insert_(i32* @intadd_.k, i32* @intadd_.lp, i32* %41, i32* %43, i32* %44)
%46 = load i32*, i32** %15
%47 = load i32, i32* @intadd_.n2
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
%50 = load i32*, i32** %13
%51 = getelementptr inbounds i32, i32* %50, i64 1
%52 = load i32*, i32** %14
%53 = getelementptr inbounds i32, i32* %52, i64 1
%54 = call i32 @lstptr_(i32* %49, i32* @intadd_.n3, i32* %51, i32* %53)
store i32 %54, i32* @intadd_.lp
%55 = load i32*, i32** %13
%56 = getelementptr inbounds i32, i32* %55, i64 1
%57 = load i32*, i32** %14
%58 = getelementptr inbounds i32, i32* %57, i64 1
%59 = load i32*, i32** %16
%60 = call i32 @insert_(i32* @intadd_.k, i32* @intadd_.lp, i32* %56, i32* %58, i32* %59)
%61 = load i32*, i32** %15
%62 = load i32, i32* @intadd_.n3
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %61, i64 %63
%65 = load i32*, i32** %13
%66 = getelementptr inbounds i32, i32* %65, i64 1
%67 = load i32*, i32** %14
%68 = getelementptr inbounds i32, i32* %67, i64 1
%69 = call i32 @lstptr_(i32* %64, i32* @intadd_.n1, i32* %66, i32* %68)
store i32 %69, i32* @intadd_.lp
%70 = load i32*, i32** %13
%71 = getelementptr inbounds i32, i32* %70, i64 1
%72 = load i32*, i32** %14
%73 = getelementptr inbounds i32, i32* %72, i64 1
%74 = load i32*, i32** %16
%75 = call i32 @insert_(i32* @intadd_.k, i32* @intadd_.lp, i32* %71, i32* %73, i32* %74)
%76 = load i32, i32* @intadd_.n1
%77 = load i32*, i32** %13
%78 = load i32*, i32** %16
%79 = load i32, i32* %78
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %77, i64 %80
store i32 %76, i32* %81
%82 = load i32, i32* @intadd_.n2
%83 = load i32*, i32** %13
%84 = load i32*, i32** %16
%85 = load i32, i32* %84
%86 = add nsw i32 %85, 1
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds i32, i32* %83, i64 %87
store i32 %82, i32* %88
%89 = load i32, i32* @intadd_.n3
%90 = load i32*, i32** %13
%91 = load i32*, i32** %16
%92 = load i32, i32* %91
%93 = add nsw i32 %92, 2
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %90, i64 %94
store i32 %89, i32* %95
%96 = load i32*, i32** %16
%97 = load i32, i32* %96
%98 = add nsw i32 %97, 1
%99 = load i32*, i32** %14
%100 = load i32*, i32** %16
%101 = load i32, i32* %100
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i32, i32* %99, i64 %102
store i32 %98, i32* %103
%104 = load i32*, i32** %16
%105 = load i32, i32* %104
%106 = add nsw i32 %105, 2
%107 = load i32*, i32** %14
%108 = load i32*, i32** %16
%109 = load i32, i32* %108
%110 = add nsw i32 %109, 1
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i32, i32* %107, i64 %111
store i32 %106, i32* %112
%113 = load i32*, i32** %16
%114 = load i32, i32* %113
%115 = load i32*, i32** %14
%116 = load i32*, i32** %16
%117 = load i32, i32* %116
%118 = add nsw i32 %117, 2
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %115, i64 %119
store i32 %114, i32* %120
%121 = load i32*, i32** %16
%122 = load i32, i32* %121
%123 = add nsw i32 %122, 2
%124 = load i32*, i32** %15
%125 = load i32, i32* @intadd_.k
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i32, i32* %124, i64 %126
store i32 %123, i32* %127
%128 = load i32*, i32** %16
%129 = load i32, i32* %128
%130 = add nsw i32 %129, 3
store i32 %130, i32* %128
ret i32 0
}

LLVM IR (-O2):
@intadd_.k = internal global i32 0
@intadd_.n1 = internal global i32 0
@intadd_.n2 = internal global i32 0
@intadd_.n3 = internal global i32 0
@intadd_.lp = internal global i32 0
define i32 @intadd_(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2, i32* nocapture %3, i32* %4, i32* %5, i32* %6, i32* %7) {
%9 = getelementptr inbounds i32, i32* %6, i64 -1
%10 = getelementptr inbounds i32, i32* %5, i64 -1
%11 = getelementptr inbounds i32, i32* %4, i64 -1
%12 = load i32, i32* %0
store i32 %12, i32* @intadd_.k
%13 = load i32, i32* %1
store i32 %13, i32* @intadd_.n1
%14 = load i32, i32* %2
store i32 %14, i32* @intadd_.n2
%15 = load i32, i32* %3
store i32 %15, i32* @intadd_.n3
%16 = sext i32 %13 to i64
%17 = getelementptr inbounds i32, i32* %9, i64 %16
%18 = tail call i32 @lstptr_(i32* %17, i32* @intadd_.n2, i32* %4, i32* %5)
store i32 %18, i32* @intadd_.lp
%19 = tail call i32 @insert_(i32* @intadd_.k, i32* @intadd_.lp, i32* %4, i32* %5, i32* %7)
%20 = load i32, i32* @intadd_.n2
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %9, i64 %21
%23 = tail call i32 @lstptr_(i32* %22, i32* @intadd_.n3, i32* %4, i32* %5)
store i32 %23, i32* @intadd_.lp
%24 = tail call i32 @insert_(i32* @intadd_.k, i32* @intadd_.lp, i32* %4, i32* %5, i32* %7)
%25 = load i32, i32* @intadd_.n3
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %9, i64 %26
%28 = tail call i32 @lstptr_(i32* %27, i32* @intadd_.n1, i32* %4, i32* %5)
store i32 %28, i32* @intadd_.lp
%29 = tail call i32 @insert_(i32* @intadd_.k, i32* @intadd_.lp, i32* %4, i32* %5, i32* %7)
%30 = load i32, i32* @intadd_.n1
%31 = load i32, i32* %7
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %11, i64 %32
store i32 %30, i32* %33
%34 = load i32, i32* @intadd_.n2
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %11, i64 %37
store i32 %34, i32* %38
%39 = load i32, i32* @intadd_.n3
%40 = load i32, i32* %7
%41 = add nsw i32 %40, 2
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %11, i64 %42
store i32 %39, i32* %43
%44 = load i32, i32* %7
%45 = add nsw i32 %44, 1
%46 = sext i32 %44 to i64
%47 = getelementptr inbounds i32, i32* %10, i64 %46
store i32 %45, i32* %47
%48 = load i32, i32* %7
%49 = add nsw i32 %48, 2
%50 = add nsw i32 %48, 1
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %10, i64 %51
store i32 %49, i32* %52
%53 = load i32, i32* %7
%54 = add nsw i32 %53, 2
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i32, i32* %10, i64 %55
store i32 %53, i32* %56
%57 = load i32, i32* %7
%58 = add nsw i32 %57, 2
%59 = load i32, i32* @intadd_.k
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %9, i64 %60
store i32 %58, i32* %61
%62 = load i32, i32* %7
%63 = add nsw i32 %62, 3
store i32 %63, i32* %7
ret i32 0
}