// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: g_add
static s7_pointer g_add(s7_scheme *sc, s7_pointer args)
    {
#define H_add "(+ ...) adds its arguments"
#define Q_add sc->pcl_n
        s7_pointer x, p;
        s7_int num_a, den_a, dn;
        s7_double rl_a, im_a;

#if (!WITH_GMP)
        if (is_null(args))
            return(small_int(0));
#endif

        x = car(args);
        p = cdr(args);
        if (is_null(p))
        {
            if (!is_number(x))
                return(method_or_bust_with_type_one_arg(sc, x, sc->add_symbol, args, a_number_string));
            return(x);
        }

        switch (type(x))
        {
            case T_INTEGER:
                num_a = integer(x);

ADD_INTEGERS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_add(sc, cons(sc, s7_int_to_big_integer(sc, num_a), p)));
#endif
                x = car(p);
                p = cdr(p);

                switch (type(x))
                {
                    case T_INTEGER:
#if HAVE_OVERFLOW_CHECKS
                        if (add_overflow(num_a, integer(x), &den_a))
                        {
                            rl_a = (s7_double)num_a + (s7_double)integer(x);
                            if (is_null(p)) return(make_real(sc, rl_a));
                            goto ADD_REALS;
                        }
#else
                        den_a = num_a + integer(x);
                        if (den_a < 0)
                        {
                            if ((num_a > 0) && (integer(x) > 0))
                            {
                                rl_a = (s7_double)num_a + (s7_double)integer(x);
                                if (is_null(p)) return(make_real(sc, rl_a));
                                goto ADD_REALS;
                            }
                        }
                        else
                        {
                            if ((num_a < 0) && (integer(x) < 0))
                            {
                                rl_a = (s7_double)num_a + (s7_double)integer(x);
                                if (is_null(p)) return(make_real(sc, rl_a));
                                /* this is not ideal!  piano.scm has its own noise generator that wants integer
                                 *    arithmetic to overflow as an integer.  Perhaps 'safety==0 would not check anywhere?
                                 */
                                goto ADD_REALS;
                            }
                        }
#endif
                        if (is_null(p)) return(make_integer(sc, den_a));
                        num_a = den_a;
                        /* (+ 4611686018427387904 4611686018427387904) -> -9223372036854775808
                         * (+ most-positive-fixnum most-positive-fixnum) -> -2
                         * (+ most-negative-fixnum most-negative-fixnum) -> 0
                         * can't check result - arg: (- 0 most-negative-fixnum) -> most-negative-fixnum
                         */
                        goto ADD_INTEGERS;

                    case T_RATIO:
                        den_a = denominator(x);
#if HAVE_OVERFLOW_CHECKS
                        if ((multiply_overflow(den_a, num_a, &dn)) ||
                                (add_overflow(dn, numerator(x), &dn)))
                        {
                            if (is_null(p))
                            {
                                if (num_a == 0)                /* (+ 0 1/9223372036854775807) */
                                    return(x);
                                return(make_real(sc, num_a + fraction(x)));
                            }
                            rl_a = (s7_double)num_a + fraction(x);
                            goto ADD_REALS;
                        }
#else
                        dn = numerator(x) + (num_a * den_a);
#endif
                        if (is_null(p)) return(s7_make_ratio(sc, dn, den_a));
                        num_a = dn;

                        /* overflow examples:
                         *   (+ 100000 1/142857142857140) -> -832205957599110323/28571428571428
                         *   (+ 4611686018427387904 3/4) -> 3/4
                         * see s7test for more
                         */
                        goto ADD_RATIOS;

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, num_a + real(x)));
                        rl_a = (s7_double)num_a + real(x);
                        goto ADD_REALS;

                    case T_COMPLEX:
                        if (is_null(p)) return(s7_make_complex(sc, num_a + real_part(x), imag_part(x)));
                        rl_a = (s7_double)num_a + real_part(x);
                        im_a = imag_part(x);
                        goto ADD_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->add_symbol, cons_unchecked(sc, s7_make_integer(sc, num_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            case T_RATIO:
                num_a = numerator(x);
                den_a = denominator(x);
ADD_RATIOS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (den_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_add(sc, cons(sc, s7_ratio_to_big_ratio(sc, num_a, den_a), p)));
#endif
                x = car(p);
                p = cdr(p);

                switch (type(x))
                {
                    case T_INTEGER:
#if HAVE_OVERFLOW_CHECKS
                        if ((multiply_overflow(den_a, integer(x), &dn)) ||
                                (add_overflow(dn, num_a, &dn)))
                        {
                            /* (+ 3/4 4611686018427387904) -> 3/4
                             * (+ 1/17179869184 1073741824) -> 1/17179869184
                             * (+ 1/8589934592 1073741824) -> -9223372036854775807/8589934592
                             */
                            if (is_null(p))
                                return(make_real(sc, (s7_double)integer(x) + ((long_double)num_a / (long_double)den_a)));
                            rl_a = (s7_double)integer(x) + ((long_double)num_a / (long_double)den_a);
                            goto ADD_REALS;
                        }
#else
                        dn = num_a + (integer(x) * den_a);
#endif
                        if (is_null(p)) return(s7_make_ratio(sc, dn, den_a));
                        num_a = dn;
                        if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                            goto ADD_INTEGERS;
                        goto ADD_RATIOS;

                    case T_RATIO:
                        {
                            s7_int d1, d2, n1, n2;
                            d1 = den_a;
                            n1 = num_a;
                            d2 = denominator(x);
                            n2 = numerator(x);
                            if (d1 == d2)                                     /* the easy case -- if overflow here, it matches the int32_t case */
                            {
                                if (is_null(p))
                                    return(s7_make_ratio(sc, n1 + n2, d1));
                                num_a += n2;                  /* d1 can't be zero */
                            }
                            else
                            {
#if (!WITH_GMP)
#if HAVE_OVERFLOW_CHECKS
                                s7_int n1d2, n2d1;
                                if ((multiply_overflow(d1, d2, &den_a)) ||
                                        (multiply_overflow(n1, d2, &n1d2)) ||
                                        (multiply_overflow(n2, d1, &n2d1)) ||
                                        (add_overflow(n1d2, n2d1, &num_a)))
                                {
                                    if (is_null(p))
                                        return(make_real(sc, ((long_double)n1 / (long_double)d1) + ((long_double)n2 / (long_double)d2)));
                                    rl_a = ((long_double)n1 / (long_double)d1) + ((long_double)n2 / (long_double)d2);
                                    goto ADD_REALS;
                                }
#else
                                num_a = n1 * d2 + n2 * d1;
                                den_a = d1 * d2;
#endif
#else
                                num_a = n1 * d2 + n2 * d1;
                                den_a = d1 * d2;
#endif
                                if (is_null(p))
                                    return(s7_make_ratio(sc, num_a, den_a));
                            }
                            /* (+ 1/100 99/100 (- most-positive-fixnum 2)) should not be converted to real */
                            if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                                goto ADD_INTEGERS;
                            goto ADD_RATIOS;
                        }

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, ((long_double)num_a / (long_double)den_a) + real(x)));
                        rl_a = ((long_double)num_a / (long_double)den_a) + real(x);
                        goto ADD_REALS;

                    case T_COMPLEX:
                        if (is_null(p)) return(s7_make_complex(sc, ((long_double)num_a / (long_double)den_a) + real_part(x), imag_part(x)));
                        rl_a = ((long_double)num_a / (long_double)den_a) + real_part(x);
                        im_a = imag_part(x);
                        goto ADD_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->add_symbol, cons_unchecked(sc, s7_make_ratio(sc, num_a, den_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            case T_REAL:
                rl_a = real(x);

ADD_REALS:
                x = car(p);
                p = cdr(p);

                switch (type(x))
                {
                    case T_INTEGER:
                        if (is_null(p)) return(make_real(sc, rl_a + integer(x)));
                        rl_a += (s7_double)integer(x);
                        goto ADD_REALS;

                    case T_RATIO:
                        if (is_null(p)) return(make_real(sc, rl_a + fraction(x)));
                        rl_a += (s7_double)fraction(x);
                        goto ADD_REALS;

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, rl_a + real(x)));
                        rl_a += real(x);
                        goto ADD_REALS;

                    case T_COMPLEX:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a + real_part(x), imag_part(x)));
                        rl_a += real_part(x);
                        im_a = imag_part(x);
                        goto ADD_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->add_symbol, cons_unchecked(sc, make_real(sc, rl_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            case T_COMPLEX:
                rl_a = real_part(x);
                im_a = imag_part(x);

ADD_COMPLEX:
                x = car(p);
                p = cdr(p);

                switch (type(x))
                {
                    case T_INTEGER:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a + integer(x), im_a));
                        rl_a += (s7_double)integer(x);
                        goto ADD_COMPLEX;

                    case T_RATIO:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a + fraction(x), im_a));
                        rl_a += (s7_double)fraction(x);
                        goto ADD_COMPLEX;

                    case T_REAL:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a + real(x), im_a));
                        rl_a += real(x);
                        goto ADD_COMPLEX;

                    case T_COMPLEX:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a + real_part(x), im_a + imag_part(x)));
                        rl_a += real_part(x);
                        im_a += imag_part(x);
                        if (im_a == 0.0)
                            goto ADD_REALS;
                        goto ADD_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->add_symbol, cons_unchecked(sc, s7_make_complex(sc, rl_a, im_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            default:
                return(method_or_bust_with_type(sc, x, sc->add_symbol, args, a_number_string, 1));
        }
        return(NULL); /* make the compiler happy */
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x148, %rsp            # imm = 0x148
movq 0x110(%rdi), %rbx
cmpq %rsi, %rbx
je 0x54cb8
movq %rsi, %r14
movq %rdi, %r13
movq 0x8(%rsi), %r12
movq 0x10(%rsi), %r15
movzbl (%r12), %eax
cmpq %rbx, %r15
je 0x54cc4
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0x54e11
leaq 0x7edef(%rip), %rcx     # 0xd3a34
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq %r13, (%rsp)
addq $0x8, %r12
movq (%r12), %r13
leaq 0x7ede3(%rip), %rax     # 0xd3a44
movq 0x8(%r15), %r12
movq 0x10(%r15), %r15
movzbl (%r12), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0x54f29
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
cvtsi2sd %r13, %xmm0
jmpq *%rcx
movq 0x8(%r12), %rcx
addq %rcx, %r13
jo 0x54fcd
cmpq %rbx, %r15
jne 0x54c61
cmpq $0x7ff, %r13            # imm = 0x7FF
ja 0x554fd
leaq 0xc0ca1(%rip), %rax     # 0x115950
movq (%rax,%r13,8), %r12
jmp 0x5564c
movq 0xc0c91(%rip), %r12     # 0x115950
jmp 0x5564c
leaq 0xc4ca5(%rip), %rcx     # 0x119970
cmpb $0x0, (%rax,%rcx)
jne 0x5564c
movq 0xba8(%r13), %rdx
movq 0xcf6bd(%rip), %r8      # 0x1243a0
movq %r13, %rdi
movq %r12, %rsi
movq %r14, %rcx
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc736d
movsd 0x8(%r12), %xmm0
jmp 0x5502b
movsd 0x8(%r12), %xmm0
addq $0x10, %r12
movq %r12, %rax
jmp 0x55333
movq %r13, (%rsp)
movq 0x8(%r12), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%r12), %rax
movq %rax, 0x18(%rsp)
leaq 0x7ed14(%rip), %r13     # 0xd3a54
leaq 0x10(%rsp), %r12
movq 0x8(%r15), %rbp
movq 0x10(%r15), %r15
movzbl (%rbp), %eax
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0x55235
movslq (%r13,%rax,4), %rax
addq %r13, %rax
jmpq *%rax
movq 0x18(%rsp), %rdx
movq 0x8(%rbp), %rax
movq %rdx, %rsi
imulq %rax, %rsi
jo 0x54e31
addq 0x10(%rsp), %rsi
jno 0x54da3
jmp 0x54e31
movq 0x18(%rsp), %rdx
movq 0x10(%rsp), %r8
movq 0x8(%rbp), %rsi
movq 0x10(%rbp), %rdi
cmpq %rdi, %rdx
jne 0x54db3
addq %r8, %rsi
cmpq %rbx, %r15
je 0x54fd8
movq %rsi, 0x10(%rsp)
jmp 0x54df6
movq %rdx, %rax
imulq %rdi, %rax
movq %rax, 0x18(%rsp)
jo 0x54e80
movq %r8, %rcx
imulq %rdi, %rcx
jo 0x54e80
movq %rsi, %r9
imulq %rdx, %r9
jo 0x54e80
addq %r9, %rcx
movq %rcx, 0x10(%rsp)
jo 0x54e80
cmpq %rbx, %r15
je 0x55541
movq %r12, %rdi
leaq 0x18(%rsp), %rsi
callq 0xc7ce0
cmpl $0xb, %eax
jne 0x54d45
jmp 0x54c56
movq 0xba8(%r13), %rdx
movq 0xcf581(%rip), %r8      # 0x1243a0
pushq $0x1
popq %r9
movq %r13, %rdi
movq %r12, %rsi
movq %r14, %rcx
jmp 0x55492
cvtsi2sd %rax, %xmm0
movsd %xmm0, 0xd8(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0xe0(%rsp)
fildll 0xe0(%rsp)
movq %rdx, 0xe8(%rsp)
fildll 0xe8(%rsp)
fdivrp %st, %st(1)
faddl 0xd8(%rsp)
fstpl 0xd0(%rsp)
movsd 0xd0(%rsp), %xmm0
jmp 0x5501e
movq %r8, 0xf8(%rsp)
fildll 0xf8(%rsp)
movq %rdx, 0x100(%rsp)
fildll 0x100(%rsp)
fdivrp %st, %st(1)
movq %rsi, 0x108(%rsp)
fildll 0x108(%rsp)
movq %rdi, 0x110(%rsp)
fildll 0x110(%rsp)
fdivrp %st, %st(1)
faddp %st, %st(1)
fstpl 0xf0(%rsp)
movsd 0xf0(%rsp), %xmm0
jmp 0x5501e
leaq 0x10(%r12), %rax
addsd 0x8(%r12), %xmm0
jmp 0x55326
movq 0x10(%r12), %rdx
movq %rdx, 0x18(%rsp)
movq %rdx, %rsi
imulq %r13, %rsi
jo 0x55561
addq 0x8(%r12), %rsi
jo 0x55561
cmpq %rbx, %r15
je 0x54fd8
movq %rsi, 0x10(%rsp)
jmp 0x54d39
addsd 0x8(%r12), %xmm0
jmp 0x5501e
movq (%rsp), %rbx
movq 0xba8(%rbx), %rax
movq %rax, 0x8(%rsp)
movq %rbx, %rdi
movq %r13, %rsi
callq 0xc049
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x54f66
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %ecx         # imm = 0x200001
movq %rcx, (%rax)
movq %r12, 0x8(%rax)
movq %r15, 0x10(%rax)
movq 0x90(%rbx), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rdx), %rbp
movq %rcx, (%rbp)
movq %r13, 0x8(%rbp)
movq %rax, 0x10(%rbp)
movq 0xcf3f2(%rip), %r13     # 0x1243a0
movq %r15, %rdi
movq %r14, %rsi
callq 0x72a82
leal -0x1(%rax), %r9d
movq %rbx, %rdi
movq %r12, %rsi
movq 0x8(%rsp), %rdx
jmp 0x551bf
cvtsi2sd %rcx, %xmm1
addsd %xmm1, %xmm0
jmp 0x5501e
movq (%rsp), %rdi
jmp 0x5554b
movq 0x10(%rsp), %rax
movq %rax, 0x120(%rsp)
fildll 0x120(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x128(%rsp)
fildll 0x128(%rsp)
fdivrp %st, %st(1)
faddl 0x8(%rbp)
fstpl 0x118(%rsp)
movsd 0x118(%rsp), %xmm0
cmpq %rbx, %r15
je 0x555ff
movq (%rsp), %r13
leaq 0x7ea32(%rip), %rax     # 0xd3a64
jmp 0x55069
cmpq %rbx, %r15
je 0x551ca
movq 0x8(%r12), %rcx
movq 0x10(%r12), %rdx
movq %rcx, 0x50(%rsp)
fildll 0x50(%rsp)
movq %rdx, 0x48(%rsp)
fildll 0x48(%rsp)
fdivrp %st, %st(1)
fstpl 0x40(%rsp)
movsd 0x40(%rsp), %xmm1
addsd %xmm1, %xmm0
movq 0x8(%r15), %r12
movq 0x10(%r15), %r15
movzbl (%r12), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0x550eb
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
cvtsi2sdq 0x8(%r12), %xmm1
jmp 0x55097
movsd 0x8(%r12), %xmm1
cmpq %rbx, %r15
jne 0x55065
addsd %xmm1, %xmm0
movq 0x90(%r13), %rax
cmpq 0x98(%r13), %rax
ja 0x55225
movq %r13, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x9c27
movsd 0x8(%rsp), %xmm0
jmp 0x5521e
leaq 0x10(%r12), %rax
addsd 0x8(%r12), %xmm0
cmpq %rbx, %r15
jne 0x55333
movsd (%rax), %xmm1
jmp 0x554da
movq 0xba8(%r13), %rax
movq %rax, (%rsp)
movq 0x90(%r13), %rax
cmpq 0x98(%r13), %rax
ja 0x55121
movq %r13, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x9c27
movsd 0x8(%rsp), %xmm0
movq 0x90(%r13), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r13)
movq -0x8(%rax), %rbx
movq $0xd, (%rbx)
movsd %xmm0, 0x8(%rbx)
movq 0x90(%r13), %rax
cmpq 0x98(%r13), %rax
ja 0x5515b
movq %r13, %rdi
callq 0x9c27
movq 0x90(%r13), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r13)
movq -0x8(%rax), %rax
movl $0x200001, %ecx         # imm = 0x200001
movq %rcx, (%rax)
movq %r12, 0x8(%rax)
movq %r15, 0x10(%rax)
movq 0x90(%r13), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%r13)
movq -0x8(%rdx), %rbp
movq %rcx, (%rbp)
movq %rbx, 0x8(%rbp)
movq %rax, 0x10(%rbp)
movq %r13, %rbx
movq 0xcf1fa(%rip), %r13     # 0x1243a0
movq %r15, %rdi
movq %r14, %rsi
callq 0x72a82
leal -0x1(%rax), %r9d
movq %rbx, %rdi
movq %r12, %rsi
movq (%rsp), %rdx
movq %rbp, %rcx
movq %r13, %r8
jmp 0x55492
movsd %xmm0, 0x28(%rsp)
movq 0x8(%r12), %rax
movq 0x10(%r12), %rcx
movq %rax, 0x38(%rsp)
fildll 0x38(%rsp)
movq %rcx, 0x30(%rsp)
fildll 0x30(%rsp)
fdivrp %st, %st(1)
faddl 0x28(%rsp)
fstpl 0x20(%rsp)
movsd 0x20(%rsp), %xmm0
movq 0x90(%r13), %rax
cmpq 0x98(%r13), %rax
ja 0x55225
movq %r13, %rdi
movsd %xmm0, (%rsp)
callq 0x9c27
movsd (%rsp), %xmm0
movq 0x90(%r13), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r13)
jmp 0x55639
movq (%rsp), %rbx
movq 0xba8(%rbx), %rax
movq %rax, 0x8(%rsp)
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq %rbx, %rdi
callq 0xbd87
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x55279
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %ecx         # imm = 0x200001
movq %rcx, (%rax)
movq %rbp, 0x8(%rax)
movq %r15, 0x10(%rax)
movq 0x90(%rbx), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rdx), %r12
movq %rcx, (%r12)
movq %r13, 0x8(%r12)
movq %rax, 0x10(%r12)
movq 0xcf0dd(%rip), %r13     # 0x1243a0
movq %r15, %rdi
movq %r14, %rsi
callq 0x72a82
leal -0x1(%rax), %r9d
movq %rbx, %rdi
movq %rbp, %rsi
movq 0x8(%rsp), %rdx
movq %r12, %rcx
jmp 0x551c2
movq 0x10(%rsp), %rax
movq %rax, 0x138(%rsp)
fildll 0x138(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x140(%rsp)
fildll 0x140(%rsp)
fdivrp %st, %st(1)
faddl 0x8(%rbp)
leaq 0x10(%rbp), %rax
fstpl 0x130(%rsp)
movsd 0x130(%rsp), %xmm0
cmpq %rbx, %r15
je 0x554f3
movq (%rsp), %r13
movsd (%rax), %xmm1
leaq 0x7e736(%rip), %rax     # 0xd3a74
xorpd %xmm3, %xmm3
movq 0x8(%r15), %r12
movq 0x10(%r15), %r15
movzbl (%r12), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0x553f3
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
cvtsi2sdq 0x8(%r12), %xmm2
jmp 0x55374
movsd 0x8(%r12), %xmm2
cmpq %rbx, %r15
jne 0x553b8
jmp 0x553ea
cmpq %rbx, %r15
je 0x554a8
movq 0x8(%r12), %rcx
movq 0x10(%r12), %rdx
movq %rcx, 0x88(%rsp)
fildll 0x88(%rsp)
movq %rdx, 0x80(%rsp)
fildll 0x80(%rsp)
fdivrp %st, %st(1)
fstpl 0x78(%rsp)
movsd 0x78(%rsp), %xmm2
addsd %xmm2, %xmm0
jmp 0x55342
addsd 0x8(%r12), %xmm0
addsd 0x10(%r12), %xmm1
cmpq %rbx, %r15
je 0x554da
ucomisd %xmm3, %xmm1
jne 0x55342
jp 0x55342
jmp 0x5502b
addsd %xmm2, %xmm0
jmp 0x554da
movq 0xba8(%r13), %rax
movq %rax, (%rsp)
movq %r13, %rdi
callq 0xc152
movq %rax, %rbp
movq 0x90(%r13), %rax
cmpq 0x98(%r13), %rax
ja 0x55428
movq %r13, %rdi
callq 0x9c27
movq 0x90(%r13), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r13)
movq -0x8(%rax), %rax
movl $0x200001, %ecx         # imm = 0x200001
movq %rcx, (%rax)
movq %r12, 0x8(%rax)
movq %r15, 0x10(%rax)
movq 0x90(%r13), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%r13)
movq %r13, %rbx
movq -0x8(%rdx), %r13
movq %rcx, (%r13)
movq %rbp, 0x8(%r13)
movq %rax, 0x10(%r13)
movq 0xcef2d(%rip), %rbp     # 0x1243a0
movq %r15, %rdi
movq %r14, %rsi
callq 0x72a82
leal -0x1(%rax), %r9d
movq %rbx, %rdi
movq %r12, %rsi
movq (%rsp), %rdx
movq %r13, %rcx
movq %rbp, %r8
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xcf9a
movsd %xmm0, 0x60(%rsp)
movq 0x8(%r12), %rax
movq 0x10(%r12), %rcx
movq %rax, 0x70(%rsp)
fildll 0x70(%rsp)
movq %rcx, 0x68(%rsp)
fildll 0x68(%rsp)
fdivrp %st, %st(1)
faddl 0x60(%rsp)
fstpl 0x58(%rsp)
movsd 0x58(%rsp), %xmm0
movq %r13, %rdi
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc152
movsd (%rax), %xmm1
movq (%rsp), %rdi
jmp 0x554dd
movq (%rsp), %rbx
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x55520
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r12
movq $0xb, (%r12)
movq %r13, 0x8(%r12)
jmp 0x5564c
movq (%rsp), %rdi
movq %rcx, %rsi
movq %rax, %rdx
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xbd87
cmpq %rbx, %r15
je 0x555b0
movsd %xmm0, 0xb8(%rsp)
movq 0x8(%r12), %rax
movq %rax, 0xc8(%rsp)
fildll 0xc8(%rsp)
movq %rdx, 0xc0(%rsp)
fildll 0xc0(%rsp)
fdivrp %st, %st(1)
faddl 0xb8(%rsp)
fstpl 0xb0(%rsp)
movsd 0xb0(%rsp), %xmm0
jmp 0x55027
testq %r13, %r13
je 0x5564c
movq %r13, 0x98(%rsp)
fildll 0x98(%rsp)
movq 0x8(%r12), %rax
movq %rax, 0xa8(%rsp)
fildll 0xa8(%rsp)
movq %rdx, 0xa0(%rsp)
fildll 0xa0(%rsp)
fdivrp %st, %st(1)
faddp %st, %st(1)
fstpl 0x90(%rsp)
movsd 0x90(%rsp), %xmm0
movq (%rsp), %rbx
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x5562e
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x9c27
movsd 0x8(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r12
movq $0xd, (%r12)
movsd %xmm0, 0x8(%r12)
movq %r12, %rax
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq