Changing a variable with an initialized value recursively with if statements

Test #1

Test #2

For some additional context, there was an ask to provide code for this in the case of a felt*, with the problem statement of given a lower_bound - let's say 5, return that lower_bound if no value in the array is greater than it or return the greatest value in the array if there is one larger than it.

%builtins output range_check

from starkware.cairo.common.serialize import serialize_word

from starkware.cairo.common.math_cmp import is_le



func main{output_ptr : felt*, range_check_ptr}():

alloc_locals

local lower_bound : felt = 5

tempvar arr : felt* = new (1, 2, 3)

let arr_size : felt = 3

let (largest_val) = get_largest_val(arr, arr_size, lower_bound)

serialize_word(largest_val)

tempvar arr1 : felt* = new (1, 6, 3)

let arr_size1 : felt = 3

let (largest_val1) = get_largest_val(arr1, arr_size1, lower_bound)

serialize_word(largest_val1)

return ()

end



#Get the largest value of all the numbers of an array and a base number to test against

func get_largest_val{range_check_ptr}(arr : felt*, arr_size : felt, curr_largest : felt) -> (res : felt):

if arr_size == 0:

return (curr_largest)

end

let (isLe) = is_le(curr_largest, arr[0])

if isLe == 1:

return get_largest_val(arr+1, arr_size - 1, arr[0])

end

return get_largest_val(arr+1, arr_size - 1, curr_largest)

end



This script would give the following output:

Program output:

5

6

Number of steps: 200

ㅤ This answer was originally posted on Triality