FLINT3.7.0-dev

vec1d_fmsub, vec4d_fmsub, vec8d_fmsub, vec1d_fnmsub, vec4d_fnmsub, vec8d_fnmsub

Synopsis#include <flint/machine_vectors.h>
vec1d vec1d_fmsub(vec1d a, vec1d b, vec1d c)source
vec4d vec4d_fmsub(vec4d a, vec4d b, vec4d c)source
vec8d vec8d_fmsub(vec8d a, vec8d b, vec8d c)
vec1d vec1d_fnmsub(vec1d a, vec1d b, vec1d c)source
vec4d vec4d_fnmsub(vec4d a, vec4d b, vec4d c)source
vec8d vec8d_fnmsub(vec8d a, vec8d b, vec8d c)

Returns ab - c and -ab - c, rounded once except for vec4d_fmsub on the generic backends. NEON computes ab - c as -(c - ab), which differs from vec4d_fmsub_fused in the sign of an exact zero. vec4d_fmsub is available on all backends, the others on AVX2 and NEON.

Guides#

Cite this page

The FLINT team, “vec1d_fmsub, vec4d_fmsub, vec8d_fmsub, vec1d_fnmsub, vec4d_fnmsub, vec8d_fnmsub (machine_vectors.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/machine_vectors/vec1d_fmsub.html (generated 2026-10-20).