1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* PR c/17297 */ typedef float V2SF __attribute__ ((vector_size (8))); int test0 (V2SF, V2SF); int main (void) { V2SF a = (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f}; V2SF b = (V2SF) {567.345, 1984.0}; int i; i = test0 (a, b); return i; }