// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: string_to_double_with_radix_1
static s7_double string_to_double_with_radix_1(const char *ur_str, int32_t radix)
#endif
        {
            /* strtod follows LANG which is not what we want (only "." is decimal point in Scheme).
             *   To overcome LANG in strtod would require screwing around with setlocale which never works.
             *   So we use our own code -- according to valgrind, this function is much faster than strtod.
             * comma as decimal point causes ambiguities: `(+ ,1 2) etc
             */

            int32_t i, sign = 1, frac_len, int_len, dig, max_len, exponent = 0;
            int64_t int_part = 0, frac_part = 0;
            char *str;
            char *ipart, *fpart;
            s7_double dval = 0.0;

            /* there's an ambiguity in number notation here if we allow "1e1" or "1.e1" in base 16 (or 15) -- is e a digit or an exponent marker?
             *   but 1e+1, for example disambiguates it -- kind of messy! -- the scheme spec says "e" can only occur in base 10.
             * '@' can now be used as the exponent marker (26-Mar-12).
             * Another slight ambiguity: 1+1/2i is parsed as 1 + 0.5i, not 1+1/(2i), or (1+1)/(2i) or (1+1/2)i etc
             */

            max_len = s7_int_digits_by_radix[radix];
            str = (char *)ur_str;

            if (*str == '+')
                str++;
            else
            {
                if (*str == '-')
                {
                    str++;
                    sign = -1;
                }
            }
            while (*str == '0') {str++;};

            ipart = str;
            while (digits[(int32_t)(*str)] < radix) str++;
            int_len = str - ipart;

            if (*str == '.') str++;
            fpart = str;
            while (digits[(int32_t)(*str)] < radix) str++;
            frac_len = str - fpart;

            if ((*str) && (exponent_table[(uint8_t)(*str)]))
            {
                int32_t exp_negative = false;
                str++;
                if (*str == '+')
                    str++;
                else
                {
                    if (*str == '-')
                    {
                        str++;
                        exp_negative = true;
                    }
                }
                while ((dig = digits[(int32_t)(*str++)]) < 10) /* exponent itself is always base 10 */
                {
#if HAVE_OVERFLOW_CHECKS
                    if ((int32_multiply_overflow(exponent, 10, &exponent)) ||
                            (int32_add_overflow(exponent, dig, &exponent)))
                    {
                        exponent = 1000000; /* see below */
                        break;
                    }
#else
                    exponent = dig + (exponent * 10);
#endif
                }
#if (!defined(__GNUC__)) || (__GNUC__ < 5)
                if (exponent < 0)         /* we overflowed, so make sure we notice it below (need to check for 0.0e... first) (Brian Damgaard) */
                    exponent = 1000000;     /*   see below for examples -- this number needs to be very big but not too big for add */
#endif
                if (exp_negative)
                    exponent = -exponent;

                /*           2e12341234123123123123213123123123 -> 0.0
                 * but exp len is not the decider: 2e00000000000000000000000000000000000000001 -> 20.0
                 * first zero: 2e123412341231231231231
                 * then:     2e12341234123123123123123123 -> inf
                 * then:     2e123412341231231231231231231231231231 -> 0.0
                 *           2e-123412341231231231231 -> inf
                 * but:      0e123412341231231231231231231231231231
                 */
            }

#if WITH_GMP
            /* 9007199254740995.0 */
            if (int_len + frac_len >= max_len)
            {
                (*overflow) = true;
                return(0.0);
            }
#endif

            str = ipart;
            if ((int_len + exponent) > max_len)
            {
                /*  12341234.56789e12                   12341234567889999872.0              1.234123456789e+19
                 * -1234567890123456789.0              -1234567890123456768.0              -1.2345678901235e+18
                 *  12345678901234567890.0              12345678901234567168.0              1.2345678901235e+19
                 *  123.456e30                          123456000000000012741097792995328.0 1.23456e+32
                 *  12345678901234567890.0e12           12345678901234569054409354903552.0  1.2345678901235e+31
                 *  1.234567890123456789012e30          1234567890123456849145940148224.0   1.2345678901235e+30
                 *  1e20                                100000000000000000000.0             1e+20
                 *  1234567890123456789.0               1234567890123456768.0               1.2345678901235e+18
                 *  123.456e16                          1234560000000000000.0               1.23456e+18
                 *  98765432101234567890987654321.0e-5  987654321012345728401408.0          9.8765432101235e+23
                 *  98765432101234567890987654321.0e-10 9876543210123456512.0               9.8765432101235e+18
                 *  0.00000000000000001234e20           1234.0
                 *  0.000000000000000000000000001234e30 1234.0
                 *  0.0000000000000000000000000000000000001234e40 1234.0
                 *  0.000000000012345678909876543210e15 12345.678909877
                 *  0e1000                              0.0
                 */

                for (i = 0; i < max_len; i++)
                {
                    dig = digits[(int32_t)(*str++)];
                    if (dig < radix)
                        int_part = dig + (int_part * radix);
                    else break;
                }

                /* if the exponent is huge, check for 0 int_part and frac_part before complaining (0e1000 or 0.0e1000)
                */
                if ((int_part == 0) &&
                        (exponent > max_len))
                {
                    /* if frac_part is also 0, return 0.0 */
                    if (frac_len == 0)
                        return(0.0);

                    str = fpart;
                    while ((dig = digits[(int32_t)(*str++)]) < radix)
                        frac_part = dig + (frac_part * radix);
                    if (frac_part == 0)
                        return(0.0);

#if WITH_GMP
                    (*overflow) = true;
#endif
                }

#if WITH_GMP
                (*overflow) = ((int_part > 0) || (exponent > 20));    /* .1e310 is a tricky case */
#endif

                if (int_part != 0) /* 0.<310 zeros here>1e310 for example --
                                    *   pow (via dpow) thinks it has to be too big, returns Nan,
                                    *   then Nan * 0 -> Nan and the NaN propagates
                                    */
                {
                    if (int_len <= max_len)
                        dval = int_part * dpow(radix, exponent);
                    else dval = int_part * dpow(radix, exponent + int_len - max_len);
                }
                else dval = 0.0;

                /* shift by exponent, but if int_len > max_len then we assumed (see below) int_len - max_len 0's on the left */
                /*   using int_to_int or table lookups here instead of pow did not make any difference in speed */

                if (int_len < max_len)
                {
                    int32_t k, flen;
                    str = fpart;

                    for (k = 0; (frac_len > 0) && (k < exponent); k += max_len)
                    {
                        if (frac_len > max_len) flen = max_len; else flen = frac_len;
                        frac_len -= max_len;

                        frac_part = 0;
                        for (i = 0; i < flen; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        if (frac_part != 0)                                /* same pow->NaN problem as above can occur here */
                            dval += frac_part * dpow(radix, exponent - flen - k);
                    }
                }
                else
                {
                    /* some of the fraction is in the integer part before the negative exponent shifts it over */
                    if (int_len > max_len)
                    {
                        int32_t ilen;
                        /* str should be at the last digit we read */
                        ilen = int_len - max_len;                          /* we read these above */
                        if (ilen > max_len)
                            ilen = max_len;

                        for (i = 0; i < ilen; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        dval += frac_part * dpow(radix, exponent - ilen);
                    }
                }

                return(sign * dval);
            }

            /* int_len + exponent <= max_len */

            if (int_len <= max_len)
            {
                int32_t int_exponent;

                /* a better algorithm (since the inaccuracies are in the radix^exponent portion):
                 *   strip off leading zeros and possible sign,
                 *   strip off digits beyond max_len, then remove any trailing zeros.
                 *     (maybe fiddle with the lowest order digit here for rounding, but I doubt it matters)
                 *   read digits until end of number or max_len reached, ignoring the decimal point
                 *   get exponent and use it and decimal point location to position the current result integer
                 * this always combines the same integer and the same exponent no matter how the number is expressed.
                 */

                int_exponent = exponent;
                if (int_len > 0)
                {
                    char *iend;
                    iend = (char *)(str + int_len - 1);
                    while ((*iend == '0') && (iend != str)) {iend--; int_exponent++;}

                    while (str <= iend)
                        int_part = digits[(int32_t)(*str++)] + (int_part * radix);
                }
                if (int_exponent != 0)
                    dval = int_part * dpow(radix, int_exponent);
                else dval = (s7_double)int_part;
            }
            else
            {
                int32_t len, flen;
                int64_t frpart = 0;

                /* 98765432101234567890987654321.0e-20    987654321.012346
                 * 98765432101234567890987654321.0e-29    0.98765432101235
                 * 98765432101234567890987654321.0e-30    0.098765432101235
                 * 98765432101234567890987654321.0e-28    9.8765432101235
                 */

                len = int_len + exponent;
                for (i = 0; i < len; i++)
                    int_part = digits[(int32_t)(*str++)] + (int_part * radix);

                flen = -exponent;
                if (flen > max_len)
                    flen = max_len;

                for (i = 0; i < flen; i++)
                    frpart = digits[(int32_t)(*str++)] + (frpart * radix);

                if (len <= 0)
                    dval = int_part + frpart * dpow(radix, len - flen);
                else dval = int_part + frpart * dpow(radix, -flen);
            }

            if (frac_len > 0)
            {
                str = fpart;
                if (frac_len <= max_len)
                {
                    /* splitting out base 10 case saves very little here */
                    /* this ignores trailing zeros, so that 0.3 equals 0.300 */
                    char *fend;

                    fend = (char *)(str + frac_len - 1);
                    while ((*fend == '0') && (fend != str)) {fend--; frac_len--;} /* (= .6 0.6000) */

                    if ((frac_len & 1) == 0)
                    {
                        while (str <= fend)
                        {
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);
                        }
                    }
                    else
                    {
                        while (str <= fend)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);
                    }
                    dval += frac_part * dpow(radix, exponent - frac_len);

                    /* 0.6:    frac:    6, exp: 0.10000000000000000555, val: 0.60000000000000008882
                     * 0.60:   frac:   60, exp: 0.01000000000000000021, val: 0.59999999999999997780
                     * 0.6000: frac: 6000, exp: 0.00010000000000000000, val: 0.59999999999999997780
                     * (= 0.6 0.60): #f
                     * (= #i3/5 0.6): #f
                     * so (string->number (number->string num)) == num only if both num's are the same text (or you get lucky)
                     * (= 0.6 6e-1): #t ; but not 60e-2
                     * to fix the 0.60 case, we need to ignore trailing post-dot zeros.
                     */
                }
                else
                {
                    if (exponent <= 0)
                    {
                        for (i = 0; i < max_len; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        dval += frac_part * dpow(radix, exponent - max_len);
                    }
                    else
                    {
                        /* 1.0123456789876543210e1         10.12345678987654373771
                         * 1.0123456789876543210e10        10123456789.87654304504394531250
                         * 0.000000010000000000000000e10   100.0
                         * 0.000000010000000000000000000000000000000000000e10 100.0
                         * 0.000000012222222222222222222222222222222222222e10 122.22222222222222
                         * 0.000000012222222222222222222222222222222222222e17 1222222222.222222
                         */

                        int_part = 0;
                        for (i = 0; i < exponent; i++)
                            int_part = digits[(int32_t)(*str++)] + (int_part * radix);

                        frac_len -= exponent;
                        if (frac_len > max_len)
                            frac_len = max_len;

                        for (i = 0; i < frac_len; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        dval += int_part + frac_part * dpow(radix, -frac_len);
                    }
                }
            }

#if WITH_GMP
            if ((int_part == 0) &&
                    (frac_part == 0))
                return(0.0);
            (*overflow) = ((frac_len - exponent) > max_len);
#endif

            return(sign * dval);
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movl %esi, %r11d
movq %rdi, %r14
movslq %esi, %r15
leaq 0xbf3b0(%rip), %rax     # 0x1522e0
movslq (%rax,%r15,4), %r8
movl %r8d, %esi
movzbl (%rdi), %eax
cmpl $0x2d, %eax
je 0x92f57
movsd 0x730e9(%rip), %xmm0    # 0x106030
movsd %xmm0, 0x40(%rsp)
cmpl $0x2b, %eax
jne 0x92f68
incq %r14
jmp 0x92f68
incq %r14
movsd 0x730ee(%rip), %xmm0    # 0x106050
movsd %xmm0, 0x40(%rsp)
decq %r14
cmpb $0x30, 0x1(%r14)
leaq 0x1(%r14), %r14
je 0x92f6b
movl %r8d, %eax
negl %eax
movl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
xorl %ebx, %ebx
leaq 0xc26d7(%rip), %r10     # 0x155660
movsbq (%r14,%rbx), %rcx
incl %edx
incq %rbx
cmpl %r11d, (%r10,%rcx,4)
jl 0x92f89
xorl %edi, %edi
cmpb $0x2e, %cl
sete %dil
movq %rdi, 0x50(%rsp)
addq %rbx, %rdi
leaq (%r14,%rdi), %rbp
decq %rbp
movl %r8d, %ecx
notl %ecx
addq %rbx, %rcx
movq %rcx, 0x38(%rsp)
leaq -0x1(%rbx), %rcx
movq %rcx, (%rsp)
leaq (%rbx,%r14), %rcx
decq %rcx
movq %rcx, 0x48(%rsp)
movl $0x7fffffff, %r12d      # imm = 0x7FFFFFFF
xorl %r13d, %r13d
leaq (%rdi,%r13), %rcx
movsbq -0x1(%r14,%rcx), %rcx
incl %r12d
incq %r13
cmpl %r11d, (%r10,%rcx,4)
jl 0x92fdb
movzbl %cl, %ecx
movq %rdi, 0x18(%rsp)
addq %r14, %rdi
movq %rdi, 0x10(%rsp)
xorl %r9d, %r9d
testq %rcx, %rcx
movq %rsi, 0x8(%rsp)
movq %r8, 0x28(%rsp)
je 0x930bb
leaq 0xc2c42(%rip), %rdi     # 0x155c60
cmpb $0x1, (%rcx,%rdi)
jne 0x930bb
movq 0x18(%rsp), %rcx
addq %r13, %rcx
movzbl -0x1(%r14,%rcx), %ecx
cmpl $0x2b, %ecx
je 0x9304d
cmpl $0x2d, %ecx
jne 0x93058
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
xorl %ecx, %ecx
jmp 0x93066
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
jmp 0x93064
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
decq %rdi
movb $0x1, %cl
xorl %r8d, %r8d
movsbq (%rdi), %r9
movq %r10, %rsi
movl (%r10,%r9,4), %r10d
cmpl $0x9, %r10d
jg 0x93093
imull $0xa, %r8d, %r8d
movl $0xf4240, %r9d          # imm = 0xF4240
jo 0x930a0
incq %rdi
addl %r10d, %r8d
movq %rsi, %r10
jno 0x93069
jmp 0x930a3
testl %r8d, %r8d
movl $0xf4240, %r9d          # imm = 0xF4240
cmovnsl %r8d, %r9d
movq %rsi, %r10
movl %r9d, %esi
negl %esi
testb %cl, %cl
cmovnel %r9d, %esi
movq %rsi, %r9
movq 0x8(%rsp), %rsi
movq 0x28(%rsp), %r8
leaq -0x1(%r13), %rcx
movq %rcx, 0x30(%rsp)
movl %r9d, %ecx
leaq (%rcx,%rbx), %rdi
decq %rdi
cmpl %r8d, %edi
jle 0x93112
testl %r8d, %r8d
jle 0x93234
xorl %r8d, %r8d
xorl %edx, %edx
movq %r8, %rdi
movsbq (%r14,%r8), %r8
movslq (%r10,%r8,4), %r8
cmpl %r11d, %r8d
jge 0x93102
imulq %r15, %rdx
addq %r8, %rdx
leaq 0x1(%rdi), %r8
cmpl %r8d, %esi
jne 0x930e1
addq %rdi, %r14
incq %r14
movq 0x28(%rsp), %r8
jmp 0x93236
movq (%rsp), %rax
cmpl %eax, %r8d
jge 0x931e5
xorpd %xmm1, %xmm1
xorpd %xmm2, %xmm2
movq %r14, %rax
testl %edi, %edi
jle 0x93163
movslq %r9d, %rax
movslq (%rsp), %rcx
addq %rax, %rcx
xorl %eax, %eax
xorl %edx, %edx
movsbq (%r14,%rax), %rsi
movslq (%r10,%rsi,4), %rsi
imulq %r15, %rdx
addq %rsi, %rdx
incq %rax
cmpl %eax, %ecx
jne 0x9313c
xorps %xmm2, %xmm2
cvtsi2sd %rdx, %xmm2
addq %r14, %rax
movq 0x8(%rsp), %rsi
movl %r9d, %edx
negl %edx
cmpl %edx, %r8d
movl %edx, %ecx
cmovll %r8d, %ecx
testl %ecx, %ecx
movq %r9, 0x20(%rsp)
jle 0x931b7
movslq %edx, %rdx
cmpq %rdx, %r8
cmovlq %r8, %rdx
xorl %esi, %esi
xorl %r8d, %r8d
movsbq (%rax,%rsi), %r9
movslq (%r10,%r9,4), %r9
imulq %r15, %r8
addq %r9, %r8
incq %rsi
cmpl %esi, %edx
jne 0x93189
xorps %xmm1, %xmm1
cvtsi2sd %r8, %xmm1
movq 0x20(%rsp), %r9
movq 0x8(%rsp), %rsi
movq 0x28(%rsp), %r8
testl %edi, %edi
jle 0x932d7
leal -0x41(%rcx), %eax
cmpl $0xffffff7f, %eax       # imm = 0xFFFFFF7F
ja 0x933a1
negl %ecx
cvtsi2sd %r11d, %xmm0
movsd %xmm1, (%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
jmp 0x93305
testl %eax, %eax
jle 0x9333f
andl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
movl $0x1, %ecx
subq %rdx, %rcx
xorl %esi, %esi
leaq (%rdx,%rsi), %rdi
leaq -0x1(%rsi), %rax
cmpb $0x30, -0x1(%r14,%rdi)
jne 0x93215
cmpq %rsi, %rcx
movq %rax, %rsi
jne 0x931fd
addq %r14, %rdx
addq %rax, %rdx
leal -0x1(%r9), %ecx
subq %rax, %rcx
cmpq %rdx, %r14
jbe 0x933ad
xorpd %xmm1, %xmm1
jmp 0x933ce
xorl %edx, %edx
xorl %r12d, %r12d
testq %rdx, %rdx
jne 0x93293
cmpl %r8d, %r9d
jle 0x93293
xorpd %xmm0, %xmm0
cmpl $0x1, %r13d
je 0x938fd
movsbq (%rbp), %rdi
movl (%r10,%rdi,4), %edi
cmpl %r11d, %edi
jge 0x938fd
xorl %r12d, %r12d
movq 0x10(%rsp), %r14
movslq %edi, %rsi
imulq %r15, %r12
addq %rsi, %r12
movsbq (%r14), %rsi
incq %r14
movl (%r10,%rsi,4), %edi
cmpl %r11d, %edi
jl 0x9326b
testq %r12, %r12
movq 0x8(%rsp), %rsi
je 0x938fd
testq %rdx, %rdx
je 0x932ce
xorps %xmm0, %xmm0
cvtsi2sd %rdx, %xmm0
cmpl (%rsp), %esi
jge 0x93348
movl %ecx, %edx
subl %esi, %edx
addl %ebx, %edx
addl $-0x41, %edx
cmpl $0xffffff7f, %edx       # imm = 0xFFFFFF7F
ja 0x935c9
movl %r8d, %eax
notl %eax
addq %rax, %rcx
addq %rbx, %rcx
jmp 0x93357
xorpd %xmm2, %xmm2
jmp 0x935f1
movl %r9d, %eax
subl %ecx, %eax
leal (%rax,%rbx), %ecx
addl $-0x41, %ecx
cmpl $0xffffff7f, %ecx       # imm = 0xFFFFFF7F
ja 0x9344f
addq %rbx, %rax
decq %rax
cvtsi2sd %r11d, %xmm0
movsd %xmm1, (%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %eax, %xmm1
movl %r11d, 0x10(%rsp)
movq %r10, %rbx
movsd %xmm2, 0x38(%rsp)
callq 0x8160
movsd 0x38(%rsp), %xmm2
movsd (%rsp), %xmm1
movq 0x28(%rsp), %r8
movq 0x8(%rsp), %rsi
movq 0x20(%rsp), %r9
movq %rbx, %r10
movl 0x10(%rsp), %r11d
jmp 0x9346a
xorpd %xmm1, %xmm1
jmp 0x933d3
leal -0x40(%r9), %eax
cmpl $0xffffff7f, %eax       # imm = 0xFFFFFF7F
ja 0x935d3
movsd %xmm0, 0x18(%rsp)
xorps %xmm0, %xmm0
cvtsi2sd %r11d, %xmm0
cvtsi2sd %ecx, %xmm1
movl %r11d, 0x10(%rsp)
movq %r10, %r13
movq %r9, 0x20(%rsp)
callq 0x8160
movq 0x28(%rsp), %r8
movq 0x8(%rsp), %rsi
movq 0x20(%rsp), %r9
movq %r13, %r10
movl 0x10(%rsp), %r11d
movapd %xmm0, %xmm2
movsd 0x18(%rsp), %xmm0
jmp 0x935ed
movl $0x40, %eax
subl %ecx, %eax
jmp 0x93454
xorl %eax, %eax
movq %r14, %rsi
movsbq (%rsi), %rdi
incq %rsi
movslq (%r10,%rdi,4), %rdi
imulq %r15, %rax
addq %rdi, %rax
cmpq %rdx, %rsi
jbe 0x933b2
cvtsi2sd %rax, %xmm1
movq 0x8(%rsp), %rsi
testl %ecx, %ecx
movq 0x18(%rsp), %rdi
je 0x93477
leal -0x40(%rcx), %eax
cmpl $0xffffff7f, %eax       # imm = 0xFFFFFF7F
ja 0x93430
cvtsi2sd %r11d, %xmm0
movsd %xmm1, (%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movl %r11d, 0x10(%rsp)
movq %r10, %rbx
movq %r9, 0x20(%rsp)
callq 0x8160
movq 0x18(%rsp), %rdi
movsd (%rsp), %xmm1
movq 0x28(%rsp), %r8
movq 0x8(%rsp), %rsi
movq 0x20(%rsp), %r9
movq %rbx, %r10
movl 0x10(%rsp), %r11d
jmp 0x93449
addl $0x40, %ecx
movq %r15, %rax
shlq $0xa, %rax
leaq 0xbaa7f(%rip), %rdx     # 0x14dec0
addq %rax, %rdx
movsd (%rdx,%rcx,8), %xmm0
mulsd %xmm0, %xmm1
jmp 0x93477
addl %ebx, %eax
addl $0x3f, %eax
movq %r15, %rcx
shlq $0xa, %rcx
leaq 0xbaa5e(%rip), %rdx     # 0x14dec0
addq %rcx, %rdx
movsd (%rdx,%rax,8), %xmm0
movq 0x18(%rsp), %rdi
mulsd %xmm0, %xmm1
addsd %xmm2, %xmm1
movq 0x30(%rsp), %rax
testl %eax, %eax
jle 0x938f3
cmpl %eax, %r8d
jge 0x934f3
testl %r9d, %r9d
jle 0x93593
xorl %eax, %eax
movl %r9d, %ecx
movsbq (%rbp), %rdx
incq %rbp
movslq (%r10,%rdx,4), %rdx
imulq %r15, %rax
addq %rdx, %rax
decl %ecx
jne 0x93497
notl %r9d
leal (%r9,%r13), %ecx
cmpl %esi, %ecx
cmovgel %esi, %ecx
testl %ecx, %ecx
jle 0x937f4
addl %r13d, %r9d
cmpl %r9d, %esi
cmovll %esi, %r9d
xorl %edx, %edx
movsbq (%rbp), %rsi
incq %rbp
movslq (%r10,%rsi,4), %rsi
imulq %r15, %rdx
addq %rsi, %rdx
decl %r9d
jne 0x934ce
xorps %xmm2, %xmm2
cvtsi2sd %rdx, %xmm2
jmp 0x937f8
andl $0x7fffffff, %r12d      # imm = 0x7FFFFFFF
movl $0x1, %ecx
subq %r12, %rcx
leaq (%rdi,%r12), %rsi
xorl %edi, %edi
movl %r13d, %edx
leaq (%rsi,%rdi), %r8
leaq -0x1(%rdi), %rax
decl %edx
cmpb $0x30, -0x2(%r14,%r8)
jne 0x93525
cmpq %rdi, %rcx
movq %rax, %rdi
jne 0x9350b
movq 0x18(%rsp), %rcx
addq %r12, %rcx
addq %rcx, %r14
leaq (%rax,%r14), %rcx
decq %rcx
testb $0x1, %dl
jne 0x93583
cmpq %rcx, %rbp
ja 0x9358c
xorl %edx, %edx
movq 0x50(%rsp), %r8
movq 0x48(%rsp), %rbx
leaq (%rbx,%r8), %rsi
addq $0x2, %rsi
movsbq -0x2(%rsi), %rdi
movslq (%r10,%rdi,4), %rdi
imulq %r15, %rdx
addq %rdi, %rdx
movsbq -0x1(%rsi), %rdi
movslq (%r10,%rdi,4), %rdi
imulq %r15, %rdx
addq %rdi, %rdx
addq $0x2, %rbx
cmpq %rcx, %rsi
jbe 0x9354d
jmp 0x937b0
cmpq %rcx, %rbp
jbe 0x93796
xorl %edx, %edx
jmp 0x937b0
testl %r8d, %r8d
jle 0x93894
xorl %eax, %eax
xorl %ecx, %ecx
leaq (%rdi,%rax), %rdx
movsbq -0x1(%r14,%rdx), %rdx
movslq (%r10,%rdx,4), %rdx
imulq %r15, %rcx
addq %rdx, %rcx
incq %rax
cmpl %eax, %esi
jne 0x935a0
xorps %xmm2, %xmm2
cvtsi2sd %rcx, %xmm2
jmp 0x93898
addl %eax, %ecx
leal (%rbx,%rcx), %eax
addl $0x3f, %eax
jmp 0x935d7
leal 0x40(%r9), %eax
movq %r15, %rcx
shlq $0xa, %rcx
leaq 0xba8db(%rip), %rdx     # 0x14dec0
addq %rcx, %rdx
movsd (%rdx,%rax,8), %xmm2
mulsd %xmm0, %xmm2
movq (%rsp), %rax
cmpl %eax, %esi
jle 0x9370f
movq 0x30(%rsp), %r14
testl %r14d, %r14d
jle 0x93888
xorps %xmm0, %xmm0
cvtsi2sd %r11d, %xmm0
movsd %xmm0, 0x18(%rsp)
xorl %ebx, %ebx
movq %r15, %rax
shlq $0xa, %rax
leaq 0xba897(%rip), %rcx     # 0x14dec0
addq %rax, %rcx
movq %rcx, 0x10(%rsp)
movslq %r14d, %rax
cmpq %rax, %r8
movq %rax, %rcx
cmovlq %r8, %rcx
movl %esi, %r14d
subl %eax, %r14d
cmovll %esi, %eax
testl %eax, %eax
jle 0x936c1
leal -0x1(%rax), %edx
leaq 0x1(%rbp), %r12
xorl %esi, %esi
xorl %r13d, %r13d
movsbq (%rbp,%rsi), %rdi
movslq (%r10,%rdi,4), %rdi
imulq %r15, %r13
addq %rdi, %r13
incq %rsi
cmpl %esi, %ecx
jne 0x93657
addq %rdx, %r12
testq %r13, %r13
je 0x936c6
addl %ebx, %eax
movl %r9d, %ecx
subl %eax, %ecx
leal -0x40(%rcx), %eax
cmpl $0xffffff7f, %eax       # imm = 0xFFFFFF7F
ja 0x936cd
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd 0x18(%rsp), %xmm0
movq %r10, %rbp
movq %r14, 0x30(%rsp)
movq %r9, %r14
movsd %xmm2, (%rsp)
callq 0x8160
movsd (%rsp), %xmm2
movq 0x28(%rsp), %r8
movq %r14, %r9
movq 0x30(%rsp), %r14
movq %rbp, %r10
jmp 0x936da
movq %rbp, %r12
jmp 0x936ef
movq 0x8(%rsp), %rsi
jmp 0x936ef
addl $0x40, %ecx
movq 0x10(%rsp), %rax
movsd (%rax,%rcx,8), %xmm0
movq 0x8(%rsp), %rsi
xorps %xmm1, %xmm1
cvtsi2sd %r13, %xmm1
mulsd %xmm0, %xmm1
addsd %xmm1, %xmm2
negl %r14d
testl %r14d, %r14d
jle 0x93888
addl %r8d, %ebx
movq %r12, %rbp
cmpl %r9d, %ebx
jl 0x93631
jmp 0x93888
cmpl %eax, %esi
jge 0x93888
movl %r8d, %eax
notl %eax
addl %ebx, %eax
cmpl %esi, %eax
cmovgel %esi, %eax
testl %eax, %eax
jle 0x9374c
movslq 0x38(%rsp), %rcx
cmpq %rcx, %r8
cmovlq %r8, %rcx
xorl %edx, %edx
movsbq (%r14,%rdx), %rsi
movslq (%r10,%rsi,4), %rsi
imulq %r15, %r12
addq %rsi, %r12
incq %rdx
cmpl %edx, %ecx
jne 0x93735
xorps %xmm1, %xmm1
cvtsi2sd %r12, %xmm1
subl %eax, %r9d
leal -0x40(%r9), %eax
cmpl $0xffffff7f, %eax       # imm = 0xFFFFFF7F
ja 0x93868
xorps %xmm0, %xmm0
cvtsi2sd %r11d, %xmm0
movsd %xmm1, 0x8(%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %r9d, %xmm1
movsd %xmm2, (%rsp)
callq 0x8160
movsd 0x8(%rsp), %xmm1
movsd (%rsp), %xmm2
jmp 0x93880
xorl %edx, %edx
movsbq (%rbp), %rsi
incq %rbp
movslq (%r10,%rsi,4), %rsi
imulq %r15, %rdx
addq %rsi, %rdx
cmpq %rcx, %rbp
jbe 0x93798
xorps %xmm2, %xmm2
cvtsi2sd %rdx, %xmm2
movl %r9d, %ecx
subl %r13d, %ecx
movl %ecx, %edx
subl %eax, %edx
addl $-0x40, %edx
cmpl $0xffffff7f, %edx       # imm = 0xFFFFFF7F
ja 0x937e9
subq %rax, %rcx
xorps %xmm0, %xmm0
cvtsi2sd %r11d, %xmm0
movsd %xmm1, (%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
jmp 0x938bb
subl %r13d, %r9d
subl %eax, %r9d
jmp 0x938d3
xorpd %xmm2, %xmm2
cvtsi2sd %rax, %xmm3
leal -0x41(%rcx), %eax
cmpl $0xffffff7f, %eax       # imm = 0xFFFFFF7F
ja 0x93841
negl %ecx
xorps %xmm0, %xmm0
cvtsi2sd %r11d, %xmm0
movsd %xmm1, (%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd %xmm2, 0x8(%rsp)
movsd %xmm3, 0x30(%rsp)
callq 0x8160
movsd 0x30(%rsp), %xmm3
movsd 0x8(%rsp), %xmm2
movsd (%rsp), %xmm1
jmp 0x9385b
movl $0x40, %eax
subl %ecx, %eax
shlq $0xa, %r15
leaq 0xba66d(%rip), %rcx     # 0x14dec0
addq %r15, %rcx
movsd (%rcx,%rax,8), %xmm0
mulsd %xmm0, %xmm2
addsd %xmm3, %xmm2
jmp 0x938ef
addl $0x40, %r9d
shlq $0xa, %r15
leaq 0xba649(%rip), %rax     # 0x14dec0
addq %r15, %rax
movsd (%rax,%r9,8), %xmm0
mulsd %xmm0, %xmm1
addsd %xmm1, %xmm2
movsd 0x40(%rsp), %xmm0
mulsd %xmm2, %xmm0
jmp 0x938fd
xorpd %xmm2, %xmm2
subl %r8d, %r9d
leal -0x40(%r9), %eax
cmpl $0xffffff7f, %eax       # imm = 0xFFFFFF7F
ja 0x938d3
xorps %xmm0, %xmm0
cvtsi2sd %r11d, %xmm0
movsd %xmm1, (%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %r9d, %xmm1
movsd %xmm2, 0x8(%rsp)
callq 0x8160
movsd 0x8(%rsp), %xmm2
movsd (%rsp), %xmm1
jmp 0x938eb
addl $0x40, %r9d
shlq $0xa, %r15
leaq 0xba5de(%rip), %rax     # 0x14dec0
addq %r15, %rax
movsd (%rax,%r9,8), %xmm0
mulsd %xmm0, %xmm2
addsd %xmm2, %xmm1
movsd 0x40(%rsp), %xmm0
mulsd %xmm1, %xmm0
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq