4877 vmaxss 256(%edx,%eax), %xmm1, %xmm1 {%k2}  label
4881 vmaxss 256(%edx,%eax), %xmm1, %xmm1 {%k2} {z}  label
4893 vmaxss -485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2}  label
4897 vmaxss 485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2}  label
4901 vmaxss -485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2} {z}  label
4905 vmaxss 485498096(%edx,%eax,4), %xmm1, %xmm1 {%k2} {z}  label
4913 vmaxss 485498096(%edx), %xmm1, %xmm1 {%k2}  label
4917 vmaxss 485498096(%edx), %xmm1, %xmm1 {%k2} {z}  label
4925 vmaxss 485498096, %xmm1, %xmm1 {%k2}  label
4929 vmaxss 485498096, %xmm1, %xmm1 {%k2} {z}  label
4937 vmaxss (%edx), %xmm1, %xmm1 {%k2}  label
4941 vmaxss (%edx), %xmm1, %xmm1 {%k2} {z}  label
4945 vmaxss {sae}, %xmm1, %xmm1, %xmm1  label
4949 vmaxss {sae}, %xmm1, %xmm1, %xmm1 {%k2}  label
4953 vmaxss {sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}  label
4961 vmaxss %xmm1, %xmm1, %xmm1 {%k2}  label
4965 vmaxss %xmm1, %xmm1, %xmm1 {%k2} {z}  label