1#define __add __add_avx
2#define __mul __mul_avx
3#define __sqr __sqr_avx
4#define __sub __sub_avx
5#define __dbl_mp __dbl_mp_avx
6#define __dvd __dvd_avx
7
8#define NO___CPY 1
9#define NO___MP_DBL 1
10#define NO___ACR 1
11#define NO__CONST 1
12#define SECTION __attribute__ ((section (".text.avx")))
13
14#include <sysdeps/ieee754/dbl-64/mpa.c>
15