// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: g_subtract
static s7_pointer g_subtract(s7_scheme *sc, s7_pointer args)
    {
#define H_subtract "(- x1 ...) subtracts its trailing arguments from the first, or negates the first if only one it is given"
#define Q_subtract sc->pcl_n

        s7_pointer x, p;
        s7_int num_a, den_a;
        s7_double rl_a, im_a;

        x = car(args);
        p = cdr(args);

#if (!WITH_GMP)
        if (is_null(p))
        {
            if (!is_number(x))
                return(method_or_bust_with_type_one_arg(sc, x, sc->subtract_symbol, args, a_number_string));
            return(s7_negate(sc, x));
        }
#endif

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

SUBTRACT_INTEGERS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_subtract(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 (subtract_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 SUBTRACT_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 SUBTRACT_REALS;
                            }
                            /* (- most-positive-fixnum most-negative-fixnum) -> -1 (1.8446744073709551615E19) */
                        }
                        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));
                                goto SUBTRACT_REALS;
                            }
                            /* (- most-negative-fixnum most-positive-fixnum) -> 1 (-1.8446744073709551615E19) */
                        }
#endif
                        if (is_null(p)) return(make_integer(sc, den_a));
                        num_a = den_a;
                        goto SUBTRACT_INTEGERS;

                    case T_RATIO:
                        {
                            s7_int dn;
                            den_a = denominator(x);
#if HAVE_OVERFLOW_CHECKS
                            if ((multiply_overflow(num_a, den_a, &dn)) ||
                                    (subtract_overflow(dn, numerator(x), &dn)))
                            {
                                if (is_null(p)) return(make_real(sc, num_a - fraction(x)));
                                rl_a = (s7_double)num_a - fraction(x);
                                goto SUBTRACT_REALS;
                            }
#else
                            dn = (num_a * den_a) - numerator(x);
#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 SUBTRACT_INTEGERS;
                            goto SUBTRACT_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 SUBTRACT_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 SUBTRACT_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->subtract_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);
SUBTRACT_RATIOS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (den_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_subtract(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
                        {
                            s7_int di;
                            if ((multiply_overflow(den_a, integer(x), &di)) ||
                                    (subtract_overflow(num_a, di, &di)))
                            {
                                if (is_null(p)) return(make_real(sc, ((long_double)num_a / (long_double)den_a) - integer(x)));
                                rl_a = ((long_double)num_a / (long_double)den_a) - integer(x);
                                goto SUBTRACT_REALS;
                            }
                            if (is_null(p)) return(s7_make_ratio(sc, di, den_a));
                            num_a = di;
                        }
#else
                        if (is_null(p)) return(s7_make_ratio(sc, num_a - (den_a * integer(x)), den_a));
                        num_a -= (den_a * integer(x));
#endif
                        if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                            goto SUBTRACT_INTEGERS;
                        goto SUBTRACT_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) && HAVE_OVERFLOW_CHECKS
                                s7_int n1d2, n2d1;
                                if ((multiply_overflow(d1, d2, &den_a)) ||
                                        (multiply_overflow(n1, d2, &n1d2)) ||
                                        (multiply_overflow(n2, d1, &n2d1)) ||
                                        (subtract_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 SUBTRACT_REALS;
                                }
#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));
                            }
                            if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                                goto SUBTRACT_INTEGERS;
                            goto SUBTRACT_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 SUBTRACT_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 SUBTRACT_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->subtract_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);

SUBTRACT_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 SUBTRACT_REALS;

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

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, rl_a - real(x)));
                        rl_a -= real(x);
                        goto SUBTRACT_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 SUBTRACT_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->subtract_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);

SUBTRACT_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 SUBTRACT_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 SUBTRACT_COMPLEX;

                    case T_REAL:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a - real(x), im_a));
                        rl_a -= real(x);
                        goto SUBTRACT_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 SUBTRACT_REALS;
                        goto SUBTRACT_COMPLEX;

                    default:
                        return(method_or_bust_with_type(sc, x, sc->subtract_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->subtract_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 $0x158, %rsp            # imm = 0x158
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rsi
movq 0x10(%r14), %r12
movzbl (%rsi), %eax
cmpq 0x110(%rdi), %r12
je 0x6fafd
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0x6fc19
leaq 0xa1134(%rip), %rcx     # 0x110a24
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x8(%rsi), %rax
movq %rax, (%rsp)
movq %rsp, %rdi
leaq 0x8(%rsp), %r8
movq (%rsp), %rax
movq 0x8(%rsp), %r13
movq %rax, %rsi
movq 0x8(%r12), %rbp
movq 0x10(%r12), %r12
movzbl (%rbp), %eax
cmpl $0xb, %eax
jne 0x6f949
movq 0x8(%rbp), %rax
movq %rsi, %r13
subq %rax, %r13
jo 0x700c1
movq %r13, %rax
cmpq 0x110(%rbx), %r12
jne 0x6f912
jmp 0x700f0
cmpl $0xc, %eax
jne 0x6fc38
movq %rsi, (%rsp)
movq %r13, 0x8(%rsp)
movq 0x10(%rbp), %rdx
movq %rdx, 0x8(%rsp)
movq %rsi, %rax
imulq %rdx, %rax
jo 0x6f977
subq 0x8(%rbp), %rax
jno 0x6fa81
cmpq 0x110(%rbx), %r12
je 0x6f9d6
xorps %xmm0, %xmm0
cvtsi2sd %rsi, %xmm0
movsd %xmm0, 0x140(%rsp)
movq 0x8(%rbp), %rax
movq %rax, 0x150(%rsp)
fildll 0x150(%rsp)
movq %rdx, 0x148(%rsp)
fildll 0x148(%rsp)
fdivrp %st, %st(1)
fsubrl 0x140(%rsp)
fstpl 0x138(%rsp)
movl $0x7, %eax
movsd 0x138(%rsp), %xmm0
jmp 0x6fadd
movq %rsi, 0x120(%rsp)
fildll 0x120(%rsp)
movq 0x8(%rbp), %rax
movq %rax, 0x130(%rsp)
fildll 0x130(%rsp)
movq %rdx, 0x128(%rsp)
fildll 0x128(%rsp)
fdivrp %st, %st(1)
fsubrp %st, %st(1)
fstpl 0x118(%rsp)
movsd 0x118(%rsp), %xmm1
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x6fa57
movq %rdi, %r15
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
movq %r8, %r13
movsd %xmm1, 0x28(%rsp)
callq 0xb389
movsd 0x28(%rsp), %xmm1
movq %r13, %r8
movq %r15, %rdi
movsd 0x10(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0xd, (%r15)
movsd %xmm1, 0x8(%r15)
movl $0x1, %eax
jmp 0x6fadd
movsd %xmm0, 0x10(%rsp)
cmpq 0x110(%rbx), %r12
je 0x6fab8
movq %rax, (%rsp)
movq %rdi, %r13
movq %r8, %rsi
movq %r8, %rbp
callq 0x103995
movq %rbp, %r8
movq %r13, %rdi
xorl %ecx, %ecx
cmpl $0xb, %eax
setne %cl
leal (%rcx,%rcx,8), %eax
addl $0x3, %eax
jmp 0x6fad7
movq %rdi, %r15
movq %rbx, %rdi
movq %rax, %rsi
movq %r8, %r13
callq 0xdd7f
movq %r13, %r8
movq %r15, %rdi
movq %rax, %r15
movl $0x1, %eax
movsd 0x10(%rsp), %xmm0
cmpl $0x3, %eax
je 0x6f909
cmpl $0x7, %eax
je 0x7017f
cmpl $0xc, %eax
je 0x6fc0d
jmp 0x7052b
leaq 0xe2e6c(%rip), %rcx     # 0x152970
cmpb $0x0, (%rax,%rcx)
je 0x6fbb9
cmpq $0xd, %rax
je 0x6ffaf
cmpl $0xc, %eax
je 0x6ff89
cmpl $0xb, %eax
jne 0x6ffe9
movq 0x8(%rsi), %r14
movl 0xe2ef4(%rip), %eax     # 0x152a28
shlq $0x3f, %rax
cmpq %rax, %r14
jne 0x70116
movq 0x1588(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x820(%rbx), %rcx
movslq 0x7dc(%rbx), %rdx
movq (%rcx,%rdx,8), %rcx
incl %edx
andl $0x7, %edx
movl %edx, 0x7dc(%rbx)
leaq 0xb4a82(%rip), %rdx     # 0x1245f2
movq %rdx, 0x10(%rcx)
movq $0x25, 0x8(%rcx)
movq 0x1ef8(%rbx), %rdx
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x1948(%rbx), %r15
movq 0x1ef8(%rbx), %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3b366
jmp 0x7052b
movq 0x1588(%rbx), %rdx
movq 0xed7d9(%rip), %r8      # 0x15d3a0
movq %rbx, %rdi
movq %r14, %rcx
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x103001
movsd 0x8(%rsi), %xmm0
jmp 0x7017f
movsd 0x8(%rsi), %xmm0
movsd 0x10(%rsi), %xmm1
jmp 0x70226
movq 0x8(%rsi), %rax
movq %rax, (%rsp)
movq 0x10(%rsi), %rax
movq %rax, 0x8(%rsp)
leaq 0xa0e20(%rip), %r13     # 0x110a34
jmp 0x6fce5
movq 0x1588(%rbx), %rdx
movq 0xed779(%rip), %r8      # 0x15d3a0
movq %rbx, %rdi
movq %r14, %rcx
movl $0x1, %r9d
jmp 0x705de
cmpl $0xd, %eax
je 0x70008
cmpl $0xe, %eax
jne 0x70023
movq %rsi, (%rsp)
xorps %xmm0, %xmm0
cvtsi2sd %rsi, %xmm0
movq %r13, 0x8(%rsp)
subsd 0x8(%rbp), %xmm0
movsd 0x10(%rbp), %xmm1
jmp 0x70211
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
callq 0xdd7f
movsd 0x10(%rsp), %xmm0
movq %rax, %r15
movl $0x1, %eax
testl %eax, %eax
jne 0x6ff7b
movq %rsp, %rdi
leaq 0x8(%rsp), %rsi
movsd %xmm0, 0x10(%rsp)
callq 0x103995
movsd 0x10(%rsp), %xmm0
cmpl $0xb, %eax
jne 0x6fce5
jmp 0x6f901
cmpq 0x110(%rbx), %r12
je 0x6fcc3
xorl %eax, %eax
movb $0x1, %cl
jmp 0x6ff3e
movq %rbx, %rdi
movq %rcx, %rsi
movq %rax, %rdx
movsd %xmm0, 0x10(%rsp)
callq 0xdd7f
movsd 0x10(%rsp), %xmm0
movq %rax, %r15
jmp 0x6ff37
movq 0x8(%r12), %rbp
movq 0x10(%r12), %r12
movzbl (%rbp), %eax
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0x70540
movslq (%r13,%rax,4), %rax
addq %r13, %rax
jmpq *%rax
movq 0x8(%rsp), %rdx
movq 0x8(%rbp), %rcx
movq %rdx, %rax
imulq %rcx, %rax
jo 0x6fd28
movq (%rsp), %rsi
subq %rax, %rsi
jno 0x6feab
movq (%rsp), %rsi
movl $0x7, %eax
cmpq 0x110(%rbx), %r12
movq %rsi, 0xa8(%rsp)
fildll 0xa8(%rsp)
movq %rdx, 0xb0(%rsp)
fildll 0xb0(%rsp)
fdivrp %st, %st(1)
movq %rcx, 0xb8(%rsp)
fildll 0xb8(%rsp)
fsubrp %st, %st(1)
fstpl 0xa0(%rsp)
movsd 0xa0(%rsp), %xmm1
je 0x6fe53
movapd %xmm1, %xmm0
jmp 0x6fc86
movq 0x8(%rsp), %rdx
movq (%rsp), %rsi
movq 0x8(%rbp), %rdi
movq 0x10(%rbp), %r8
cmpq %r8, %rdx
jne 0x6fdb7
subq %rdi, %rsi
cmpq 0x110(%rbx), %r12
je 0x6fec3
movq %rsi, (%rsp)
jmp 0x6ff42
movq %rdx, %rax
imulq %r8, %rax
movq %rax, 0x8(%rsp)
jo 0x6fde4
movq %rsi, %rcx
imulq %r8, %rcx
jo 0x6fde4
movq %rdi, %r9
imulq %rdx, %r9
jo 0x6fde4
subq %r9, %rcx
movq %rcx, (%rsp)
jno 0x6fcb1
cmpq 0x110(%rbx), %r12
movq %rsi, 0xc8(%rsp)
fildll 0xc8(%rsp)
movq %rdx, 0xd0(%rsp)
fildll 0xd0(%rsp)
fdivrp %st, %st(1)
movq %rdi, 0xd8(%rsp)
fildll 0xd8(%rsp)
movq %r8, 0xe0(%rsp)
fildll 0xe0(%rsp)
fdivrp %st, %st(1)
fsubrp %st, %st(1)
fstpl 0xc0(%rsp)
movsd 0xc0(%rsp), %xmm1
je 0x6fee4
xorl %ecx, %ecx
movl $0x7, %eax
movapd %xmm1, %xmm0
jmp 0x6ff3e
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x6fe83
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
movsd %xmm1, 0x28(%rsp)
callq 0xb389
movsd 0x28(%rsp), %xmm1
movsd 0x10(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0xd, (%r15)
movsd %xmm1, 0x8(%r15)
jmp 0x6fc81
cmpq 0x110(%rbx), %r12
je 0x6fc6a
movq %rsi, (%rsp)
xorl %eax, %eax
jmp 0x6fc86
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
callq 0xdd7f
movsd 0x10(%rsp), %xmm0
movq %rax, %r15
movl $0x1, %eax
jmp 0x6ff69
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x6ff14
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
movsd %xmm1, 0x28(%rsp)
callq 0xb389
movsd 0x28(%rsp), %xmm1
movsd 0x10(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0xd, (%r15)
movsd %xmm1, 0x8(%r15)
movl $0x1, %eax
xorl %ecx, %ecx
testb %cl, %cl
je 0x6ff69
movsd %xmm0, 0x10(%rsp)
movq %rsp, %rdi
leaq 0x8(%rsp), %rsi
callq 0x103995
movsd 0x10(%rsp), %xmm0
xorl %ecx, %ecx
cmpl $0xb, %eax
setne %cl
leal (%rcx,%rcx,8), %eax
addl $0x3, %eax
cmpl $0xc, %eax
je 0x6fce5
cmpl $0x3, %eax
je 0x6f901
cmpl $0x7, %eax
je 0x7017f
jmp 0x7052b
xorl %eax, %eax
subq 0x8(%rsi), %rax
movq 0x10(%rsi), %rdx
movq %rbx, %rdi
movq %rax, %rsi
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x103338
movsd 0x8(%rsi), %xmm0
xorpd 0xa2e04(%rip), %xmm0    # 0x112dc0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x70508
movq %rbx, %rdi
movapd %xmm0, 0x10(%rsp)
callq 0xb389
movapd 0x10(%rsp), %xmm0
jmp 0x70508
movapd 0xa2dcf(%rip), %xmm2    # 0x112dc0
movsd 0x8(%rsi), %xmm0
movsd 0x10(%rsi), %xmm1
xorpd %xmm2, %xmm0
xorpd %xmm2, %xmm1
jmp 0x703c5
movq %rsi, (%rsp)
movq %r13, 0x8(%rsp)
xorps %xmm0, %xmm0
cvtsi2sd %rsi, %xmm0
subsd 0x8(%rbp), %xmm0
jmp 0x700de
movq %rsi, (%rsp)
movq %r13, 0x8(%rsp)
movq 0x1588(%rbx), %r15
movq %rbx, %rdi
callq 0xdff8
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x70056
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %edx         # imm = 0x200001
movq %rdx, (%rax)
movq %rbp, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rcx), %rcx
movq %rdx, (%rcx)
movq %r13, 0x8(%rcx)
movq %rax, 0x10(%rcx)
movq 0xed2fc(%rip), %r8      # 0x15d3a0
xorl %r9d, %r9d
cmpq %r14, %r12
je 0x705d5
movq 0x10(%r14), %r14
incl %r9d
cmpq %r12, %r14
jne 0x700b0
jmp 0x705d5
movq %rsi, (%rsp)
xorps %xmm0, %xmm0
cvtsi2sd %rsi, %xmm0
xorps %xmm1, %xmm1
cvtsi2sd %rax, %xmm1
movq %r13, 0x8(%rsp)
subsd %xmm1, %xmm0
cmpq 0x110(%rbx), %r12
jne 0x7017f
jmp 0x704e4
movq %rsi, (%rsp)
movq %r13, 0x8(%rsp)
cmpq $0x7ff, %r13            # imm = 0x7FF
ja 0x7064e
leaq 0xde843(%rip), %rax     # 0x14e950
movq (%rax,%r13,8), %r15
jmp 0x7052b
negq %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x7068c
leaq 0xde823(%rip), %rax     # 0x14e950
movq (%rax,%r14,8), %r15
jmp 0x7052b
movq (%rsp), %rax
cmpq 0x110(%rbx), %r12
movq %rax, 0xf0(%rsp)
fildll 0xf0(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0xf8(%rsp)
fildll 0xf8(%rsp)
fdivrp %st, %st(1)
fsubl 0x8(%rbp)
fstpl 0xe8(%rsp)
movsd 0xe8(%rsp), %xmm0
je 0x704e4
leaq 0xa08be(%rip), %rax     # 0x110a44
jmp 0x701bf
cmpq 0x110(%rbx), %r12
je 0x704b4
movq 0x8(%r15), %rcx
movq 0x10(%r15), %rdx
movq %rcx, 0x60(%rsp)
fildll 0x60(%rsp)
movq %rdx, 0x58(%rsp)
fildll 0x58(%rsp)
fdivrp %st, %st(1)
fstpl 0x50(%rsp)
movsd 0x50(%rsp), %xmm1
subsd %xmm1, %xmm0
movq 0x8(%r12), %r15
movq 0x10(%r12), %r12
movzbl (%r15), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0x703de
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
xorps %xmm1, %xmm1
cvtsi2sdq 0x8(%r15), %xmm1
jmp 0x701f3
movsd 0x8(%r15), %xmm1
cmpq 0x110(%rbx), %r12
jne 0x701bb
subsd %xmm1, %xmm0
jmp 0x704e4
subsd 0x8(%r15), %xmm0
movsd 0x10(%r15), %xmm1
xorpd 0xa2ba7(%rip), %xmm1    # 0x112dc0
cmpq 0x110(%rbx), %r12
je 0x703c5
leaq 0xa0827(%rip), %rax     # 0x110a54
xorpd %xmm3, %xmm3
movq 0x8(%r12), %r15
movq 0x10(%r12), %r12
movzbl (%r15), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0x702f5
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
xorps %xmm2, %xmm2
cvtsi2sdq 0x8(%r15), %xmm2
jmp 0x70265
movsd 0x8(%r15), %xmm2
cmpq 0x110(%rbx), %r12
jne 0x702b5
jmp 0x702ec
cmpq 0x110(%rbx), %r12
je 0x7038f
movq 0x8(%r15), %rcx
movq 0x10(%r15), %rdx
movq %rcx, 0x98(%rsp)
fildll 0x98(%rsp)
movq %rdx, 0x90(%rsp)
fildll 0x90(%rsp)
fdivrp %st, %st(1)
fstpl 0x88(%rsp)
movsd 0x88(%rsp), %xmm2
subsd %xmm2, %xmm0
jmp 0x70231
subsd 0x8(%r15), %xmm0
subsd 0x10(%r15), %xmm1
cmpq 0x110(%rbx), %r12
je 0x703c5
ucomisd %xmm3, %xmm1
jne 0x70231
jp 0x70231
jmp 0x7017f
subsd %xmm2, %xmm0
jmp 0x703c5
movq 0x1588(%rbx), %rbp
movq %rbx, %rdi
callq 0xe101
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7031f
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %edx         # imm = 0x200001
movq %rdx, (%rax)
movq %r15, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rcx), %rcx
movq %rdx, (%rcx)
movq %r13, 0x8(%rcx)
movq %rax, 0x10(%rcx)
movq 0xed033(%rip), %r8      # 0x15d3a0
xorl %r9d, %r9d
cmpq %r14, %r12
je 0x70381
movq 0x10(%r14), %r14
incl %r9d
cmpq %r12, %r14
jne 0x70375
movq %rbx, %rdi
movq %r15, %rsi
movq %rbp, %rdx
jmp 0x705de
movsd %xmm0, 0x70(%rsp)
movq 0x8(%r15), %rax
movq 0x10(%r15), %rcx
movq %rax, 0x80(%rsp)
fildll 0x80(%rsp)
movq %rcx, 0x78(%rsp)
fildll 0x78(%rsp)
fdivrp %st, %st(1)
fsubrl 0x70(%rsp)
fstpl 0x68(%rsp)
movsd 0x68(%rsp), %xmm0
movq %rbx, %rdi
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xe101
movq 0x1588(%rbx), %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x70409
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
callq 0xb389
movsd 0x10(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rbp
movq $0xd, (%rbp)
movsd %xmm0, 0x8(%rbp)
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x70444
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %edx         # imm = 0x200001
movq %rdx, (%rax)
movq %r15, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rcx), %rcx
movq %rdx, (%rcx)
movq %rbp, 0x8(%rcx)
movq %rax, 0x10(%rcx)
movq 0xecf0e(%rip), %r8      # 0x15d3a0
xorl %r9d, %r9d
cmpq %r14, %r12
je 0x704a6
movq 0x10(%r14), %r14
incl %r9d
cmpq %r12, %r14
jne 0x7049a
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rdx
jmp 0x705de
movsd %xmm0, 0x38(%rsp)
movq 0x8(%r15), %rax
movq 0x10(%r15), %rcx
movq %rax, 0x48(%rsp)
fildll 0x48(%rsp)
movq %rcx, 0x40(%rsp)
fildll 0x40(%rsp)
fdivrp %st, %st(1)
fsubrl 0x38(%rsp)
fstpl 0x30(%rsp)
movsd 0x30(%rsp), %xmm0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x70508
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
callq 0xb389
movsd 0x10(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0xd, (%r15)
movsd %xmm0, 0x8(%r15)
movq %r15, %rax
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x1588(%rbx), %r15
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xdd7f
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x70573
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %edx         # imm = 0x200001
movq %rdx, (%rax)
movq %rbp, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rcx), %rcx
movq %rdx, (%rcx)
movq %r13, 0x8(%rcx)
movq %rax, 0x10(%rcx)
movq 0xecddf(%rip), %r8      # 0x15d3a0
xorl %r9d, %r9d
cmpq %r14, %r12
je 0x705d5
movq 0x10(%r14), %r14
incl %r9d
cmpq %r12, %r14
jne 0x705c9
movq %rbx, %rdi
movq %rbp, %rsi
movq %r15, %rdx
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xf3da
movq (%rsp), %rax
cmpq 0x110(%rbx), %r12
movq %rax, 0x108(%rsp)
fildll 0x108(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x110(%rsp)
fildll 0x110(%rsp)
fdivrp %st, %st(1)
fsubl 0x8(%rbp)
fstpl 0x100(%rsp)
movsd 0x100(%rsp), %xmm0
movsd 0x10(%rbp), %xmm1
xorps 0xa277d(%rip), %xmm1    # 0x112dc0
jne 0x70226
jmp 0x703c5
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x70666
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0xb, (%r15)
movq %r13, 0x8(%r15)
jmp 0x7052b
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x706a4
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0xb, (%r15)
movq %r14, 0x8(%r15)
jmp 0x7052b