Add split_structs optimization.

[ilyalesokhin-starkware]

This change is 

[orizi]

Reviewed 1 of 4 files at r1, all commit messages.
Reviewable status: 1 of 4 files reviewed, 5 unresolved discussions (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 31 at r1 (raw file):

}

/// returns a mapping from varaibles that should be split to thier split.

Suggestion:

/// returns a mapping from variables that should be split to the variables resulting from the split.

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 72 at r1 (raw file):

}

/// Splits 'dst' according to the split of 'src'.

i don't understand the doc.
add an example.

Code quote:

/// Splits 'dst' according to the split of 'src'.

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 89 at r1 (raw file):

            for split_src in src_vars {
                let new_var = variables.alloc(variables[*split_src].clone());
                // queue inner for for possible splitting.

?

Code quote:

                // queue inner for for possible splitting.

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 205 at r1 (raw file):

}

fn unsplit_var(

doc

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 235 at r1 (raw file):

}

fn rebuild_remapping(

doc

[ilyalesokhin-starkware]

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

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 31 at r1 (raw file):

}

/// returns a mapping from varaibles that should be split to thier split.

Done.

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 72 at r1 (raw file):

Previously, orizi wrote…

i don't understand the doc.
add an example.

Done.

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 89 at r1 (raw file):

Previously, orizi wrote…

?

Done.

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 205 at r1 (raw file):

Previously, orizi wrote…

doc

Done.

---

crates/cairo-lang-lowering/src/optimizations/split_structs.rs line 235 at r1 (raw file):

Previously, orizi wrote…

doc

Done.

[orizi]

Reviewed 2 of 4 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)