// File: /workspace/github_c_makefile_star2_O2/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), %rbp
cmpq %rsi, %rbp
je 0xc7eb3
movq %rsi, %r15
movq %rdi, %rbx
movq 0x8(%rsi), %rax
movq 0x10(%rsi), %r12
movzbl (%rax), %ecx
cmpq %rbp, %r12
je 0xc7ebf
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0xc7fbc
leaq 0xcfcb(%rip), %rsi      # 0xd4dd0
movslq (%rsi,%rcx,4), %rcx
addq %rsi, %rcx
jmpq *%rcx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
leaq 0xcfbd(%rip), %r14      # 0xd4de0
movq 0x8(%r12), %r13
movq 0x10(%r12), %r12
movzbl (%r13), %eax
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0xc8050
movslq (%r14,%rax,4), %rax
addq %r14, %rax
jmpq *%rax
movq 0x8(%rsp), %rax
movq 0x8(%r13), %rcx
movq %rax, %r13
imulq %rcx, %r13
jo 0xc80b0
movq %r13, 0x8(%rsp)
cmpq %rbp, %r12
jne 0xc7e23
jmp 0xc80bf
movq 0x8(%r13), %rax
movq 0x8(%rsp), %rcx
movq %rax, %rsi
imulq %rcx, %rsi
jo 0xc8062
movq %rsi, 0x8(%rsp)
movq 0x10(%r13), %rdx
movq %rdx, 0x18(%rsp)
cmpq %rbp, %r12
je 0xc823f
leaq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0xc7ce0
cmpl $0xb, %eax
je 0xc7e23
jmp 0xc7f18
movq 0x4da9e(%rip), %rax     # 0x115958
jmp 0xc82ef
leaq 0x51aaa(%rip), %rsi     # 0x119970
cmpb $0x0, (%rcx,%rsi)
jne 0xc82ef
movq 0x5c4c9(%rip), %r8      # 0x1243a0
movq %rbx, %rdi
movq %rax, %rsi
movq %r15, %rcx
xorl %r9d, %r9d
jmp 0xc8293
movq %rdx, 0x10(%rsp)
movsd 0x8(%rax), %xmm4
jmp 0xc8496
movupd 0x8(%rax), %xmm4
jmp 0xc8306
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x18(%rsp)
leaq 0xced1(%rip), %r14      # 0xd4df0
movq 0x8(%r12), %r13
movq 0x10(%r12), %r12
movzbl (%r13), %eax
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0xc811f
movslq (%r14,%rax,4), %rax
addq %r14, %rax
jmpq *%rax
movq 0x8(%r13), %rcx
movq 0x8(%rsp), %rax
movq %rcx, %rsi
imulq %rax, %rsi
jo 0xc8216
movq %rsi, 0x8(%rsp)
cmpq %rbp, %r12
jne 0xc7f9f
jmp 0xc823a
movq 0x8(%r13), %rcx
movq 0x10(%r13), %rax
movq 0x18(%rsp), %rdi
movq 0x8(%rsp), %r8
movq %r8, %rsi
imulq %rcx, %rsi
movq %rsi, 0x8(%rsp)
jo 0xc7fd5
movq %rdi, %rdx
imulq %rax, %rdx
movq %rdx, 0x18(%rsp)
jo 0xc7fd5
cmpq %rbp, %r12
je 0xc823f
leaq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0xc7ce0
cmpl $0xb, %eax
jne 0xc7f1f
jmp 0xc7e1c
movq 0x5c3dd(%rip), %r8      # 0x1243a0
pushq $0x1
popq %r9
movq %rbx, %rdi
movq %rax, %rsi
movq %r15, %rcx
jmp 0xc8293
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 0xc822f
cvtsi2sdq 0x8(%rsp), %xmm4
movupd 0x8(%r13), %xmm0
jmp 0xc8200
cvtsi2sdq 0x8(%rsp), %xmm4
mulsd 0x8(%r13), %xmm4
jmp 0xc822f
movq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xc049
jmp 0xc8131
cvtsi2sd %rcx, %xmm0
movsd %xmm0, 0x88(%rsp)
movq %rax, 0x90(%rsp)
fildll 0x90(%rsp)
movq 0x10(%r13), %rax
movq %rax, 0x98(%rsp)
fildll 0x98(%rsp)
fdivrp %st, %st(1)
fmull 0x88(%rsp)
fstpl 0x80(%rsp)
movsd 0x80(%rsp), %xmm4
jmp 0xc822f
cvtsi2sd %rax, %xmm0
cvtsi2sd %rcx, %xmm4
jmp 0xc822b
cmpq $0x7ff, %r13            # imm = 0x7FF
ja 0xc8258
leaq 0x4d87d(%rip), %rax     # 0x115950
movq (%rax,%r13,8), %rax
jmp 0xc82ef
movq 0x8(%rsp), %rax
movq %rax, 0xd0(%rsp)
fildll 0xd0(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0xd8(%rsp)
fildll 0xd8(%rsp)
fdivrp %st, %st(1)
fmull 0x8(%r13)
fstpl 0xc8(%rsp)
movsd 0xc8(%rsp), %xmm4
jmp 0xc822f
movq 0x8(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq %rbx, %rdi
callq 0xbd87
movq %rax, %r14
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xc8153
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 %r13, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rdx), %rbp
movq %rcx, (%rbp)
movq %r14, 0x8(%rbp)
movq %rax, 0x10(%rbp)
movq 0x5c205(%rip), %r14     # 0x1243a0
movq %r12, %rdi
movq %r15, %rsi
callq 0x72a82
leal -0x1(%rax), %r9d
movq %rbx, %rdi
movq %r13, %rsi
movq 0x10(%rsp), %rdx
movq %rbp, %rcx
movq %r14, %r8
jmp 0xc8293
movq 0x8(%rsp), %rax
movq %rax, 0xe8(%rsp)
fildll 0xe8(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0xf0(%rsp)
fildll 0xf0(%rsp)
fdivrp %st, %st(1)
fstpl 0xe0(%rsp)
movupd 0x8(%r13), %xmm0
movsd 0xe0(%rsp), %xmm4
unpcklpd %xmm4, %xmm4            # xmm4 = xmm4[0,0]
mulpd %xmm0, %xmm4
cmpq %rbp, %r12
jne 0xc8301
jmp 0xc83c4
cvtsi2sd %rcx, %xmm0
cvtsi2sdq 0x18(%rsp), %xmm1
divsd %xmm1, %xmm0
cvtsi2sd %rax, %xmm4
mulsd %xmm0, %xmm4
cmpq %rbp, %r12
jne 0xc8496
jmp 0xc82a9
movq 0x18(%rsp), %rdx
movq %rbx, %rdi
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xbd87
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xc8277
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r13, 0x8(%rax)
jmp 0xc82ef
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc8693
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xc82d4
movq %rbx, %rdi
movapd %xmm4, 0x20(%rsp)
callq 0x9c27
movapd 0x20(%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)
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x10(%rsp), %rdx
leaq 0xcb03(%rip), %rax      # 0xd4e10
movapd 0xdb9b(%rip), %xmm0     # 0xd5eb0
xorpd %xmm2, %xmm2
movq 0x8(%r12), %r14
movq 0x10(%r12), %r12
movzbl (%r14), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0xc83e9
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
cvtsi2sdq 0x8(%r14), %xmm1
jmp 0xc83b3
movsd 0x8(%r14), %xmm1
jmp 0xc83b3
movupd 0x8(%r14), %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 %rbp, %r12
je 0xc83cc
ucomisd %xmm2, %xmm1
jne 0xc8319
jp 0xc8319
jmp 0xc8491
movq 0x8(%r14), %rcx
movq 0x10(%r14), %rsi
movq %rcx, 0x78(%rsp)
fildll 0x78(%rsp)
movq %rsi, 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 %rbp, %r12
jne 0xc8319
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 0xc152
movq %rdx, 0x10(%rsp)
movapd %xmm4, %xmm1
unpckhpd %xmm4, %xmm1            # xmm1 = xmm1[1],xmm4[1]
movq %rbx, %rdi
movapd %xmm4, %xmm0
callq 0xc152
movq %rax, %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xc8424
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 %r14, 0x8(%rax)
movq %r12, 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 0x5bf34(%rip), %r13     # 0x1243a0
movq %r12, %rdi
movq %r15, %rsi
callq 0x72a82
leal -0x1(%rax), %r9d
movq %rbx, %rdi
movq %r14, %rsi
movq 0x10(%rsp), %rdx
movq %rbp, %rcx
movq %r13, %r8
jmp 0xc8293
movq %rdx, 0x10(%rsp)
leaq 0xc963(%rip), %rax      # 0xd4e00
jmp 0xc84d2
cmpq %rbp, %r12
je 0xc85fc
movq 0x8(%r13), %rcx
movq 0x10(%r13), %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
movq 0x8(%r12), %r13
movq 0x10(%r12), %r12
movzbl (%r13), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0xc852a
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
cvtsi2sdq 0x8(%r13), %xmm0
jmp 0xc8500
movsd 0x8(%r13), %xmm0
cmpq %rbp, %r12
jne 0xc84ce
mulsd %xmm0, %xmm4
jmp 0xc82a9
cmpq %rbp, %r12
je 0xc8677
movupd 0x8(%r13), %xmm0
unpcklpd %xmm4, %xmm4            # xmm4 = xmm4[0,0]
mulpd %xmm0, %xmm4
jmp 0xc8301
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xc8555
movq %rbx, %rdi
movapd %xmm4, 0x20(%rsp)
callq 0x9c27
movapd 0x20(%rsp), %xmm4
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rbp
movq $0xd, (%rbp)
movsd %xmm4, 0x8(%rbp)
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xc8590
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 %r13, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rdx), %r14
movq %rcx, (%r14)
movq %rbp, 0x8(%r14)
movq %rax, 0x10(%r14)
movq 0x5bdc9(%rip), %rbp     # 0x1243a0
movq %r12, %rdi
movq %r15, %rsi
callq 0x72a82
leal -0x1(%rax), %r9d
movq %rbx, %rdi
movq %r13, %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rcx
movq %rbp, %r8
jmp 0xc8293
movsd %xmm4, 0x38(%rsp)
movq 0x8(%r13), %rax
movq 0x10(%r13), %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 0xc8657
movq %rbx, %rdi
movsd %xmm0, 0x10(%rsp)
callq 0x9c27
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)
jmp 0xc82ef
movsd 0x8(%r13), %xmm0
mulsd %xmm4, %xmm0
mulsd 0x10(%r13), %xmm4
movq %rbx, %rdi
movapd %xmm4, %xmm1
jmp 0xc83d3