From 3428745a00e14a195c92d3b4ca5b1e8c11bad7b0 Mon Sep 17 00:00:00 2001
From: Eyck-Alexander Jentzsch <alex@minres.com>
Date: Tue, 4 Feb 2025 22:03:48 +0100
Subject: [PATCH] small corrections in vector functions

---
 src/vm/vector_functions.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/vm/vector_functions.cpp b/src/vm/vector_functions.cpp
index 3c3623f..556f0ec 100644
--- a/src/vm/vector_functions.cpp
+++ b/src/vm/vector_functions.cpp
@@ -93,8 +93,9 @@ uint64_t vector_load_store(void* core, std::function<bool(void*, uint64_t, uint6
                            uint8_t vd, uint64_t base_addr, uint64_t vl, uint64_t vstart, vtype_t vtype, bool vm, uint8_t elem_byte_size,
                            uint64_t elem_count, int8_t EMUL_pow, uint8_t segment_size, int64_t stride) {
     assert(pow(2, EMUL_pow) * segment_size <= 8);
+    assert(segment_size > 0);
     assert((elem_count & (elem_count - 1)) == 0); // check that elem_count is power of 2
-    assert(elem_count <= VLEN / 8);
+    assert(elem_count <= VLEN * RFS / 8);
     unsigned eew = elem_byte_size * 8;
     unsigned emul_stride = EMUL_pow <= 0 ? 1 : pow(2, EMUL_pow);
     assert(emul_stride * segment_size <= 8);