/tmp/det/fun_1800460c0.bin: file format binary Disassembly of section .data: 0000000180000000 <.data>: 180000000: 41 83 f9 0b cmp $0xb,%r9d 180000004: 7d 3d jge 0x180000043 180000006: 41 ff c9 dec %r9d 180000009: 41 83 f9 ff cmp $0xffffffff,%r9d 18000000d: 74 33 je 0x180000042 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 01 movss (%rcx),%xmm0 180000024: 41 ff c9 dec %r9d 180000027: f3 0f 59 02 mulss (%rdx),%xmm0 18000002b: 48 83 c1 04 add $0x4,%rcx 18000002f: f3 41 0f 11 00 movss %xmm0,(%r8) 180000034: 48 83 c2 04 add $0x4,%rdx 180000038: 49 83 c0 04 add $0x4,%r8 18000003c: 41 83 f9 ff cmp $0xffffffff,%r9d 180000040: 75 de jne 0x180000020 180000042: c3 ret 180000043: 49 f7 c0 03 00 00 00 test $0x3,%r8 18000004a: 0f 85 5c 01 00 00 jne 0x1800001ac 180000050: 4c 89 c0 mov %r8,%rax 180000053: 48 83 e0 0f and $0xf,%rax 180000057: 85 c0 test %eax,%eax 180000059: 74 42 je 0x18000009d 18000005b: c1 e8 02 shr $0x2,%eax 18000005e: f7 d8 neg %eax 180000060: 83 e0 03 and $0x3,%eax 180000063: 44 2b c8 sub %eax,%r9d 180000066: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 18000006d: 00 18000006e: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 180000075: 0f 1f 40 00 nopl 0x0(%rax) 180000079: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 180000080: f3 0f 10 01 movss (%rcx),%xmm0 180000084: 48 83 c1 04 add $0x4,%rcx 180000088: f3 0f 59 02 mulss (%rdx),%xmm0 18000008c: 48 83 c2 04 add $0x4,%rdx 180000090: f3 41 0f 11 00 movss %xmm0,(%r8) 180000095: 49 83 c0 04 add $0x4,%r8 180000099: ff c8 dec %eax 18000009b: 75 e3 jne 0x180000080 18000009d: 44 89 c8 mov %r9d,%eax 1800000a0: 41 83 e1 07 and $0x7,%r9d 1800000a4: c1 f8 03 sar $0x3,%eax 1800000a7: 48 f7 c1 0f 00 00 00 test $0xf,%rcx 1800000ae: 0f 84 7e 00 00 00 je 0x180000132 1800000b4: 48 f7 c2 0f 00 00 00 test $0xf,%rdx 1800000bb: 75 43 jne 0x180000100 1800000bd: 0f 1f 00 nopl (%rax) 1800000c0: 0f 10 01 movups (%rcx),%xmm0 1800000c3: 0f 10 49 10 movups 0x10(%rcx),%xmm1 1800000c7: 0f 59 02 mulps (%rdx),%xmm0 1800000ca: 0f 59 4a 10 mulps 0x10(%rdx),%xmm1 1800000ce: 41 0f 29 00 movaps %xmm0,(%r8) 1800000d2: 48 83 c1 20 add $0x20,%rcx 1800000d6: 41 0f 29 48 10 movaps %xmm1,0x10(%r8) 1800000db: 48 83 c2 20 add $0x20,%rdx 1800000df: 49 83 c0 20 add $0x20,%r8 1800000e3: ff c8 dec %eax 1800000e5: 75 d9 jne 0x1800000c0 1800000e7: e9 1a ff ff ff jmp 0x180000006 1800000ec: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800000f3: 00 1800000f4: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800000fb: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1) 180000100: 0f 10 11 movups (%rcx),%xmm2 180000103: 0f 10 59 10 movups 0x10(%rcx),%xmm3 180000107: 0f 10 02 movups (%rdx),%xmm0 18000010a: 0f 10 4a 10 movups 0x10(%rdx),%xmm1 18000010e: 0f 59 d0 mulps %xmm0,%xmm2 180000111: 0f 59 d9 mulps %xmm1,%xmm3 180000114: 41 0f 29 10 movaps %xmm2,(%r8) 180000118: 48 83 c1 20 add $0x20,%rcx 18000011c: 41 0f 29 58 10 movaps %xmm3,0x10(%r8) 180000121: 48 83 c2 20 add $0x20,%rdx 180000125: 49 83 c0 20 add $0x20,%r8 180000129: ff c8 dec %eax 18000012b: 75 d3 jne 0x180000100 18000012d: e9 d4 fe ff ff jmp 0x180000006 180000132: 48 f7 c2 0f 00 00 00 test $0xf,%rdx 180000139: 75 45 jne 0x180000180 18000013b: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1) 180000140: 0f 28 01 movaps (%rcx),%xmm0 180000143: 0f 28 49 10 movaps 0x10(%rcx),%xmm1 180000147: 48 83 c1 20 add $0x20,%rcx 18000014b: 0f 59 02 mulps (%rdx),%xmm0 18000014e: 0f 59 4a 10 mulps 0x10(%rdx),%xmm1 180000152: 41 0f 29 00 movaps %xmm0,(%r8) 180000156: 48 83 c2 20 add $0x20,%rdx 18000015a: 41 0f 29 48 10 movaps %xmm1,0x10(%r8) 18000015f: 49 83 c0 20 add $0x20,%r8 180000163: ff c8 dec %eax 180000165: 75 d9 jne 0x180000140 180000167: e9 9a fe ff ff jmp 0x180000006 18000016c: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000173: 00 180000174: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 18000017b: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1) 180000180: 0f 10 02 movups (%rdx),%xmm0 180000183: 0f 10 4a 10 movups 0x10(%rdx),%xmm1 180000187: 0f 59 01 mulps (%rcx),%xmm0 18000018a: 0f 59 49 10 mulps 0x10(%rcx),%xmm1 18000018e: 41 0f 29 00 movaps %xmm0,(%r8) 180000192: 48 83 c1 20 add $0x20,%rcx 180000196: 41 0f 29 48 10 movaps %xmm1,0x10(%r8) 18000019b: 48 8d 52 20 lea 0x20(%rdx),%rdx 18000019f: 49 83 c0 20 add $0x20,%r8 1800001a3: ff c8 dec %eax 1800001a5: 75 d9 jne 0x180000180 1800001a7: e9 5a fe ff ff jmp 0x180000006 1800001ac: 44 89 c8 mov %r9d,%eax 1800001af: 41 83 e1 07 and $0x7,%r9d 1800001b3: c1 f8 03 sar $0x3,%eax 1800001b6: 48 f7 c1 0f 00 00 00 test $0xf,%rcx 1800001bd: 0f 84 8f 00 00 00 je 0x180000252 1800001c3: 48 f7 c2 0f 00 00 00 test $0xf,%rdx 1800001ca: 75 54 jne 0x180000220 1800001cc: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800001d3: 00 1800001d4: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800001db: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1) 1800001e0: 0f 10 01 movups (%rcx),%xmm0 1800001e3: 0f 10 49 10 movups 0x10(%rcx),%xmm1 1800001e7: 0f 59 02 mulps (%rdx),%xmm0 1800001ea: 0f 59 4a 10 mulps 0x10(%rdx),%xmm1 1800001ee: 41 0f 11 00 movups %xmm0,(%r8) 1800001f2: 41 0f 11 48 10 movups %xmm1,0x10(%r8) 1800001f7: 48 8d 49 20 lea 0x20(%rcx),%rcx 1800001fb: 48 83 c2 20 add $0x20,%rdx 1800001ff: 49 83 c0 20 add $0x20,%r8 180000203: ff c8 dec %eax 180000205: 75 d9 jne 0x1800001e0 180000207: e9 fa fd ff ff jmp 0x180000006 18000020c: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000213: 00 180000214: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 18000021b: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1) 180000220: 0f 10 11 movups (%rcx),%xmm2 180000223: 0f 10 59 10 movups 0x10(%rcx),%xmm3 180000227: 0f 10 02 movups (%rdx),%xmm0 18000022a: 0f 10 4a 10 movups 0x10(%rdx),%xmm1 18000022e: 0f 59 d0 mulps %xmm0,%xmm2 180000231: 0f 59 d9 mulps %xmm1,%xmm3 180000234: 41 0f 11 10 movups %xmm2,(%r8) 180000238: 41 0f 11 58 10 movups %xmm3,0x10(%r8) 18000023d: 48 8d 49 20 lea 0x20(%rcx),%rcx 180000241: 48 83 c2 20 add $0x20,%rdx 180000245: 49 83 c0 20 add $0x20,%r8 180000249: ff c8 dec %eax 18000024b: 75 d3 jne 0x180000220 18000024d: e9 b4 fd ff ff jmp 0x180000006 180000252: 48 f7 c2 0f 00 00 00 test $0xf,%rdx 180000259: 75 45 jne 0x1800002a0 18000025b: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1) 180000260: 0f 28 01 movaps (%rcx),%xmm0 180000263: 0f 28 49 10 movaps 0x10(%rcx),%xmm1 180000267: 48 83 c1 20 add $0x20,%rcx 18000026b: 0f 59 02 mulps (%rdx),%xmm0 18000026e: 0f 59 4a 10 mulps 0x10(%rdx),%xmm1 180000272: 41 0f 11 00 movups %xmm0,(%r8) 180000276: 41 0f 11 48 10 movups %xmm1,0x10(%r8) 18000027b: 48 rex.W 18000027c: 83 .byte 0x83 18000027d: c2 .byte 0xc2