-
Notifications
You must be signed in to change notification settings - Fork 585
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Avoid pushing zero-sized variables. #4275
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewable status: 0 of 32 files reviewed, 1 unresolved discussion (waiting on @orizi)
crates/cairo-lang-starknet/test_data/new_syntax_test_contract__counter_contract.sierra
line 1658 at r1 (raw file):
rename<Array<felt252>>([7]) -> ([10]); // 1328 rename<Array<felt252>>([8]) -> ([11]); // 1329 jump() { 1365() }; // 1330
the store_temp
s before the jump were changed to rename
s and now the code fails sierra to casm.
Code quote:
function_call<user@cairo_level_tests::contracts::new_syntax_test_contract::test_component::EventIsEvent::append_keys_and_data>([3], [1], [2]) -> ([7], [8], [9]); // 1326
drop<Unit>([9]) -> (); // 1327
rename<Array<felt252>>([7]) -> ([10]); // 1328
rename<Array<felt252>>([8]) -> ([11]); // 1329
jump() { 1365() }; // 1330
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewable status: 0 of 32 files reviewed, 1 unresolved discussion (waiting on @orizi)
crates/cairo-lang-starknet/test_data/new_syntax_test_contract__counter_contract.sierra
line 1658 at r1 (raw file):
Previously, ilyalesokhin-starkware wrote…
the
store_temp
s before the jump were changed torename
s and now the code fails sierra to casm.
547e0a1
to
b0d4d31
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewed 31 of 32 files at r1, 21 of 21 files at r2, all commit messages.
Reviewable status: 52 of 53 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)
crates/cairo-lang-starknet/test_data/new_syntax_test_contract__counter_contract.sierra
line 1658 at r1 (raw file):
Previously, ilyalesokhin-starkware wrote…
so why don't i see the tests failing?
Previously, orizi wrote…
I'ved rebased this on top of the fix. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewed 1 of 32 files at r1.
Reviewable status:complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We need to merge
https://reviewable.io/reviews/starkware-libs/cairo/4276#-
first.
Note that is changes sierra_to_casm.
Reviewable status:
complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)
Replaced by #4290 |
This change is![Reviewable](https://camo.githubusercontent.com/1541c4039185914e83657d3683ec25920c672c6c5c7ab4240ee7bff601adec0b/68747470733a2f2f72657669657761626c652e696f2f7265766965775f627574746f6e2e737667)