/tmp/det/fun_180074100.bin:     file format binary


Disassembly of section .data:

0000000180000000 <.data>:
   180000000:	0f c6 c0 00          	shufps $0x0,%xmm0,%xmm0
   180000004:	41 83 f8 0b          	cmp    $0xb,%r8d
   180000008:	7d 30                	jge    0x18000003a
   18000000a:	41 ff c8             	dec    %r8d
   18000000d:	41 83 f8 ff          	cmp    $0xffffffff,%r8d
   180000011:	74 26                	je     0x180000039
   180000013:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
   180000018:	0f 1f 84 00 00 00 00 	nopl   0x0(%rax,%rax,1)
   18000001f:	00 
   180000020:	f3 0f 10 0a          	movss  (%rdx),%xmm1
   180000024:	41 ff c8             	dec    %r8d
   180000027:	f3 0f 58 c8          	addss  %xmm0,%xmm1
   18000002b:	f3 0f 11 0a          	movss  %xmm1,(%rdx)
   18000002f:	48 8d 52 04          	lea    0x4(%rdx),%rdx
   180000033:	41 83 f8 ff          	cmp    $0xffffffff,%r8d
   180000037:	75 e7                	jne    0x180000020
   180000039:	c3                   	ret
   18000003a:	48                   	rex.W
   18000003b:	f7                   	.byte 0xf7
   18000003c:	c2                   	.byte 0xc2