void test_double_asin (void) { int i; for (i = 0; i < SIZE; i++) d1[i] = __builtin_asin (d2[i]); }
double asin(double x) { return __builtin_asin(x); }