FLINT3.7.0-dev

vec4d_fmadd_fused, vec4d_fmsub_fused, vec4d_fnmadd_fused

Synopsis#include <flint/machine_vectors.h>
vec4d vec4d_fmadd_fused(vec4d a, vec4d b, vec4d c)source
vec4d vec4d_fmsub_fused(vec4d a, vec4d b, vec4d c)source
vec4d vec4d_fnmadd_fused(vec4d a, vec4d b, vec4d c)source

Returns ab + c, ab - c and -ab + c rounded once on every backend, like fma(a, b, c), fma(a, b, -c) and fma(-a, b, c), including the sign of an exact zero. On AVX2 without FMA instructions they call fma lane by lane. All backends.

Guides#

Cite this page

The FLINT team, “vec4d_fmadd_fused, vec4d_fmsub_fused, vec4d_fnmadd_fused (machine_vectors.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/machine_vectors/vec4d_fmadd_fused.html (generated 2026-10-20).