#ifndef SOFTRVV_VREDSUM_H
#define SOFTRVV_VREDSUM_H

#include <stddef.h>

namespace softrvv {

template <typename T>
void vredsum_vs(T *dest, T *src2, T *src1, int32_t avl) {
  dest[0] = src1[0];
  for (int32_t idx = 0; idx < avl; idx++) {
    dest[0] += src2[idx];
  }
}

}  // namespace softrvv

#endif  // SOFTRVV_VREDSUM_H