/tmp/det/fun_18004c520.bin: file format binary Disassembly of section .data: 0000000180000000 <.data>: 180000000: 53 push %rbx 180000001: 56 push %rsi 180000002: 41 54 push %r12 180000004: 41 55 push %r13 180000006: 41 56 push %r14 180000008: 41 57 push %r15 18000000a: 55 push %rbp 18000000b: 48 83 ec 30 sub $0x30,%rsp 18000000f: 4d 89 c6 mov %r8,%r14 180000012: 49 89 d7 mov %rdx,%r15 180000015: 48 89 c8 mov %rcx,%rax 180000018: 33 db xor %ebx,%ebx 18000001a: 4d 85 f6 test %r14,%r14 18000001d: 0f 84 5f 02 00 00 je 0x180000282 180000023: 41 83 3e 06 cmpl $0x6,(%r14) 180000027: 74 15 je 0x18000003e 180000029: b8 f3 ff ff ff mov $0xfffffff3,%eax 18000002e: 48 83 c4 30 add $0x30,%rsp 180000032: 5d pop %rbp 180000033: 41 5f pop %r15 180000035: 41 5e pop %r14 180000037: 41 5d pop %r13 180000039: 41 5c pop %r12 18000003b: 5e pop %rsi 18000003c: 5b pop %rbx 18000003d: c3 ret 18000003e: 48 85 c0 test %rax,%rax 180000041: 0f 84 3b 02 00 00 je 0x180000282 180000047: 4d 85 ff test %r15,%r15 18000004a: 0f 84 32 02 00 00 je 0x180000282 180000050: 4d 85 c9 test %r9,%r9 180000053: 0f 84 22 02 00 00 je 0x18000027b 180000059: 45 8b 6e 04 mov 0x4(%r14),%r13d 18000005d: 41 83 fd 04 cmp $0x4,%r13d 180000061: 0f 8f e8 00 00 00 jg 0x18000014f 180000067: 8b 18 mov (%rax),%ebx 180000069: 44 89 e9 mov %r13d,%ecx 18000006c: 41 89 1f mov %ebx,(%r15) 18000006f: bb 01 00 00 00 mov $0x1,%ebx 180000074: d3 e3 shl %cl,%ebx 180000076: 83 fb 01 cmp $0x1,%ebx 180000079: 0f 8e 7e 00 00 00 jle 0x1800000fd 18000007f: 48 63 db movslq %ebx,%rbx 180000082: 8b 2c 98 mov (%rax,%rbx,4),%ebp 180000085: 41 89 6f 04 mov %ebp,0x4(%r15) 180000089: 8d 6b fe lea -0x2(%rbx),%ebp 18000008c: 83 fd 02 cmp $0x2,%ebp 18000008f: 7c 6c jl 0x1800000fd 180000091: c1 ed 1f shr $0x1f,%ebp 180000094: 41 b9 01 00 00 00 mov $0x1,%r9d 18000009a: 8d 74 2b fe lea -0x2(%rbx,%rbp,1),%esi 18000009e: 33 ed xor %ebp,%ebp 1800000a0: 83 e6 fe and $0xfffffffe,%esi 1800000a3: 89 f3 mov %esi,%ebx 1800000a5: d1 eb shr $1,%ebx 1800000a7: 85 db test %ebx,%ebx 1800000a9: 76 3d jbe 0x1800000e8 1800000ab: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800000b2: 00 1800000b3: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800000ba: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1) 1800000c0: 44 8d 4c 2d 00 lea 0x0(%rbp,%rbp,1),%r9d 1800000c5: 83 c5 01 add $0x1,%ebp 1800000c8: 4d 63 c9 movslq %r9d,%r9 1800000cb: 46 8b 54 88 08 mov 0x8(%rax,%r9,4),%r10d 1800000d0: 47 89 54 8f 08 mov %r10d,0x8(%r15,%r9,4) 1800000d5: 46 8b 5c 88 0c mov 0xc(%rax,%r9,4),%r11d 1800000da: 47 89 5c 8f 0c mov %r11d,0xc(%r15,%r9,4) 1800000df: 3b eb cmp %ebx,%ebp 1800000e1: 72 dd jb 0x1800000c0 1800000e3: 44 8d 4c 2d 01 lea 0x1(%rbp,%rbp,1),%r9d 1800000e8: 41 8d 59 ff lea -0x1(%r9),%ebx 1800000ec: 3b de cmp %esi,%ebx 1800000ee: 73 0d jae 0x1800000fd 1800000f0: 4d 63 c9 movslq %r9d,%r9 1800000f3: 42 8b 44 88 04 mov 0x4(%rax,%r9,4),%eax 1800000f8: 43 89 44 8f 04 mov %eax,0x4(%r15,%r9,4) 1800000fd: 4d 63 ed movslq %r13d,%r13 180000100: 41 83 7e 0c 00 cmpl $0x0,0xc(%r14) 180000105: 74 1f je 0x180000126 180000107: 48 8d 05 d2 39 fb ff lea -0x4c62e(%rip),%rax # 0x17ffb3ae0 18000010e: f3 41 0f 10 56 10 movss 0x10(%r14),%xmm2 180000114: 4c 89 f9 mov %r15,%rcx 180000117: 4a 8b 9c e8 c0 ef c5 mov 0x1c5efc0(%rax,%r13,8),%rbx 18000011e: 01 18000011f: 4c 89 fa mov %r15,%rdx 180000122: ff d3 call *%rbx 180000124: eb 17 jmp 0x18000013d 180000126: 48 8d 05 b3 39 fb ff lea -0x4c64d(%rip),%rax # 0x17ffb3ae0 18000012d: 4c 89 f9 mov %r15,%rcx 180000130: 4a 8b 9c e8 f0 ef c5 mov 0x1c5eff0(%rax,%r13,8),%rbx 180000137: 01 180000138: 4c 89 fa mov %r15,%rdx 18000013b: ff d3 call *%rbx 18000013d: 33 c0 xor %eax,%eax 18000013f: 48 83 c4 30 add $0x30,%rsp 180000143: 5d pop %rbp 180000144: 41 5f pop %r15 180000146: 41 5e pop %r14 180000148: 41 5d pop %r13 18000014a: 41 5c pop %r12 18000014c: 5e pop %rsi 18000014d: 5b pop %rbx 18000014e: c3 ret 18000014f: 4c 89 cb mov %r9,%rbx 180000152: 48 83 e3 3f and $0x3f,%rbx 180000156: 48 f7 db neg %rbx 180000159: 48 83 e3 3f and $0x3f,%rbx 18000015d: 4c 03 cb add %rbx,%r9 180000160: 33 db xor %ebx,%ebx 180000162: 41 83 7e 18 00 cmpl $0x0,0x18(%r14) 180000167: 49 0f 4f d9 cmovg %r9,%rbx 18000016b: 44 89 e9 mov %r13d,%ecx 18000016e: bd 01 00 00 00 mov $0x1,%ebp 180000173: f3 0f 10 10 movss (%rax),%xmm2 180000177: d3 e5 shl %cl,%ebp 180000179: 0f 28 c2 movaps %xmm2,%xmm0 18000017c: 41 8d 75 ff lea -0x1(%r13),%esi 180000180: 41 bc 01 00 00 00 mov $0x1,%r12d 180000186: 48 63 ed movslq %ebp,%rbp 180000189: 89 f1 mov %esi,%ecx 18000018b: f3 0f 10 0c a8 movss (%rax,%rbp,4),%xmm1 180000190: 41 d3 e4 shl %cl,%r12d 180000193: 49 89 e3 mov %rsp,%r11 180000196: f3 0f 58 c1 addss %xmm1,%xmm0 18000019a: f3 0f 5c d1 subss %xmm1,%xmm2 18000019e: 48 89 c1 mov %rax,%rcx 1800001a1: 4c 89 fa mov %r15,%rdx 1800001a4: 45 89 e0 mov %r12d,%r8d 1800001a7: 41 b9 ff ff ff ff mov $0xffffffff,%r9d 1800001ad: f3 41 0f 11 07 movss %xmm0,(%r15) 1800001b2: f3 41 0f 11 57 04 movss %xmm2,0x4(%r15) 1800001b8: 4d 8b 56 58 mov 0x58(%r14),%r10 1800001bc: 4d 89 53 20 mov %r10,0x20(%r11) 1800001c0: e8 bb 65 0c 00 call 0x1800c6780 1800001c5: 41 83 fd 06 cmp $0x6,%r13d 1800001c9: 7f 45 jg 0x180000210 1800001cb: 41 83 7e 0c 00 cmpl $0x0,0xc(%r14) 1800001d0: 74 22 je 0x1800001f4 1800001d2: 4d 63 ed movslq %r13d,%r13 1800001d5: 48 8d 05 04 39 fb ff lea -0x4c6fc(%rip),%rax # 0x17ffb3ae0 1800001dc: f3 41 0f 10 56 10 movss 0x10(%r14),%xmm2 1800001e2: 4a 8b 9c e8 18 f0 c5 mov 0x1c5f018(%rax,%r13,8),%rbx 1800001e9: 01 1800001ea: 4c 89 f9 mov %r15,%rcx 1800001ed: 4c 89 fa mov %r15,%rdx 1800001f0: ff d3 call *%rbx 1800001f2: eb 75 jmp 0x180000269 1800001f4: 4d 63 ed movslq %r13d,%r13 1800001f7: 48 8d 05 e2 38 fb ff lea -0x4c71e(%rip),%rax # 0x17ffb3ae0 1800001fe: 4a 8b 9c e8 48 f0 c5 mov 0x1c5f048(%rax,%r13,8),%rbx 180000205: 01 180000206: 4c 89 f9 mov %r15,%rcx 180000209: 4c 89 fa mov %r15,%rdx 18000020c: ff d3 call *%rbx 18000020e: eb 59 jmp 0x180000269 180000210: 41 83 fd 12 cmp $0x12,%r13d 180000214: 7e 1a jle 0x180000230 180000216: 48 89 e0 mov %rsp,%rax 180000219: 4c 89 f1 mov %r14,%rcx 18000021c: 4c 89 fa mov %r15,%rdx 18000021f: 4d 89 f8 mov %r15,%r8 180000222: 48 89 58 20 mov %rbx,0x20(%rax) 180000226: 41 89 f1 mov %esi,%r9d 180000229: e8 b2 6e 0c 00 call 0x1800c70e0 18000022e: eb 39 jmp 0x180000269 180000230: 48 89 e6 mov %rsp,%rsi 180000233: 49 8b 46 30 mov 0x30(%r14),%rax 180000237: 4c 89 f9 mov %r15,%rcx 18000023a: 4d 8b 4e 38 mov 0x38(%r14),%r9 18000023e: 4c 89 fa mov %r15,%rdx 180000241: 45 89 e0 mov %r12d,%r8d 180000244: 48 89 46 20 mov %rax,0x20(%rsi) 180000248: 48 89 5e 28 mov %rbx,0x28(%rsi) 18000024c: e8 df 0c b1 01 call 0x181b10f30 180000251: 41 83 7e 0c 00 cmpl $0x0,0xc(%r14) 180000256: 74 11 je 0x180000269 180000258: f3 41 0f 10 46 10 movss 0x10(%r14),%xmm0 18000025e: 4c 89 fa mov %r15,%rdx 180000261: 41 89 e8 mov %ebp,%r8d 180000264: e8 37 36 fc ff call 0x17ffc38a0 180000269: 33 c0 xor %eax,%eax 18000026b: 48 83 c4 30 add $0x30,%rsp 18000026f: 5d pop %rbp 180000270: 41 5f pop %r15 180000272: 41 5e pop %r14 180000274: 41 5d pop %r13 180000276: 41 5c pop %r12 180000278: 5e pop %rsi 180000279: 5b pop %rbx 18000027a: c3 ret 18000027b: 41 83 7e 18 00 cmpl $0x0,0x18(%r14) 180000280: 7e 15 jle 0x180000297 180000282: b8 f8 ff ff ff mov $0xfffffff8,%eax 180000287: 48 83 c4 30 add $0x30,%rsp 18000028b: 5d pop %rbp 18000028c: 41 5f pop %r15 18000028e: 41 5e pop %r14 180000290: 41 5d pop %r13 180000292: 41 5c pop %r12 180000294: 5e pop %rsi 180000295: 5b pop %rbx 180000296: c3 ret 180000297: 45 8b 6e 04 mov 0x4(%r14),%r13d 18000029b: 41 83 fd 04 cmp $0x4,%r13d 18000029f: 0f .byte 0xf 1800002a0: 8e c2 mov %edx,%es