3225 {evex} vfnmadd213ss 256(%edx,%eax), %xmm1, %xmm1
3229 vfnmadd213ss 256(%edx,%eax), %xmm1, %xmm1 {%k2}  label
3233 vfnmadd213ss 256(%edx,%eax), %xmm1, %xmm1 {%k2} {z}  label
3237 {evex} vfnmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
3241 {evex} vfnmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
3245 vfnmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2}  label
3249 vfnmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2}  label
3253 vfnmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2} {z}  label
3257 vfnmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2} {z}  label
3261 {evex} vfnmadd213ss 485498096(%edx), %xmm1, %xmm1
3265 vfnmadd213ss 485498096(%edx), %xmm1, %xmm1 {%k2}  label
3269 vfnmadd213ss 485498096(%edx), %xmm1, %xmm1 {%k2} {z}  label
3273 {evex} vfnmadd213ss 485498096, %xmm1, %xmm1
3277 vfnmadd213ss 485498096, %xmm1, %xmm1 {%k2}  label
3281 vfnmadd213ss 485498096, %xmm1, %xmm1 {%k2} {z}  label
3285 {evex} vfnmadd213ss (%edx), %xmm1, %xmm1
3289 vfnmadd213ss (%edx), %xmm1, %xmm1 {%k2}  label
3293 vfnmadd213ss (%edx), %xmm1, %xmm1 {%k2} {z}  label
3297 vfnmadd213ss {rd-sae}, %xmm1, %xmm1, %xmm1  label
3301 vfnmadd213ss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
3305 vfnmadd213ss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
3309 vfnmadd213ss {rn-sae}, %xmm1, %xmm1, %xmm1  label
3313 vfnmadd213ss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
3317 vfnmadd213ss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
3321 vfnmadd213ss {ru-sae}, %xmm1, %xmm1, %xmm1  label
3325 vfnmadd213ss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
3329 vfnmadd213ss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
3333 vfnmadd213ss {rz-sae}, %xmm1, %xmm1, %xmm1  label
3337 vfnmadd213ss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
3341 vfnmadd213ss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
3345 {evex} vfnmadd213ss %xmm1, %xmm1, %xmm1
3349 vfnmadd213ss %xmm1, %xmm1, %xmm1 {%k2}  label
3353 vfnmadd213ss %xmm1, %xmm1, %xmm1 {%k2} {z}  label