| /* { dg-do run } */ | |
| typedef unsigned char v32u8 __attribute__ ((vector_size (32))); | |
| unsigned __attribute__((noinline, noclone)) | |
| foo(unsigned u) | |
| { | |
| v32u8 v32u8_0 = (v32u8){} > (v32u8){-u}; | |
| return v32u8_0[31] + v32u8_0[0]; | |
| } | |
| int | |
| main () | |
| { | |
| unsigned x = foo(0); | |
| __builtin_printf ("%08x\n",x); | |
| if (x != 0) | |
| __builtin_abort(); | |
| return 0; | |
| } |