/tmp/det/fun_1800495a0.bin: file format binary Disassembly of section .data: 0000000180000000 <.data>: 180000000: 55 push %rbp 180000001: 41 83 f9 0b cmp $0xb,%r9d 180000005: 0f 82 02 03 00 00 jb 0x18000030d 18000000b: 49 f7 c0 03 00 00 00 test $0x3,%r8 180000012: 0f 85 d6 01 00 00 jne 0x1800001ee 180000018: 4d 89 c2 mov %r8,%r10 18000001b: 49 83 e2 0f and $0xf,%r10 18000001f: 0f 84 9d 00 00 00 je 0x1800000c2 180000025: 41 c1 ea 02 shr $0x2,%r10d 180000029: 41 f7 da neg %r10d 18000002c: 41 83 e2 03 and $0x3,%r10d 180000030: 45 2b ca sub %r10d,%r9d 180000033: 45 85 d2 test %r10d,%r10d 180000036: 0f 84 79 00 00 00 je 0x1800000b5 18000003c: 44 89 d0 mov %r10d,%eax 18000003f: 41 bb 01 00 00 00 mov $0x1,%r11d 180000045: d1 e8 shr $1,%eax 180000047: 33 ed xor %ebp,%ebp 180000049: 85 c0 test %eax,%eax 18000004b: 76 4e jbe 0x18000009b 18000004d: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000054: 00 180000055: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 18000005c: 0f 1f 40 00 nopl 0x0(%rax) 180000060: 41 89 eb mov %ebp,%r11d 180000063: 44 03 dd add %ebp,%r11d 180000066: ff c5 inc %ebp 180000068: f3 42 0f 10 04 99 movss (%rcx,%r11,4),%xmm0 18000006e: f3 42 0f 5d 04 9a minss (%rdx,%r11,4),%xmm0 180000074: f3 43 0f 11 04 98 movss %xmm0,(%r8,%r11,4) 18000007a: 41 ff c3 inc %r11d 18000007d: f3 42 0f 10 0c 99 movss (%rcx,%r11,4),%xmm1 180000083: 3b e8 cmp %eax,%ebp 180000085: f3 42 0f 5d 0c 9a minss (%rdx,%r11,4),%xmm1 18000008b: f3 43 0f 11 0c 98 movss %xmm1,(%r8,%r11,4) 180000091: 72 cd jb 0x180000060 180000093: 03 ed add %ebp,%ebp 180000095: 41 89 eb mov %ebp,%r11d 180000098: 41 ff c3 inc %r11d 18000009b: 41 ff cb dec %r11d 18000009e: 45 3b da cmp %r10d,%r11d 1800000a1: 73 12 jae 0x1800000b5 1800000a3: f3 42 0f 10 04 99 movss (%rcx,%r11,4),%xmm0 1800000a9: f3 42 0f 5d 04 9a minss (%rdx,%r11,4),%xmm0 1800000af: f3 43 0f 11 04 98 movss %xmm0,(%r8,%r11,4) 1800000b5: 49 c1 e2 02 shl $0x2,%r10 1800000b9: 49 03 ca add %r10,%rcx 1800000bc: 49 03 d2 add %r10,%rdx 1800000bf: 4d 03 c2 add %r10,%r8 1800000c2: 44 89 cd mov %r9d,%ebp 1800000c5: 49 89 d2 mov %rdx,%r10 1800000c8: c1 ed 03 shr $0x3,%ebp 1800000cb: 49 83 e2 0f and $0xf,%r10 1800000cf: 48 f7 c1 0f 00 00 00 test $0xf,%rcx 1800000d6: 0f 84 92 00 00 00 je 0x18000016e 1800000dc: 33 c0 xor %eax,%eax 1800000de: 4d 85 d2 test %r10,%r10 1800000e1: 74 51 je 0x180000134 1800000e3: 85 ed test %ebp,%ebp 1800000e5: 0f 86 1e 02 00 00 jbe 0x180000309 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 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 5d d0 minps %xmm0,%xmm2 180000111: 0f 5d d9 minps %xmm1,%xmm3 180000114: ff c0 inc %eax 180000116: 48 83 c1 20 add $0x20,%rcx 18000011a: 41 0f 29 10 movaps %xmm2,(%r8) 18000011e: 48 83 c2 20 add $0x20,%rdx 180000122: 41 0f 29 58 10 movaps %xmm3,0x10(%r8) 180000127: 49 83 c0 20 add $0x20,%r8 18000012b: 3b c5 cmp %ebp,%eax 18000012d: 72 d1 jb 0x180000100 18000012f: e9 d5 01 00 00 jmp 0x180000309 180000134: 85 ed test %ebp,%ebp 180000136: 0f 86 cd 01 00 00 jbe 0x180000309 18000013c: 0f 1f 40 00 nopl 0x0(%rax) 180000140: 0f 10 01 movups (%rcx),%xmm0 180000143: 0f 10 49 10 movups 0x10(%rcx),%xmm1 180000147: 0f 5d 02 minps (%rdx),%xmm0 18000014a: 0f 5d 4a 10 minps 0x10(%rdx),%xmm1 18000014e: ff c0 inc %eax 180000150: 48 83 c1 20 add $0x20,%rcx 180000154: 41 0f 29 00 movaps %xmm0,(%r8) 180000158: 48 83 c2 20 add $0x20,%rdx 18000015c: 41 0f 29 48 10 movaps %xmm1,0x10(%r8) 180000161: 49 83 c0 20 add $0x20,%r8 180000165: 3b c5 cmp %ebp,%eax 180000167: 72 d7 jb 0x180000140 180000169: e9 9b 01 00 00 jmp 0x180000309 18000016e: 33 c0 xor %eax,%eax 180000170: 4d 85 d2 test %r10,%r10 180000173: 74 3f je 0x1800001b4 180000175: 85 ed test %ebp,%ebp 180000177: 0f 86 8c 01 00 00 jbe 0x180000309 18000017d: 0f 1f 00 nopl (%rax) 180000180: 0f 10 02 movups (%rdx),%xmm0 180000183: 0f 10 4a 10 movups 0x10(%rdx),%xmm1 180000187: 0f 28 11 movaps (%rcx),%xmm2 18000018a: ff c0 inc %eax 18000018c: 0f 28 59 10 movaps 0x10(%rcx),%xmm3 180000190: 48 83 c1 20 add $0x20,%rcx 180000194: 0f 5d d0 minps %xmm0,%xmm2 180000197: 0f 5d d9 minps %xmm1,%xmm3 18000019a: 41 0f 29 10 movaps %xmm2,(%r8) 18000019e: 48 8d 52 20 lea 0x20(%rdx),%rdx 1800001a2: 41 0f 29 58 10 movaps %xmm3,0x10(%r8) 1800001a7: 49 83 c0 20 add $0x20,%r8 1800001ab: 3b c5 cmp %ebp,%eax 1800001ad: 72 d1 jb 0x180000180 1800001af: e9 55 01 00 00 jmp 0x180000309 1800001b4: 85 ed test %ebp,%ebp 1800001b6: 0f 86 4d 01 00 00 jbe 0x180000309 1800001bc: 0f 1f 40 00 nopl 0x0(%rax) 1800001c0: 0f 28 01 movaps (%rcx),%xmm0 1800001c3: ff c0 inc %eax 1800001c5: 0f 28 49 10 movaps 0x10(%rcx),%xmm1 1800001c9: 48 83 c1 20 add $0x20,%rcx 1800001cd: 0f 5d 02 minps (%rdx),%xmm0 1800001d0: 0f 5d 4a 10 minps 0x10(%rdx),%xmm1 1800001d4: 41 0f 29 00 movaps %xmm0,(%r8) 1800001d8: 48 83 c2 20 add $0x20,%rdx 1800001dc: 41 0f 29 48 10 movaps %xmm1,0x10(%r8) 1800001e1: 49 83 c0 20 add $0x20,%r8 1800001e5: 3b c5 cmp %ebp,%eax 1800001e7: 72 d7 jb 0x1800001c0 1800001e9: e9 1b 01 00 00 jmp 0x180000309 1800001ee: 44 89 cd mov %r9d,%ebp 1800001f1: 49 89 d2 mov %rdx,%r10 1800001f4: c1 ed 03 shr $0x3,%ebp 1800001f7: 49 83 e2 0f and $0xf,%r10 1800001fb: 48 f7 c1 0f 00 00 00 test $0xf,%rcx 180000202: 0f 84 86 00 00 00 je 0x18000028e 180000208: 33 c0 xor %eax,%eax 18000020a: 4d 85 d2 test %r10,%r10 18000020d: 74 45 je 0x180000254 18000020f: 85 ed test %ebp,%ebp 180000211: 0f 86 f2 00 00 00 jbe 0x180000309 180000217: 66 0f 1f 84 00 00 00 nopw 0x0(%rax,%rax,1) 18000021e: 00 00 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 5d d0 minps %xmm0,%xmm2 180000231: 0f 5d d9 minps %xmm1,%xmm3 180000234: 41 0f 11 10 movups %xmm2,(%r8) 180000238: 41 0f 11 58 10 movups %xmm3,0x10(%r8) 18000023d: ff c0 inc %eax 18000023f: 48 8d 49 20 lea 0x20(%rcx),%rcx 180000243: 48 83 c2 20 add $0x20,%rdx 180000247: 49 83 c0 20 add $0x20,%r8 18000024b: 3b c5 cmp %ebp,%eax 18000024d: 72 d1 jb 0x180000220 18000024f: e9 b5 00 00 00 jmp 0x180000309 180000254: 85 ed test %ebp,%ebp 180000256: 0f 86 ad 00 00 00 jbe 0x180000309 18000025c: 0f 1f 40 00 nopl 0x0(%rax) 180000260: 0f 10 01 movups (%rcx),%xmm0 180000263: 0f 10 49 10 movups 0x10(%rcx),%xmm1 180000267: 0f 5d 02 minps (%rdx),%xmm0 18000026a: 0f 5d 4a 10 minps 0x10(%rdx),%xmm1 18000026e: 41 0f 11 00 movups %xmm0,(%r8) 180000272: 41 0f 11 48 10 movups %xmm1,0x10(%r8) 180000277: ff c0 inc %eax 180000279: 48 8d 49 20 lea 0x20(%rcx),%rcx 18000027d: 48 83 c2 20 add $0x20,%rdx 180000281: 49 83 c0 20 add $0x20,%r8 180000285: 3b c5 cmp %ebp,%eax 180000287: 72 d7 jb 0x180000260 180000289: e9 7b 00 00 00 jmp 0x180000309 18000028e: 33 c0 xor %eax,%eax 180000290: 4d 85 d2 test %r10,%r10 180000293: 74 3c je 0x1800002d1 180000295: 85 ed test %ebp,%ebp 180000297: 0f 86 6c 00 00 00 jbe 0x180000309 18000029d: 0f 1f 00 nopl (%rax) 1800002a0: 0f 10 02 movups (%rdx),%xmm0 1800002a3: 0f 10 4a 10 movups 0x10(%rdx),%xmm1 1800002a7: 0f 28 11 movaps (%rcx),%xmm2 1800002aa: ff c0 inc %eax 1800002ac: 0f 28 59 10 movaps 0x10(%rcx),%xmm3 1800002b0: 48 83 c1 20 add $0x20,%rcx 1800002b4: 0f 5d d0 minps %xmm0,%xmm2 1800002b7: 0f 5d d9 minps %xmm1,%xmm3 1800002ba: 41 0f 11 10 movups %xmm2,(%r8) 1800002be: 41 0f 11 58 10 movups %xmm3,0x10(%r8) 1800002c3: 48 8d 52 20 lea 0x20(%rdx),%rdx 1800002c7: 49 83 c0 20 add $0x20,%r8 1800002cb: 3b c5 cmp %ebp,%eax 1800002cd: 72 d1 jb 0x1800002a0 1800002cf: eb 38 jmp 0x180000309 1800002d1: 85 ed test %ebp,%ebp 1800002d3: 76 34 jbe 0x180000309 1800002d5: 0f 1f 40 00 nopl 0x0(%rax) 1800002d9: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800002e0: 0f 28 01 movaps (%rcx),%xmm0 1800002e3: ff c0 inc %eax 1800002e5: 0f 28 49 10 movaps 0x10(%rcx),%xmm1 1800002e9: 48 83 c1 20 add $0x20,%rcx 1800002ed: 0f 5d 02 minps (%rdx),%xmm0 1800002f0: 0f 5d 4a 10 minps 0x10(%rdx),%xmm1 1800002f4: 41 0f 11 00 movups %xmm0,(%r8) 1800002f8: 41 0f 11 48 10 movups %xmm1,0x10(%r8) 1800002fd: 48 83 c2 20 add $0x20,%rdx 180000301: 49 83 c0 20 add $0x20,%r8 180000305: 3b c5 cmp %ebp,%eax 180000307: 72 d7 jb 0x1800002e0 180000309: 41 83 e1 07 and $0x7,%r9d 18000030d: 45 85 c9 test %r9d,%r9d 180000310: 0f 86 1f 02 00 00 jbe 0x180000535 180000316: 41 83 f9 06 cmp $0x6,%r9d 18000031a: 0f 86 9c 01 00 00 jbe 0x1800004bc 180000320: 49 3b d0 cmp %r8,%rdx 180000323: 76 17 jbe 0x18000033c 180000325: 44 89 c8 mov %r9d,%eax 180000328: 48 89 d5 mov %rdx,%rbp 18000032b: 48 c1 e0 02 shl $0x2,%rax 18000032f: 49 2b e8 sub %r8,%rbp 180000332: 48 3b e8 cmp %rax,%rbp 180000335: 7d 24 jge 0x18000035b 180000337: e9 80 01 00 00 jmp 0x1800004bc 18000033c: 4c 3b c2 cmp %rdx,%r8 18000033f: 0f 86 77 01 00 00 jbe 0x1800004bc 180000345: 44 89 c8 mov %r9d,%eax 180000348: 4c 89 c5 mov %r8,%rbp 18000034b: 48 c1 e0 02 shl $0x2,%rax 18000034f: 48 2b ea sub %rdx,%rbp 180000352: 48 3b e8 cmp %rax,%rbp 180000355: 0f 8c 61 01 00 00 jl 0x1800004bc 18000035b: 49 3b c8 cmp %r8,%rcx 18000035e: 76 10 jbe 0x180000370 180000360: 48 89 cd mov %rcx,%rbp 180000363: 49 2b e8 sub %r8,%rbp 180000366: 48 3b e8 cmp %rax,%rbp 180000369: 7d 1d jge 0x180000388 18000036b: e9 4c 01 00 00 jmp 0x1800004bc 180000370: 4c 3b c1 cmp %rcx,%r8 180000373: 0f 86 43 01 00 00 jbe 0x1800004bc 180000379: 4c 89 c5 mov %r8,%rbp 18000037c: 48 2b e9 sub %rcx,%rbp 18000037f: 48 3b e8 cmp %rax,%rbp 180000382: 0f 8c 34 01 00 00 jl 0x1800004bc 180000388: 41 83 f9 08 cmp $0x8,%r9d 18000038c: 0f 82 a5 01 00 00 jb 0x180000537 180000392: 4c 89 c5 mov %r8,%rbp 180000395: 48 83 e5 0f and $0xf,%rbp 180000399: 85 ed test %ebp,%ebp 18000039b: 74 14 je 0x1800003b1 18000039d: f7 c5 03 00 00 00 test $0x3,%ebp 1800003a3: 0f 85 8e 01 00 00 jne 0x180000537 1800003a9: f7 dd neg %ebp 1800003ab: 83 c5 10 add $0x10,%ebp 1800003ae: c1 ed 02 shr $0x2,%ebp 1800003b1: 89 e8 mov %ebp,%eax 1800003b3: 83 c0 08 add $0x8,%eax 1800003b6: 44 3b c8 cmp %eax,%r9d 1800003b9: 0f 82 78 01 00 00 jb 0x180000537 1800003bf: 44 89 c8 mov %r9d,%eax 1800003c2: 45 33 d2 xor %r10d,%r10d 1800003c5: 2b c5 sub %ebp,%eax 1800003c7: 83 e0 07 and $0x7,%eax 1800003ca: f7 d8 neg %eax 1800003cc: 41 03 c1 add %r9d,%eax 1800003cf: 85 ed test %ebp,%ebp 1800003d1: 76 27 jbe 0x1800003fa 1800003d3: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1) 1800003d8: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800003df: 00 1800003e0: f3 42 0f 10 04 91 movss (%rcx,%r10,4),%xmm0 1800003e6: f3 42 0f 5d 04 92 minss (%rdx,%r10,4),%xmm0 1800003ec: f3 43 0f 11 04 90 movss %xmm0,(%r8,%r10,4) 1800003f2: 41 ff c2 inc %r10d 1800003f5: 44 3b d5 cmp %ebp,%r10d 1800003f8: 72 e6 jb 0x1800003e0 1800003fa: 89 ed mov %ebp,%ebp 1800003fc: 4c 8d 14 aa lea (%rdx,%rbp,4),%r10 180000400: 49 f7 c2 0f 00 00 00 test $0xf,%r10 180000407: 74 57 je 0x180000460 180000409: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000410: 00 180000411: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 180000418: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 18000041f: 00 180000420: 89 ed mov %ebp,%ebp 180000422: 0f 10 0c a9 movups (%rcx,%rbp,4),%xmm1 180000426: 0f 10 5c a9 10 movups 0x10(%rcx,%rbp,4),%xmm3 18000042b: 0f 10 04 aa movups (%rdx,%rbp,4),%xmm0 18000042f: 0f 10 54 aa 10 movups 0x10(%rdx,%rbp,4),%xmm2 180000434: 0f 5d c8 minps %xmm0,%xmm1 180000437: 0f 5d da minps %xmm2,%xmm3 18000043a: 41 0f 29 0c a8 movaps %xmm1,(%r8,%rbp,4) 18000043f: 41 0f 29 5c a8 10 movaps %xmm3,0x10(%r8,%rbp,4) 180000445: 83 c5 08 add $0x8,%ebp 180000448: 3b e8 cmp %eax,%ebp 18000044a: 72 d4 jb 0x180000420 18000044c: eb 38 jmp 0x180000486 18000044e: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000455: 00 180000456: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 18000045d: 0f 1f 00 nopl (%rax) 180000460: 89 ed mov %ebp,%ebp 180000462: 0f 10 04 a9 movups (%rcx,%rbp,4),%xmm0 180000466: 0f 10 4c a9 10 movups 0x10(%rcx,%rbp,4),%xmm1 18000046b: 0f 5d 04 aa minps (%rdx,%rbp,4),%xmm0 18000046f: 0f 5d 4c aa 10 minps 0x10(%rdx,%rbp,4),%xmm1 180000474: 41 0f 29 04 a8 movaps %xmm0,(%r8,%rbp,4) 180000479: 41 0f 29 4c a8 10 movaps %xmm1,0x10(%r8,%rbp,4) 18000047f: 83 c5 08 add $0x8,%ebp 180000482: 3b e8 cmp %eax,%ebp 180000484: 72 da jb 0x180000460 180000486: 41 3b c1 cmp %r9d,%eax 180000489: 0f 83 a6 00 00 00 jae 0x180000535 18000048f: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 180000496: 00 180000497: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 18000049e: 66 90 xchg %ax,%ax 1800004a0: f3 0f 10 04 81 movss (%rcx,%rax,4),%xmm0 1800004a5: f3 0f 5d 04 82 minss (%rdx,%rax,4),%xmm0 1800004aa: f3 41 0f 11 04 80 movss %xmm0,(%r8,%rax,4) 1800004b0: ff c0 inc %eax 1800004b2: 41 3b c1 cmp %r9d,%eax 1800004b5: 72 e9 jb 0x1800004a0 1800004b7: e9 79 00 00 00 jmp 0x180000535 1800004bc: 44 89 c8 mov %r9d,%eax 1800004bf: 41 ba 01 00 00 00 mov $0x1,%r10d 1800004c5: d1 e8 shr $1,%eax 1800004c7: 33 ed xor %ebp,%ebp 1800004c9: 85 c0 test %eax,%eax 1800004cb: 76 4e jbe 0x18000051b 1800004cd: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1) 1800004d4: 00 1800004d5: 0f 1f 80 00 00 00 00 nopl 0x0(%rax) 1800004dc: 0f 1f 40 00 nopl 0x0(%rax) 1800004e0: 41 89 ea mov %ebp,%r10d 1800004e3: 44 03 d5 add %ebp,%r10d 1800004e6: ff c5 inc %ebp 1800004e8: f3 42 0f 10 04 91 movss (%rcx,%r10,4),%xmm0 1800004ee: f3 42 0f 5d 04 92 minss (%rdx,%r10,4),%xmm0 1800004f4: f3 43 0f 11 04 90 movss %xmm0,(%r8,%r10,4) 1800004fa: 41 ff c2 inc %r10d 1800004fd: f3 42 0f 10 0c 91 movss (%rcx,%r10,4),%xmm1 180000503: 3b e8 cmp %eax,%ebp 180000505: f3 42 0f 5d 0c 92 minss (%rdx,%r10,4),%xmm1 18000050b: f3 43 0f 11 0c 90 movss %xmm1,(%r8,%r10,4) 180000511: 72 cd jb 0x1800004e0 180000513: 03 ed add %ebp,%ebp 180000515: 41 89 ea mov %ebp,%r10d 180000518: 41 ff c2 inc %r10d 18000051b: 41 ff ca dec %r10d 18000051e: 45 3b d1 cmp %r9d,%r10d 180000521: 73 12 jae 0x180000535 180000523: f3 42 0f 10 04 91 movss (%rcx,%r10,4),%xmm0 180000529: f3 42 0f 5d 04 92 minss (%rdx,%r10,4),%xmm0 18000052f: f3 43 0f 11 04 90 movss %xmm0,(%r8,%r10,4) 180000535: 5d pop %rbp 180000536: c3 ret