│        vmovaps      %xmm6,%xmm15                                                                                                                                      

       │        vmaxps       %xmm3,%xmm15,%xmm15                                                                                                                              

       │        vmaxps       %xmm6,%xmm3,%xmm3                                                                                                                                

  0.14 │        vxorps       %xmm15,%xmm3,%xmm3                                                                                                                                

  0.24 │        vorps        %xmm3,%xmm15,%xmm15                                                                                                                              

  1.11 │        vsubps       %xmm3,%xmm15,%xmm15                                                                                                                              

  0.90 │        vcmpunordps  %xmm15,%xmm3,%xmm3                                                                                                                                

  1.16 │        vpsrld       $0xa,%xmm3,%xmm3                                                                                                                                  

  4.75 │        vandnps      %xmm15,%xmm3,%xmm3