Add int_range_pop_front libfunc.

[liorgold2]

Stack:

• Modify int_range_try_new to return an empty range on failure. #6298
• Use IntRange libfuncs in range.cairo. #6289
• Add int_range_try_new libfunc. #6288
• Add int_range_pop_front libfunc. #6286 ⬅

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

---

This change is 

[orizi]

Reviewed 7 of 10 files at r1, all commit messages.
Reviewable status: 7 of 10 files reviewed, 2 unresolved discussions (waiting on @liorgold2)

---

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

        NonEmpty:
        const one = 1;
        let new_start = start + one;

Suggestion:

        let new_start = start + one;
        const one = 1;
        tempvar is_non_empty = end - start;
        jump NonEmpty if is_non_empty != 0;

---

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

            ("Fallthrough", &[&[new_start, end], &[start]], None),
            ("Failure", &[], Some(failure_handle)),
        ],

and change the signature - will require an enum.
(we may consider adding in core::internal::OptionReversed just to help all the "upside-down" libfuncs)

Suggestion:

        [
            ("Fallthrough", &[], None),
            ("NonEmpty", &[&[new_start, end], &[start]], Some(non_empty_handle)),
        ],

[orizi]

Reviewed 1 of 6 files at r2, all commit messages.
Reviewable status: 4 of 10 files reviewed, 4 unresolved discussions (waiting on @liorgold2)

---

crates/cairo-lang-sierra/src/extensions/core.rs line 142 at r2 (raw file):

        Pedersen(PedersenLibfunc),
        Poseidon(PoseidonLibfunc),
        Range(IntRangeLibfunc),

Int at the variant as well

---

crates/cairo-lang-sierra/src/extensions/modules/range.rs line 91 at r2 (raw file):

        args: &[GenericArg],
    ) -> Result<LibfuncSignature, SpecializationError> {
        let ty = args_as_single_type(args)?;

Probably need to be blocked for large ranges (over 2 pow 128 size)

[liorgold2]

Reviewable status: 4 of 10 files reviewed, 4 unresolved discussions (waiting on @orizi)

---

crates/cairo-lang-sierra/src/extensions/modules/range.rs line 91 at r2 (raw file):

Previously, orizi wrote…

Probably need to be blocked for large ranges (over 2 pow 128 size)

Not this libfunc, just the construction of Range.

[liorgold2]

Reviewable status: 2 of 11 files reviewed, 4 unresolved discussions (waiting on @Arcticae, @Draggu, @mkaput, @orizi, and @piotmag769)

---

crates/cairo-lang-sierra/src/extensions/core.rs line 142 at r2 (raw file):

Previously, orizi wrote…

Int at the variant as well

Done.

---

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

        NonEmpty:
        const one = 1;
        let new_start = start + one;

Done.

---

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

Previously, orizi wrote…

and change the signature - will require an enum.
(we may consider adding in core::internal::OptionReversed just to help all the "upside-down" libfuncs)

Done.

[orizi]

Reviewed 2 of 6 files at r2.
Reviewable status: 2 of 11 files reviewed, 3 unresolved discussions (waiting on @Arcticae, @Draggu, @mkaput, and @piotmag769)

[orizi]

Reviewed 9 of 9 files at r3, 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @Arcticae, @Draggu, @mkaput, and @piotmag769)

[orizi]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @Arcticae, @Draggu, @liorgold2, @mkaput, and @piotmag769)

---

crates/cairo-lang-sierra-to-casm/src/invocations/range.rs line 42 at r4 (raw file):

            ("NonEmpty", &[&[new_start, end], &[start]], Some(non_empty_handle)),
        ],
        Default::default(),

maybe we should return all options?

• no need for multiple checks for different pops.
• less libfuncs.

Suggestion:

    };
    casm_build_extend! {casm_builder,
        const one = 1;
        let new_start = start + one;
        let new_end = end - one;
        tempvar is_non_empty = end - start;
        jump NonEmpty if is_non_empty != 0;
    };
    let non_empty_handle = get_non_fallthrough_statement_id(&builder);
    Ok(builder.build_from_casm_builder(
        casm_builder,
        [
            ("Fallthrough", &[], None),
            ("NonEmpty", &[&[new_start, end], &[start, new_end], &[start], &[new_end]], Some(non_empty_handle)),
        ],
        Default::default(),

[liorgold2]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @Arcticae, @Draggu, @mkaput, @orizi, and @piotmag769)

---

crates/cairo-lang-sierra-to-casm/src/invocations/range.rs line 42 at r4 (raw file):

Previously, orizi wrote…

maybe we should return all options?

• no need for multiple checks for different pops.
• less libfuncs.

Makes sense, but I'll do it in another PR.

[orizi]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @Arcticae, @Draggu, @mkaput, and @piotmag769)