simplify _sym_build_integer_from_buffer function

eurecom-s3 · Dec 2, 2023 · 696f2ff · 696f2ff
1 parent fc9dca2
commit 696f2ff
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/runtime/RuntimeCommon.h b/runtime/RuntimeCommon.h
@@ -51,7 +51,7 @@ void _sym_initialize(void);
  */
 SymExpr _sym_build_integer(uint64_t value, uint8_t bits);
 SymExpr _sym_build_integer128(uint64_t high, uint64_t low);
-SymExpr _sym_build_integer_arbitrary_length(unsigned num_bits, unsigned num_words, uint64_t *words);
+SymExpr _sym_build_integer_from_buffer(void *buffer, unsigned num_bits);
 SymExpr _sym_build_float(double value, int is_double);
 SymExpr _sym_build_null_pointer(void);
 SymExpr _sym_build_true(void);

diff --git a/runtime/qsym_backend/Runtime.cpp b/runtime/qsym_backend/Runtime.cpp
@@ -215,8 +215,10 @@ SymExpr _sym_build_integer128(uint64_t high, uint64_t low) {
   return registerExpression(g_expr_builder->createConstant({128, words}, 128));
 }
 
-SymExpr _sym_build_integer_arbitrary_length(unsigned num_bits, unsigned num_words, uint64_t *words){
-  return registerExpression(g_expr_builder->createConstant({num_bits, num_words, words}, num_bits));
+SymExpr _sym_build_integer_from_buffer(void *buffer, unsigned num_bits){
+  assert(num_bits % 64 == 0);
+  return registerExpression(g_expr_builder->createConstant(
+      {num_bits, num_bits / 64, (uint64_t *)buffer}, num_bits));
 }
 
 SymExpr _sym_build_null_pointer() {