5017 vexpandpd 485498096, %zmm19   label
5021 vexpandpd 485498096, %zmm19 {%k2}   label
5025 vexpandpd 485498096, %zmm19 {%k2} {z}   label
5029 vexpandpd 512(%rdx,%rax,4), %zmm19   label
5033 vexpandpd -512(%rdx,%rax,4), %zmm19   label
5037 vexpandpd 512(%rdx,%rax,4), %zmm19 {%k2}   label
5041 vexpandpd -512(%rdx,%rax,4), %zmm19 {%k2}   label
5045 vexpandpd 512(%rdx,%rax,4), %zmm19 {%k2} {z}   label
5049 vexpandpd -512(%rdx,%rax,4), %zmm19 {%k2} {z}   label
5053 vexpandpd 512(%rdx,%rax), %zmm19   label
5057 vexpandpd 512(%rdx,%rax), %zmm19 {%k2}   label
5061 vexpandpd 512(%rdx,%rax), %zmm19 {%k2} {z}   label
5065 vexpandpd 512(%rdx), %zmm19   label
5069 vexpandpd 512(%rdx), %zmm19 {%k2}   label
5073 vexpandpd 512(%rdx), %zmm19 {%k2} {z}   label
5077 vexpandpd (%rdx), %zmm19   label
5081 vexpandpd (%rdx), %zmm19 {%k2}   label
5085 vexpandpd (%rdx), %zmm19 {%k2} {z}   label
5089 vexpandpd %zmm19, %zmm19   label
5093 vexpandpd %zmm19, %zmm19 {%k2}   label
5097 vexpandpd %zmm19, %zmm19 {%k2} {z}   label