#define __branred __branred_fma4

#include <sysdeps/ieee754/dbl-64/branred.c>