// File: /workspace/github_c_makefile_star2_O2/samtools[P]htslib/test/test_expr.c
// Function: test
int test(void) {
    // These are all valid expressions that should work
    test_ev tests[] = {
        { 1,  1,   NULL, "1"},
        { 1,  1,   NULL, "+1"},
        { 1, -1,   NULL, "-1"},
        { 0,  0,   NULL, "!7"},
        { 1,  1,   NULL, "!0"},
        { 1,  1,   NULL, "!(!7)"},
        { 1,  1,   NULL, "!!7"},

        { 1,  5,   NULL, "2+3"},
        { 1, -1,   NULL, "2+-3"},
        { 1,  6,   NULL, "1+2+3"},
        { 1,  1,   NULL, "-2+3"},
        { 0,  NAN, NULL, "1+null" },
        { 0,  NAN, NULL, "null-1" },
        { 0,  NAN, NULL, "-null" },

        { 1,  6,   NULL, "2*3"},
        { 1,  6,   NULL, "1*2*3"},
        { 0,  0,   NULL, "2*0"},

        { 1,  7,   NULL, "(7)"},
        { 1,  7,   NULL, "((7))"},
        { 1, 21,   NULL, "(1+2)*(3+4)"},
        { 1, 14,   NULL, "(4*5)-(-2*-3)"},

        { 0,  NAN, NULL, "2*null"},
        { 0,  NAN, NULL, "null/2"},
        { 0,  NAN, NULL, "0/0"},

        { 1,  1,   NULL, "(1+2)*3==9"},
        { 1,  1,   NULL, "(1+2)*3!=8"},
        { 0,  0,   NULL, "(1+2)*3!=9"},
        { 0,  0,   NULL, "(1+2)*3==8"},

        { 0,  0,   NULL, "1>2"},
        { 1,  1,   NULL, "1<2"},
        { 0,  0,   NULL, "3<3"},
        { 0,  0,   NULL, "3>3"},
        { 1,  1,   NULL, "9<=9"},
        { 1,  1,   NULL, "9>=9"},
        { 1,  1,   NULL, "2*4==8"},
        { 1,  1,   NULL, "16==0x10"},
        { 1,  1,   NULL, "15<0x10"},
        { 1,  1,   NULL, "17>0x10"},
        { 0,  0,   NULL, "2*4!=8"},
        { 1,  1,   NULL, "4+2<3+4"},
        { 0,  0,   NULL, "4*2<3+4"},
        { 1,  8,   NULL, "4*(2<3)+4"}, // boolean; 4*(1)+4

        { 1,  1,   NULL, "(1<2) == (3>2)"},
        { 1,  1,   NULL, "1<2 == 3>2"},

        { 0,  NAN, NULL, "null <= 0" },
        { 0,  NAN, NULL, "null >= 0" },
        { 0,  NAN, NULL, "null < 0" },
        { 0,  NAN, NULL, "null > 0" },
        { 0,  NAN, NULL, "null == null" },
        { 0,  NAN, NULL, "null != null" },
        { 0,  NAN, NULL, "null < 10" },
        { 0,  NAN, NULL, "10 > null" },

        { 1,  1,   NULL, "2 && 1"},
        { 0,  0,   NULL, "2 && 0"},
        { 0,  0,   NULL, "0 && 2"},
        { 1,  1,   NULL, "2 || 1"},
        { 1,  1,   NULL, "2 || 0"},
        { 1,  1,   NULL, "0 || 2"},
        { 1,  1,   NULL, "1 || 2 && 3"},
        { 1,  1,   NULL, "2 && 3 || 1"},
        { 1,  1,   NULL, "0 && 3 || 2"},
        { 0,  0,   NULL, "0 && 3 || 0"},
        { 0,  0,   NULL, " 5 - 5 && 1"},
        { 0,  0,   NULL, "+5 - 5 && 1"},
        { 0,  0,   NULL, "null && 1"}, // null && x == null
        { 0,  0,   NULL, "1 && null"},
        { 1,  1,   NULL, "!null && 1"},
        { 1,  1,   NULL, "1 && !null"},
        { 1,  1,   NULL, "1 && null-but-true"},
        { 0,  0,   NULL, "null || 0"}, // null || 0 == null
        { 0,  0,   NULL, "0 || null"},
        { 1,  1,   NULL, "!null || 0"},
        { 1,  1,   NULL, "0 || !null"},
        { 1,  1,   NULL, "0 || null-but-true"},
        { 1,  1,   NULL, "null || 1"}, // null || 1 == 1
        { 1,  1,   NULL, "1 || null"},

        { 1,  1,   NULL, "3 & 1"},
        { 1,  2,   NULL, "3 & 2"},
        { 1,  3,   NULL, "1 | 2"},
        { 1,  3,   NULL, "1 | 3"},
        { 1,  7,   NULL, "1 | 6"},
        { 1,  2,   NULL, "1 ^ 3"},
        { 0,  NAN, NULL, "1 | null"},
        { 0,  NAN, NULL, "null | 1"},
        { 0,  NAN, NULL, "1 & null"},
        { 0,  NAN, NULL, "null & 1"},
        { 0,  NAN, NULL, "0 ^ null"},
        { 0,  NAN, NULL, "null ^ 0"},
        { 0,  NAN, NULL, "1 ^ null"},
        { 0,  NAN, NULL, "null ^ 1"},

        { 1,  1,   NULL, "(1^0)&(4^3)"},
        { 1,  2,   NULL, "1 ^(0&4)^ 3"},
        { 1,  2,   NULL, "1 ^ 0&4 ^ 3"},  // precedence, & before ^

        { 1,  6,   NULL, "(1|0)^(4|3)"},
        { 1,  7,   NULL, "1 |(0^4)| 3"},
        { 1,  7,   NULL, "1 | 0^4 | 3"},  // precedence, ^ before |

        { 1,  1,   NULL, "4 & 2 || 1"},
        { 1,  1,   NULL, "(4 & 2) || 1"},
        { 0,  0,   NULL, "4 & (2 || 1)"},
        { 1,  1,   NULL, "1 || 4 & 2"},
        { 1,  1,   NULL, "1 || (4 & 2)"},
        { 0,  0,   NULL, "(1 || 4) & 2"},

        { 1,  1,   NULL, " (2*3)&7  > 4"},
        { 0,  0,   NULL, " (2*3)&(7 > 4)"}, // C precedence equiv
        { 1,  1,   NULL, "((2*3)&7) > 4"},  // Python precedence equiv
        { 1,  1,   NULL, "((2*3)&7) > 4 && 2*2 <= 4"},

        { 1,  1,   "plugh", "magic"},
        { 1,  1,   "",   "empty"},
        { 1,  1,   NULL, "magic == \"plugh\""},
        { 1,  1,   NULL, "magic != \"xyzzy\""},

        { 1,  1,   NULL, "\"abc\" < \"def\""},
        { 1,  1,   NULL, "\"abc\" <= \"abc\""},
        { 0,  0,   NULL, "\"abc\" < \"ab\""},
        { 0,  0,   NULL, "\"abc\" <= \"ab\""},

        { 0,  0,   NULL, "\"abc\" > \"def\""},
        { 1,  1,   NULL, "\"abc\" >= \"abc\""},
        { 1,  1,   NULL, "\"abc\" > \"ab\""},
        { 1,  1,   NULL, "\"abc\" >= \"ab\""},

        { 0,  NAN, NULL, "null == \"x\"" },
        { 0,  NAN, NULL, "null != \"x\"" },
        { 0,  NAN, NULL, "null < \"x\"" },
        { 0,  NAN, NULL, "null > \"x\"" },

        { 1,  1,   NULL, "\"abbc\" =~ \"^a+b+c+$\""},
        { 0,  0,   NULL, "\"aBBc\" =~ \"^a+b+c+$\""},
        { 1,  1,   NULL, "\"aBBc\" !~ \"^a+b+c+$\""},
        { 1,  1,   NULL, "\"xyzzy plugh abracadabra\" =~ magic"},

        { 1,  1,   "",   "empty-but-true"   },
        { 0,  0,   NULL, "!empty-but-true"  },
        { 1,  1,   NULL, "!!empty-but-true" },
        { 1,  1,   NULL, "1 && empty-but-true && 1" },
        { 0,  0,   NULL, "1 && empty-but-true && 0" },

        { 0,  NAN, NULL, "null"    },
        { 1,  1,   NULL, "!null"   },
        { 0,  0,   NULL, "!!null", },
        { 0,  0,   NULL, "!\"foo\""   },
        { 1,  1,   NULL, "!!\"foo\""   },

        { 1,  NAN, NULL, "null-but-true"   },
        { 0,  0,   NULL, "!null-but-true"  },
        { 1,  1,   NULL, "!!null-but-true" },
        { 1,  0,   NULL, "zero-but-true"   },
        { 0,  0,   NULL, "!zero-but-true"  },
        { 1,  1,   NULL, "!!zero-but-true" },

        { 1,  log(2), NULL, "log(2)"},
        { 1,  exp(9), NULL, "exp(9)"},
        { 1,  9,      NULL, "log(exp(9))"},
        { 1,  8,      NULL, "pow(2,3)"},
        { 1,  3,      NULL, "sqrt(9)"},
        { 0,  NAN,    NULL, "sqrt(-9)"},

        { 1,  2,      NULL, "default(2,3)"},
        { 1,  3,      NULL, "default(null,3)"},
        { 0,  0,      NULL, "default(null,0)"},
        { 1,  NAN,    NULL, "default(null-but-true,0)"},
        { 1,  NAN,    NULL, "default(null-but-true,null)"},
        { 1,  NAN,    NULL, "default(null,null-but-true)"},

        { 1,  1,      NULL, "exists(\"foo\")"},
        { 1,  1,      NULL, "exists(12)"},
        { 1,  1,      NULL, "exists(\"\")"},
        { 1,  1,      NULL, "exists(0)"},
        { 0,  0,      NULL, "exists(null)"},
        { 1,  1,      NULL, "exists(null-but-true)"},
    };

    int i, res = 0;
    hts_expr_val_t r = HTS_EXPR_VAL_INIT;
    for (i = 0; i < sizeof(tests) / sizeof(*tests); i++) {
        hts_filter_t *filt = hts_filter_init(tests[i].str);
        if (!filt)
            return 1;
        if (hts_filter_eval2(filt, NULL, lookup, &r)) {
            fprintf(stderr, "Failed to parse filter string %s\n",
                    tests[i].str);
            res = 1;
            hts_filter_free(filt);
            continue;
        }

        if (!hts_expr_val_exists(&r)) {
            if (r.is_true != tests[i].truth_val ||
                !cmpfloat(r.d, tests[i].dval)) {
                fprintf(stderr,
                        "Failed test: \"%s\" == \"%f\", got %s, \"%s\", %f\n",
                        tests[i].str, tests[i].dval,
                        r.is_true ? "true" : "false", r.s.s, r.d);
                res = 1;
            }
        } else if (r.is_str && (strcmpnull(r.s.s, tests[i].sval) != 0
                         || !cmpfloat(r.d, tests[i].dval)
                         || r.is_true != tests[i].truth_val)) {
            fprintf(stderr,
                    "Failed test: \"%s\" == \"%s\", got %s, \"%s\", %f\n",
                    tests[i].str, tests[i].sval,
                    r.is_true ? "true" : "false", r.s.s, r.d);
            res = 1;
        } else if (!r.is_str && (!cmpfloat(r.d, tests[i].dval)
                                 || r.is_true != tests[i].truth_val)) {
            fprintf(stderr, "Failed test: %s == %f, got %s, %f\n",
                    tests[i].str, tests[i].dval,
                    r.is_true ? "true" : "false", r.d);
            res = 1;
        }

        hts_expr_val_free(&r);
        hts_filter_free(filt);
    }

    return res;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1448, %rsp           # imm = 0x1448
pushq $0x1
popq %r13
movl %r13d, 0x40(%rsp)
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, 0x48(%rsp)
andq $0x0, 0x50(%rsp)
leaq 0x6d4ef(%rip), %rcx     # 0x7327a
movq %rcx, 0x58(%rsp)
movl %r13d, 0x60(%rsp)
movq %rax, 0x68(%rsp)
andq $0x0, 0x70(%rsp)
leaq 0x6d281(%rip), %rcx     # 0x73028
movq %rcx, 0x78(%rsp)
movl %r13d, 0x80(%rsp)
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, 0x88(%rsp)
andq $0x0, 0x90(%rsp)
leaq 0x6d27d(%rip), %rdx     # 0x73053
movq %rdx, 0x98(%rsp)
xorpd %xmm0, %xmm0
movapd %xmm0, 0xb0(%rsp)
movapd %xmm0, 0xa0(%rsp)
leaq 0x6d23a(%rip), %rdx     # 0x73035
movq %rdx, 0xb8(%rsp)
movl %r13d, 0xc0(%rsp)
movq %rax, 0xc8(%rsp)
andq $0x0, 0xd0(%rsp)
leaq 0x6d208(%rip), %rdx     # 0x7302b
movq %rdx, 0xd8(%rsp)
movl %r13d, 0xe0(%rsp)
movq %rax, 0xe8(%rsp)
andq $0x0, 0xf0(%rsp)
leaq 0x6d1e3(%rip), %rdx     # 0x7302e
movq %rdx, 0xf8(%rsp)
movl %r13d, 0x100(%rsp)
movq %rax, 0x108(%rsp)
andq $0x0, 0x110(%rsp)
leaq 0x6d1c1(%rip), %rdx     # 0x73034
movq %rdx, 0x118(%rsp)
movl %r13d, 0x120(%rsp)
movabsq $0x4014000000000000, %rdx # imm = 0x4014000000000000
movq %rdx, 0x128(%rsp)
andq $0x0, 0x130(%rsp)
leaq 0x6d19a(%rip), %rdx     # 0x7303f
movq %rdx, 0x138(%rsp)
movl %r13d, 0x140(%rsp)
movq %rcx, 0x148(%rsp)
andq $0x0, 0x150(%rsp)
leaq 0x6d16b(%rip), %rcx     # 0x73038
movq %rcx, 0x158(%rsp)
movl %r13d, 0x160(%rsp)
movabsq $0x4018000000000000, %rsi # imm = 0x4018000000000000
movq %rsi, 0x168(%rsp)
andq $0x0, 0x170(%rsp)
leaq 0x6d13e(%rip), %rcx     # 0x7303d
movq %rcx, 0x178(%rsp)
movl %r13d, 0x180(%rsp)
movq %rax, 0x188(%rsp)
andq $0x0, 0x190(%rsp)
leaq 0x6d11c(%rip), %rcx     # 0x73043
movq %rcx, 0x198(%rsp)
andl $0x0, 0x1a0(%rsp)
movabsq $0x7ff8000000000000, %rcx # imm = 0x7FF8000000000000
movq %rcx, 0x1a8(%rsp)
andq $0x0, 0x1b0(%rsp)
leaq 0x6d0ef(%rip), %rdx     # 0x73048
movq %rdx, 0x1b8(%rsp)
andl $0x0, 0x1c0(%rsp)
movq %rcx, 0x1c8(%rsp)
andq $0x0, 0x1d0(%rsp)
leaq 0x6d0ce(%rip), %rdx     # 0x7304f
movq %rdx, 0x1d8(%rsp)
andl $0x0, 0x1e0(%rsp)
movq %rcx, 0x1e8(%rsp)
andq $0x0, 0x1f0(%rsp)
leaq 0x6d0ad(%rip), %rdx     # 0x73056
movq %rdx, 0x1f8(%rsp)
movl %r13d, 0x200(%rsp)
movq %rsi, 0x208(%rsp)
andq $0x0, 0x210(%rsp)
leaq 0x6d08d(%rip), %rdx     # 0x7305e
movq %rdx, 0x218(%rsp)
movl %r13d, 0x220(%rsp)
movq %rsi, 0x228(%rsp)
andq $0x0, 0x230(%rsp)
leaq 0x6d063(%rip), %rdx     # 0x7305c
movq %rdx, 0x238(%rsp)
movapd %xmm0, 0x250(%rsp)
movapd %xmm0, 0x240(%rsp)
leaq 0x6d048(%rip), %rdx     # 0x73062
movq %rdx, 0x258(%rsp)
movl %r13d, 0x260(%rsp)
movabsq $0x401c000000000000, %rdi # imm = 0x401C000000000000
movq %rdi, 0x268(%rsp)
andq $0x0, 0x270(%rsp)
leaq 0x6d01a(%rip), %rdx     # 0x73066
movq %rdx, 0x278(%rsp)
movl %r13d, 0x280(%rsp)
movq %rdi, 0x288(%rsp)
andq $0x0, 0x290(%rsp)
leaq 0x6cff6(%rip), %rdx     # 0x7306a
movq %rdx, 0x298(%rsp)
movl %r13d, 0x2a0(%rsp)
movabsq $0x4035000000000000, %rdx # imm = 0x4035000000000000
movq %rdx, 0x2a8(%rsp)
andq $0x0, 0x2b0(%rsp)
leaq 0x6cfca(%rip), %rdx     # 0x73070
movq %rdx, 0x2b8(%rsp)
movl %r13d, 0x2c0(%rsp)
movabsq $0x402c000000000000, %rdx # imm = 0x402C000000000000
movq %rdx, 0x2c8(%rsp)
andq $0x0, 0x2d0(%rsp)
leaq 0x6cfa4(%rip), %rdx     # 0x7307c
movq %rdx, 0x2d8(%rsp)
andl $0x0, 0x2e0(%rsp)
movq %rcx, 0x2e8(%rsp)
andq $0x0, 0x2f0(%rsp)
leaq 0x6cf8a(%rip), %rdx     # 0x7308a
movq %rdx, 0x2f8(%rsp)
andl $0x0, 0x300(%rsp)
movq %rcx, 0x308(%rsp)
andq $0x0, 0x310(%rsp)
leaq 0x6cf69(%rip), %rdx     # 0x73091
movq %rdx, 0x318(%rsp)
andl $0x0, 0x320(%rsp)
movq %rcx, 0x328(%rsp)
andq $0x0, 0x330(%rsp)
leaq 0x6cf48(%rip), %rdx     # 0x73098
movq %rdx, 0x338(%rsp)
movl %r13d, 0x340(%rsp)
movq %rax, 0x348(%rsp)
andq $0x0, 0x350(%rsp)
leaq 0x6cf24(%rip), %rdx     # 0x7309c
movq %rdx, 0x358(%rsp)
movl %r13d, 0x360(%rsp)
movq %rax, 0x368(%rsp)
andq $0x0, 0x370(%rsp)
leaq 0x6cf07(%rip), %rdx     # 0x730a7
movq %rdx, 0x378(%rsp)
movapd %xmm0, 0x390(%rsp)
movapd %xmm0, 0x380(%rsp)
leaq 0x6cef1(%rip), %rdx     # 0x730b2
movq %rdx, 0x398(%rsp)
movapd %xmm0, 0x3b0(%rsp)
movapd %xmm0, 0x3a0(%rsp)
leaq 0x6cedb(%rip), %rdx     # 0x730bd
movq %rdx, 0x3b8(%rsp)
movapd %xmm0, 0x3d0(%rsp)
movapd %xmm0, 0x3c0(%rsp)
leaq 0x6cec5(%rip), %rdx     # 0x730c8
movq %rdx, 0x3d8(%rsp)
movl %r13d, 0x3e0(%rsp)
movq %rax, 0x3e8(%rsp)
andq $0x0, 0x3f0(%rsp)
leaq 0x6cea1(%rip), %rdx     # 0x730cc
movq %rdx, 0x3f8(%rsp)
movapd %xmm0, 0x410(%rsp)
movapd %xmm0, 0x400(%rsp)
leaq 0x6ce84(%rip), %rdx     # 0x730d0
movq %rdx, 0x418(%rsp)
movapd %xmm0, 0x430(%rsp)
movapd %xmm0, 0x420(%rsp)
leaq 0x6ce67(%rip), %rdx     # 0x730d4
movq %rdx, 0x438(%rsp)
movl %r13d, 0x440(%rsp)
movq %rax, 0x448(%rsp)
andq $0x0, 0x450(%rsp)
leaq 0x6ce43(%rip), %rdx     # 0x730d8
movq %rdx, 0x458(%rsp)
movl %r13d, 0x460(%rsp)
movq %rax, 0x468(%rsp)
andq $0x0, 0x470(%rsp)
leaq 0x6ce20(%rip), %rdx     # 0x730dd
movq %rdx, 0x478(%rsp)
movl %r13d, 0x480(%rsp)
movq %rax, 0x488(%rsp)
andq $0x0, 0x490(%rsp)
leaq 0x6cdfd(%rip), %rdx     # 0x730e2
movq %rdx, 0x498(%rsp)
movl %r13d, 0x4a0(%rsp)
movq %rax, 0x4a8(%rsp)
andq $0x0, 0x4b0(%rsp)
leaq 0x6cddc(%rip), %rdx     # 0x730e9
movq %rdx, 0x4b8(%rsp)
movl %r13d, 0x4c0(%rsp)
movq %rax, 0x4c8(%rsp)
andq $0x0, 0x4d0(%rsp)
leaq 0x6cdbd(%rip), %rdx     # 0x730f2
movq %rdx, 0x4d8(%rsp)
movl %r13d, 0x4e0(%rsp)
movq %rax, 0x4e8(%rsp)
andq $0x0, 0x4f0(%rsp)
leaq 0x6cd9d(%rip), %rdx     # 0x730fa
movq %rdx, 0x4f8(%rsp)
movapd %xmm0, 0x510(%rsp)
movapd %xmm0, 0x500(%rsp)
leaq 0x6cd84(%rip), %rdx     # 0x73102
movq %rdx, 0x518(%rsp)
movl %r13d, 0x520(%rsp)
movq %rax, 0x528(%rsp)
andq $0x0, 0x530(%rsp)
leaq 0x6cd63(%rip), %rdx     # 0x73109
movq %rdx, 0x538(%rsp)
movapd %xmm0, 0x550(%rsp)
movapd %xmm0, 0x540(%rsp)
leaq 0x6cd4a(%rip), %rdx     # 0x73111
movq %rdx, 0x558(%rsp)
movl %r13d, 0x560(%rsp)
movabsq $0x4020000000000000, %rdx # imm = 0x4020000000000000
movq %rdx, 0x568(%rsp)
andq $0x0, 0x570(%rsp)
leaq 0x6cd20(%rip), %r8      # 0x73119
movq %r8, 0x578(%rsp)
movl %r13d, 0x580(%rsp)
movq %rax, 0x588(%rsp)
andq $0x0, 0x590(%rsp)
leaq 0x6cd02(%rip), %r8      # 0x73123
movq %r8, 0x598(%rsp)
movl %r13d, 0x5a0(%rsp)
movq %rax, 0x5a8(%rsp)
andq $0x0, 0x5b0(%rsp)
leaq 0x6cce9(%rip), %r8      # 0x73132
movq %r8, 0x5b8(%rsp)
andl $0x0, 0x5c0(%rsp)
movq %rcx, 0x5c8(%rsp)
andq $0x0, 0x5d0(%rsp)
leaq 0x6cccc(%rip), %r8      # 0x7313d
movq %r8, 0x5d8(%rsp)
andl $0x0, 0x5e0(%rsp)
movq %rcx, 0x5e8(%rsp)
andq $0x0, 0x5f0(%rsp)
leaq 0x6ccae(%rip), %r8      # 0x73147
movq %r8, 0x5f8(%rsp)
andl $0x0, 0x600(%rsp)
movq %rcx, 0x608(%rsp)
andq $0x0, 0x610(%rsp)
leaq 0x6cc90(%rip), %r8      # 0x73151
movq %r8, 0x618(%rsp)
andl $0x0, 0x620(%rsp)
movq %rcx, 0x628(%rsp)
andq $0x0, 0x630(%rsp)
leaq 0x6cc71(%rip), %r8      # 0x7315a
movq %r8, 0x638(%rsp)
andl $0x0, 0x640(%rsp)
movq %rcx, 0x648(%rsp)
andq $0x0, 0x650(%rsp)
leaq 0x6cc52(%rip), %r8      # 0x73163
movq %r8, 0x658(%rsp)
andl $0x0, 0x660(%rsp)
movq %rcx, 0x668(%rsp)
andq $0x0, 0x670(%rsp)
leaq 0x6cc37(%rip), %r8      # 0x73170
movq %r8, 0x678(%rsp)
andl $0x0, 0x680(%rsp)
movq %rcx, 0x688(%rsp)
andq $0x0, 0x690(%rsp)
leaq 0x6cc1c(%rip), %r8      # 0x7317d
movq %r8, 0x698(%rsp)
andl $0x0, 0x6a0(%rsp)
movq %rcx, 0x6a8(%rsp)
andq $0x0, 0x6b0(%rsp)
leaq 0x6cbfe(%rip), %r8      # 0x73187
movq %r8, 0x6b8(%rsp)
movl %r13d, 0x6c0(%rsp)
movq %rax, 0x6c8(%rsp)
andq $0x0, 0x6d0(%rsp)
leaq 0x6cbe0(%rip), %r8      # 0x73191
movq %r8, 0x6d8(%rsp)
movapd %xmm0, 0x6f0(%rsp)
movapd %xmm0, 0x6e0(%rsp)
leaq 0x6cbc6(%rip), %r8      # 0x73198
movq %r8, 0x6f8(%rsp)
movapd %xmm0, 0x710(%rsp)
movapd %xmm0, 0x700(%rsp)
leaq 0x6cbac(%rip), %r8      # 0x7319f
movq %r8, 0x718(%rsp)
movl %r13d, 0x720(%rsp)
movq %rax, 0x728(%rsp)
andq $0x0, 0x730(%rsp)
leaq 0x6cd13(%rip), %r8      # 0x7332e
movq %r8, 0x738(%rsp)
movl %r13d, 0x740(%rsp)
movq %rax, 0x748(%rsp)
andq $0x0, 0x750(%rsp)
leaq 0x6cb63(%rip), %r8      # 0x731a6
movq %r8, 0x758(%rsp)
movl %r13d, 0x760(%rsp)
movq %rax, 0x768(%rsp)
andq $0x0, 0x770(%rsp)
leaq 0x6cb42(%rip), %r8      # 0x731ad
movq %r8, 0x778(%rsp)
movl %r13d, 0x780(%rsp)
movq %rax, 0x788(%rsp)
andq $0x0, 0x790(%rsp)
leaq 0x6cb21(%rip), %r8      # 0x731b4
movq %r8, 0x798(%rsp)
movl %r13d, 0x7a0(%rsp)
movq %rax, 0x7a8(%rsp)
andq $0x0, 0x7b0(%rsp)
leaq 0x6cb05(%rip), %r8      # 0x731c0
movq %r8, 0x7b8(%rsp)
movl %r13d, 0x7c0(%rsp)
movq %rax, 0x7c8(%rsp)
andq $0x0, 0x7d0(%rsp)
leaq 0x6cae9(%rip), %r8      # 0x731cc
movq %r8, 0x7d8(%rsp)
movapd %xmm0, 0x7f0(%rsp)
movapd %xmm0, 0x7e0(%rsp)
leaq 0x6cad4(%rip), %r8      # 0x731d8
movq %r8, 0x7f8(%rsp)
movapd %xmm0, 0x810(%rsp)
movapd %xmm0, 0x800(%rsp)
leaq 0x6cabf(%rip), %r8      # 0x731e4
movq %r8, 0x818(%rsp)
movapd %xmm0, 0x830(%rsp)
movapd %xmm0, 0x820(%rsp)
leaq 0x6caaa(%rip), %r8      # 0x731f0
movq %r8, 0x838(%rsp)
movapd %xmm0, 0x850(%rsp)
movapd %xmm0, 0x840(%rsp)
leaq 0x6caa0(%rip), %r8      # 0x73207
movq %r8, 0x858(%rsp)
movapd %xmm0, 0x870(%rsp)
movapd %xmm0, 0x860(%rsp)
leaq 0x6ca74(%rip), %r8      # 0x731fc
movq %r8, 0x878(%rsp)
movl %r13d, 0x880(%rsp)
movq %rax, 0x888(%rsp)
andq $0x0, 0x890(%rsp)
leaq 0x6ca56(%rip), %r8      # 0x73206
movq %r8, 0x898(%rsp)
movl %r13d, 0x8a0(%rsp)
movq %rax, 0x8a8(%rsp)
andq $0x0, 0x8b0(%rsp)
leaq 0x6ca39(%rip), %r8      # 0x73211
movq %r8, 0x8b8(%rsp)
movl %r13d, 0x8c0(%rsp)
movq %rax, 0x8c8(%rsp)
andq $0x0, 0x8d0(%rsp)
leaq 0x6ca1c(%rip), %r8      # 0x7321c
movq %r8, 0x8d8(%rsp)
movapd %xmm0, 0x8f0(%rsp)
movapd %xmm0, 0x8e0(%rsp)
leaq 0x6ca19(%rip), %r8      # 0x7323a
movq %r8, 0x8f8(%rsp)
movapd %xmm0, 0x910(%rsp)
movapd %xmm0, 0x900(%rsp)
leaq 0x6c9ed(%rip), %r8      # 0x7322f
movq %r8, 0x918(%rsp)
movl %r13d, 0x920(%rsp)
movq %rax, 0x928(%rsp)
andq $0x0, 0x930(%rsp)
leaq 0x6c9cf(%rip), %r8      # 0x73239
movq %r8, 0x938(%rsp)
movl %r13d, 0x940(%rsp)
movq %rax, 0x948(%rsp)
andq $0x0, 0x950(%rsp)
leaq 0x6c9b2(%rip), %r8      # 0x73244
movq %r8, 0x958(%rsp)
movl %r13d, 0x960(%rsp)
movq %rax, 0x968(%rsp)
andq $0x0, 0x970(%rsp)
leaq 0x6c995(%rip), %r8      # 0x7324f
movq %r8, 0x978(%rsp)
movl %r13d, 0x980(%rsp)
movq %rax, 0x988(%rsp)
andq $0x0, 0x990(%rsp)
leaq 0x6c980(%rip), %r8      # 0x73262
movq %r8, 0x998(%rsp)
movl %r13d, 0x9a0(%rsp)
movq %rax, 0x9a8(%rsp)
andq $0x0, 0x9b0(%rsp)
leaq 0x6c962(%rip), %r8      # 0x7326c
movq %r8, 0x9b8(%rsp)
movl %r13d, 0x9c0(%rsp)
movq %rax, 0x9c8(%rsp)
andq $0x0, 0x9d0(%rsp)
leaq 0x6c944(%rip), %r8      # 0x73276
movq %r8, 0x9d8(%rsp)
movl %r13d, 0x9e0(%rsp)
movabsq $0x4000000000000000, %r8 # imm = 0x4000000000000000
movq %r8, 0x9e8(%rsp)
andq $0x0, 0x9f0(%rsp)
leaq 0x6c918(%rip), %r9      # 0x7327c
movq %r9, 0x9f8(%rsp)
movl %r13d, 0xa00(%rsp)
movabsq $0x4008000000000000, %r9 # imm = 0x4008000000000000
movq %r9, 0xa08(%rsp)
andq $0x0, 0xa10(%rsp)
leaq 0x6c8ec(%rip), %r10     # 0x73282
movq %r10, 0xa18(%rsp)
movl %r13d, 0xa20(%rsp)
movq %r9, 0xa28(%rsp)
andq $0x0, 0xa30(%rsp)
leaq 0x6c8ca(%rip), %r10     # 0x73288
movq %r10, 0xa38(%rsp)
movl %r13d, 0xa40(%rsp)
movq %rdi, 0xa48(%rsp)
andq $0x0, 0xa50(%rsp)
leaq 0x6c8a8(%rip), %r10     # 0x7328e
movq %r10, 0xa58(%rsp)
movl %r13d, 0xa60(%rsp)
movq %r8, 0xa68(%rsp)
andq $0x0, 0xa70(%rsp)
leaq 0x6c886(%rip), %r10     # 0x73294
movq %r10, 0xa78(%rsp)
andl $0x0, 0xa80(%rsp)
movq %rcx, 0xa88(%rsp)
andq $0x0, 0xa90(%rsp)
leaq 0x6c864(%rip), %r10     # 0x7329a
movq %r10, 0xa98(%rsp)
andl $0x0, 0xaa0(%rsp)
movq %rcx, 0xaa8(%rsp)
andq $0x0, 0xab0(%rsp)
leaq 0x6c845(%rip), %r10     # 0x732a3
movq %r10, 0xab8(%rsp)
andl $0x0, 0xac0(%rsp)
movq %rcx, 0xac8(%rsp)
andq $0x0, 0xad0(%rsp)
leaq 0x6c826(%rip), %r10     # 0x732ac
movq %r10, 0xad8(%rsp)
andl $0x0, 0xae0(%rsp)
movq %rcx, 0xae8(%rsp)
andq $0x0, 0xaf0(%rsp)
leaq 0x6c807(%rip), %r10     # 0x732b5
movq %r10, 0xaf8(%rsp)
andl $0x0, 0xb00(%rsp)
movq %rcx, 0xb08(%rsp)
andq $0x0, 0xb10(%rsp)
leaq 0x6c7e8(%rip), %r10     # 0x732be
movq %r10, 0xb18(%rsp)
andl $0x0, 0xb20(%rsp)
movq %rcx, 0xb28(%rsp)
andq $0x0, 0xb30(%rsp)
leaq 0x6c7c9(%rip), %r10     # 0x732c7
movq %r10, 0xb38(%rsp)
andl $0x0, 0xb40(%rsp)
movq %rcx, 0xb48(%rsp)
andq $0x0, 0xb50(%rsp)
leaq 0x6c7aa(%rip), %r10     # 0x732d0
movq %r10, 0xb58(%rsp)
andl $0x0, 0xb60(%rsp)
movq %rcx, 0xb68(%rsp)
andq $0x0, 0xb70(%rsp)
leaq 0x6c78b(%rip), %r10     # 0x732d9
movq %r10, 0xb78(%rsp)
movl %r13d, 0xb80(%rsp)
movq %rax, 0xb88(%rsp)
andq $0x0, 0xb90(%rsp)
leaq 0x6c76c(%rip), %r10     # 0x732e2
movq %r10, 0xb98(%rsp)
movl %r13d, 0xba0(%rsp)
movq %r8, 0xba8(%rsp)
andq $0x0, 0xbb0(%rsp)
leaq 0x6c750(%rip), %r10     # 0x732ee
movq %r10, 0xbb8(%rsp)
movl %r13d, 0xbc0(%rsp)
movq %r8, 0xbc8(%rsp)
andq $0x0, 0xbd0(%rsp)
leaq 0x6c734(%rip), %r10     # 0x732fa
movq %r10, 0xbd8(%rsp)
movl %r13d, 0xbe0(%rsp)
movq %rsi, 0xbe8(%rsp)
andq $0x0, 0xbf0(%rsp)
leaq 0x6c718(%rip), %rsi     # 0x73306
movq %rsi, 0xbf8(%rsp)
movl %r13d, 0xc00(%rsp)
movq %rdi, 0xc08(%rsp)
andq $0x0, 0xc10(%rsp)
leaq 0x6c6fc(%rip), %rsi     # 0x73312
movq %rsi, 0xc18(%rsp)
movl %r13d, 0xc20(%rsp)
movq %rdi, 0xc28(%rsp)
andq $0x0, 0xc30(%rsp)
leaq 0x6c6e0(%rip), %rsi     # 0x7331e
movq %rsi, 0xc38(%rsp)
movl %r13d, 0xc40(%rsp)
movq %rax, 0xc48(%rsp)
andq $0x0, 0xc50(%rsp)
leaq 0x6c6c4(%rip), %rsi     # 0x7332a
movq %rsi, 0xc58(%rsp)
movl %r13d, 0xc60(%rsp)
movq %rax, 0xc68(%rsp)
andq $0x0, 0xc70(%rsp)
leaq 0x6c6a7(%rip), %rsi     # 0x73335
movq %rsi, 0xc78(%rsp)
movapd %xmm0, 0xc90(%rsp)
movapd %xmm0, 0xc80(%rsp)
leaq 0x6c693(%rip), %rsi     # 0x73342
movq %rsi, 0xc98(%rsp)
movl %r13d, 0xca0(%rsp)
movq %rax, 0xca8(%rsp)
andq $0x0, 0xcb0(%rsp)
leaq 0x6c678(%rip), %rsi     # 0x7334f
movq %rsi, 0xcb8(%rsp)
movl %r13d, 0xcc0(%rsp)
movq %rax, 0xcc8(%rsp)
andq $0x0, 0xcd0(%rsp)
leaq 0x6c65b(%rip), %rsi     # 0x7335a
movq %rsi, 0xcd8(%rsp)
movapd %xmm0, 0xcf0(%rsp)
movapd %xmm0, 0xce0(%rsp)
leaq 0x6c647(%rip), %rsi     # 0x73367
movq %rsi, 0xcf8(%rsp)
movl %r13d, 0xd00(%rsp)
movq %rax, 0xd08(%rsp)
andq $0x0, 0xd10(%rsp)
leaq 0x6c62c(%rip), %rsi     # 0x73374
movq %rsi, 0xd18(%rsp)
movapd %xmm0, 0xd20(%rsp)
movapd %xmm0, 0xd30(%rsp)
leaq 0x6c619(%rip), %rsi     # 0x73382
movq %rsi, 0xd38(%rsp)
movl %r13d, 0xd40(%rsp)
movq %rax, 0xd48(%rsp)
andq $0x0, 0xd50(%rsp)
leaq 0x6c600(%rip), %rsi     # 0x73391
movq %rsi, 0xd58(%rsp)
movl %r13d, 0xd60(%rsp)
movq %rax, 0xd68(%rsp)
andq $0x0, 0xd70(%rsp)
leaq 0x6c5e6(%rip), %rsi     # 0x7339f
movq %rsi, 0xd78(%rsp)
movl %r13d, 0xd80(%rsp)
movq %rax, 0xd88(%rsp)
leaq 0x6c244(%rip), %rsi     # 0x7301c
movq %rsi, 0xd90(%rsp)
leaq 0x6c6ee(%rip), %rsi     # 0x734d5
movq %rsi, 0xd98(%rsp)
movl %r13d, 0xda0(%rsp)
movq %rax, 0xda8(%rsp)
leaq 0x6d180(%rip), %rsi     # 0x73f86
movq %rsi, 0xdb0(%rsp)
leaq 0x6c20d(%rip), %rdi     # 0x73022
movq %rdi, 0xdb8(%rsp)
movl %r13d, 0xdc0(%rsp)
movq %rax, 0xdc8(%rsp)
andq $0x0, 0xdd0(%rsp)
leaq 0x6c57c(%rip), %rdi     # 0x733b9
movq %rdi, 0xdd8(%rsp)
movl %r13d, 0xde0(%rsp)
movq %rax, 0xde8(%rsp)
andq $0x0, 0xdf0(%rsp)
leaq 0x6c565(%rip), %rdi     # 0x733ca
movq %rdi, 0xdf8(%rsp)
movl %r13d, 0xe00(%rsp)
movq %rax, 0xe08(%rsp)
andq $0x0, 0xe10(%rsp)
leaq 0x6c54e(%rip), %rdi     # 0x733db
movq %rdi, 0xe18(%rsp)
movl %r13d, 0xe20(%rsp)
movq %rax, 0xe28(%rsp)
andq $0x0, 0xe30(%rsp)
leaq 0x6c534(%rip), %rdi     # 0x733e9
movq %rdi, 0xe38(%rsp)
movapd %xmm0, 0xe50(%rsp)
movapd %xmm0, 0xe40(%rsp)
leaq 0x6c522(%rip), %rdi     # 0x733f8
movq %rdi, 0xe58(%rsp)
movapd %xmm0, 0xe70(%rsp)
movapd %xmm0, 0xe60(%rsp)
leaq 0x6c50e(%rip), %rdi     # 0x73405
movq %rdi, 0xe78(%rsp)
movapd %xmm0, 0xe90(%rsp)
movapd %xmm0, 0xe80(%rsp)
leaq 0x6c4fb(%rip), %rdi     # 0x73413
movq %rdi, 0xe98(%rsp)
movl %r13d, 0xea0(%rsp)
movq %rax, 0xea8(%rsp)
andq $0x0, 0xeb0(%rsp)
leaq 0x6c4e1(%rip), %rdi     # 0x73421
movq %rdi, 0xeb8(%rsp)
movl %r13d, 0xec0(%rsp)
movq %rax, 0xec8(%rsp)
andq $0x0, 0xed0(%rsp)
leaq 0x6c4c8(%rip), %rdi     # 0x73430
movq %rdi, 0xed8(%rsp)
movl %r13d, 0xee0(%rsp)
movq %rax, 0xee8(%rsp)
andq $0x0, 0xef0(%rsp)
leaq 0x6c4ad(%rip), %rdi     # 0x7343d
movq %rdi, 0xef8(%rsp)
andl $0x0, 0xf00(%rsp)
movq %rcx, 0xf08(%rsp)
andq $0x0, 0xf10(%rsp)
leaq 0x6c493(%rip), %rdi     # 0x7344b
movq %rdi, 0xf18(%rsp)
andl $0x0, 0xf20(%rsp)
movq %rcx, 0xf28(%rsp)
andq $0x0, 0xf30(%rsp)
leaq 0x6c477(%rip), %rdi     # 0x73457
movq %rdi, 0xf38(%rsp)
andl $0x0, 0xf40(%rsp)
movq %rcx, 0xf48(%rsp)
andq $0x0, 0xf50(%rsp)
leaq 0x6c45b(%rip), %rdi     # 0x73463
movq %rdi, 0xf58(%rsp)
andl $0x0, 0xf60(%rsp)
movq %rcx, 0xf68(%rsp)
andq $0x0, 0xf70(%rsp)
leaq 0x6c43e(%rip), %rdi     # 0x7346e
movq %rdi, 0xf78(%rsp)
movl %r13d, 0xf80(%rsp)
movq %rax, 0xf88(%rsp)
andq $0x0, 0xf90(%rsp)
leaq 0x6c421(%rip), %rdi     # 0x73479
movq %rdi, 0xf98(%rsp)
movapd %xmm0, 0xfb0(%rsp)
movapd %xmm0, 0xfa0(%rsp)
leaq 0x6c415(%rip), %rdi     # 0x7348e
movq %rdi, 0xfb8(%rsp)
movl %r13d, 0xfc0(%rsp)
movq %rax, 0xfc8(%rsp)
andq $0x0, 0xfd0(%rsp)
leaq 0x6c402(%rip), %rdi     # 0x734a3
movq %rdi, 0xfd8(%rsp)
movl %r13d, 0xfe0(%rsp)
movq %rax, 0xfe8(%rsp)
andq $0x0, 0xff0(%rsp)
leaq 0x6c3ef(%rip), %rdi     # 0x734b8
movq %rdi, 0xff8(%rsp)
movl %r13d, 0x1000(%rsp)
movq %rax, 0x1008(%rsp)
movq %rsi, 0x1010(%rsp)
leaq 0x6c3ed(%rip), %rsi     # 0x734dd
movq %rsi, 0x1018(%rsp)
movapd %xmm0, 0x1030(%rsp)
movapd %xmm0, 0x1020(%rsp)
leaq 0x6c3cb(%rip), %rsi     # 0x734dc
movq %rsi, 0x1038(%rsp)
movl %r13d, 0x1040(%rsp)
movq %rax, 0x1048(%rsp)
andq $0x0, 0x1050(%rsp)
leaq 0x6c3a2(%rip), %rsi     # 0x734db
movq %rsi, 0x1058(%rsp)
movl %r13d, 0x1060(%rsp)
movq %rax, 0x1068(%rsp)
andq $0x0, 0x1070(%rsp)
leaq 0x6c38b(%rip), %rsi     # 0x734ec
movq %rsi, 0x1078(%rsp)
movapd %xmm0, 0x1090(%rsp)
movapd %xmm0, 0x1080(%rsp)
leaq 0x6c383(%rip), %rsi     # 0x73505
movq %rsi, 0x1098(%rsp)
andl $0x0, 0x10a0(%rsp)
movq %rcx, 0x10a8(%rsp)
andq $0x0, 0x10b0(%rsp)
leaq 0x6c106(%rip), %rsi     # 0x732b0
movq %rsi, 0x10b8(%rsp)
movl %r13d, 0x10c0(%rsp)
movq %rax, 0x10c8(%rsp)
andq $0x0, 0x10d0(%rsp)
leaq 0x6c044(%rip), %rsi     # 0x73216
movq %rsi, 0x10d8(%rsp)
movapd %xmm0, 0x10f0(%rsp)
movapd %xmm0, 0x10e0(%rsp)
leaq 0x6c32b(%rip), %rsi     # 0x7351e
movq %rsi, 0x10f8(%rsp)
movapd %xmm0, 0x1110(%rsp)
movapd %xmm0, 0x1100(%rsp)
leaq 0x6c312(%rip), %rsi     # 0x73526
movq %rsi, 0x1118(%rsp)
movl %r13d, 0x1120(%rsp)
movq %rax, 0x1128(%rsp)
andq $0x0, 0x1130(%rsp)
leaq 0x6c2e9(%rip), %rsi     # 0x73525
movq %rsi, 0x1138(%rsp)
movl %r13d, 0x1140(%rsp)
movq %rcx, 0x1148(%rsp)
andq $0x0, 0x1150(%rsp)
leaq 0x6bfbd(%rip), %rsi     # 0x73221
movq %rsi, 0x1158(%rsp)
movapd %xmm0, 0x1170(%rsp)
movapd %xmm0, 0x1160(%rsp)
leaq 0x6c2a9(%rip), %rsi     # 0x7352e
movq %rsi, 0x1178(%rsp)
movl %r13d, 0x1180(%rsp)
movq %rax, 0x1188(%rsp)
andq $0x0, 0x1190(%rsp)
leaq 0x6c280(%rip), %rsi     # 0x7352d
movq %rsi, 0x1198(%rsp)
movl %r13d, 0x11a0(%rsp)
movupd %xmm0, 0x11a8(%rsp)
leaq 0x6c272(%rip), %rsi     # 0x7353f
movq %rsi, 0x11b8(%rsp)
movapd %xmm0, 0x11d0(%rsp)
movapd %xmm0, 0x11c0(%rsp)
leaq 0x6c250(%rip), %rsi     # 0x7353e
movq %rsi, 0x11d8(%rsp)
movl %r13d, 0x11e0(%rsp)
movq %rax, 0x11e8(%rsp)
andq $0x0, 0x11f0(%rsp)
leaq 0x6c227(%rip), %rsi     # 0x7353d
movq %rsi, 0x11f8(%rsp)
movl %r13d, 0x1200(%rsp)
movabsq $0x3fe62e42fefa39ef, %rsi # imm = 0x3FE62E42FEFA39EF
movq %rsi, 0x1208(%rsp)
andq $0x0, 0x1210(%rsp)
leaq 0x6c205(%rip), %rsi     # 0x7354d
movq %rsi, 0x1218(%rsp)
movl %r13d, 0x1220(%rsp)
movabsq $0x40bfa7157c470f82, %rsi # imm = 0x40BFA7157C470F82
movq %rsi, 0x1228(%rsp)
andq $0x0, 0x1230(%rsp)
leaq 0x6c1da(%rip), %rsi     # 0x73554
movq %rsi, 0x1238(%rsp)
movl %r13d, 0x1240(%rsp)
movabsq $0x4022000000000000, %rsi # imm = 0x4022000000000000
movq %rsi, 0x1248(%rsp)
andq $0x0, 0x1250(%rsp)
leaq 0x6c1af(%rip), %rsi     # 0x7355b
movq %rsi, 0x1258(%rsp)
movl %r13d, 0x1260(%rsp)
movq %rdx, 0x1268(%rsp)
andq $0x0, 0x1270(%rsp)
leaq 0x6c193(%rip), %rdx     # 0x73567
movq %rdx, 0x1278(%rsp)
movl %r13d, 0x1280(%rsp)
movq %r9, 0x1288(%rsp)
andq $0x0, 0x1290(%rsp)
leaq 0x6c174(%rip), %rdx     # 0x73570
movq %rdx, 0x1298(%rsp)
andl $0x0, 0x12a0(%rsp)
movq %rcx, 0x12a8(%rsp)
andq $0x0, 0x12b0(%rsp)
leaq 0x6c154(%rip), %rdx     # 0x73578
movq %rdx, 0x12b8(%rsp)
movl %r13d, 0x12c0(%rsp)
movq %r8, 0x12c8(%rsp)
andq $0x0, 0x12d0(%rsp)
leaq 0x6c135(%rip), %rdx     # 0x73581
movq %rdx, 0x12d8(%rsp)
movl %r13d, 0x12e0(%rsp)
movq %r9, 0x12e8(%rsp)
andq $0x0, 0x12f0(%rsp)
leaq 0x6c11a(%rip), %rdx     # 0x7358e
movq %rdx, 0x12f8(%rsp)
movapd %xmm0, 0x1310(%rsp)
movapd %xmm0, 0x1300(%rsp)
leaq 0x6c109(%rip), %rdx     # 0x7359e
movq %rdx, 0x1318(%rsp)
movl %r13d, 0x1320(%rsp)
movq %rcx, 0x1328(%rsp)
andq $0x0, 0x1330(%rsp)
leaq 0x6c0f1(%rip), %rdx     # 0x735ae
movq %rdx, 0x1338(%rsp)
movl %r13d, 0x1340(%rsp)
movq %rcx, 0x1348(%rsp)
andq $0x0, 0x1350(%rsp)
leaq 0x6c0e2(%rip), %rdx     # 0x735c7
movq %rdx, 0x1358(%rsp)
movl %r13d, 0x1360(%rsp)
movq %rcx, 0x1368(%rsp)
andq $0x0, 0x1370(%rsp)
leaq 0x6c0d6(%rip), %rcx     # 0x735e3
movq %rcx, 0x1378(%rsp)
movl %r13d, 0x1380(%rsp)
movq %rax, 0x1388(%rsp)
andq $0x0, 0x1390(%rsp)
leaq 0x6c0ca(%rip), %rcx     # 0x735ff
movq %rcx, 0x1398(%rsp)
movl %r13d, 0x13a0(%rsp)
movq %rax, 0x13a8(%rsp)
andq $0x0, 0x13b0(%rsp)
leaq 0x6c0b0(%rip), %rcx     # 0x7360d
movq %rcx, 0x13b8(%rsp)
movl %r13d, 0x13c0(%rsp)
movq %rax, 0x13c8(%rsp)
andq $0x0, 0x13d0(%rsp)
leaq 0x6c093(%rip), %rcx     # 0x73618
movq %rcx, 0x13d8(%rsp)
movl %r13d, 0x13e0(%rsp)
movq %rax, 0x13e8(%rsp)
andq $0x0, 0x13f0(%rsp)
leaq 0x6c076(%rip), %rcx     # 0x73623
movq %rcx, 0x13f8(%rsp)
movapd %xmm0, 0x1410(%rsp)
movapd %xmm0, 0x1400(%rsp)
leaq 0x6c05f(%rip), %rcx     # 0x7362d
movq %rcx, 0x1418(%rsp)
movl %r13d, 0x1420(%rsp)
movq %rax, 0x1428(%rsp)
andq $0x0, 0x1430(%rsp)
leaq 0x6c044(%rip), %rax     # 0x7363a
movq %rax, 0x1438(%rsp)
leaq 0x10(%rsp), %rbx
movapd %xmm0, 0x10(%rbx)
andq $0x0, 0x20(%rbx)
movapd %xmm0, (%rbx)
pushq $0x18
popq %r14
movl $0x0, 0xc(%rsp)
cmpq $0x1418, %r14           # imm = 0x1418
je 0x785b
movq 0x40(%rsp,%r14), %rdi
callq 0x7944
testq %rax, %rax
je 0x7861
movq %rax, %r15
movq %rax, %rdi
xorl %esi, %esi
leaq -0x1b90(%rip), %rdx     # 0x5abc
movq %rbx, %rcx
callq 0x7ad1
testl %eax, %eax
jne 0x77ef
movzbl 0x10(%rsp), %eax
cmpl $0x1, %eax
je 0x76cf
testl %eax, %eax
jne 0x76db
movsd 0x30(%rsp), %xmm1
ucomisd %xmm1, %xmm1
jp 0x7792
movsd 0x30(%rsp,%r14), %xmm0
ucomisd %xmm0, %xmm1
movsbl 0x11(%rsp), %eax
jne 0x7699
jp 0x7699
cmpl %eax, 0x28(%rsp,%r14)
je 0x77d6
movq 0x92940(%rip), %rcx     # 0x99fe0
movq (%rcx), %rdi
movq 0x40(%rsp,%r14), %rdx
testb %al, %al
leaq 0x6bb79(%rip), %rcx     # 0x7322a
leaq 0x6bfe7(%rip), %rax     # 0x7369f
cmoveq %rax, %rcx
leaq 0x6c00f(%rip), %rsi     # 0x736d2
movb $0x2, %al
callq 0x4700
jmp 0x778b
cmpq $0x0, 0x28(%rsp)
je 0x7792
movq 0x28(%rsp), %rbp
movq 0x38(%rsp,%r14), %r12
movq %rbp, %rax
orq %r12, %rax
je 0x770c
testq %r12, %r12
setne %al
testq %rbp, %rbp
sete %cl
cmpb %al, %cl
je 0x774b
movq %rbp, %rdi
movq %r12, %rsi
callq 0x46c0
testl %eax, %eax
jne 0x774b
movsd 0x30(%rsp), %xmm0
movsd 0x30(%rsp,%r14), %xmm1
ucomisd %xmm1, %xmm0
jne 0x7721
jnp 0x773b
xorpd %xmm2, %xmm2
cmpordpd %xmm2, %xmm0
cmpordpd %xmm2, %xmm1
orpd %xmm0, %xmm1
movd %xmm1, %eax
testb $0x1, %al
jne 0x774b
movsbl 0x11(%rsp), %eax
cmpl %eax, 0x28(%rsp,%r14)
je 0x77d6
movq 0x9288e(%rip), %rax     # 0x99fe0
movq (%rax), %rdi
movq 0x40(%rsp,%r14), %rdx
cmpb $0x0, 0x11(%rsp)
leaq 0x6bac4(%rip), %r8      # 0x7322a
leaq 0x6bf32(%rip), %rax     # 0x7369f
cmoveq %rax, %r8
movsd 0x30(%rsp), %xmm0
leaq 0x6bf27(%rip), %rsi     # 0x736a5
movq %r12, %rcx
movq %rbp, %r9
movb $0x1, %al
callq 0x4700
movl %r13d, 0xc(%rsp)
jmp 0x77d6
movsbl 0x11(%rsp), %eax
cmpl %eax, 0x28(%rsp,%r14)
jne 0x7813
movsd 0x30(%rsp), %xmm1
movsd 0x30(%rsp,%r14), %xmm0
ucomisd %xmm0, %xmm1
jne 0x77b3
jnp 0x77d6
movapd %xmm1, %xmm2
xorpd %xmm4, %xmm4
cmpordpd %xmm4, %xmm2
movapd %xmm0, %xmm3
cmpordpd %xmm4, %xmm3
orpd %xmm2, %xmm3
movd %xmm3, %ecx
testb $0x1, %cl
jne 0x7820
movq %rbx, %rdi
callq 0x7876
movq %r15, %rdi
callq 0x799b
addq $0x20, %r14
jmp 0x761d
movq 0x927ea(%rip), %rax     # 0x99fe0
movq (%rax), %rdi
movq 0x40(%rsp,%r14), %rdx
leaq 0x6be4b(%rip), %rsi     # 0x73650
xorl %eax, %eax
callq 0x4700
movl %r13d, 0xc(%rsp)
jmp 0x77de
movsd 0x30(%rsp,%r14), %xmm0
movsd 0x30(%rsp), %xmm1
movq 0x927b9(%rip), %rcx     # 0x99fe0
movq (%rcx), %rdi
movq 0x40(%rsp,%r14), %rdx
testb %al, %al
leaq 0x6b9f2(%rip), %rcx     # 0x7322a
leaq 0x6be60(%rip), %rax     # 0x7369f
cmoveq %rax, %rcx
movq 0x28(%rsp), %r8
leaq 0x6be23(%rip), %rsi     # 0x73672
movb $0x2, %al
callq 0x4700
jmp 0x778b
movl 0xc(%rsp), %eax
jmp 0x7864
movl %r13d, %eax
addq $0x1448, %rsp           # imm = 0x1448
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq