Add constant_collision.cairo example

Author: JulianGCalderon

cairo_programs/constant_collision.cairo

@@ -0,0 +1,41 @@
+%builtins range_check
+
+from starkware.cairo.common.math import assert_le
+from starkware.cairo.common.math import split_felt
+
+func override_constants{range_check_ptr}() {
+    const MAX_HIGH = -1;
+    const MAX_LOW = -1;
+    return ();
+}
+func split_felt_ok{range_check_ptr}(value) -> (high: felt, low: felt) {
+    const MAX_HIGH = (-1) / 2 ** 128;
+    const MAX_LOW = 0;
+    let low = [range_check_ptr];
+    let high = [range_check_ptr + 1];
+    let range_check_ptr = range_check_ptr + 2;
+
+    %{
+        from starkware.cairo.common.math_utils import assert_integer
+        assert ids.MAX_HIGH < 2**128 and ids.MAX_LOW < 2**128
+        assert PRIME - 1 == ids.MAX_HIGH * 2**128 + ids.MAX_LOW
+        assert_integer(ids.value)
+        ids.low = ids.value & ((1 << 128) - 1)
+        ids.high = ids.value >> 128
+    %}
+
+    assert value = high * (2 ** 128) + low;
+    if (high == MAX_HIGH) {
+        assert_le(low, MAX_LOW);
+    } else {
+        assert_le(high, MAX_HIGH - 1);
+    }
+    return (high=high, low=low);
+}
+
+func main{range_check_ptr: felt}() {
+    let (m, n) = split_felt_ok(5784800237655953878877368326340059594760);
+    assert m = 17;
+    assert n = 8;
+    return ();
+}

vm/src/tests/cairo_run_test.rs

@@ -1361,3 +1361,10 @@ fn cairo_run_data_availability_reduced_mul() {
         include_bytes!("../../../cairo_programs/cairo-0-kzg-da-hints/reduced_mul.json");
     run_program_simple(program_data.as_slice());
 }
+
+#[test]
+#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
+fn constant_collision() {
+    let program_data = include_bytes!("../../../cairo_programs/constant_collision.json");
+    run_program_simple(program_data.as_slice());
+}