1  /* PR ipa/99517 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mavx2" } */
       4  
       5  typedef signed char v32qi __attribute__((vector_size(32)));
       6  typedef int v4si __attribute__((vector_size(16)));
       7  typedef long long int v4di __attribute__((vector_size(32)));
       8  typedef double v4df __attribute__((vector_size(32)));
       9  
      10  v32qi
      11  foo (v4si x)
      12  {
      13    return (v32qi) __builtin_convertvector (x, v4df);
      14  }
      15  
      16  v32qi
      17  bar (v4si x)
      18  {
      19    return (v32qi) __builtin_convertvector (x, v4di);
      20  }