/tmp/det/fun_18004c7e0.bin: file format binary Disassembly of section .data: 0000000180000000 <.data>: 180000000: 53 push %rbx 180000001: 56 push %rsi 180000002: 57 push %rdi 180000003: 41 54 push %r12 180000005: 41 56 push %r14 180000007: 41 57 push %r15 180000009: 55 push %rbp 18000000a: 48 83 ec 30 sub $0x30,%rsp 18000000e: 4d 89 c6 mov %r8,%r14 180000011: 49 89 d7 mov %rdx,%r15 180000014: 48 89 c8 mov %rcx,%rax 180000017: 33 db xor %ebx,%ebx 180000019: 4d 85 f6 test %r14,%r14 18000001c: 0f 84 4d 02 00 00 je 0x18000026f 180000022: 41 83 3e 06 cmpl $0x6,(%r14) 180000026: 74 14 je 0x18000003c 180000028: b8 f3 ff ff ff mov $0xfffffff3,%eax 18000002d: 48 83 c4 30 add $0x30,%rsp 180000031: 5d pop %rbp 180000032: 41 5f pop %r15 180000034: 41 5e pop %r14 180000036: 41 5c pop %r12 180000038: 5f pop %rdi 180000039: 5e pop %rsi 18000003a: 5b pop %rbx 18000003b: c3 ret 18000003c: 48 85 c0 test %rax,%rax 18000003f: 0f 84 2a 02 00 00 je 0x18000026f 180000045: 4d 85 ff test %r15,%r15 180000048: 0f 84 21 02 00 00 je 0x18000026f 18000004e: 4d 85 c9 test %r9,%r9 180000051: 0f 84 11 02 00 00 je 0x180000268 180000057: 45 8b 66 04 mov 0x4(%r14),%r12d 18000005b: 41 83 fc 04 cmp $0x4,%r12d 18000005f: 0f 8f e0 00 00 00 jg 0x180000145 180000065: 8b 18 mov (%rax),%ebx 180000067: 44 89 e1 mov %r12d,%ecx 18000006a: 41 89 1f mov %ebx,(%r15) 18000006d: bb 01 00 00 00 mov $0x1,%ebx 180000072: d3 e3 shl %cl,%ebx 180000074: 83 fb 01 cmp $0x1,%ebx 180000077: 0f 8e 7b 00 00 00 jle 0x1800000f8 18000007d: 48 63 db movslq %ebx,%rbx 180000080: 8b 2c 98 mov (%rax,%rbx,4),%ebp 180000083: 41 89 6f 04 mov %ebp,0x4(%r15) 180000087: 8d 6b fe lea -0x2(%rbx),%ebp 18000008a: 83 fd 02 cmp $0x2,%ebp 18000008d: 7c 69 jl 0x1800000f8 18000008f: c1 ed 1f shr $0x1f,%ebp 180000092: bf 01 00 00 00 mov $0x1,%edi 180000097: 8d 74 2b fe lea -0x2(%rbx,%rbp,1),%esi 18000009b: 33 ed xor %ebp,%ebp 18000009d: 83 e6 fe and $0xfffffffe,%esi 1800000a0: 89 f3 mov %esi,%ebx 1800000a2: d1 eb shr $1,%ebx 1800000a4: 85 db test %ebx,%ebx 1800000a6: 76 3d jbe 0x1800000e5 1800000a8: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800000af: 00 1800000b0: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800000b7: 66 0f 1f 84 00 00 00 nopw 0x0(%rax,%rax,1) 1800000be: 00 00 1800000c0: 8d 7c 2d 00 lea 0x0(%rbp,%rbp,1),%edi 1800000c4: ff c5 inc %ebp 1800000c6: 48 63 ff movslq %edi,%rdi 1800000c9: 44 8b 4c b8 08 mov 0x8(%rax,%rdi,4),%r9d 1800000ce: 45 89 4c bf 08 mov %r9d,0x8(%r15,%rdi,4) 1800000d3: 44 8b 54 b8 0c mov 0xc(%rax,%rdi,4),%r10d 1800000d8: 45 89 54 bf 0c mov %r10d,0xc(%r15,%rdi,4) 1800000dd: 3b eb cmp %ebx,%ebp 1800000df: 72 df jb 0x1800000c0 1800000e1: 8d 7c 2d 01 lea 0x1(%rbp,%rbp,1),%edi 1800000e5: 8d 5f ff lea -0x1(%rdi),%ebx 1800000e8: 3b de cmp %esi,%ebx 1800000ea: 73 0c jae 0x1800000f8 1800000ec: 48 63 ff movslq %edi,%rdi 1800000ef: 8b 44 b8 04 mov 0x4(%rax,%rdi,4),%eax 1800000f3: 41 89 44 bf 04 mov %eax,0x4(%r15,%rdi,4) 1800000f8: 4d 63 e4 movslq %r12d,%r12 1800000fb: 41 83 7e 0c 00 cmpl $0x0,0xc(%r14) 180000100: 74 1d je 0x18000011f 180000102: 48 8d 05 17 37 fb ff lea -0x4c8e9(%rip),%rax # 0x17ffb3820 180000109: 4c 89 f9 mov %r15,%rcx 18000010c: c4 c1 7a 10 56 10 vmovss 0x10(%r14),%xmm2 180000112: 4c 89 fa mov %r15,%rdx 180000115: 42 ff 94 e0 80 f0 c5 call *0x1c5f080(%rax,%r12,8) 18000011c: 01 18000011d: eb 15 jmp 0x180000134 18000011f: 48 8d 05 fa 36 fb ff lea -0x4c906(%rip),%rax # 0x17ffb3820 180000126: 4c 89 f9 mov %r15,%rcx 180000129: 4c 89 fa mov %r15,%rdx 18000012c: 42 ff 94 e0 b0 f0 c5 call *0x1c5f0b0(%rax,%r12,8) 180000133: 01 180000134: 33 c0 xor %eax,%eax 180000136: 48 83 c4 30 add $0x30,%rsp 18000013a: 5d pop %rbp 18000013b: 41 5f pop %r15 18000013d: 41 5e pop %r14 18000013f: 41 5c pop %r12 180000141: 5f pop %rdi 180000142: 5e pop %rsi 180000143: 5b pop %rbx 180000144: c3 ret 180000145: 4c 89 cb mov %r9,%rbx 180000148: 48 83 e3 3f and $0x3f,%rbx 18000014c: 48 f7 db neg %rbx 18000014f: 48 83 e3 3f and $0x3f,%rbx 180000153: 4c 03 cb add %rbx,%r9 180000156: 33 db xor %ebx,%ebx 180000158: 41 83 7e 18 00 cmpl $0x0,0x18(%r14) 18000015d: 49 0f 4f d9 cmovg %r9,%rbx 180000161: 44 89 e1 mov %r12d,%ecx 180000164: bd 01 00 00 00 mov $0x1,%ebp 180000169: d3 e5 shl %cl,%ebp 18000016b: 41 8d 74 24 ff lea -0x1(%r12),%esi 180000170: 48 63 ed movslq %ebp,%rbp 180000173: 49 89 e3 mov %rsp,%r11 180000176: c5 fa 10 08 vmovss (%rax),%xmm1 18000017a: 89 f1 mov %esi,%ecx 18000017c: bf 01 00 00 00 mov $0x1,%edi 180000181: 4c 89 fa mov %r15,%rdx 180000184: d3 e7 shl %cl,%edi 180000186: 48 89 c1 mov %rax,%rcx 180000189: c5 fa 10 14 a8 vmovss (%rax,%rbp,4),%xmm2 18000018e: 41 89 f8 mov %edi,%r8d 180000191: 41 b9 ff ff ff ff mov $0xffffffff,%r9d 180000197: c5 f2 58 c2 vaddss %xmm2,%xmm1,%xmm0 18000019b: c5 f2 5c da vsubss %xmm2,%xmm1,%xmm3 18000019f: c4 c1 7a 11 07 vmovss %xmm0,(%r15) 1800001a4: c4 c1 7a 11 5f 04 vmovss %xmm3,0x4(%r15) 1800001aa: 4d 8b 56 58 mov 0x58(%r14),%r10 1800001ae: 4d 89 53 20 mov %r10,0x20(%r11) 1800001b2: e8 a9 c0 0c 00 call 0x1800cc260 1800001b7: 41 83 fc 07 cmp $0x7,%r12d 1800001bb: 7f 41 jg 0x1800001fe 1800001bd: 41 83 7e 0c 00 cmpl $0x0,0xc(%r14) 1800001c2: 74 20 je 0x1800001e4 1800001c4: 4d 63 e4 movslq %r12d,%r12 1800001c7: 4c 89 f9 mov %r15,%rcx 1800001ca: c4 c1 7a 10 56 10 vmovss 0x10(%r14),%xmm2 1800001d0: 4c 8d 35 49 36 fb ff lea -0x4c9b7(%rip),%r14 # 0x17ffb3820 1800001d7: 4c 89 fa mov %r15,%rdx 1800001da: 43 ff 94 e6 d8 f0 c5 call *0x1c5f0d8(%r14,%r12,8) 1800001e1: 01 1800001e2: eb 73 jmp 0x180000257 1800001e4: 4d 63 e4 movslq %r12d,%r12 1800001e7: 48 8d 05 32 36 fb ff lea -0x4c9ce(%rip),%rax # 0x17ffb3820 1800001ee: 4c 89 f9 mov %r15,%rcx 1800001f1: 4c 89 fa mov %r15,%rdx 1800001f4: 42 ff 94 e0 10 f1 c5 call *0x1c5f110(%rax,%r12,8) 1800001fb: 01 1800001fc: eb 59 jmp 0x180000257 1800001fe: 41 83 fc 13 cmp $0x13,%r12d 180000202: 7e 1a jle 0x18000021e 180000204: 48 89 e0 mov %rsp,%rax 180000207: 4c 89 f1 mov %r14,%rcx 18000020a: 4c 89 fa mov %r15,%rdx 18000020d: 4d 89 f8 mov %r15,%r8 180000210: 41 89 f1 mov %esi,%r9d 180000213: 48 89 58 20 mov %rbx,0x20(%rax) 180000217: e8 04 c8 0c 00 call 0x1800cca20 18000021c: eb 39 jmp 0x180000257 18000021e: 48 89 e6 mov %rsp,%rsi 180000221: 4c 89 f9 mov %r15,%rcx 180000224: 49 8b 46 30 mov 0x30(%r14),%rax 180000228: 4c 89 fa mov %r15,%rdx 18000022b: 41 89 f8 mov %edi,%r8d 18000022e: 4d 8b 4e 38 mov 0x38(%r14),%r9 180000232: 48 89 46 20 mov %rax,0x20(%rsi) 180000236: 48 89 5e 28 mov %rbx,0x28(%rsi) 18000023a: e8 21 8d b2 01 call 0x181b28f60 18000023f: 41 83 7e 0c 00 cmpl $0x0,0xc(%r14) 180000244: 74 11 je 0x180000257 180000246: c4 c1 7a 10 46 10 vmovss 0x10(%r14),%xmm0 18000024c: 4c 89 fa mov %r15,%rdx 18000024f: 41 89 e8 mov %ebp,%r8d 180000252: e8 e9 33 fc ff call 0x17ffc3640 180000257: 33 c0 xor %eax,%eax 180000259: 48 83 c4 30 add $0x30,%rsp 18000025d: 5d pop %rbp 18000025e: 41 5f pop %r15 180000260: 41 5e pop %r14 180000262: 41 5c pop %r12 180000264: 5f pop %rdi 180000265: 5e pop %rsi 180000266: 5b pop %rbx 180000267: c3 ret 180000268: 41 83 7e 18 00 cmpl $0x0,0x18(%r14) 18000026d: 7e 14 jle 0x180000283 18000026f: b8 f8 ff ff ff mov $0xfffffff8,%eax 180000274: 48 83 c4 30 add $0x30,%rsp 180000278: 5d pop %rbp 180000279: 41 5f pop %r15 18000027b: 41 5e pop %r14 18000027d: 41 5c pop %r12 18000027f: 5f pop %rdi 180000280: 5e pop %rsi 180000281: 5b pop %rbx 180000282: c3 ret