1 #define f32xaddf64x __hide_f32xaddf64x
2 #define f32xaddf128 __hide_f32xaddf128
3 #define f64addf64x __hide_f64addf64x
4 #define f64addf128 __hide_f64addf128
5 #include <float128_private.h>
6 #undef f32xaddf64x
7 #undef f32xaddf128
8 #undef f64addf64x
9 #undef f64addf128
10 #include "../ldbl-128/s_daddl.c"
11