Merge pull request #17 from FuzzingLabs/dev/antonin

Dev/antonin

examples/sierra/fib_loop.sierra

@@ -15,34 +15,34 @@ libfunc felt252_sub = felt252_sub;
 libfunc felt252_add = felt252_add;
 
 disable_ap_tracking() -> (); // 0
-store_temp<felt252>([2]) -> ([2]); // 1
-store_temp<felt252>([0]) -> ([0]); // 2
+store_temp<felt252>([0]) -> ([0]); // 1
+store_temp<felt252>([2]) -> ([2]); // 2
 store_temp<felt252>([1]) -> ([1]); // 3
-function_call<user@examples::fib_loop::fib[expr23]>([2], [0], [1]) -> ([3], [4], [5], [6]); // 4
+function_call<user@examples::fib_loop::fib[expr23]>([0], [2], [1]) -> ([3], [4], [5], [6]); // 4
 drop<felt252>([3]) -> (); // 5
 drop<felt252>([4]) -> (); // 6
 drop<felt252>([5]) -> (); // 7
 return([6]); // 8
 disable_ap_tracking() -> (); // 9
-dup<felt252>([0]) -> ([0], [3]); // 10
+dup<felt252>([1]) -> ([1], [3]); // 10
 felt252_is_zero([3]) { fallthrough() 19([4]) }; // 11
 branch_align() -> (); // 12
-store_temp<felt252>([0]) -> ([0]); // 13
+store_temp<felt252>([1]) -> ([1]); // 13
 store_temp<felt252>([2]) -> ([2]); // 14
-dup<felt252>([1]) -> ([1], [5]); // 15
+dup<felt252>([0]) -> ([0], [5]); // 15
 store_temp<felt252>([5]) -> ([5]); // 16
-store_temp<felt252>([1]) -> ([1]); // 17
-return([0], [2], [5], [1]); // 18
+store_temp<felt252>([0]) -> ([0]); // 17
+return([1], [2], [5], [0]); // 18
 branch_align() -> (); // 19
 drop<NonZero<felt252>>([4]) -> (); // 20
 const_as_immediate<Const<felt252, 1>>() -> ([6]); // 21
-felt252_sub([0], [6]) -> ([7]); // 22
+felt252_sub([1], [6]) -> ([7]); // 22
 dup<felt252>([2]) -> ([2], [8]); // 23
-felt252_add([1], [8]) -> ([9]); // 24
-store_temp<felt252>([7]) -> ([7]); // 25
-store_temp<felt252>([2]) -> ([2]); // 26
+felt252_add([0], [8]) -> ([9]); // 24
+store_temp<felt252>([2]) -> ([2]); // 25
+store_temp<felt252>([7]) -> ([7]); // 26
 store_temp<felt252>([9]) -> ([9]); // 27
-function_call<user@examples::fib_loop::fib[expr23]>([7], [2], [9]) -> ([10], [11], [12], [13]); // 28
+function_call<user@examples::fib_loop::fib[expr23]>([2], [7], [9]) -> ([10], [11], [12], [13]); // 28
 return([10], [11], [12], [13]); // 29
 
 examples::fib_loop::fib@0([0]: felt252, [1]: felt252, [2]: felt252) -> (felt252);