6557 vpsrld $0, %ymm7, %ymm7   label
6561 vpsrld $0, %ymm9, %ymm9   label
6565 vpsrld 485498096, %ymm7, %ymm7   label
6569 vpsrld 485498096, %ymm9, %ymm9   label
6573 vpsrld -64(%rdx,%rax,4), %ymm7, %ymm7   label
6577 vpsrld 64(%rdx,%rax,4), %ymm7, %ymm7   label
6581 vpsrld -64(%rdx,%rax,4), %ymm9, %ymm9   label
6585 vpsrld 64(%rdx,%rax,4), %ymm9, %ymm9   label
6589 vpsrld 64(%rdx,%rax), %ymm7, %ymm7   label
6593 vpsrld 64(%rdx,%rax), %ymm9, %ymm9   label
6597 vpsrld 64(%rdx), %ymm7, %ymm7   label
6601 vpsrld 64(%rdx), %ymm9, %ymm9   label
6613 vpsrld (%rdx), %ymm7, %ymm7   label
6617 vpsrld (%rdx), %ymm9, %ymm9   label
6621 vpsrld %xmm15, %ymm9, %ymm9   label
6625 vpsrld %xmm6, %ymm7, %ymm7   label