FLINT3.7.0-dev

vec4n_shift_lanes_up

Synopsis#include <flint/machine_vectors.h>
vec4n vec4n_shift_lanes_up(vec4n a, vec4n b)source

Returns \{b_3, a_0, a_1, a_2\}: the lanes of a moved up by one, with the top lane of b entering at the bottom, as when passing a carry from one vector to the next. All backends.

Cite this page

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