pull from libs branchs

lambdaclass · Oct 14, 2024 · 55ddb8b · 55ddb8b
1 parent 2d8c3d8
commit 55ddb8b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 13 deletions.
diff --git a/src/vm/const.rs b/src/vm/const.rs
@@ -113,6 +113,10 @@ fn inner(
         },
         CoreTypeConcrete::Uint128(_) => match inner_data {
             [GenericArg::Value(value)] => Value::U128(value.try_into().unwrap()),
+            [GenericArg::Type(type_id)] => match registry.get_type(type_id).unwrap() {
+                CoreTypeConcrete::Const(info) => inner(registry, &info.inner_ty, &info.inner_data),
+                _ => unreachable!(),
+            },
             _ => unreachable!(),
         },
         CoreTypeConcrete::Struct(_) => {

diff --git a/src/vm/uint128.rs b/src/vm/uint128.rs
@@ -37,19 +37,6 @@ pub fn eval(
     }
 }
 
-pub fn eval_byte_reverse(
-    _registry: &ProgramRegistry<CoreType, CoreLibfunc>,
-    _info: &SignatureOnlyConcreteLibfunc,
-    args: Vec<Value>,
-) -> EvalAction {
-    let [bitwise @ Value::Unit, Value::U128(input)]: [Value; 2] = args.try_into().unwrap()
-    else {
-        panic!()
-    };
-
-    EvalAction::NormalBranch(0, smallvec![bitwise, Value::U128(input.swap_bytes())])
-}
-
 pub fn eval_guarantee_mul(
     _registry: &ProgramRegistry<CoreType, CoreLibfunc>,
     _info: &SignatureOnlyConcreteLibfunc,