From a674e842d099e9676bcd9ef54d325876d51f09a1 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Mon, 8 Nov 2021 12:15:57 +0000 Subject: Improve matrix indices to offset logic --- src/llvm_backend_const.cpp | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/llvm_backend_const.cpp') diff --git a/src/llvm_backend_const.cpp b/src/llvm_backend_const.cpp index 82b409573..5862a7add 100644 --- a/src/llvm_backend_const.cpp +++ b/src/llvm_backend_const.cpp @@ -1010,6 +1010,11 @@ lbValue lb_const_value(lbModule *m, Type *type, ExactValue value, bool allow_loc if (op != Token_RangeHalf) { hi += 1; } + GB_ASSERT(0 <= lo && lo <= max_count); + GB_ASSERT(0 <= hi && hi <= max_count); + GB_ASSERT(lo <= hi); + + TypeAndValue tav = fv->value->tav; LLVMValueRef val = lb_const_value(m, elem_type, tav.value, allow_local).value; for (i64 k = lo; k < hi; k++) { @@ -1021,6 +1026,7 @@ lbValue lb_const_value(lbModule *m, Type *type, ExactValue value, bool allow_loc TypeAndValue index_tav = fv->field->tav; GB_ASSERT(index_tav.mode == Addressing_Constant); i64 index = exact_value_to_i64(index_tav.value); + GB_ASSERT(index < max_count); TypeAndValue tav = fv->value->tav; LLVMValueRef val = lb_const_value(m, elem_type, tav.value, allow_local).value; i64 offset = matrix_row_major_index_to_offset(type, index); -- cgit v1.2.3