/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 1 } } */
/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
-/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.m\s+v[0-9]+,\s*v[0-9]+} 1 } } */
/* { dg-final { scan-assembler-not {vmv} } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 2 } } */
/* { dg-final { scan-assembler-times {vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
-/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.m\s+v[0-9]+,\s*v[0-9]+} 1 } } */
/* { dg-final { scan-assembler-not {vmv} } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 1 } } */
/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
-/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.m\s+v[0-9]+,\s*v[0-9]+} 1 } } */
/* { dg-final { scan-assembler-times {vmv} 1 } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 1 } } */
/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
-/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.m\s+v[0-9]+,\s*v[0-9]+} 1 } } */
/* { dg-final { scan-assembler-times {vmv} 1 } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 2 } } */
/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
-/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.m\s+v[0-9]+,\s*v[0-9]+} 1 } } */
** vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
** vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
** vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
** vle32.v\tv[0-9]+,0\([a-x0-9]+\)
** vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** vsm.v\tv[0-9]+,0\([a-x0-9]+\)
** vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
** vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** vsm.v\tv[0-9]+,0\([a-x0-9]+\)
** f1:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
** vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f2:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f3:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f2:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f3:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f4:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f5:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f6:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f1:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
** vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f2:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f3:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f2:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f3:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f4:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f5:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f6:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f2:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...
** f3:
** ...
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
-** vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+** vmnot\.m\s+v[0-9]+,\s*v[0-9]+
** vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
** vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
** ...