9565 vfnmsub231sd {rd-sae}, %xmm15, %xmm15, %xmm15  label
9569 vfnmsub231sd {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2}  label
9573 vfnmsub231sd {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}  label
9577 vfnmsub231sd {rd-sae}, %xmm1, %xmm1, %xmm1  label
9581 vfnmsub231sd {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
9585 vfnmsub231sd {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
9589 vfnmsub231sd {rn-sae}, %xmm15, %xmm15, %xmm15  label
9593 vfnmsub231sd {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2}  label
9597 vfnmsub231sd {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}  label
9601 vfnmsub231sd {rn-sae}, %xmm1, %xmm1, %xmm1  label
9605 vfnmsub231sd {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
9609 vfnmsub231sd {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
9613 vfnmsub231sd {ru-sae}, %xmm15, %xmm15, %xmm15  label
9617 vfnmsub231sd {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2}  label
9621 vfnmsub231sd {ru-sae}, %xmm1, %xmm1, %xmm1  label
9625 vfnmsub231sd {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}  label