1 /* { dg-do compile { target { lp64 } } } */
2 /* { dg-require-effective-target powerpc_vsx_ok } */
3 /* { dg-options "-O2 -mvsx" } */
12 /* { dg-final { scan-assembler-times {\mld\M} 2 } } */
13 /* { dg-final { scan-assembler-times {\mnot\M} 2 } } */
14 /* { dg-final { scan-assembler-not {\mlxvd2x\M} } } */