Add exit_check to shift example

NilFoundation · Jan 5, 2024 · b3f5f97 · b3f5f97
1 parent 7b4b365
commit b3f5f97
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 10 deletions.
diff --git a/examples/cpp/bit_operations/shift_left.cpp b/examples/cpp/bit_operations/shift_left.cpp
@@ -1,8 +1,8 @@
 #include <cstdint>
 
-[[circuit]] uint32_t shl(uint32_t a,
-                             uint32_t b) {
-
-
-    return a << b; // shl
+[[circuit]] uint64_t shl(uint64_t value, uint64_t shift, uint64_t expected_shifted)
+{
+    uint64_t shifted = value << shift;
+    __builtin_assigner_exit_check(shifted == expected_shifted);
+    return shifted;
 }
diff --git a/examples/inputs/bit_operations/shift_left.inp b/examples/inputs/bit_operations/shift_left.inp
@@ -1,4 +1,5 @@
 [
-  {"int": 11},
-  {"int": 2}
-]
+  {"int": 1},
+  {"int": 2},
+  {"int": 4}
+]
diff --git a/libs/assigner b/libs/assigner
diff --git a/libs/circifier b/libs/circifier