void test_double_tan (void) { int i; for (i = 0; i < SIZE; i++) d1[i] = __builtin_tan (d2[i]); }
double f7(double x) { return __builtin_tan(x); }