1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O2 -msse2" } */
       3  
       4  typedef __int128 v1ti __attribute__ ((__vector_size__ (16)));
       5  
       6  v1ti andnot1(v1ti x, v1ti y) { return ~x & y; }
       7  v1ti andnot2(v1ti x, v1ti y) { return x & ~y; }
       8  
       9  /* { dg-final { scan-assembler-times "pandn" 2 } } */
      10  /* { dg-final { scan-assembler-not "pcmpeqd" } } */
      11  /* { dg-final { scan-assembler-not "pxor" } } */