08_vector_reduction_functions.md

Vector Reduction Functions:

Vector Single-Width Integer Reduction Functions:

Prototypes:

vint8m1_t vredsum_vs_i8mf8_i8m1 (vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8mf4_i8m1 (vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8mf2_i8m1 (vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m1_i8m1 (vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m2_i8m1 (vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m4_i8m1 (vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m8_i8m1 (vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16mf4_i16m1 (vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16mf2_i16m1 (vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m1_i16m1 (vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m2_i16m1 (vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m4_i16m1 (vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m8_i16m1 (vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32mf2_i32m1 (vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m1_i32m1 (vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m2_i32m1 (vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m4_i32m1 (vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m8_i32m1 (vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m1_i64m1 (vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m2_i64m1 (vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m4_i64m1 (vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m8_i64m1 (vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8mf8_u8m1 (vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8mf4_u8m1 (vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8mf2_u8m1 (vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m1_u8m1 (vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m2_u8m1 (vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m4_u8m1 (vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m8_u8m1 (vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16mf4_u16m1 (vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16mf2_u16m1 (vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m1_u16m1 (vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m2_u16m1 (vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m4_u16m1 (vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m8_u16m1 (vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32mf2_u32m1 (vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m1_u32m1 (vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m2_u32m1 (vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m4_u32m1 (vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m8_u32m1 (vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m1_u64m1 (vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m2_u64m1 (vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m4_u64m1 (vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m8_u64m1 (vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8mf8_i8m1 (vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8mf4_i8m1 (vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8mf2_i8m1 (vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m1_i8m1 (vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m2_i8m1 (vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m4_i8m1 (vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m8_i8m1 (vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16mf4_i16m1 (vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16mf2_i16m1 (vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m1_i16m1 (vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m2_i16m1 (vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m4_i16m1 (vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m8_i16m1 (vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32mf2_i32m1 (vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m1_i32m1 (vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m2_i32m1 (vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m4_i32m1 (vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m8_i32m1 (vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m1_i64m1 (vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m2_i64m1 (vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m4_i64m1 (vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m8_i64m1 (vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8mf8_u8m1 (vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8mf4_u8m1 (vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8mf2_u8m1 (vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m1_u8m1 (vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m2_u8m1 (vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m4_u8m1 (vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m8_u8m1 (vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16mf4_u16m1 (vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16mf2_u16m1 (vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m1_u16m1 (vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m2_u16m1 (vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m4_u16m1 (vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m8_u16m1 (vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32mf2_u32m1 (vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m1_u32m1 (vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m2_u32m1 (vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m4_u32m1 (vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m8_u32m1 (vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m1_u64m1 (vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m2_u64m1 (vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m4_u64m1 (vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m8_u64m1 (vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8mf8_i8m1 (vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8mf4_i8m1 (vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8mf2_i8m1 (vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m1_i8m1 (vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m2_i8m1 (vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m4_i8m1 (vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m8_i8m1 (vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16mf4_i16m1 (vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16mf2_i16m1 (vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m1_i16m1 (vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m2_i16m1 (vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m4_i16m1 (vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m8_i16m1 (vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32mf2_i32m1 (vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m1_i32m1 (vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m2_i32m1 (vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m4_i32m1 (vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m8_i32m1 (vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m1_i64m1 (vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m2_i64m1 (vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m4_i64m1 (vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m8_i64m1 (vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8mf8_u8m1 (vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8mf4_u8m1 (vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8mf2_u8m1 (vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m1_u8m1 (vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m2_u8m1 (vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m4_u8m1 (vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m8_u8m1 (vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16mf4_u16m1 (vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16mf2_u16m1 (vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m1_u16m1 (vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m2_u16m1 (vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m4_u16m1 (vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m8_u16m1 (vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32mf2_u32m1 (vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m1_u32m1 (vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m2_u32m1 (vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m4_u32m1 (vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m8_u32m1 (vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m1_u64m1 (vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m2_u64m1 (vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m4_u64m1 (vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m8_u64m1 (vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8mf8_i8m1 (vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8mf4_i8m1 (vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8mf2_i8m1 (vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m1_i8m1 (vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m2_i8m1 (vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m4_i8m1 (vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m8_i8m1 (vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16mf4_i16m1 (vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16mf2_i16m1 (vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m1_i16m1 (vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m2_i16m1 (vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m4_i16m1 (vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m8_i16m1 (vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32mf2_i32m1 (vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m1_i32m1 (vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m2_i32m1 (vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m4_i32m1 (vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m8_i32m1 (vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m1_i64m1 (vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m2_i64m1 (vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m4_i64m1 (vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m8_i64m1 (vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8mf8_u8m1 (vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8mf4_u8m1 (vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8mf2_u8m1 (vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m1_u8m1 (vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m2_u8m1 (vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m4_u8m1 (vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m8_u8m1 (vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16mf4_u16m1 (vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16mf2_u16m1 (vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m1_u16m1 (vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m2_u16m1 (vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m4_u16m1 (vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m8_u16m1 (vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32mf2_u32m1 (vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m1_u32m1 (vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m2_u32m1 (vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m4_u32m1 (vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m8_u32m1 (vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m1_u64m1 (vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m2_u64m1 (vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m4_u64m1 (vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m8_u64m1 (vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8mf8_i8m1 (vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8mf4_i8m1 (vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8mf2_i8m1 (vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m1_i8m1 (vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m2_i8m1 (vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m4_i8m1 (vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m8_i8m1 (vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16mf4_i16m1 (vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16mf2_i16m1 (vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m1_i16m1 (vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m2_i16m1 (vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m4_i16m1 (vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m8_i16m1 (vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32mf2_i32m1 (vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m1_i32m1 (vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m2_i32m1 (vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m4_i32m1 (vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m8_i32m1 (vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m1_i64m1 (vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m2_i64m1 (vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m4_i64m1 (vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m8_i64m1 (vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8mf8_u8m1 (vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8mf4_u8m1 (vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8mf2_u8m1 (vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m1_u8m1 (vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m2_u8m1 (vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m4_u8m1 (vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m8_u8m1 (vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16mf4_u16m1 (vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16mf2_u16m1 (vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m1_u16m1 (vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m2_u16m1 (vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m4_u16m1 (vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m8_u16m1 (vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32mf2_u32m1 (vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m1_u32m1 (vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m2_u32m1 (vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m4_u32m1 (vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m8_u32m1 (vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m1_u64m1 (vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m2_u64m1 (vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m4_u64m1 (vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m8_u64m1 (vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8mf8_i8m1 (vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8mf4_i8m1 (vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8mf2_i8m1 (vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m1_i8m1 (vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m2_i8m1 (vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m4_i8m1 (vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m8_i8m1 (vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16mf4_i16m1 (vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16mf2_i16m1 (vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m1_i16m1 (vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m2_i16m1 (vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m4_i16m1 (vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m8_i16m1 (vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32mf2_i32m1 (vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m1_i32m1 (vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m2_i32m1 (vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m4_i32m1 (vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m8_i32m1 (vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m1_i64m1 (vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m2_i64m1 (vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m4_i64m1 (vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m8_i64m1 (vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8mf8_u8m1 (vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8mf4_u8m1 (vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8mf2_u8m1 (vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m1_u8m1 (vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m2_u8m1 (vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m4_u8m1 (vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m8_u8m1 (vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16mf4_u16m1 (vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16mf2_u16m1 (vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m1_u16m1 (vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m2_u16m1 (vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m4_u16m1 (vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m8_u16m1 (vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32mf2_u32m1 (vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m1_u32m1 (vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m2_u32m1 (vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m4_u32m1 (vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m8_u32m1 (vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m1_u64m1 (vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m2_u64m1 (vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m4_u64m1 (vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m8_u64m1 (vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
// masked functions
vint8m1_t vredsum_vs_i8mf8_i8m1_m (vbool64_t mask, vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8mf4_i8m1_m (vbool32_t mask, vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8mf2_i8m1_m (vbool16_t mask, vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m1_i8m1_m (vbool8_t mask, vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m2_i8m1_m (vbool4_t mask, vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m4_i8m1_m (vbool2_t mask, vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredsum_vs_i8m8_i8m1_m (vbool1_t mask, vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16mf4_i16m1_m (vbool64_t mask, vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16mf2_i16m1_m (vbool32_t mask, vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m1_i16m1_m (vbool16_t mask, vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m2_i16m1_m (vbool8_t mask, vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m4_i16m1_m (vbool4_t mask, vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredsum_vs_i16m8_i16m1_m (vbool2_t mask, vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32mf2_i32m1_m (vbool64_t mask, vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m1_i32m1_m (vbool32_t mask, vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m2_i32m1_m (vbool16_t mask, vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m4_i32m1_m (vbool8_t mask, vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredsum_vs_i32m8_i32m1_m (vbool4_t mask, vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m1_i64m1_m (vbool64_t mask, vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m2_i64m1_m (vbool32_t mask, vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m4_i64m1_m (vbool16_t mask, vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredsum_vs_i64m8_i64m1_m (vbool8_t mask, vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8mf8_u8m1_m (vbool64_t mask, vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8mf4_u8m1_m (vbool32_t mask, vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8mf2_u8m1_m (vbool16_t mask, vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m1_u8m1_m (vbool8_t mask, vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m2_u8m1_m (vbool4_t mask, vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m4_u8m1_m (vbool2_t mask, vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredsum_vs_u8m8_u8m1_m (vbool1_t mask, vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16mf4_u16m1_m (vbool64_t mask, vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16mf2_u16m1_m (vbool32_t mask, vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m1_u16m1_m (vbool16_t mask, vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m2_u16m1_m (vbool8_t mask, vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m4_u16m1_m (vbool4_t mask, vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredsum_vs_u16m8_u16m1_m (vbool2_t mask, vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32mf2_u32m1_m (vbool64_t mask, vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m1_u32m1_m (vbool32_t mask, vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m2_u32m1_m (vbool16_t mask, vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m4_u32m1_m (vbool8_t mask, vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredsum_vs_u32m8_u32m1_m (vbool4_t mask, vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m1_u64m1_m (vbool64_t mask, vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m2_u64m1_m (vbool32_t mask, vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m4_u64m1_m (vbool16_t mask, vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredsum_vs_u64m8_u64m1_m (vbool8_t mask, vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8mf8_i8m1_m (vbool64_t mask, vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8mf4_i8m1_m (vbool32_t mask, vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8mf2_i8m1_m (vbool16_t mask, vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m1_i8m1_m (vbool8_t mask, vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m2_i8m1_m (vbool4_t mask, vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m4_i8m1_m (vbool2_t mask, vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmax_vs_i8m8_i8m1_m (vbool1_t mask, vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16mf4_i16m1_m (vbool64_t mask, vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16mf2_i16m1_m (vbool32_t mask, vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m1_i16m1_m (vbool16_t mask, vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m2_i16m1_m (vbool8_t mask, vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m4_i16m1_m (vbool4_t mask, vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmax_vs_i16m8_i16m1_m (vbool2_t mask, vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32mf2_i32m1_m (vbool64_t mask, vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m1_i32m1_m (vbool32_t mask, vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m2_i32m1_m (vbool16_t mask, vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m4_i32m1_m (vbool8_t mask, vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmax_vs_i32m8_i32m1_m (vbool4_t mask, vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m1_i64m1_m (vbool64_t mask, vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m2_i64m1_m (vbool32_t mask, vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m4_i64m1_m (vbool16_t mask, vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmax_vs_i64m8_i64m1_m (vbool8_t mask, vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8mf8_u8m1_m (vbool64_t mask, vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8mf4_u8m1_m (vbool32_t mask, vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8mf2_u8m1_m (vbool16_t mask, vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m1_u8m1_m (vbool8_t mask, vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m2_u8m1_m (vbool4_t mask, vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m4_u8m1_m (vbool2_t mask, vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredmaxu_vs_u8m8_u8m1_m (vbool1_t mask, vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16mf4_u16m1_m (vbool64_t mask, vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16mf2_u16m1_m (vbool32_t mask, vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m1_u16m1_m (vbool16_t mask, vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m2_u16m1_m (vbool8_t mask, vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m4_u16m1_m (vbool4_t mask, vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredmaxu_vs_u16m8_u16m1_m (vbool2_t mask, vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32mf2_u32m1_m (vbool64_t mask, vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m1_u32m1_m (vbool32_t mask, vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m2_u32m1_m (vbool16_t mask, vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m4_u32m1_m (vbool8_t mask, vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredmaxu_vs_u32m8_u32m1_m (vbool4_t mask, vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m1_u64m1_m (vbool64_t mask, vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m2_u64m1_m (vbool32_t mask, vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m4_u64m1_m (vbool16_t mask, vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredmaxu_vs_u64m8_u64m1_m (vbool8_t mask, vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8mf8_i8m1_m (vbool64_t mask, vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8mf4_i8m1_m (vbool32_t mask, vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8mf2_i8m1_m (vbool16_t mask, vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m1_i8m1_m (vbool8_t mask, vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m2_i8m1_m (vbool4_t mask, vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m4_i8m1_m (vbool2_t mask, vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredmin_vs_i8m8_i8m1_m (vbool1_t mask, vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16mf4_i16m1_m (vbool64_t mask, vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16mf2_i16m1_m (vbool32_t mask, vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m1_i16m1_m (vbool16_t mask, vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m2_i16m1_m (vbool8_t mask, vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m4_i16m1_m (vbool4_t mask, vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredmin_vs_i16m8_i16m1_m (vbool2_t mask, vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32mf2_i32m1_m (vbool64_t mask, vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m1_i32m1_m (vbool32_t mask, vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m2_i32m1_m (vbool16_t mask, vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m4_i32m1_m (vbool8_t mask, vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredmin_vs_i32m8_i32m1_m (vbool4_t mask, vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m1_i64m1_m (vbool64_t mask, vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m2_i64m1_m (vbool32_t mask, vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m4_i64m1_m (vbool16_t mask, vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredmin_vs_i64m8_i64m1_m (vbool8_t mask, vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8mf8_u8m1_m (vbool64_t mask, vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8mf4_u8m1_m (vbool32_t mask, vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8mf2_u8m1_m (vbool16_t mask, vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m1_u8m1_m (vbool8_t mask, vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m2_u8m1_m (vbool4_t mask, vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m4_u8m1_m (vbool2_t mask, vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredminu_vs_u8m8_u8m1_m (vbool1_t mask, vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16mf4_u16m1_m (vbool64_t mask, vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16mf2_u16m1_m (vbool32_t mask, vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m1_u16m1_m (vbool16_t mask, vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m2_u16m1_m (vbool8_t mask, vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m4_u16m1_m (vbool4_t mask, vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredminu_vs_u16m8_u16m1_m (vbool2_t mask, vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32mf2_u32m1_m (vbool64_t mask, vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m1_u32m1_m (vbool32_t mask, vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m2_u32m1_m (vbool16_t mask, vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m4_u32m1_m (vbool8_t mask, vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredminu_vs_u32m8_u32m1_m (vbool4_t mask, vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m1_u64m1_m (vbool64_t mask, vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m2_u64m1_m (vbool32_t mask, vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m4_u64m1_m (vbool16_t mask, vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredminu_vs_u64m8_u64m1_m (vbool8_t mask, vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8mf8_i8m1_m (vbool64_t mask, vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8mf4_i8m1_m (vbool32_t mask, vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8mf2_i8m1_m (vbool16_t mask, vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m1_i8m1_m (vbool8_t mask, vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m2_i8m1_m (vbool4_t mask, vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m4_i8m1_m (vbool2_t mask, vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredand_vs_i8m8_i8m1_m (vbool1_t mask, vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16mf4_i16m1_m (vbool64_t mask, vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16mf2_i16m1_m (vbool32_t mask, vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m1_i16m1_m (vbool16_t mask, vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m2_i16m1_m (vbool8_t mask, vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m4_i16m1_m (vbool4_t mask, vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredand_vs_i16m8_i16m1_m (vbool2_t mask, vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32mf2_i32m1_m (vbool64_t mask, vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m1_i32m1_m (vbool32_t mask, vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m2_i32m1_m (vbool16_t mask, vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m4_i32m1_m (vbool8_t mask, vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredand_vs_i32m8_i32m1_m (vbool4_t mask, vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m1_i64m1_m (vbool64_t mask, vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m2_i64m1_m (vbool32_t mask, vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m4_i64m1_m (vbool16_t mask, vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredand_vs_i64m8_i64m1_m (vbool8_t mask, vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8mf8_u8m1_m (vbool64_t mask, vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8mf4_u8m1_m (vbool32_t mask, vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8mf2_u8m1_m (vbool16_t mask, vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m1_u8m1_m (vbool8_t mask, vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m2_u8m1_m (vbool4_t mask, vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m4_u8m1_m (vbool2_t mask, vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredand_vs_u8m8_u8m1_m (vbool1_t mask, vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16mf4_u16m1_m (vbool64_t mask, vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16mf2_u16m1_m (vbool32_t mask, vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m1_u16m1_m (vbool16_t mask, vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m2_u16m1_m (vbool8_t mask, vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m4_u16m1_m (vbool4_t mask, vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredand_vs_u16m8_u16m1_m (vbool2_t mask, vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32mf2_u32m1_m (vbool64_t mask, vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m1_u32m1_m (vbool32_t mask, vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m2_u32m1_m (vbool16_t mask, vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m4_u32m1_m (vbool8_t mask, vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredand_vs_u32m8_u32m1_m (vbool4_t mask, vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m1_u64m1_m (vbool64_t mask, vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m2_u64m1_m (vbool32_t mask, vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m4_u64m1_m (vbool16_t mask, vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredand_vs_u64m8_u64m1_m (vbool8_t mask, vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8mf8_i8m1_m (vbool64_t mask, vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8mf4_i8m1_m (vbool32_t mask, vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8mf2_i8m1_m (vbool16_t mask, vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m1_i8m1_m (vbool8_t mask, vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m2_i8m1_m (vbool4_t mask, vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m4_i8m1_m (vbool2_t mask, vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredor_vs_i8m8_i8m1_m (vbool1_t mask, vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16mf4_i16m1_m (vbool64_t mask, vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16mf2_i16m1_m (vbool32_t mask, vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m1_i16m1_m (vbool16_t mask, vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m2_i16m1_m (vbool8_t mask, vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m4_i16m1_m (vbool4_t mask, vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredor_vs_i16m8_i16m1_m (vbool2_t mask, vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32mf2_i32m1_m (vbool64_t mask, vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m1_i32m1_m (vbool32_t mask, vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m2_i32m1_m (vbool16_t mask, vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m4_i32m1_m (vbool8_t mask, vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredor_vs_i32m8_i32m1_m (vbool4_t mask, vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m1_i64m1_m (vbool64_t mask, vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m2_i64m1_m (vbool32_t mask, vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m4_i64m1_m (vbool16_t mask, vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredor_vs_i64m8_i64m1_m (vbool8_t mask, vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8mf8_u8m1_m (vbool64_t mask, vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8mf4_u8m1_m (vbool32_t mask, vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8mf2_u8m1_m (vbool16_t mask, vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m1_u8m1_m (vbool8_t mask, vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m2_u8m1_m (vbool4_t mask, vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m4_u8m1_m (vbool2_t mask, vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredor_vs_u8m8_u8m1_m (vbool1_t mask, vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16mf4_u16m1_m (vbool64_t mask, vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16mf2_u16m1_m (vbool32_t mask, vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m1_u16m1_m (vbool16_t mask, vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m2_u16m1_m (vbool8_t mask, vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m4_u16m1_m (vbool4_t mask, vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredor_vs_u16m8_u16m1_m (vbool2_t mask, vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32mf2_u32m1_m (vbool64_t mask, vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m1_u32m1_m (vbool32_t mask, vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m2_u32m1_m (vbool16_t mask, vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m4_u32m1_m (vbool8_t mask, vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredor_vs_u32m8_u32m1_m (vbool4_t mask, vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m1_u64m1_m (vbool64_t mask, vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m2_u64m1_m (vbool32_t mask, vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m4_u64m1_m (vbool16_t mask, vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredor_vs_u64m8_u64m1_m (vbool8_t mask, vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8mf8_i8m1_m (vbool64_t mask, vint8m1_t dest, vint8mf8_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8mf4_i8m1_m (vbool32_t mask, vint8m1_t dest, vint8mf4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8mf2_i8m1_m (vbool16_t mask, vint8m1_t dest, vint8mf2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m1_i8m1_m (vbool8_t mask, vint8m1_t dest, vint8m1_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m2_i8m1_m (vbool4_t mask, vint8m1_t dest, vint8m2_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m4_i8m1_m (vbool2_t mask, vint8m1_t dest, vint8m4_t vector, vint8m1_t scalar, size_t vl);
vint8m1_t vredxor_vs_i8m8_i8m1_m (vbool1_t mask, vint8m1_t dest, vint8m8_t vector, vint8m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16mf4_i16m1_m (vbool64_t mask, vint16m1_t dest, vint16mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16mf2_i16m1_m (vbool32_t mask, vint16m1_t dest, vint16mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m1_i16m1_m (vbool16_t mask, vint16m1_t dest, vint16m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m2_i16m1_m (vbool8_t mask, vint16m1_t dest, vint16m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m4_i16m1_m (vbool4_t mask, vint16m1_t dest, vint16m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vredxor_vs_i16m8_i16m1_m (vbool2_t mask, vint16m1_t dest, vint16m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32mf2_i32m1_m (vbool64_t mask, vint32m1_t dest, vint32mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m1_i32m1_m (vbool32_t mask, vint32m1_t dest, vint32m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m2_i32m1_m (vbool16_t mask, vint32m1_t dest, vint32m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m4_i32m1_m (vbool8_t mask, vint32m1_t dest, vint32m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vredxor_vs_i32m8_i32m1_m (vbool4_t mask, vint32m1_t dest, vint32m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m1_i64m1_m (vbool64_t mask, vint64m1_t dest, vint64m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m2_i64m1_m (vbool32_t mask, vint64m1_t dest, vint64m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m4_i64m1_m (vbool16_t mask, vint64m1_t dest, vint64m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vredxor_vs_i64m8_i64m1_m (vbool8_t mask, vint64m1_t dest, vint64m8_t vector, vint64m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8mf8_u8m1_m (vbool64_t mask, vuint8m1_t dest, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8mf4_u8m1_m (vbool32_t mask, vuint8m1_t dest, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8mf2_u8m1_m (vbool16_t mask, vuint8m1_t dest, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m1_u8m1_m (vbool8_t mask, vuint8m1_t dest, vuint8m1_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m2_u8m1_m (vbool4_t mask, vuint8m1_t dest, vuint8m2_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m4_u8m1_m (vbool2_t mask, vuint8m1_t dest, vuint8m4_t vector, vuint8m1_t scalar, size_t vl);
vuint8m1_t vredxor_vs_u8m8_u8m1_m (vbool1_t mask, vuint8m1_t dest, vuint8m8_t vector, vuint8m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16mf4_u16m1_m (vbool64_t mask, vuint16m1_t dest, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16mf2_u16m1_m (vbool32_t mask, vuint16m1_t dest, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m1_u16m1_m (vbool16_t mask, vuint16m1_t dest, vuint16m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m2_u16m1_m (vbool8_t mask, vuint16m1_t dest, vuint16m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m4_u16m1_m (vbool4_t mask, vuint16m1_t dest, vuint16m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vredxor_vs_u16m8_u16m1_m (vbool2_t mask, vuint16m1_t dest, vuint16m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32mf2_u32m1_m (vbool64_t mask, vuint32m1_t dest, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m1_u32m1_m (vbool32_t mask, vuint32m1_t dest, vuint32m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m2_u32m1_m (vbool16_t mask, vuint32m1_t dest, vuint32m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m4_u32m1_m (vbool8_t mask, vuint32m1_t dest, vuint32m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vredxor_vs_u32m8_u32m1_m (vbool4_t mask, vuint32m1_t dest, vuint32m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m1_u64m1_m (vbool64_t mask, vuint64m1_t dest, vuint64m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m2_u64m1_m (vbool32_t mask, vuint64m1_t dest, vuint64m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m4_u64m1_m (vbool16_t mask, vuint64m1_t dest, vuint64m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vredxor_vs_u64m8_u64m1_m (vbool8_t mask, vuint64m1_t dest, vuint64m8_t vector, vuint64m1_t scalar, size_t vl);

Vector Widening Integer Reduction Functions:

Prototypes:

vint16m1_t vwredsum_vs_i8mf8_i16m1 (vint16m1_t dest, vint8mf8_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8mf4_i16m1 (vint16m1_t dest, vint8mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8mf2_i16m1 (vint16m1_t dest, vint8mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m1_i16m1 (vint16m1_t dest, vint8m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m2_i16m1 (vint16m1_t dest, vint8m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m4_i16m1 (vint16m1_t dest, vint8m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m8_i16m1 (vint16m1_t dest, vint8m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16mf4_i32m1 (vint32m1_t dest, vint16mf4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16mf2_i32m1 (vint32m1_t dest, vint16mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m1_i32m1 (vint32m1_t dest, vint16m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m2_i32m1 (vint32m1_t dest, vint16m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m4_i32m1 (vint32m1_t dest, vint16m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m8_i32m1 (vint32m1_t dest, vint16m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32mf2_i64m1 (vint64m1_t dest, vint32mf2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m1_i64m1 (vint64m1_t dest, vint32m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m2_i64m1 (vint64m1_t dest, vint32m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m4_i64m1 (vint64m1_t dest, vint32m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m8_i64m1 (vint64m1_t dest, vint32m8_t vector, vint64m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8mf8_u16m1 (vuint16m1_t dest, vuint8mf8_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8mf4_u16m1 (vuint16m1_t dest, vuint8mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8mf2_u16m1 (vuint16m1_t dest, vuint8mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m1_u16m1 (vuint16m1_t dest, vuint8m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m2_u16m1 (vuint16m1_t dest, vuint8m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m4_u16m1 (vuint16m1_t dest, vuint8m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m8_u16m1 (vuint16m1_t dest, vuint8m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16mf4_u32m1 (vuint32m1_t dest, vuint16mf4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16mf2_u32m1 (vuint32m1_t dest, vuint16mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m1_u32m1 (vuint32m1_t dest, vuint16m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m2_u32m1 (vuint32m1_t dest, vuint16m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m4_u32m1 (vuint32m1_t dest, vuint16m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m8_u32m1 (vuint32m1_t dest, vuint16m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32mf2_u64m1 (vuint64m1_t dest, vuint32mf2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m1_u64m1 (vuint64m1_t dest, vuint32m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m2_u64m1 (vuint64m1_t dest, vuint32m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m4_u64m1 (vuint64m1_t dest, vuint32m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m8_u64m1 (vuint64m1_t dest, vuint32m8_t vector, vuint64m1_t scalar, size_t vl);
// masked functions
vint16m1_t vwredsum_vs_i8mf8_i16m1_m (vbool64_t mask, vint16m1_t dest, vint8mf8_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8mf4_i16m1_m (vbool32_t mask, vint16m1_t dest, vint8mf4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8mf2_i16m1_m (vbool16_t mask, vint16m1_t dest, vint8mf2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m1_i16m1_m (vbool8_t mask, vint16m1_t dest, vint8m1_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m2_i16m1_m (vbool4_t mask, vint16m1_t dest, vint8m2_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m4_i16m1_m (vbool2_t mask, vint16m1_t dest, vint8m4_t vector, vint16m1_t scalar, size_t vl);
vint16m1_t vwredsum_vs_i8m8_i16m1_m (vbool1_t mask, vint16m1_t dest, vint8m8_t vector, vint16m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16mf4_i32m1_m (vbool64_t mask, vint32m1_t dest, vint16mf4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16mf2_i32m1_m (vbool32_t mask, vint32m1_t dest, vint16mf2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m1_i32m1_m (vbool16_t mask, vint32m1_t dest, vint16m1_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m2_i32m1_m (vbool8_t mask, vint32m1_t dest, vint16m2_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m4_i32m1_m (vbool4_t mask, vint32m1_t dest, vint16m4_t vector, vint32m1_t scalar, size_t vl);
vint32m1_t vwredsum_vs_i16m8_i32m1_m (vbool2_t mask, vint32m1_t dest, vint16m8_t vector, vint32m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32mf2_i64m1_m (vbool64_t mask, vint64m1_t dest, vint32mf2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m1_i64m1_m (vbool32_t mask, vint64m1_t dest, vint32m1_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m2_i64m1_m (vbool16_t mask, vint64m1_t dest, vint32m2_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m4_i64m1_m (vbool8_t mask, vint64m1_t dest, vint32m4_t vector, vint64m1_t scalar, size_t vl);
vint64m1_t vwredsum_vs_i32m8_i64m1_m (vbool4_t mask, vint64m1_t dest, vint32m8_t vector, vint64m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8mf8_u16m1_m (vbool64_t mask, vuint16m1_t dest, vuint8mf8_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8mf4_u16m1_m (vbool32_t mask, vuint16m1_t dest, vuint8mf4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8mf2_u16m1_m (vbool16_t mask, vuint16m1_t dest, vuint8mf2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m1_u16m1_m (vbool8_t mask, vuint16m1_t dest, vuint8m1_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m2_u16m1_m (vbool4_t mask, vuint16m1_t dest, vuint8m2_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m4_u16m1_m (vbool2_t mask, vuint16m1_t dest, vuint8m4_t vector, vuint16m1_t scalar, size_t vl);
vuint16m1_t vwredsumu_vs_u8m8_u16m1_m (vbool1_t mask, vuint16m1_t dest, vuint8m8_t vector, vuint16m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16mf4_u32m1_m (vbool64_t mask, vuint32m1_t dest, vuint16mf4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16mf2_u32m1_m (vbool32_t mask, vuint32m1_t dest, vuint16mf2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m1_u32m1_m (vbool16_t mask, vuint32m1_t dest, vuint16m1_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m2_u32m1_m (vbool8_t mask, vuint32m1_t dest, vuint16m2_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m4_u32m1_m (vbool4_t mask, vuint32m1_t dest, vuint16m4_t vector, vuint32m1_t scalar, size_t vl);
vuint32m1_t vwredsumu_vs_u16m8_u32m1_m (vbool2_t mask, vuint32m1_t dest, vuint16m8_t vector, vuint32m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32mf2_u64m1_m (vbool64_t mask, vuint64m1_t dest, vuint32mf2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m1_u64m1_m (vbool32_t mask, vuint64m1_t dest, vuint32m1_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m2_u64m1_m (vbool16_t mask, vuint64m1_t dest, vuint32m2_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m4_u64m1_m (vbool8_t mask, vuint64m1_t dest, vuint32m4_t vector, vuint64m1_t scalar, size_t vl);
vuint64m1_t vwredsumu_vs_u32m8_u64m1_m (vbool4_t mask, vuint64m1_t dest, vuint32m8_t vector, vuint64m1_t scalar, size_t vl);

Vector Single-Width Floating-Point Reduction Functions:

Prototypes:

vfloat16m1_t vfredosum_vs_f16mf4_f16m1 (vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16mf2_f16m1 (vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m1_f16m1 (vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m2_f16m1 (vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m4_f16m1 (vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m8_f16m1 (vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32mf2_f32m1 (vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m1_f32m1 (vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m2_f32m1 (vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m4_f32m1 (vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m8_f32m1 (vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m1_f64m1 (vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m2_f64m1 (vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m4_f64m1 (vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m8_f64m1 (vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16mf4_f16m1 (vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16mf2_f16m1 (vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m1_f16m1 (vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m2_f16m1 (vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m4_f16m1 (vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m8_f16m1 (vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32mf2_f32m1 (vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m1_f32m1 (vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m2_f32m1 (vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m4_f32m1 (vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m8_f32m1 (vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m1_f64m1 (vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m2_f64m1 (vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m4_f64m1 (vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m8_f64m1 (vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16mf4_f16m1 (vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16mf2_f16m1 (vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m1_f16m1 (vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m2_f16m1 (vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m4_f16m1 (vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m8_f16m1 (vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32mf2_f32m1 (vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m1_f32m1 (vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m2_f32m1 (vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m4_f32m1 (vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m8_f32m1 (vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m1_f64m1 (vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m2_f64m1 (vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m4_f64m1 (vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m8_f64m1 (vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16mf4_f16m1 (vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16mf2_f16m1 (vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m1_f16m1 (vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m2_f16m1 (vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m4_f16m1 (vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m8_f16m1 (vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32mf2_f32m1 (vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m1_f32m1 (vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m2_f32m1 (vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m4_f32m1 (vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m8_f32m1 (vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m1_f64m1 (vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m2_f64m1 (vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m4_f64m1 (vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m8_f64m1 (vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);
// masked functions
vfloat16m1_t vfredosum_vs_f16mf4_f16m1_m (vbool64_t mask, vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16mf2_f16m1_m (vbool32_t mask, vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m1_f16m1_m (vbool16_t mask, vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m2_f16m1_m (vbool8_t mask, vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m4_f16m1_m (vbool4_t mask, vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredosum_vs_f16m8_f16m1_m (vbool2_t mask, vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32mf2_f32m1_m (vbool64_t mask, vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m1_f32m1_m (vbool32_t mask, vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m2_f32m1_m (vbool16_t mask, vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m4_f32m1_m (vbool8_t mask, vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredosum_vs_f32m8_f32m1_m (vbool4_t mask, vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m1_f64m1_m (vbool64_t mask, vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m2_f64m1_m (vbool32_t mask, vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m4_f64m1_m (vbool16_t mask, vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredosum_vs_f64m8_f64m1_m (vbool8_t mask, vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16mf4_f16m1_m (vbool64_t mask, vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16mf2_f16m1_m (vbool32_t mask, vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m1_f16m1_m (vbool16_t mask, vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m2_f16m1_m (vbool8_t mask, vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m4_f16m1_m (vbool4_t mask, vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredsum_vs_f16m8_f16m1_m (vbool2_t mask, vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32mf2_f32m1_m (vbool64_t mask, vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m1_f32m1_m (vbool32_t mask, vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m2_f32m1_m (vbool16_t mask, vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m4_f32m1_m (vbool8_t mask, vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredsum_vs_f32m8_f32m1_m (vbool4_t mask, vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m1_f64m1_m (vbool64_t mask, vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m2_f64m1_m (vbool32_t mask, vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m4_f64m1_m (vbool16_t mask, vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredsum_vs_f64m8_f64m1_m (vbool8_t mask, vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16mf4_f16m1_m (vbool64_t mask, vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16mf2_f16m1_m (vbool32_t mask, vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m1_f16m1_m (vbool16_t mask, vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m2_f16m1_m (vbool8_t mask, vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m4_f16m1_m (vbool4_t mask, vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmax_vs_f16m8_f16m1_m (vbool2_t mask, vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32mf2_f32m1_m (vbool64_t mask, vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m1_f32m1_m (vbool32_t mask, vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m2_f32m1_m (vbool16_t mask, vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m4_f32m1_m (vbool8_t mask, vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmax_vs_f32m8_f32m1_m (vbool4_t mask, vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m1_f64m1_m (vbool64_t mask, vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m2_f64m1_m (vbool32_t mask, vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m4_f64m1_m (vbool16_t mask, vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmax_vs_f64m8_f64m1_m (vbool8_t mask, vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16mf4_f16m1_m (vbool64_t mask, vfloat16m1_t dest, vfloat16mf4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16mf2_f16m1_m (vbool32_t mask, vfloat16m1_t dest, vfloat16mf2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m1_f16m1_m (vbool16_t mask, vfloat16m1_t dest, vfloat16m1_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m2_f16m1_m (vbool8_t mask, vfloat16m1_t dest, vfloat16m2_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m4_f16m1_m (vbool4_t mask, vfloat16m1_t dest, vfloat16m4_t vector, vfloat16m1_t scalar, size_t vl);
vfloat16m1_t vfredmin_vs_f16m8_f16m1_m (vbool2_t mask, vfloat16m1_t dest, vfloat16m8_t vector, vfloat16m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32mf2_f32m1_m (vbool64_t mask, vfloat32m1_t dest, vfloat32mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m1_f32m1_m (vbool32_t mask, vfloat32m1_t dest, vfloat32m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m2_f32m1_m (vbool16_t mask, vfloat32m1_t dest, vfloat32m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m4_f32m1_m (vbool8_t mask, vfloat32m1_t dest, vfloat32m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfredmin_vs_f32m8_f32m1_m (vbool4_t mask, vfloat32m1_t dest, vfloat32m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m1_f64m1_m (vbool64_t mask, vfloat64m1_t dest, vfloat64m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m2_f64m1_m (vbool32_t mask, vfloat64m1_t dest, vfloat64m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m4_f64m1_m (vbool16_t mask, vfloat64m1_t dest, vfloat64m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfredmin_vs_f64m8_f64m1_m (vbool8_t mask, vfloat64m1_t dest, vfloat64m8_t vector, vfloat64m1_t scalar, size_t vl);

Vector Widening Floating-Point Reduction Functions:

Prototypes:

vfloat32m1_t vfwredosum_vs_f16mf4_f32m1 (vfloat32m1_t dest, vfloat16mf4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16mf2_f32m1 (vfloat32m1_t dest, vfloat16mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m1_f32m1 (vfloat32m1_t dest, vfloat16m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m2_f32m1 (vfloat32m1_t dest, vfloat16m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m4_f32m1 (vfloat32m1_t dest, vfloat16m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m8_f32m1 (vfloat32m1_t dest, vfloat16m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32mf2_f64m1 (vfloat64m1_t dest, vfloat32mf2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m1_f64m1 (vfloat64m1_t dest, vfloat32m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m2_f64m1 (vfloat64m1_t dest, vfloat32m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m4_f64m1 (vfloat64m1_t dest, vfloat32m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m8_f64m1 (vfloat64m1_t dest, vfloat32m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16mf4_f32m1 (vfloat32m1_t dest, vfloat16mf4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16mf2_f32m1 (vfloat32m1_t dest, vfloat16mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m1_f32m1 (vfloat32m1_t dest, vfloat16m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m2_f32m1 (vfloat32m1_t dest, vfloat16m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m4_f32m1 (vfloat32m1_t dest, vfloat16m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m8_f32m1 (vfloat32m1_t dest, vfloat16m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32mf2_f64m1 (vfloat64m1_t dest, vfloat32mf2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m1_f64m1 (vfloat64m1_t dest, vfloat32m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m2_f64m1 (vfloat64m1_t dest, vfloat32m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m4_f64m1 (vfloat64m1_t dest, vfloat32m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m8_f64m1 (vfloat64m1_t dest, vfloat32m8_t vector, vfloat64m1_t scalar, size_t vl);
// masked functions
vfloat32m1_t vfwredosum_vs_f16mf4_f32m1_m (vbool64_t mask, vfloat32m1_t dest, vfloat16mf4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16mf2_f32m1_m (vbool32_t mask, vfloat32m1_t dest, vfloat16mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m1_f32m1_m (vbool16_t mask, vfloat32m1_t dest, vfloat16m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m2_f32m1_m (vbool8_t mask, vfloat32m1_t dest, vfloat16m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m4_f32m1_m (vbool4_t mask, vfloat32m1_t dest, vfloat16m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredosum_vs_f16m8_f32m1_m (vbool2_t mask, vfloat32m1_t dest, vfloat16m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32mf2_f64m1_m (vbool64_t mask, vfloat64m1_t dest, vfloat32mf2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m1_f64m1_m (vbool32_t mask, vfloat64m1_t dest, vfloat32m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m2_f64m1_m (vbool16_t mask, vfloat64m1_t dest, vfloat32m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m4_f64m1_m (vbool8_t mask, vfloat64m1_t dest, vfloat32m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredosum_vs_f32m8_f64m1_m (vbool4_t mask, vfloat64m1_t dest, vfloat32m8_t vector, vfloat64m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16mf4_f32m1_m (vbool64_t mask, vfloat32m1_t dest, vfloat16mf4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16mf2_f32m1_m (vbool32_t mask, vfloat32m1_t dest, vfloat16mf2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m1_f32m1_m (vbool16_t mask, vfloat32m1_t dest, vfloat16m1_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m2_f32m1_m (vbool8_t mask, vfloat32m1_t dest, vfloat16m2_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m4_f32m1_m (vbool4_t mask, vfloat32m1_t dest, vfloat16m4_t vector, vfloat32m1_t scalar, size_t vl);
vfloat32m1_t vfwredsum_vs_f16m8_f32m1_m (vbool2_t mask, vfloat32m1_t dest, vfloat16m8_t vector, vfloat32m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32mf2_f64m1_m (vbool64_t mask, vfloat64m1_t dest, vfloat32mf2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m1_f64m1_m (vbool32_t mask, vfloat64m1_t dest, vfloat32m1_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m2_f64m1_m (vbool16_t mask, vfloat64m1_t dest, vfloat32m2_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m4_f64m1_m (vbool8_t mask, vfloat64m1_t dest, vfloat32m4_t vector, vfloat64m1_t scalar, size_t vl);
vfloat64m1_t vfwredsum_vs_f32m8_f64m1_m (vbool4_t mask, vfloat64m1_t dest, vfloat32m8_t vector, vfloat64m1_t scalar, size_t vl);