│        lea          (%r11,%r9,1),%r12d                                                                                                                                

  0.81 │        vmovss       (%r8,%r12,1),%xmm3                                                                                                                                

  1.05 │        lea          (%r11,%r15,1),%r9d                                                                                                                                

  1.81 │        movl         $0x0,(%r8,%r12,1)                                                                                                                                

  0.06 │        lea          (%r11,%r14,1),%r12d                                                                                                                              

  0.21 │        vmovss       (%r8,%r9,1),%xmm4                                                                                                                                

  0.44 │        vmovss       (%r8,%r12,1),%xmm5                                                                                                                                

  0.40 │        vpcmpeqd     %xmm6,%xmm6,%xmm6                                                                                                                                

  0.30 │        vpslld       $0x19,%xmm6,%xmm6                                                                                                                                

  0.96 │        vpsrld       $0x2,%xmm6,%xmm6                                                                                                                                  

  0.39 │        vucomiss     %xmm6,%xmm5                                                                                                                                      

  3.39 │      ↓ ja           9e7                                                                                                                                              

       │        xor          %r9d,%r9d                                                                                                                                        

  0.62 │      ↓ jmpq         a03                                                                                                                                              

  1.47 │ 9e7:   vucomiss     %xmm4,%xmm3                                                                                                                                      

  0.70 │        seta         %r9b                                                                                                                                              

  0.21 │        movzbl       %r9b,%r9d                                                                                                                                        

  1.86 │        xor          $0x1,%r9d                                                                                                                                        

  1.94 │        cmp          $0x0,%r9d                                                                                                                                        

  2.66 │        sete         %r9b                                                                                                                                              

  0.82 │        movzbl       %r9b,%r9d                                                                                                                                        

  8.52 │ a03:   mov          %rdx,%r12                                                                                                                                        

  0.40 │        imul         %edx,%r12d                                                                                                                                        

  0.25 │        cmp          $0x0,%r9d                                                                                                                                        

  2.96 │      ↓ jne          a40                                                                                                                                              

       │        vmovd        %xmm4,%r9d                                                                                                                                        

 16.36 │        and          $0x7fffffff,%r9d                                                                                                                                  

  0.79 │        vmovd        %r9d,%xmm7                                                                                                                                        

  0.90 │        vpcmpeqd     %xmm8,%xmm8,%xmm8                                                                                                                                

       │        vpslld       $0x18,%xmm8,%xmm8                                                                                                                                

  1.35 │        vpsrld       $0x1,%xmm8,%xmm8                                                                                                                                  

  0.61 │        vucomiss     %xmm7,%xmm8                                                                                                                                      

  5.46 │      ↓ ja           a60                                                                                                                                              

  0.31 │ a40:   lea          (%r11,%rcx,1),%r9d                                                                                                                                

  2.23 │        lea          (%rcx,%r12,4),%r12d                                                                                                                              

  0.51 │        add          %r11d,%r12d                                                                                                                                      

  0.13 │        movl         $0x0,(%r8,%r9,1)                                                                                                                                  

  0.72 │        movl         $0x0,(%r8,%r12,1)                                                                                                                                

  0.50 │      ↓ jmpq         b86                                                                                                                                              

  0.35 │ a60:   lea          (%r11,%rdi,1),%r9d                                                                                                                                

  3.24 │        vucomiss     %xmm6,%xmm5                                                                                                                                      

  0.94 │      ↓ jp           141e                                                                                                                                              

  0.41 │      ↓ jb           a80                                                                                                                                              

       │      ↓ ja           a7c                                                                                                                                              

  0.00 │        vmovmskps    %xmm6,%r10d