// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_multiply_1
static s7_pointer g_multiply_1(s7_scheme *sc, s7_pointer args, s7_pointer caller)
    {
#define H_multiply "(* ...) multiplies its arguments"
#define Q_multiply sc->pcl_n

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

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

        x = car(args);
        p = cdr(args);
        if (is_null(p))
        {
            if (!is_number(x))
                return(multiply_method_or_bust(sc, x, caller, args, a_number_string, 0));
            return(x);
        }

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

MULTIPLY_INTEGERS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_multiply(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 WITH_GMP
                        if ((integer(x) > s7_int32_max) ||
                                (integer(x) < s7_int32_min))
                            return(big_multiply(sc, cons(sc, s7_int_to_big_integer(sc, num_a), cons(sc, x, p))));
#endif

#if HAVE_OVERFLOW_CHECKS
                        {
                            s7_int dn;
                            if (multiply_overflow(num_a, integer(x), &dn))
                            {
                                if (is_null(p)) return(make_real(sc, (s7_double)num_a * (s7_double)integer(x)));
                                rl_a = (s7_double)num_a * (s7_double)integer(x);
                                goto MULTIPLY_REALS;
                            }
                            num_a = dn;
                        }
#else
                        num_a *= integer(x);
#endif
                        if (is_null(p)) return(make_integer(sc, num_a));
                        goto MULTIPLY_INTEGERS;

                    case T_RATIO:
#if HAVE_OVERFLOW_CHECKS
                        {
                            s7_int dn;
                            if (multiply_overflow(numerator(x), num_a, &dn))
                            {
                                if (is_null(p))
                                    return(make_real(sc, (s7_double)num_a * fraction(x)));
                                rl_a = (s7_double)num_a * fraction(x);
                                goto MULTIPLY_REALS;
                            }
                            num_a = dn;
                        }
#else
                        num_a *= numerator(x);
#endif
                        den_a = denominator(x);
                        if (is_null(p)) return(s7_make_ratio(sc, num_a, den_a));
                        if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                            goto MULTIPLY_INTEGERS;
                        goto MULTIPLY_RATIOS;

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, num_a * real(x)));
                        rl_a = num_a * real(x);
                        goto MULTIPLY_REALS;

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

                    default:
                        return(multiply_method_or_bust(sc, x, caller, 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);
MULTIPLY_RATIOS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (den_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_multiply(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:
                        /* as in +, this can overflow:
                         *   (* 8 -9223372036854775807 8) -> 64
                         *   (* 3/4 -9223372036854775807 8) -> 6
                         *   (* 8 -9223372036854775808 8) -> 0
                         *   (* -1 9223372036854775806 8) -> 16
                         *   (* -9223372036854775808 8 1e+308) -> 0.0
                         */
#if HAVE_OVERFLOW_CHECKS
                        {
                            s7_int dn;
                            if (multiply_overflow(integer(x), num_a, &dn))
                            {
                                if (is_null(p))
                                    return(make_real(sc, ((s7_double)integer(x) / (s7_double)den_a) * (s7_double)num_a));
                                rl_a = ((s7_double)integer(x) / (s7_double)den_a) * (s7_double)num_a;
                                goto MULTIPLY_REALS;
                            }
                            num_a = dn;
                        }
#else
                        num_a *= integer(x);
#endif
                        if (is_null(p)) return(s7_make_ratio(sc, num_a, den_a));
                        if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                            goto MULTIPLY_INTEGERS;
                        goto MULTIPLY_RATIOS;

                    case T_RATIO:
                        {
#if (!WITH_GMP)
#if HAVE_OVERFLOW_CHECKS
                            s7_int d1, n1;
#endif
#endif
                            s7_int d2, n2;
                            d2 = denominator(x);
                            n2 = numerator(x);
#if (!WITH_GMP)
#if HAVE_OVERFLOW_CHECKS
                            d1 = den_a;
                            n1 = num_a;
                            if ((multiply_overflow(n1, n2, &num_a)) ||
                                    (multiply_overflow(d1, d2, &den_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 MULTIPLY_REALS;
                            }
#else
                            num_a *= n2;
                            den_a *= d2;
#endif
#else
                            num_a *= n2;
                            den_a *= 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 MULTIPLY_INTEGERS;
                            goto MULTIPLY_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 MULTIPLY_REALS;

                    case T_COMPLEX:
                        {
                            s7_double frac;
                            frac = ((long_double)num_a / (long_double)den_a);
                            if (is_null(p)) return(s7_make_complex(sc, frac * real_part(x), frac * imag_part(x)));
                            rl_a = frac * real_part(x);
                            im_a = frac * imag_part(x);
                            goto MULTIPLY_COMPLEX;
                        }

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

MULTIPLY_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 *= integer(x);
                        goto MULTIPLY_REALS;

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

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

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

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

MULTIPLY_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 * integer(x)));
                        rl_a *= integer(x);
                        im_a *= integer(x);
                        goto MULTIPLY_COMPLEX;

                    case T_RATIO:
                        {
                            s7_double frac;
                            frac = fraction(x);
                            if (is_null(p)) return(s7_make_complex(sc, rl_a * frac, im_a * frac));
                            rl_a *= frac;
                            im_a *= frac;
                            goto MULTIPLY_COMPLEX;
                        }

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

                    case T_COMPLEX:
                        {
                            s7_double r1, r2, i1, i2;
                            r1 = rl_a;
                            i1 = im_a;
                            r2 = real_part(x);
                            i2 = imag_part(x);
                            if (is_null(p))
                                return(s7_make_complex(sc, r1 * r2 - i1 * i2, r1 * i2 + r2 * i1));
                            rl_a = r1 * r2 - i1 * i2;
                            im_a = r1 * i2 + r2 * i1;
                            if (im_a == 0.0)
                                goto MULTIPLY_REALS;
                            goto MULTIPLY_COMPLEX;
                        }

                    default:
                        return(multiply_method_or_bust(sc, x, caller, 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(multiply_method_or_bust(sc, x, caller, 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 $0xf8, %rsp
movq 0x110(%rdi), %r13
cmpq %rsi, %r13
je 0xfad9f
movq %rdx, %rbp
movq %rsi, %r15
movq %rdi, %rbx
movq 0x8(%rsi), %rax
movq 0x10(%rsi), %r14
movzbl (%rax), %ecx
cmpq %r13, %r14
je 0xfadab
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0xfaea8
leaq 0xe0ed(%rip), %rdx      # 0x108ddc
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
movq %rbp, 0x10(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
leaq 0xe0df(%rip), %rbp      # 0x108dec
movq 0x8(%r14), %r12
movq 0x10(%r14), %r14
movzbl (%r12), %eax
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0xfaf43
movslq (%rbp,%rax,4), %rax
addq %rbp, %rax
jmpq *%rax
movq 0x8(%rsp), %rax
movq 0x8(%r12), %rcx
movq %rax, %r12
imulq %rcx, %r12
jo 0xfb02a
movq %r12, 0x8(%rsp)
cmpq %r13, %r14
jne 0xfad0d
jmp 0xfb039
movq 0x8(%r12), %rax
movq 0x8(%rsp), %rcx
movq %rax, %rsi
imulq %rcx, %rsi
jo 0xfafdb
movq %rsi, 0x8(%rsp)
movq 0x10(%r12), %rdx
movq %rdx, 0x28(%rsp)
cmpq %r13, %r14
je 0xfb58c
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0xfabb8
cmpl $0xb, %eax
je 0xfad0d
jmp 0xfae02
movq 0x4bbb2(%rip), %rax     # 0x146958
jmp 0xfb4c8
leaq 0x4fbbe(%rip), %rdx     # 0x14a970
cmpb $0x0, (%rcx,%rdx)
jne 0xfb4c8
movq 0x5a5dd(%rip), %r8      # 0x1553a0
movq %rbx, %rdi
movq %rax, %rsi
movq %rbp, %rdx
movq %r15, %rcx
xorl %r9d, %r9d
jmp 0xfb574
movsd 0x8(%rax), %xmm4
jmp 0xfb1ba
movupd 0x8(%rax), %xmm4
jmp 0xfb29b
movq %rbp, 0x10(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
leaq 0xdff3(%rip), %rbp      # 0x108dfc
movq 0x8(%r14), %r12
movq 0x10(%r14), %r14
movzbl (%r12), %eax
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0xfb09a
movslq (%rbp,%rax,4), %rax
addq %rbp, %rax
jmpq *%rax
movq 0x8(%r12), %rcx
movq 0x8(%rsp), %rax
movq %rcx, %rsi
imulq %rax, %rsi
jo 0xfb193
movq %rsi, 0x8(%rsp)
cmpq %r13, %r14
jne 0xfae8b
jmp 0xfb587
movq 0x8(%r12), %rcx
movq 0x10(%r12), %rax
movq 0x28(%rsp), %rdi
movq 0x8(%rsp), %r8
movq %r8, %rsi
imulq %rcx, %rsi
movq %rsi, 0x8(%rsp)
jo 0xfaec6
movq %rdi, %rdx
imulq %rax, %rdx
movq %rdx, 0x28(%rsp)
jo 0xfaec6
cmpq %r13, %r14
je 0xfb58c
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0xfabb8
cmpl $0xb, %eax
jne 0xfae09
jmp 0xfad06
movq 0x5a4f1(%rip), %r8      # 0x1553a0
movq %rbx, %rdi
movq %rax, %rsi
movq %rbp, %rdx
movq %r15, %rcx
movl $0x1, %r9d
jmp 0xfb574
movq %r8, 0xa8(%rsp)
fildll 0xa8(%rsp)
movq %rdi, 0xb0(%rsp)
fildll 0xb0(%rsp)
fdivrp %st, %st(1)
movq %rcx, 0xb8(%rsp)
fildll 0xb8(%rsp)
movq %rax, 0xc0(%rsp)
fildll 0xc0(%rsp)
fdivrp %st, %st(1)
fmulp %st, %st(1)
fstpl 0xa0(%rsp)
movsd 0xa0(%rsp), %xmm4
jmp 0xfb1ac
cvtsi2sdq 0x8(%rsp), %xmm4
movupd 0x8(%r12), %xmm0
jmp 0xfb178
cvtsi2sdq 0x8(%rsp), %xmm4
mulsd 0x8(%r12), %xmm4
jmp 0xfb1ac
movq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xd27e
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
movq 0x10(%rsp), %rbp
ja 0xfaf77
movq %rbx, %rdi
callq 0xa550
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 %r12, 0x8(%rax)
movq %r14, 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 0x5a3e2(%rip), %r8      # 0x1553a0
xorl %r9d, %r9d
cmpq %r15, %r14
je 0xfb56b
movq 0x10(%r15), %r15
incl %r9d
cmpq %r14, %r15
jne 0xfafca
jmp 0xfb56b
cvtsi2sd %rcx, %xmm0
movsd %xmm0, 0x88(%rsp)
movq %rax, 0x90(%rsp)
fildll 0x90(%rsp)
movq 0x10(%r12), %rax
movq %rax, 0x98(%rsp)
fildll 0x98(%rsp)
fdivrp %st, %st(1)
fmull 0x88(%rsp)
fstpl 0x80(%rsp)
movsd 0x80(%rsp), %xmm4
jmp 0xfb1ac
cvtsi2sd %rax, %xmm0
cvtsi2sd %rcx, %xmm4
jmp 0xfb1a8
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0xfb5a5
leaq 0x4b903(%rip), %rax     # 0x146950
movq (%rax,%r12,8), %rax
jmp 0xfb4c8
movq 0x8(%rsp), %rax
movq %rax, 0xd0(%rsp)
fildll 0xd0(%rsp)
movq 0x28(%rsp), %rax
movq %rax, 0xd8(%rsp)
fildll 0xd8(%rsp)
fdivrp %st, %st(1)
fmull 0x8(%r12)
fstpl 0xc8(%rsp)
movsd 0xc8(%rsp), %xmm4
jmp 0xfb1ac
movq 0x8(%rsp), %rsi
movq 0x28(%rsp), %rdx
movq %rbx, %rdi
callq 0xcfa8
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
movq 0x10(%rsp), %rbp
ja 0xfb0d3
movq %rbx, %rdi
callq 0xa550
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 %r12, 0x8(%rax)
movq %r14, 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 0x5a286(%rip), %r8      # 0x1553a0
xorl %r9d, %r9d
cmpq %r15, %r14
je 0xfb56b
movq 0x10(%r15), %r15
incl %r9d
cmpq %r14, %r15
jne 0xfb126
jmp 0xfb56b
movq 0x8(%rsp), %rax
movq %rax, 0xe8(%rsp)
fildll 0xe8(%rsp)
movq 0x28(%rsp), %rax
movq %rax, 0xf0(%rsp)
fildll 0xf0(%rsp)
fdivrp %st, %st(1)
fstpl 0xe0(%rsp)
movupd 0x8(%r12), %xmm0
movsd 0xe0(%rsp), %xmm4
unpcklpd %xmm4, %xmm4            # xmm4 = xmm4[0,0]
mulpd %xmm0, %xmm4
cmpq %r13, %r14
je 0xfb360
movq 0x10(%rsp), %rbp
jmp 0xfb29b
cvtsi2sd %rcx, %xmm0
cvtsi2sdq 0x28(%rsp), %xmm1
divsd %xmm1, %xmm0
cvtsi2sd %rax, %xmm4
mulsd %xmm0, %xmm4
cmpq %r13, %r14
je 0xfb238
movq 0x10(%rsp), %rbp
leaq 0xdc4b(%rip), %rax      # 0x108e0c
movq 0x8(%r14), %r12
movq 0x10(%r14), %r14
movzbl (%r12), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0xfb385
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
xorps %xmm0, %xmm0
cvtsi2sdq 0x8(%r12), %xmm0
jmp 0xfb1f6
movsd 0x8(%r12), %xmm0
cmpq %r13, %r14
jne 0xfb22e
jmp 0xfb234
cmpq %r13, %r14
je 0xfb450
movq 0x8(%r12), %rcx
movq 0x10(%r12), %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), %xmm0
mulsd %xmm0, %xmm4
jmp 0xfb1c1
mulsd %xmm0, %xmm4
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xfb263
movq %rbx, %rdi
movapd %xmm4, 0x10(%rsp)
callq 0xa550
movapd 0x10(%rsp), %xmm4
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xd, (%rax)
movsd %xmm4, 0x8(%rax)
jmp 0xfb4c8
cmpq %r13, %r14
je 0xfb5e3
movupd 0x8(%r12), %xmm0
unpcklpd %xmm4, %xmm4            # xmm4 = xmm4[0,0]
mulpd %xmm0, %xmm4
leaq 0xdb7a(%rip), %rax      # 0x108e1c
movapd 0xec06(%rip), %xmm0     # 0x109eb0
xorpd %xmm2, %xmm2
movq 0x8(%r14), %r12
movq 0x10(%r14), %r14
movzbl (%r12), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0xfb4da
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
xorps %xmm1, %xmm1
cvtsi2sdq 0x8(%r12), %xmm1
jmp 0xfb34f
movsd 0x8(%r12), %xmm1
jmp 0xfb34f
movupd 0x8(%r12), %xmm1
movapd %xmm4, %xmm3
xorpd %xmm0, %xmm3
unpckhpd %xmm4, %xmm3            # xmm3 = xmm3[1],xmm4[1]
unpcklpd %xmm4, %xmm4            # xmm4 = xmm4[0,0]
mulpd %xmm1, %xmm4
shufpd $0x1, %xmm1, %xmm1      # xmm1 = xmm1[1,0]
mulpd %xmm3, %xmm1
addpd %xmm1, %xmm4
movapd %xmm4, %xmm1
unpckhpd %xmm4, %xmm1            # xmm1 = xmm1[1],xmm4[1]
cmpq %r13, %r14
je 0xfb368
ucomisd %xmm2, %xmm1
jne 0xfb2ae
jp 0xfb2ae
jmp 0xfb1ba
movq 0x8(%r12), %rcx
movq 0x10(%r12), %rdx
movq %rcx, 0x78(%rsp)
fildll 0x78(%rsp)
movq %rdx, 0x70(%rsp)
fildll 0x70(%rsp)
fdivrp %st, %st(1)
fstpl 0x68(%rsp)
movsd 0x68(%rsp), %xmm1
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
mulpd %xmm1, %xmm4
cmpq %r13, %r14
jne 0xfb2ae
movapd %xmm4, %xmm1
unpckhpd %xmm4, %xmm1            # xmm1 = xmm1[1],xmm4[1]
movq %rbx, %rdi
movapd %xmm4, %xmm0
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd387
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xfb3b0
movq %rbx, %rdi
movapd %xmm4, 0x10(%rsp)
callq 0xa550
movapd 0x10(%rsp), %xmm4
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r13
movq $0xd, (%r13)
movsd %xmm4, 0x8(%r13)
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xfb3ec
movq %rbx, %rdi
callq 0xa550
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 %r12, 0x8(%rax)
movq %r14, 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 0x59f6d(%rip), %r8      # 0x1553a0
xorl %r9d, %r9d
cmpq %r15, %r14
je 0xfb56b
movq 0x10(%r15), %r15
incl %r9d
cmpq %r14, %r15
jne 0xfb43f
jmp 0xfb56b
movsd %xmm4, 0x38(%rsp)
movq 0x8(%r12), %rax
movq 0x10(%r12), %rcx
movq %rax, 0x48(%rsp)
fildll 0x48(%rsp)
movq %rcx, 0x40(%rsp)
fildll 0x40(%rsp)
fdivrp %st, %st(1)
fmull 0x38(%rsp)
fstpl 0x30(%rsp)
movsd 0x30(%rsp), %xmm0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xfb4ad
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
callq 0xa550
movsd 0x10(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xd, (%rax)
movsd %xmm0, 0x8(%rax)
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movapd %xmm4, %xmm1
unpckhpd %xmm4, %xmm1            # xmm1 = xmm1[1],xmm4[1]
movq %rbx, %rdi
movapd %xmm4, %xmm0
callq 0xd387
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xfb510
movq %rbx, %rdi
callq 0xa550
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 %r12, 0x8(%rax)
movq %r14, 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 0x59e49(%rip), %r8      # 0x1553a0
xorl %r9d, %r9d
cmpq %r15, %r14
je 0xfb56b
movq 0x10(%r15), %r15
incl %r9d
cmpq %r14, %r15
jne 0xfb55f
movq %rbx, %rdi
movq %r12, %rsi
movq %rbp, %rdx
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xfb601
movq 0x28(%rsp), %rdx
movq %rbx, %rdi
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xcfa8
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xfb5c4
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r12, 0x8(%rax)
jmp 0xfb4c8
movsd 0x8(%r12), %xmm0
mulsd %xmm4, %xmm0
mulsd 0x10(%r12), %xmm4
movq %rbx, %rdi
movapd %xmm4, %xmm1
jmp 0xfb36f