1#define __ieee754_atan2 __ieee754_atan2_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 __sub __sub_avx
7#define SECTION __attribute__ ((section (".text.avx")))
8
9#include <sysdeps/ieee754/dbl-64/e_atan2.c>
10