// File: /workspace/github_c_makefile_star2_O2/madler[P]pigz/pigz.c
// Function: infchk
local void infchk(void) {
    int ret, cont, more;
    unsigned long check, len, ktot;
    z_stream strm;
    unsigned tmp2;
    unsigned long tmp4;
    length_t clen, ctot, utot;

    ctot = utot = 0;
    ktot = CHECK(0L, Z_NULL, 0);
    cont = more = 0;
    do {
        // header already read -- set up for decompression
        g.in_tot = g.in_left;       // track compressed data length
        g.out_tot = 0;
        g.out_check = CHECK(0L, Z_NULL, 0);
        strm.zalloc = ZALLOC;
        strm.zfree = ZFREE;
        strm.opaque = OPAQUE;
        ret = inflateBackInit(&strm, 15, out_buf);
        if (ret == Z_MEM_ERROR)
            throw(ENOMEM, "not enough memory");
        if (ret != Z_OK)
            throw(EINVAL, "internal error");

        // decompress, compute lengths and check value
        strm.avail_in = 0;
        strm.next_in = Z_NULL;
        ret = inflateBack(&strm, inb, NULL, outb, NULL);
        inflateBackEnd(&strm);
        g.in_left += strm.avail_in;
        g.in_next = strm.next_in;
        outb(NULL, NULL, 0);        // finish off final write and check
        if (ret == Z_DATA_ERROR)
            throw(EDOM, "%s: corrupted -- invalid deflate data (%s)",
                  g.inf, strm.msg);
        if (ret == Z_BUF_ERROR)
            throw(EDOM, "%s: corrupted -- incomplete deflate data", g.inf);
        if (ret != Z_STREAM_END)
            throw(EINVAL, "internal error");

        // compute compressed data length
        clen = g.in_tot - g.in_left;

        // read and check trailer
        if (g.form > 1) {           // zip local trailer (if any)
            if (g.form == 3) {      // data descriptor follows
                // get data descriptor values, assuming no signature
                g.zip_crc = GET4();
                g.zip_clen = GET4();
                g.zip_ulen = GET4();        // ZIP64 -> high clen, not ulen

                // deduce whether or not a signature precedes the values
                if (g.zip_crc == SIG &&         // might be the signature
                    // if the expected CRC is not SIG, then it's a signature
                    (g.out_check != SIG ||      // assume signature
                     // now we're in a very rare case where CRC == SIG -- the
                     // first four bytes could be the signature or the CRC
                     (g.zip_clen == SIG &&      // if not, then no signature
                      // now we have the first two words are SIG and the
                      // expected CRC is SIG, so it could be a signature and
                      // the CRC, or it could be the CRC and a compressed
                      // length that is *also* SIG (!) -- so check the low 32
                      // bits of the expected compressed length for SIG
                      ((clen & LOW32) != SIG || // assume signature and CRC
                       // now the expected CRC *and* the expected low 32 bits
                       // of the compressed length are SIG -- this is so
                       // incredibly unlikely, clearly someone is messing with
                       // us, but we continue ... if the next four bytes are
                       // not SIG, then there is not a signature -- check those
                       // bytes, currently in g.zip_ulen:
                       (g.zip_ulen == SIG &&    // if not, then no signature
                        // we have three SIGs in a row in the descriptor, and
                        // both the expected CRC and the expected clen are SIG
                        // -- the first one is a signature if we don't expect
                        // the third word to be SIG, which is either the low 32
                        // bits of ulen, or if ZIP64, the high 32 bits of clen:
                        (g.zip64 ? clen >> 32 : g.out_tot) != SIG
                        // if that last compare was equal, then the expected
                        // values for the CRC, the low 32 bits of clen, *and*
                        // the low 32 bits of ulen are all SIG (!!), or in the
                        // case of ZIP64, even crazier, the CRC and *both*
                        // 32-bit halves of clen are all SIG (clen > 500
                        // petabytes!!!) ... we can no longer discriminate the
                        // hypotheses, so we will assume no signature
                        ))))) {
                    // first four bytes were actually the descriptor -- shift
                    // the values down and get another four bytes
                    g.zip_crc = g.zip_clen;
                    g.zip_clen = g.zip_ulen;
                    g.zip_ulen = GET4();
                }

                // if ZIP64, then ulen is really the high word of clen -- get
                // the actual ulen and skip its high word as well (we only
                // compare the low 32 bits of the lengths to verify)
                if (g.zip64) {
                    g.zip_ulen = GET4();
                    (void)GET4();
                }
                if (g.in_eof)
                    throw(EDOM, "%s: corrupted entry -- missing trailer",
                          g.inf);
            }
            check = g.zip_crc;
            if (check != g.out_check)
                throw(EDOM, "%s: corrupted entry -- crc32 mismatch", g.inf);
            if (g.zip_clen != (clen & LOW32) ||
                g.zip_ulen != (g.out_tot & LOW32))
                throw(EDOM, "%s: corrupted entry -- length mismatch",
                      g.inf);
            more = more_zip_entries();  // see if more entries, get comment
        }
        else if (g.form == 1) {     // zlib (big-endian) trailer
            check = (unsigned long)(GET()) << 24;
            check += (unsigned long)(GET()) << 16;
            check += (unsigned)(GET()) << 8;
            check += GET();
            if (g.in_eof)
                throw(EDOM, "%s: corrupted -- missing trailer", g.inf);
            if (check != g.out_check)
                throw(EDOM, "%s: corrupted -- adler32 mismatch", g.inf);
        }
        else {                      // gzip trailer
            check = GET4();
            len = GET4();
            if (g.in_eof)
                throw(EDOM, "%s: corrupted -- missing trailer", g.inf);
            if (check != g.out_check)
                throw(EDOM, "%s: corrupted -- crc32 mismatch", g.inf);
            if (len != (g.out_tot & LOW32))
                throw(EDOM, "%s: corrupted -- length mismatch", g.inf);
        }

        // show file information if requested
        if (g.list) {
            ctot += clen;
            utot += g.out_tot;
            ktot = COMB(ktot, check, g.out_tot);
            g.in_tot = clen;
            show_info(8, check, g.out_tot, cont);
            cont = cont ? 2 : 1;
        }

        // if a gzip entry follows a gzip entry, decompress it (don't replace
        // saved header information from first entry)
    } while (g.form == 0 && (ret = get_header(0)) == 8);

    // show totals if more than one gzip member
    if (cont > 1 && g.verbosity > 0) {
        if (g.verbosity > 1)
            printf("        %08lx                ", ktot);
        printf(
#if __STDC_VERSION__-0 >= 199901L || __GNUC__-0 >= 3
               "%10ju %10ju %6.1f%%  (total)\n",
#else
               "%10lu %10lu %6.1f%%  (total)\n",
#endif
               ctot, utot, 100. * (utot - (double)ctot) / utot);
    }

    // gzip -cdf copies junk after gzip stream directly to output
    if (g.form == 0 && ret == -2 && g.force && g.pipeout && g.decode != 2 &&
        !g.list)
        cat();

    // check for more entries in zip file
    else if (more) {
        complain("warning: %s: entries after the first were ignored", g.inf);
        g.keep = 1;         // don't delete the .zip file
    }

    // check for non-gzip after gzip stream, or anything after zlib stream
    else if ((g.verbosity > 1 && g.form == 0 && ret != -1) ||
             (g.form == 1 && (GET(), !g.in_eof)))
        complain("warning: %s: trailing junk was ignored", g.inf);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
cmpl $0x1, 0x142e0(%rip)     # 0x1c388
jne 0x80b7
xorl %edi, %edi
xorl %esi, %esi
xorl %edx, %edx
callq 0x3390
jmp 0x80c2
xorl %edi, %edi
xorl %esi, %esi
xorl %edx, %edx
callq 0xb419
movq %rax, (%rsp)
movq $0x0, 0x10(%rsp)
leaq 0x28(%rsp), %rbp
pushq $0x1
popq %rax
movl %eax, 0xc(%rsp)
xorl %r13d, %r13d
movq $0x0, 0x20(%rsp)
movq $0x0, 0x18(%rsp)
movq 0x1c379(%rip), %rax     # 0x24470
movq %rax, 0x1c382(%rip)     # 0x24480
andq $0x0, 0x1c382(%rip)     # 0x24488
cmpl $0x1, 0x1427b(%rip)     # 0x1c388
jne 0x811c
xorl %edi, %edi
xorl %esi, %esi
xorl %edx, %edx
callq 0x3390
jmp 0x8127
xorl %edi, %edi
xorl %esi, %esi
xorl %edx, %edx
callq 0xb419
movq %rax, 0x1c362(%rip)     # 0x24490
leaq 0x68(%rsp), %rax
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
andq $0x0, 0x10(%rax)
movq %rbp, %rdi
pushq $0xf
popq %rsi
leaq 0x243a3(%rip), %rdx     # 0x2c4f0
leaq 0xd3b2(%rip), %rcx      # 0x15506
pushq $0x70
popq %r8
callq 0x3140
testl %eax, %eax
jne 0x91c5
andl $0x0, 0x30(%rsp)
andq $0x0, 0x28(%rsp)
movq %rbp, %rdi
leaq 0x32f5(%rip), %rsi      # 0xb46f
xorl %edx, %edx
leaq 0x1a10(%rip), %rcx      # 0x9b93
xorl %r8d, %r8d
callq 0x3350
movl %eax, %r15d
movq %rbp, %rdi
callq 0x3170
movl 0x30(%rsp), %eax
addq %rax, 0x1c2cf(%rip)     # 0x24470
movq 0x28(%rsp), %rax
movq %rax, 0x1c2bb(%rip)     # 0x24468
xorl %esi, %esi
xorl %edx, %edx
callq 0x9b93
cmpl $0x1, %r15d
jne 0x9199
movq 0x1c2b9(%rip), %rbx     # 0x24480
movq 0x1c2a2(%rip), %rcx     # 0x24470
subq %rcx, %rbx
movl 0x141b1(%rip), %eax     # 0x1c388
cmpl $0x2, %eax
jl 0x82db
cmpl $0x3, %eax
jne 0x8e6f
testq %rcx, %rcx
je 0x84fc
decq %rcx
movq %rcx, 0x1c274(%rip)     # 0x24470
movq 0x1c265(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c25a(%rip)     # 0x24468
movzbl (%rax), %r15d
testq %rcx, %rcx
je 0x852c
decq %rcx
movq %rcx, 0x1c24b(%rip)     # 0x24470
movq 0x1c23c(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c231(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orq %rax, %r15
testq %rcx, %rcx
je 0x8576
decq %rcx
movq %rcx, 0x1c21d(%rip)     # 0x24470
movq 0x1c20e(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c203(%rip)     # 0x24468
movzbl (%rax), %r14d
testq %rcx, %rcx
je 0x859d
decq %rcx
movq %rcx, 0x1c1f4(%rip)     # 0x24470
movq 0x1c1e5(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c1da(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orl %r14d, %eax
shll $0x10, %eax
orq %r15, %rax
movq %rax, 0x1417c(%rip)     # 0x1c420
testq %rcx, %rcx
je 0x881e
decq %rcx
movq %rcx, 0x1c1b9(%rip)     # 0x24470
movq 0x1c1aa(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c19f(%rip)     # 0x24468
movzbl (%rax), %r15d
testq %rcx, %rcx
jne 0x861c
jmp 0x85bb
cmpl $0x1, %eax
jne 0x8437
testq %rcx, %rcx
jne 0x830b
cmpl $0x0, 0x1c188(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
movq 0x1c16e(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x87e9
decq %rcx
movq %rcx, 0x1c15b(%rip)     # 0x24470
movq 0x1c14c(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c141(%rip)     # 0x24468
movzbl (%rax), %r12d
shll $0x18, %r12d
testq %rcx, %rcx
jne 0x8356
cmpl $0x0, 0x1c13d(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
movq 0x1c123(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x87f1
decq %rcx
movq %rcx, 0x1c110(%rip)     # 0x24470
movq 0x1c101(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c0f6(%rip)     # 0x24468
movzbl (%rax), %r14d
shll $0x10, %r14d
testq %rcx, %rcx
jne 0x83a1
cmpl $0x0, 0x1c0f2(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
movq 0x1c0d8(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x87f9
decq %rcx
movq %rcx, 0x1c0c5(%rip)     # 0x24470
movq 0x1c0b6(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c0ab(%rip)     # 0x24468
movzbl (%rax), %ebp
shll $0x8, %ebp
testq %rcx, %rcx
jne 0x83ea
cmpl $0x0, 0x1c0a9(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
testq %rax, %rax
je 0x8808
movq 0x1c086(%rip), %rcx     # 0x24470
decq %rcx
movq %rcx, 0x1c07c(%rip)     # 0x24470
movq 0x1c06d(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rcx
movq %rcx, 0x1c062(%rip)     # 0x24468
movzbl (%rax), %r15d
cmpl $0x0, 0x1c067(%rip)     # 0x24478
jne 0x91e8
addq %r12, %r14
addq %rbp, %r14
orq %r14, %r15
cmpq 0x1c069(%rip), %r15     # 0x24490
leaq 0x28(%rsp), %rbp
je 0x8eaf
jmp 0x9258
testq %rcx, %rcx
je 0x8514
decq %rcx
movq %rcx, 0x1c026(%rip)     # 0x24470
movq 0x1c017(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1c00c(%rip)     # 0x24468
movzbl (%rax), %r12d
testq %rcx, %rcx
je 0x8551
decq %rcx
movq %rcx, 0x1bffd(%rip)     # 0x24470
movq 0x1bfee(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bfe3(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orq %rax, %r12
testq %rcx, %rcx
je 0x8588
decq %rcx
movq %rcx, 0x1bfcf(%rip)     # 0x24470
movq 0x1bfc0(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bfb5(%rip)     # 0x24468
movzbl (%rax), %r15d
testq %rcx, %rcx
je 0x8643
decq %rcx
movq %rcx, 0x1bfa6(%rip)     # 0x24470
movq 0x1bf97(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bf8c(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orl %r15d, %eax
shll $0x10, %eax
orq %r12, %rax
movq %rax, %r15
testq %rcx, %rcx
jne 0x8675
jmp 0x8657
cmpl $0x0, 0x1bf75(%rip)     # 0x24478
je 0x87af
xorl %r14d, %r14d
xorl %r15d, %r15d
jmp 0x85aa
cmpl $0x0, 0x1bf5d(%rip)     # 0x24478
je 0x87cc
xorl %r15d, %r15d
xorl %r12d, %r12d
jmp 0x8650
cmpl $0x0, 0x1bf45(%rip)     # 0x24478
jne 0x8583
callq 0xb020
movq 0x1bf2f(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x821b
xorl %eax, %eax
jmp 0x823d
cmpl $0x0, 0x1bf20(%rip)     # 0x24478
jne 0x8595
callq 0xb020
movq 0x1bf0a(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8469
xorl %eax, %eax
jmp 0x848b
cmpl $0x0, 0x1befb(%rip)     # 0x24478
je 0x8a7e
xorl %r14d, %r14d
jmp 0x85aa
cmpl $0x0, 0x1bee9(%rip)     # 0x24478
je 0x8a9b
xorl %r15d, %r15d
jmp 0x8650
cmpl $0x0, 0x1bed4(%rip)     # 0x24478
je 0x8ab8
shll $0x10, %r14d
orq %r15, %r14
movq %r14, 0x13e68(%rip)     # 0x1c420
xorl %r15d, %r15d
cmpl $0x0, 0x1beb6(%rip)     # 0x24478
je 0x8607
xorl %r14d, %r14d
shll $0x10, %r14d
orq %r15, %r14
movq %r14, 0x13e53(%rip)     # 0x1c428
xorl %r15d, %r15d
cmpl $0x0, 0x1be99(%rip)     # 0x24478
je 0x85eb
xorl %r12d, %r12d
xorl %eax, %eax
jmp 0x894a
callq 0xb020
movq 0x1be79(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x88d1
xorl %eax, %eax
jmp 0x88f3
callq 0xb020
movq 0x1be5d(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x8836
decq %rcx
movq %rcx, 0x1be4a(%rip)     # 0x24470
movq 0x1be3b(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1be30(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
jmp 0x8838
cmpl $0x0, 0x1be2e(%rip)     # 0x24478
je 0x8ad4
shll $0x10, %r15d
orq %r12, %r15
cmpl $0x0, 0x1be1a(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
movq 0x1be00(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x8697
decq %rcx
movq %rcx, 0x1bdf1(%rip)     # 0x24470
movq 0x1bde2(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bdd7(%rip)     # 0x24468
movzbl (%rax), %r12d
jmp 0x869a
xorl %r12d, %r12d
testq %rcx, %rcx
jne 0x86c1
cmpl $0x0, 0x1bdd2(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
movq 0x1bdb8(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x8800
decq %rcx
movq %rcx, 0x1bda5(%rip)     # 0x24470
movq 0x1bd96(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bd8b(%rip)     # 0x24468
movzbl (%rax), %r14d
shll $0x8, %r14d
testq %rcx, %rcx
jne 0x870c
cmpl $0x0, 0x1bd87(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
movq 0x1bd6d(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x8810
decq %rcx
movq %rcx, 0x1bd5a(%rip)     # 0x24470
movq 0x1bd4b(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bd40(%rip)     # 0x24468
movzbl (%rax), %ebp
testq %rcx, %rcx
jne 0x8752
cmpl $0x0, 0x1bd41(%rip)     # 0x24478
jne 0x91e8
callq 0xb020
testq %rax, %rax
je 0x8817
movq 0x1bd1e(%rip), %rcx     # 0x24470
decq %rcx
movq %rcx, 0x1bd14(%rip)     # 0x24470
movq 0x1bd05(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rcx
movq %rcx, 0x1bcfa(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
cmpl $0x0, 0x1bcfd(%rip)     # 0x24478
jne 0x91e8
cmpq 0x1bd08(%rip), %r15     # 0x24490
jne 0x9238
orq %r12, %r14
orl %ebp, %eax
shll $0x10, %eax
orq %r14, %rax
cmpl 0x1bce9(%rip), %eax     # 0x24488
leaq 0x28(%rsp), %rbp
je 0x8eaf
jmp 0x9248
callq 0xb020
movq 0x1bcb5(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x81f2
xorl %r15d, %r15d
jmp 0x8212
callq 0xb020
movq 0x1bc98(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8440
xorl %r12d, %r12d
jmp 0x8460
xorl %r12d, %r12d
jmp 0x832f
xorl %r14d, %r14d
jmp 0x837a
xorl %ebp, %ebp
jmp 0x83c3
xorl %r14d, %r14d
jmp 0x86e5
xorl %r15d, %r15d
jmp 0x840a
xorl %ebp, %ebp
jmp 0x872b
xorl %eax, %eax
jmp 0x8774
cmpl $0x0, 0x1bc53(%rip)     # 0x24478
je 0x8af0
xorl %r14d, %r14d
xorl %r15d, %r15d
jmp 0x85c7
xorl %eax, %eax
orq %rax, %r15
testq %rcx, %rcx
je 0x89c2
decq %rcx
movq %rcx, 0x1bc22(%rip)     # 0x24470
movq 0x1bc13(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bc08(%rip)     # 0x24468
movzbl (%rax), %r14d
testq %rcx, %rcx
je 0x8a16
decq %rcx
movq %rcx, 0x1bbf9(%rip)     # 0x24470
movq 0x1bbea(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bbdf(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orl %r14d, %eax
shll $0x10, %eax
orq %r15, %rax
movq %rax, 0x13b89(%rip)     # 0x1c428
testq %rcx, %rcx
je 0x8a66
decq %rcx
movq %rcx, 0x1bbbe(%rip)     # 0x24470
movq 0x1bbaf(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bba4(%rip)     # 0x24468
movzbl (%rax), %r15d
testq %rcx, %rcx
je 0x85d8
decq %rcx
movq %rcx, 0x1bb95(%rip)     # 0x24470
movq 0x1bb86(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bb7b(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orq %rax, %r15
testq %rcx, %rcx
je 0x89ec
decq %rcx
movq %rcx, 0x1bb67(%rip)     # 0x24470
movq 0x1bb58(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1bb4d(%rip)     # 0x24468
movzbl (%rax), %r12d
testq %rcx, %rcx
je 0x8a3f
decq %rcx
movq %rcx, 0x1bb3e(%rip)     # 0x24470
movq 0x1bb2f(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rcx
movq %rcx, 0x1bb24(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
addq %rax, %r12
shlq $0x10, %r12
orq %r15, %r12
movq %r12, 0x13ad5(%rip)     # 0x1c430
cmpq $0x8074b50, 0x13aba(%rip) # imm = 0x8074B50
jne 0x8c56
cmpq $0x8074b50, 0x1bb19(%rip) # imm = 0x8074B50
movq 0x13aaa(%rip), %rax     # 0x1c428
jne 0x8b3e
cmpq $0x8074b50, %rax        # imm = 0x8074B50
jne 0x8c56
cmpl $0x8074b50, %ebx        # imm = 0x8074B50
jne 0x8b3e
cmpq $0x8074b50, %r12        # imm = 0x8074B50
jne 0x8c56
cmpl $0x0, 0x13a88(%rip)     # 0x1c438
jne 0x8b2a
movq 0x1bacb(%rip), %rcx     # 0x24488
jmp 0x8b31
cmpl $0x0, 0x1baaf(%rip)     # 0x24478
jne 0x85c4
callq 0xb020
movq 0x1ba95(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8844
xorl %r14d, %r14d
jmp 0x8864
cmpl $0x0, 0x1ba85(%rip)     # 0x24478
jne 0x85e1
callq 0xb020
movq 0x1ba6b(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x88ff
xorl %r12d, %r12d
jmp 0x891f
cmpl $0x0, 0x1ba5b(%rip)     # 0x24478
jne 0x85c7
callq 0xb020
movq 0x1ba41(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x886d
xorl %eax, %eax
jmp 0x888f
cmpl $0x0, 0x1ba32(%rip)     # 0x24478
jne 0x85e4
callq 0xb020
testq %rax, %rax
je 0x85e4
movq 0x1ba0f(%rip), %rcx     # 0x24470
jmp 0x8928
cmpl $0x0, 0x1ba0b(%rip)     # 0x24478
je 0x8b0d
xorl %r12d, %r12d
xorl %r15d, %r15d
jmp 0x85e4
callq 0xb020
movq 0x1b9e6(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8249
xorl %r14d, %r14d
jmp 0x8269
callq 0xb020
movq 0x1b9c9(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8497
xorl %r15d, %r15d
jmp 0x84b7
callq 0xb020
movq 0x1b9ac(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8272
xorl %eax, %eax
jmp 0x8294
callq 0xb020
movq 0x1b990(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x84c0
xorl %eax, %eax
jmp 0x84e2
callq 0xb020
movq 0x1b974(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x82ad
xorl %r15d, %r15d
jmp 0x82cd
callq 0xb020
movq 0x1b957(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x88a8
xorl %r15d, %r15d
jmp 0x88c8
movq %rbx, %rcx
shrq $0x20, %rcx
cmpq $0x8074b50, %rcx        # imm = 0x8074B50
je 0x8c56
movq %rax, 0x138db(%rip)     # 0x1c420
movq %r12, 0x138dc(%rip)     # 0x1c428
movq 0x1b91d(%rip), %rcx     # 0x24470
testq %rcx, %rcx
je 0x8bfa
decq %rcx
movq %rcx, 0x1b90a(%rip)     # 0x24470
movq 0x1b8fb(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1b8f0(%rip)     # 0x24468
movzbl (%rax), %r12d
testq %rcx, %rcx
je 0x8c0f
decq %rcx
movq %rcx, 0x1b8e1(%rip)     # 0x24470
movq 0x1b8d2(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1b8c7(%rip)     # 0x24468
movzbl (%rax), %r15d
shll $0x8, %r15d
orq %r12, %r15
testq %rcx, %rcx
je 0x8c24
decq %rcx
movq %rcx, 0x1b8b5(%rip)     # 0x24470
movq 0x1b8a6(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1b89b(%rip)     # 0x24468
movzbl (%rax), %r14d
testq %rcx, %rcx
je 0x8c36
decq %rcx
movq %rcx, 0x1b890(%rip)     # 0x24470
movq 0x1b881(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rcx
movq %rcx, 0x1b876(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
jmp 0x8c45
cmpl $0x0, 0x1b877(%rip)     # 0x24478
je 0x8f79
xorl %r14d, %r14d
xorl %r15d, %r15d
jmp 0x8c43
cmpl $0x0, 0x1b862(%rip)     # 0x24478
je 0x8fb2
xorl %r14d, %r14d
movq %r12, %r15
jmp 0x8c43
cmpl $0x0, 0x1b84d(%rip)     # 0x24478
je 0x8fcf
xorl %r14d, %r14d
jmp 0x8c43
cmpl $0x0, 0x1b83b(%rip)     # 0x24478
je 0x8fec
xorl %eax, %eax
addq %rax, %r14
shlq $0x10, %r14
orq %r15, %r14
movq %r14, 0x137da(%rip)     # 0x1c430
cmpl $0x0, 0x137db(%rip)     # 0x1c438
je 0x8e62
movq 0x1b806(%rip), %rcx     # 0x24470
testq %rcx, %rcx
je 0x8d64
decq %rcx
movq %rcx, 0x1b7f3(%rip)     # 0x24470
movq 0x1b7e4(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1b7d9(%rip)     # 0x24468
movzbl (%rax), %r15d
testq %rcx, %rcx
je 0x8d79
decq %rcx
movq %rcx, 0x1b7ca(%rip)     # 0x24470
movq 0x1b7bb(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1b7b0(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orq %rax, %r15
testq %rcx, %rcx
je 0x8d9e
decq %rcx
movq %rcx, 0x1b79c(%rip)     # 0x24470
movq 0x1b78d(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1b782(%rip)     # 0x24468
movzbl (%rax), %r14d
testq %rcx, %rcx
je 0x8db0
decq %rcx
movq %rcx, 0x1b773(%rip)     # 0x24470
movq 0x1b764(%rip), %rax     # 0x24468
leaq 0x1(%rax), %rdx
movq %rdx, 0x1b759(%rip)     # 0x24468
movzbl (%rax), %eax
shll $0x8, %eax
orl %r14d, %eax
shll $0x10, %eax
orq %r15, %rax
movq %rax, 0x1370b(%rip)     # 0x1c430
testq %rcx, %rcx
jne 0x8d48
cmpl $0x0, 0x1b747(%rip)     # 0x24478
jne 0x9218
callq 0xb020
movq 0x1b72d(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x8d59
decq %rcx
movq %rcx, 0x1b71e(%rip)     # 0x24470
incq 0x1b70f(%rip)           # 0x24468
testq %rcx, %rcx
jne 0x8de9
jmp 0x8dcb
cmpl $0x0, 0x1b70d(%rip)     # 0x24478
je 0x8f3f
xorl %r14d, %r14d
xorl %r15d, %r15d
jmp 0x8dbd
cmpl $0x0, 0x1b6f8(%rip)     # 0x24478
jne 0x8dab
callq 0xb020
movq 0x1b6e2(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8c9c
xorl %eax, %eax
jmp 0x8cbe
cmpl $0x0, 0x1b6d3(%rip)     # 0x24478
je 0x8f5c
xorl %r14d, %r14d
jmp 0x8dbd
cmpl $0x0, 0x1b6c1(%rip)     # 0x24478
je 0x8f96
shll $0x10, %r14d
orq %r15, %r14
movq %r14, 0x13665(%rip)     # 0x1c430
cmpl $0x0, 0x1b6a6(%rip)     # 0x24478
jne 0x9218
callq 0xb020
movq 0x1b68c(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x8dfa
decq %rcx
movq %rcx, 0x1b67d(%rip)     # 0x24470
incq 0x1b66e(%rip)           # 0x24468
testq %rcx, %rcx
jne 0x8e1d
cmpl $0x0, 0x1b672(%rip)     # 0x24478
jne 0x9218
callq 0xb020
movq 0x1b658(%rip), %rcx     # 0x24470
testq %rax, %rax
je 0x8e2e
decq %rcx
movq %rcx, 0x1b649(%rip)     # 0x24470
incq 0x1b63a(%rip)           # 0x24468
testq %rcx, %rcx
jne 0x8e51
cmpl $0x0, 0x1b63e(%rip)     # 0x24478
jne 0x9218
callq 0xb020
testq %rax, %rax
je 0x8e62
movq 0x1b61f(%rip), %rcx     # 0x24470
decq %rcx
movq %rcx, 0x1b615(%rip)     # 0x24470
incq 0x1b606(%rip)           # 0x24468
cmpl $0x0, 0x1b60f(%rip)     # 0x24478
jne 0x9218
movq 0x135aa(%rip), %r15     # 0x1c420
cmpq 0x1b613(%rip), %r15     # 0x24490
jne 0x9228
movl %ebx, %eax
cmpq %rax, 0x1359c(%rip)     # 0x1c428
jne 0x91f8
movl 0x1b5f0(%rip), %eax     # 0x24488
cmpq %rax, 0x13591(%rip)     # 0x1c430
jne 0x91f8
callq 0xabde
movq %rax, 0x10(%rsp)
cmpl $0x0, 0x1350a(%rip)     # 0x1c3c0
movl 0x134cc(%rip), %eax     # 0x1c388
je 0x8f22
movq 0x1b5c3(%rip), %r12     # 0x24488
cmpl $0x1, %eax
jne 0x8edb
movq (%rsp), %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xb4b7
jmp 0x8eea
movq (%rsp), %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xb553
movq %rax, (%rsp)
addq %rbx, 0x20(%rsp)
addq %r12, 0x18(%rsp)
movq %rbx, 0x1b581(%rip)     # 0x24480
pushq $0x8
popq %rdi
movq %r15, %rsi
movq %r12, %rdx
movl %r13d, %ecx
callq 0x9806
cmpl $0x1, %r13d
pushq $0x2
popq %r13
sbbl $0x0, %r13d
movl 0x13466(%rip), %eax     # 0x1c388
testl %eax, %eax
jne 0x900a
xorl %edi, %edi
callq 0x6127
cmpl $0x8, %eax
je 0x80f0
jmp 0x9006
callq 0xb020
movq 0x1b525(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8c73
xorl %r15d, %r15d
jmp 0x8c93
callq 0xb020
movq 0x1b508(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8cca
xorl %r14d, %r14d
jmp 0x8cea
callq 0xb020
movq 0x1b4eb(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8b5c
xorl %r12d, %r12d
jmp 0x8b7c
callq 0xb020
movq 0x1b4ce(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8cf3
xorl %eax, %eax
jmp 0x8d15
callq 0xb020
movq 0x1b4b2(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8b85
xorl %r15d, %r15d
jmp 0x8ba9
callq 0xb020
movq 0x1b495(%rip), %rcx     # 0x24470
testq %rax, %rax
jne 0x8bb1
xorl %r14d, %r14d
jmp 0x8bd1
callq 0xb020
testq %rax, %rax
je 0x8c43
movq 0x1b46f(%rip), %rcx     # 0x24470
jmp 0x8bd6
movl %eax, 0xc(%rsp)
cmpl $0x2, %r13d
setge %cl
movl 0x13359(%rip), %eax     # 0x1c370
testl %eax, %eax
setg %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x90ac
cmpl $0x2, %eax
jb 0x903e
leaq 0xc647(%rip), %rdi      # 0x1567a
movq (%rsp), %rsi
xorl %eax, %eax
callq 0x31d0
movq 0x18(%rsp), %rdx
movq %rdx, %xmm0
movq 0xafd0(%rip), %xmm1     # 0x14020
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0xafd4(%rip), %xmm2     # 0x14030
subpd %xmm2, %xmm0
movapd %xmm0, %xmm3
unpckhpd %xmm0, %xmm3            # xmm3 = xmm3[1],xmm0[1]
addsd %xmm0, %xmm3
movq 0x20(%rsp), %rsi
movq %rsi, %xmm0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
subpd %xmm2, %xmm0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movapd %xmm3, %xmm0
subsd %xmm1, %xmm0
mulsd 0xb22e(%rip), %xmm0     # 0x142c8
divsd %xmm3, %xmm0
leaq 0xc5f3(%rip), %rdi      # 0x15698
movb $0x1, %al
callq 0x31d0
movl 0x132d6(%rip), %eax     # 0x1c388
movl 0xc(%rsp), %ecx
cmpl $-0x2, %ecx
jne 0x90ed
testl %eax, %eax
jne 0x90ed
cmpl $0x0, 0x132ba(%rip)     # 0x1c380
je 0x90ed
cmpl $0x0, 0x132a9(%rip)     # 0x1c378
je 0x90ed
cmpl $0x2, 0x132f0(%rip)     # 0x1c3c8
je 0x90ed
cmpl $0x0, 0x132df(%rip)     # 0x1c3c0
jne 0x90ed
callq 0x9dd6
jmp 0x9174
cmpl $0x0, 0x10(%rsp)
je 0x9115
movq 0x1325d(%rip), %rsi     # 0x1c358
leaq 0xc5b4(%rip), %rdi      # 0x156b6
xorl %eax, %eax
callq 0x4419
movl $0x1, 0x13269(%rip)     # 0x1c37c
jmp 0x9174
testl %eax, %eax
jne 0x913e
cmpl $-0x1, %ecx
je 0x913e
cmpl $0x1, 0x1324b(%rip)     # 0x1c370
jle 0x913e
movq 0x1322a(%rip), %rsi     # 0x1c358
leaq 0xc5b3(%rip), %rdi      # 0x156e8
xorl %eax, %eax
callq 0x4419
jmp 0x9174
cmpl $0x1, %eax
jne 0x9174
movq 0x1b326(%rip), %rax     # 0x24470
testq %rax, %rax
je 0x916b
decq %rax
movq %rax, 0x1b317(%rip)     # 0x24470
incq 0x1b308(%rip)           # 0x24468
cmpl $0x0, 0x1b311(%rip)     # 0x24478
jne 0x9174
jmp 0x9127
cmpl $0x0, 0x1b306(%rip)     # 0x24478
je 0x9186
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xb020
testq %rax, %rax
je 0x9160
movq 0x1b2d9(%rip), %rax     # 0x24470
jmp 0x914f
cmpl $-0x5, %r15d
je 0x9208
cmpl $-0x3, %r15d
jne 0x91d5
movq 0x131ac(%rip), %rdx     # 0x1c358
movq 0x58(%rsp), %rcx
leaq 0xc376(%rip), %rsi      # 0x1552e
pushq $0x21
popq %rdi
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xdd45
cmpl $-0x4, %eax
jne 0x91d5
leaq 0xc33c(%rip), %rsi      # 0x1550d
pushq $0xc
jmp 0x91de
leaq 0xc343(%rip), %rsi      # 0x1551f
pushq $0x16
popq %rdi
xorl %edx, %edx
xorl %eax, %eax
callq 0xdd45
movq 0x13169(%rip), %rdx     # 0x1c358
leaq 0xc400(%rip), %rsi      # 0x155f6
jmp 0x9266
movq 0x13159(%rip), %rdx     # 0x1c358
leaq 0xc3c9(%rip), %rsi      # 0x155cf
jmp 0x9266
movq 0x13149(%rip), %rdx     # 0x1c358
leaq 0xc343(%rip), %rsi      # 0x15559
jmp 0x9266
movq 0x13139(%rip), %rdx     # 0x1c358
leaq 0xc35c(%rip), %rsi      # 0x15582
jmp 0x9266
movq 0x13129(%rip), %rdx     # 0x1c358
leaq 0xc373(%rip), %rsi      # 0x155a9
jmp 0x9266
movq 0x13119(%rip), %rdx     # 0x1c358
leaq 0xc3f3(%rip), %rsi      # 0x15639
jmp 0x9266
movq 0x13109(%rip), %rdx     # 0x1c358
leaq 0xc403(%rip), %rsi      # 0x15659
jmp 0x9266
movq 0x130f9(%rip), %rdx     # 0x1c358
leaq 0xc3b1(%rip), %rsi      # 0x15617
pushq $0x21
popq %rdi
xorl %ecx, %ecx
xorl %eax, %eax
callq 0xdd45