/tmp/det/fun_1800492a0.bin: file format binary Disassembly of section .data: 0000000180000000 <.data>: 180000000: 41 83 f8 0b cmp $0xb,%r8d 180000004: 7d 38 jge 0x18000003e 180000006: 41 ff c8 dec %r8d 180000009: 41 83 f8 ff cmp $0xffffffff,%r8d 18000000d: 74 2e je 0x18000003d 18000000f: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000016: 00 180000017: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 18000001e: 66 90 xchg %ax,%ax 180000020: f3 0f 10 02 movss (%rdx),%xmm0 180000024: 41 ff c8 dec %r8d 180000027: f3 0f 58 01 addss (%rcx),%xmm0 18000002b: 48 83 c1 04 add $0x4,%rcx 18000002f: f3 0f 11 02 movss %xmm0,(%rdx) 180000033: 48 8d 52 04 lea 0x4(%rdx),%rdx 180000037: 41 83 f8 ff cmp $0xffffffff,%r8d 18000003b: 75 e3 jne 0x180000020 18000003d: c3 ret 18000003e: 48 f7 c2 03 00 00 00 test $0x3,%rdx 180000045: 74 4a je 0x180000091 180000047: 44 89 c0 mov %r8d,%eax 18000004a: 41 83 e0 07 and $0x7,%r8d 18000004e: 83 e0 f8 and $0xfffffff8,%eax 180000051: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000058: 00 180000059: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 180000060: 0f 18 49 40 prefetcht0 0x40(%rcx) 180000064: 0f 10 12 movups (%rdx),%xmm2 180000067: 0f 10 5a 10 movups 0x10(%rdx),%xmm3 18000006b: 0f 10 01 movups (%rcx),%xmm0 18000006e: 0f 10 49 10 movups 0x10(%rcx),%xmm1 180000072: 0f 58 d0 addps %xmm0,%xmm2 180000075: 0f 58 d9 addps %xmm1,%xmm3 180000078: 0f 11 12 movups %xmm2,(%rdx) 18000007b: 0f 11 5a 10 movups %xmm3,0x10(%rdx) 18000007f: 48 8d 49 20 lea 0x20(%rcx),%rcx 180000083: 48 8d 52 20 lea 0x20(%rdx),%rdx 180000087: 83 c0 f8 add $0xfffffff8,%eax 18000008a: 75 d4 jne 0x180000060 18000008c: e9 75 ff ff ff jmp 0x180000006 180000091: 48 89 d0 mov %rdx,%rax 180000094: 48 83 e0 0f and $0xf,%rax 180000098: 85 c0 test %eax,%eax 18000009a: 74 3c je 0x1800000d8 18000009c: c1 e8 02 shr $0x2,%eax 18000009f: f7 d8 neg %eax 1800000a1: 83 e0 03 and $0x3,%eax 1800000a4: 44 2b c0 sub %eax,%r8d 1800000a7: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800000ae: 00 1800000af: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800000b6: 0f 1f 00 nopl (%rax) 1800000b9: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800000c0: f3 0f 10 02 movss (%rdx),%xmm0 1800000c4: f3 0f 58 01 addss (%rcx),%xmm0 1800000c8: 48 83 c1 04 add $0x4,%rcx 1800000cc: f3 0f 11 02 movss %xmm0,(%rdx) 1800000d0: 48 8d 52 04 lea 0x4(%rdx),%rdx 1800000d4: ff c8 dec %eax 1800000d6: 75 e8 jne 0x1800000c0 1800000d8: 44 89 c0 mov %r8d,%eax 1800000db: 41 83 e0 07 and $0x7,%r8d 1800000df: 83 e0 f8 and $0xfffffff8,%eax 1800000e2: 48 f7 c1 0f 00 00 00 test $0xf,%rcx 1800000e9: 75 55 jne 0x180000140 1800000eb: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800000f2: 00 1800000f3: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800000fa: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1) 180000100: 0f 18 49 40 prefetcht0 0x40(%rcx) 180000104: 0f 28 01 movaps (%rcx),%xmm0 180000107: 0f 28 49 10 movaps 0x10(%rcx),%xmm1 18000010b: 48 83 c1 20 add $0x20,%rcx 18000010f: 0f 58 02 addps (%rdx),%xmm0 180000112: 0f 58 4a 10 addps 0x10(%rdx),%xmm1 180000116: 0f 29 02 movaps %xmm0,(%rdx) 180000119: 0f 29 4a 10 movaps %xmm1,0x10(%rdx) 18000011d: 48 83 c2 20 add $0x20,%rdx 180000121: 83 c0 f8 add $0xfffffff8,%eax 180000124: 75 da jne 0x180000100 180000126: e9 db fe ff ff jmp 0x180000006 18000012b: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000132: 00 180000133: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 18000013a: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1) 180000140: 0f 18 49 40 prefetcht0 0x40(%rcx) 180000144: 0f 10 01 movups (%rcx),%xmm0 180000147: 0f 10 49 10 movups 0x10(%rcx),%xmm1 18000014b: 0f 58 02 addps (%rdx),%xmm0 18000014e: 0f 58 4a 10 addps 0x10(%rdx),%xmm1 180000152: 0f 29 02 movaps %xmm0,(%rdx) 180000155: 48 8d 49 20 lea 0x20(%rcx),%rcx 180000159: 0f 29 4a 10 movaps %xmm1,0x10(%rdx) 18000015d: 48 rex.W 18000015e: 83 .byte 0x83 18000015f: c2 .byte 0xc2