1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O2 -msse2" } */
       3  
       4  typedef unsigned __int128 uv1ti __attribute__ ((__vector_size__ (16)));
       5  
       6  uv1ti extqi(unsigned char c) { return (uv1ti)(__int128)c; }
       7  uv1ti exthi(unsigned short s) { return (uv1ti)(__int128)s; }
       8  uv1ti extsi(unsigned int i) { return (uv1ti)(__int128)i; }
       9  uv1ti extdi(unsigned long long l) { return (uv1ti)(__int128)l; }
      10  
      11  uv1ti pextqi(unsigned char *pc) { return (uv1ti)(__int128)(*pc); }
      12  uv1ti pexthi(unsigned short *ps) { return (uv1ti)(__int128)(*ps); }
      13  uv1ti pextsi(unsigned int *pi) { return (uv1ti)(__int128)(*pi); }
      14  uv1ti pextdi(unsigned long long *pl) { return (uv1ti)(__int128)(*pl); }
      15  
      16  /* { dg-final { scan-assembler-not "%\[er\]sp" } } */