1 #define __mpexp __mpexp_avx
2 #define __add __add_avx
3 #define __dbl_mp __dbl_mp_avx
4 #define __dvd __dvd_avx
5 #define __mul __mul_avx
6 #define AVOID_MPEXP_H 1
7 #define SECTION __attribute__ ((section (".text.avx")))
9 #include <sysdeps/ieee754/dbl-64/mpexp.c>