Refactor Memory::relocate_memory

CHANGELOG.md

@@ -2,6 +2,12 @@
 
 #### Upcoming Changes
 
+* Refactor `Memory::relocate_memory` [#784](https://github.com/lambdaclass/cairo-rs/pull/784)
+    * Bugfixes:
+        * `Memory::relocate_memory` now moves data in the temporary memory relocated by a relocation rule to the real memory
+    * Aditional Notes:
+        * When relocating temporary memory produces clashes with pre-existing values in the real memory, an InconsistentMemory error is returned instead of keeping the last inserted value. This differs from the original implementation.
+
 * Restrict addresses to Relocatable + fix some error variants used in signature.rs [#792](https://github.com/lambdaclass/cairo-rs/pull/792)
     * Public Api Changes:
         * Change `ValidationRule` inner type to `Box<dyn Fn(&Memory, &Relocatable) -> Result<Vec<Relocatable>, MemoryError>>`.

cairo_programs/relocate_segments.cairo

@@ -9,10 +9,6 @@ func main() {
         ids.temporary_array = segments.add_temp_segment()
     %}
 
-    // Insert values into temporary_array
-    assert temporary_array[0] = 1;
-    assert temporary_array[1] = 2;
-
     // Create array
     let (array : felt*) = alloc();
 

cairo_programs/relocate_segments_with_offset.cairo

@@ -10,10 +10,6 @@ func main() {
         ids.temporary_array = segments.add_temp_segment()
     %}
 
-    // Insert values into temporary_array_no_offset
-    assert temporary_array[0] = 1;
-    assert temporary_array[1] = 2;
-
     // Create array
     let (array : felt*) = alloc();
 

cairo_programs/relocate_temporary_segment_append.cairo

@@ -0,0 +1,27 @@
+from starkware.cairo.common.alloc import alloc
+from starkware.cairo.common.segments import relocate_segment
+
+func main() {
+    alloc_locals;
+    // Create temporary_array in a temporary segment
+    local temporary_array: felt*;
+    %{
+        ids.temporary_array = segments.add_temp_segment()
+    %}
+
+    // Insert values into temporary_array
+    assert temporary_array[0] = 4;
+    assert temporary_array[1] = 5;
+    assert temporary_array[2] = 6;
+
+    // Create array
+    let (array: felt*) = alloc();
+    assert array[0] = 1;
+    assert array[1] = 2;
+    assert array[2] = 3;
+
+    // Realocate temporary_array into the array segment
+    relocate_segment(src_ptr=temporary_array, dest_ptr=array + 3);
+
+    return ();
+}

cairo_programs/relocate_temporary_segment_into_new.cairo

@@ -0,0 +1,24 @@
+from starkware.cairo.common.alloc import alloc
+from starkware.cairo.common.segments import relocate_segment
+
+func main() {
+    alloc_locals;
+    // Create temporary_array in a temporary segment
+    local temporary_array: felt*;
+    %{
+        ids.temporary_array = segments.add_temp_segment()
+    %}
+
+    // Insert values into temporary_array
+    assert temporary_array[0] = 1;
+    assert temporary_array[1] = 2;
+    assert temporary_array[2] = 3;
+
+    // Create array
+    let (array: felt*) = alloc();
+
+    // Realocate temporary_array into the array segment
+    relocate_segment(src_ptr=temporary_array, dest_ptr=array);
+
+    return ();
+}