5477 vpermilpd $0, -485498096(%edx,%eax,4), %xmm1   label
5481 vpermilpd $0, 485498096(%edx,%eax,4), %xmm1   label
5485 vpermilpd $0, -485498096(%edx,%eax,4), %ymm4   label
5489 vpermilpd $0, 485498096(%edx,%eax,4), %ymm4   label
5493 vpermilpd $0, 485498096(%edx), %xmm1   label
5497 vpermilpd $0, 485498096(%edx), %ymm4   label
5501 vpermilpd $0, 485498096, %xmm1   label
5505 vpermilpd $0, 485498096, %ymm4   label
5509 vpermilpd $0, 64(%edx,%eax), %xmm1   label
5513 vpermilpd $0, 64(%edx,%eax), %ymm4   label
5517 vpermilpd $0, (%edx), %xmm1   label
5521 vpermilpd $0, (%edx), %ymm4   label
5525 vpermilpd $0, %xmm1, %xmm1   label
5529 vpermilpd $0, %ymm4, %ymm4   label
5533 vpermilpd -485498096(%edx,%eax,4), %xmm1, %xmm1   label
5537 vpermilpd 485498096(%edx,%eax,4), %xmm1, %xmm1   label
5541 vpermilpd -485498096(%edx,%eax,4), %ymm4, %ymm4   label
5545 vpermilpd 485498096(%edx,%eax,4), %ymm4, %ymm4   label
5549 vpermilpd 485498096(%edx), %xmm1, %xmm1   label
5553 vpermilpd 485498096(%edx), %ymm4, %ymm4   label
5557 vpermilpd 485498096, %xmm1, %xmm1   label
5561 vpermilpd 485498096, %ymm4, %ymm4   label
5565 vpermilpd 64(%edx,%eax), %xmm1, %xmm1   label
5569 vpermilpd 64(%edx,%eax), %ymm4, %ymm4   label
5573 vpermilpd (%edx), %xmm1, %xmm1   label
5577 vpermilpd (%edx), %ymm4, %ymm4   label
5581 vpermilpd %xmm1, %xmm1, %xmm1   label
5585 vpermilpd %ymm4, %ymm4, %ymm4   label