| /* PR ipa/99517 */ | |
| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -mavx2" } */ | |
| typedef signed char v32qi __attribute__((vector_size(32))); | |
| typedef int v4si __attribute__((vector_size(16))); | |
| typedef long long int v4di __attribute__((vector_size(32))); | |
| typedef double v4df __attribute__((vector_size(32))); | |
| v32qi | |
| foo (v4si x) | |
| { | |
| return (v32qi) __builtin_convertvector (x, v4df); | |
| } | |
| v32qi | |
| bar (v4si x) | |
| { | |
| return (v32qi) __builtin_convertvector (x, v4di); | |
| } |