Added box libfuncs to movable and droppable values.

commit-id:406838ee

Author: orizi

crates/cairo-lang-executable/src/compile_test_data/basic

@@ -80,35 +80,35 @@ jmp rel 4 if [ap + -1] != 0;
 jmp rel 46;
 [ap + 0] = [fp + -6] + 1, ap++;
 [ap + 0] = [fp + -5], ap++;
-[ap + 0] = [[fp + -6] + 0], ap++;
-[ap + -2] = [ap + 0] + [ap + -3], ap++;
+[ap + -1] = [ap + 0] + [ap + -2], ap++;
 jmp rel 4 if [ap + -1] != 0;
-jmp rel 28;
-[ap + 0] = [ap + -4] + 1, ap++;
-[ap + 0] = [ap + -4], ap++;
-[ap + 0] = [[ap + -6] + 0], ap++;
-[ap + -2] = [ap + 0] + [ap + -3], ap++;
+jmp rel 29;
+[ap + 0] = [ap + -3] + 1, ap++;
+[ap + 0] = [ap + -3], ap++;
+[ap + -1] = [ap + 0] + [ap + -2], ap++;
 jmp rel 4 if [ap + -1] != 0;
 jmp rel 9;
-call rel 35;
+call rel 37;
 [ap + 0] = 1, ap++;
 [ap + 0] = [ap + -3], ap++;
 [ap + 0] = [ap + -3], ap++;
 ret;
-ap += 7;
-[ap + 0] = [ap + -13] + [ap + -9], ap++;
+ap += 5;
+[ap + 0] = [[fp + -6] + 0], ap++;
+[ap + 0] = [[ap + -12] + 0], ap++;
+[ap + 0] = [ap + -2] + [ap + -1], ap++;
 [ap + -1] = [[fp + -3] + 0];
 [ap + 0] = 0, ap++;
 [ap + 0] = [fp + -4], ap++;
 [ap + 0] = [fp + -3] + 1, ap++;
 ret;
-ap += 4;
+ap += 3;
 call rel 21;
 [ap + 0] = 1, ap++;
 [ap + 0] = [ap + -3], ap++;
 [ap + 0] = [ap + -3], ap++;
 ret;
-ap += 8;
+ap += 6;
 call rel 17;
 [ap + 0] = 1, ap++;
 [ap + 0] = [ap + -3], ap++;

crates/cairo-lang-lowering/src/db.rs

@@ -372,6 +372,7 @@ pub fn init_lowering_group(
         ["bool_not_impl"],
         ["felt252_add", "felt252_sub", "felt252_mul", "felt252_div"],
         ["array::array_new", "array::array_append"],
+        ["box::unbox", "box::box_forward_snapshot", "box::into_box"],
     )
     .map(|s| s.to_string())
     .collect();

crates/cairo-lang-lowering/src/lower/test_data/for

@@ -146,31 +146,30 @@ End:
 blk2:
 Statements:
   (v14: core::gas::GasBuiltin) <- core::gas::redeposit_gas(v6)
-  (v15: @core::felt252) <- core::box::unbox::<@core::felt252>(v12)
-  (v16: core::felt252) <- core::felt252_add(v3, v4)
-  (v17: core::array::Span::<core::felt252>) <- struct_construct(v11)
-  (v18: core::array::SpanIter::<core::felt252>) <- struct_construct(v17)
-  (v19: core::RangeCheck, v20: core::gas::GasBuiltin, v21: core::panics::PanicResult::<(core::array::SpanIter::<core::felt252>, core::felt252, ())>) <- test::foo[118-164](v5, v14, v18, v16, v4)
+  (v15: core::felt252) <- core::felt252_add(v3, v4)
+  (v16: core::array::Span::<core::felt252>) <- struct_construct(v11)
+  (v17: core::array::SpanIter::<core::felt252>) <- struct_construct(v16)
+  (v18: core::RangeCheck, v19: core::gas::GasBuiltin, v20: core::panics::PanicResult::<(core::array::SpanIter::<core::felt252>, core::felt252, ())>) <- test::foo[118-164](v5, v14, v17, v15, v4)
 End:
-  Return(v19, v20, v21)
+  Return(v18, v19, v20)
 
 blk3:
 Statements:
-  (v22: core::gas::GasBuiltin) <- core::gas::redeposit_gas(v6)
-  (v23: core::array::Span::<core::felt252>) <- struct_construct(v13)
-  (v24: core::array::SpanIter::<core::felt252>) <- struct_construct(v23)
-  (v25: ()) <- struct_construct()
-  (v26: (core::array::SpanIter::<core::felt252>, core::felt252, ())) <- struct_construct(v24, v3, v25)
-  (v27: core::panics::PanicResult::<(core::array::SpanIter::<core::felt252>, core::felt252, ())>) <- PanicResult::Ok(v26)
+  (v21: core::gas::GasBuiltin) <- core::gas::redeposit_gas(v6)
+  (v22: core::array::Span::<core::felt252>) <- struct_construct(v13)
+  (v23: core::array::SpanIter::<core::felt252>) <- struct_construct(v22)
+  (v24: ()) <- struct_construct()
+  (v25: (core::array::SpanIter::<core::felt252>, core::felt252, ())) <- struct_construct(v23, v3, v24)
+  (v26: core::panics::PanicResult::<(core::array::SpanIter::<core::felt252>, core::felt252, ())>) <- PanicResult::Ok(v25)
 End:
-  Return(v5, v22, v27)
+  Return(v5, v21, v26)
 
 blk4:
 Statements:
-  (v28: (core::panics::Panic, core::array::Array::<core::felt252>)) <- core::panic_with_const_felt252::<375233589013918064796019>()
-  (v29: core::panics::PanicResult::<(core::array::SpanIter::<core::felt252>, core::felt252, ())>) <- PanicResult::Err(v28)
+  (v27: (core::panics::Panic, core::array::Array::<core::felt252>)) <- core::panic_with_const_felt252::<375233589013918064796019>()
+  (v28: core::panics::PanicResult::<(core::array::SpanIter::<core::felt252>, core::felt252, ())>) <- PanicResult::Err(v27)
 End:
-  Return(v7, v8, v29)
+  Return(v7, v8, v28)
 
 //! > ==========================================================================
 

crates/cairo-lang-lowering/src/optimizations/test_data/dedup_blocks

@@ -30,7 +30,6 @@ End:
 
 blk1:
 Statements:
-  (v4: core::integer::u32) <- core::box::unbox::<core::integer::u32>(v2)
 End:
   Match(match core::array::array_pop_front::<core::integer::u32>(v1) {
     Option::Some(v6, v7) => blk2,
@@ -39,7 +38,6 @@ End:
 
 blk2:
 Statements:
-  (v9: core::integer::u32) <- core::box::unbox::<core::integer::u32>(v7)
   (v11: ()) <- struct_construct()
   (v12: ((),)) <- struct_construct(v11)
   (v13: core::panics::PanicResult::<((),)>) <- PanicResult::Ok(v12)
@@ -72,7 +70,6 @@ End:
 
 blk1:
 Statements:
-  (v4: core::integer::u32) <- core::box::unbox::<core::integer::u32>(v2)
 End:
   Match(match core::array::array_pop_front::<core::integer::u32>(v1) {
     Option::Some(v6, v7) => blk2,
@@ -81,7 +78,6 @@ End:
 
 blk2:
 Statements:
-  (v9: core::integer::u32) <- core::box::unbox::<core::integer::u32>(v7)
   (v11: ()) <- struct_construct()
   (v12: ((),)) <- struct_construct(v11)
   (v13: core::panics::PanicResult::<((),)>) <- PanicResult::Ok(v12)

crates/cairo-lang-lowering/src/test_data/tests

@@ -284,10 +284,9 @@ End:
 
 blk3:
 Statements:
-  (v5: ((), core::felt252)) <- core::box::unbox::<((), core::felt252)>(v3)
-  (v6: core::felt252) <- 7
+  (v5: core::felt252) <- 7
 End:
-  Return(v6)
+  Return(v5)
 
 //! > ==========================================================================