Added suuport for some bounded_int guarantee verifications.

[orizi]

commit-id:0f6b65a8

---

Stack:

• Added high level tests for constrain + verify. #5871
• Added suuport for some bounded_int guarantee verifications. #5870 ⬅
• Added libfunc to constrain felt252 into one of two guarantees. #5869
• Moved into-guarantee test into bounded-int. #5867
• Handling extremely long user-type names by specific bounding. #5858
• Moved guarantee to be generic for bounded int. #5852

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

---

This change is 

[ilyalesokhin-starkware]

-- commits line 2 at r1:

Suggestion:

support

[ilyalesokhin-starkware]

crates/cairo-lang-starknet-classes/src/allowed_libfuncs_lists/all.json line 24 at r1 (raw file):

        "bounded_int_constrain",
        "bounded_int_div_rem",
        "bounded_int_felt252_constrain",

next PR?

Code quote:

    "bounded_int_felt252_constrain",

[ilyalesokhin-starkware]

crates/cairo-lang-sierra-to-casm/src/invocations/int/bounded.rs line 273 at r1 (raw file):

    };
    let auxiliary_vars: [_; 5] = std::array::from_fn(|_| casm_builder.alloc_var(false));
    validate_under_limit::<2>(

what happens to the done label that is defined here?

Code quote:

 validate_under_limi

[ilyalesokhin-starkware]

crates/cairo-lang-sierra/src/extensions/modules/bounded_int.rs line 525 at r1 (raw file):

}

/// Libfunc for wrapping a given bounded int with a guarantee.

fix comment.

Code quote:

/// Libfunc for wrapping a given bounded int with a guarantee.

[ilyalesokhin-starkware]

Reviewed 5 of 7 files at r1, all commit messages.
Reviewable status: 5 of 7 files reviewed, 3 unresolved discussions (waiting on @orizi)

[ilyalesokhin-starkware]

crates/cairo-lang-sierra/src/extensions/modules/bounded_int.rs line 543 at r1 (raw file):

        // Ranges that aren't this large there are much more efficient algorithms.
        require((&prime - range.size()) < (&prime % u128::MAX))
            .ok_or(SpecializationError::UnsupportedGenericArg)?;

Suggestion:

        require(range.size() > &prime - (&prime % u128::MAX))
            .ok_or(SpecializationError::UnsupportedGenericArg)?;