4785 vmaxsd -485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2}  label
4789 vmaxsd 485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2}  label
4793 vmaxsd -485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2} {z}  label
4797 vmaxsd 485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2} {z}  label
4805 vmaxsd 485498096(%edx), %xmm1, %xmm1 {%k2}  label
4809 vmaxsd 485498096(%edx), %xmm1, %xmm1 {%k2} {z}  label
4817 vmaxsd 485498096, %xmm1, %xmm1 {%k2}  label
4821 vmaxsd 485498096, %xmm1, %xmm1 {%k2} {z}  label
4829 vmaxsd 512(%edx,%eax), %xmm1, %xmm1 {%k2}  label
4833 vmaxsd 512(%edx,%eax), %xmm1, %xmm1 {%k2} {z}  label
4841 vmaxsd (%edx), %xmm1, %xmm1 {%k2}  label
4845 vmaxsd (%edx), %xmm1, %xmm1 {%k2} {z}  label
4849 vmaxsd {sae}, %xmm1, %xmm1, %xmm1  label
4853 vmaxsd {sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
4857 vmaxsd {sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
4865 vmaxsd %xmm1, %xmm1, %xmm1 {%k2}  label
4869 vmaxsd %xmm1, %xmm1, %xmm1 {%k2} {z}  label