refactor!(u128::safe_add): Rename snippet to safe_add

Since it checks for and crashes on overflow, its name should reflect that. This closes #108.
TritonVM · Jul 10, 2024 · 8d09230 · 8d09230
1 parent 1e3bc49
commit 8d09230
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 226 deletions.
diff --git a/tasm-lib/src/arithmetic/u128.rs b/tasm-lib/src/arithmetic/u128.rs
@@ -1,4 +1,4 @@
-pub mod add_u128;
+pub mod safe_add;
 pub mod safe_mul_u128;
 pub mod shift_left_static_u128;
 pub mod shift_left_u128;

diff --git a/tasm-lib/src/arithmetic/u128/add_u128.rs b/tasm-lib/src/arithmetic/u128/add_u128.rs
diff --git a/tasm-lib/src/exported_snippets.rs b/tasm-lib/src/exported_snippets.rs
@@ -5,7 +5,7 @@ use triton_vm::table::extension_table::Quotientable;
 use triton_vm::table::master_table::MasterExtTable;
 use triton_vm::table::NUM_QUOTIENT_SEGMENTS;
 
-use crate::arithmetic::u128::add_u128::AddU128;
+use crate::arithmetic::u128::safe_add::SafeAddU128;
 use crate::arithmetic::u128::safe_mul_u128::SafeMulU128;
 use crate::arithmetic::u128::shift_left_static_u128::ShiftLeftStaticU128;
 use crate::arithmetic::u128::shift_left_u128::ShiftLeftU128;
@@ -161,7 +161,7 @@ pub fn name_to_snippet(fn_name: &str) -> Box<dyn BasicSnippet> {
         "tasmlib_arithmetic_u64_overflowing_sub" => Box::new(OverflowingSub),
 
         // u128
-        "tasmlib_arithmetic_u128_add" => Box::new(AddU128),
+        "tasmlib_arithmetic_u128_safe_add" => Box::new(SafeAddU128),
         "tasmlib_arithmetic_u128_shift_left" => Box::new(ShiftLeftU128),
         "tasmlib_arithmetic_u128_shift_right" => Box::new(ShiftRightU128),
         "tasmlib_arithmetic_u128_sub" => Box::new(SubU128),