3589 vdivpd 485498096, %xmm15, %xmm15   label
3593 vdivpd 485498096, %xmm6, %xmm6   label
3597 vdivpd 485498096, %ymm7, %ymm7   label
3601 vdivpd 485498096, %ymm9, %ymm9   label
3605 vdivpd -64(%rdx,%rax,4), %xmm15, %xmm15   label
3609 vdivpd 64(%rdx,%rax,4), %xmm15, %xmm15   label
3613 vdivpd -64(%rdx,%rax,4), %xmm6, %xmm6   label
3617 vdivpd 64(%rdx,%rax,4), %xmm6, %xmm6   label
3621 vdivpd -64(%rdx,%rax,4), %ymm7, %ymm7   label
3625 vdivpd 64(%rdx,%rax,4), %ymm7, %ymm7   label
3629 vdivpd -64(%rdx,%rax,4), %ymm9, %ymm9   label
3633 vdivpd 64(%rdx,%rax,4), %ymm9, %ymm9   label
3637 vdivpd 64(%rdx,%rax), %xmm15, %xmm15   label
3641 vdivpd 64(%rdx,%rax), %xmm6, %xmm6   label
3645 vdivpd 64(%rdx,%rax), %ymm7, %ymm7   label
3649 vdivpd 64(%rdx,%rax), %ymm9, %ymm9   label
3653 vdivpd 64(%rdx), %xmm15, %xmm15   label
3657 vdivpd 64(%rdx), %xmm6, %xmm6   label
3661 vdivpd 64(%rdx), %ymm7, %ymm7   label
3665 vdivpd 64(%rdx), %ymm9, %ymm9   label
3669 vdivpd (%rdx), %xmm15, %xmm15   label
3673 vdivpd (%rdx), %xmm6, %xmm6   label
3677 vdivpd (%rdx), %ymm7, %ymm7   label
3681 vdivpd (%rdx), %ymm9, %ymm9   label
3685 vdivpd %xmm15, %xmm15, %xmm15   label
3689 vdivpd %xmm6, %xmm6, %xmm6   label
3693 vdivpd %ymm7, %ymm7, %ymm7   label
3697 vdivpd %ymm9, %ymm9, %ymm9   label