Improve resolution and compilation of control flow loops and labels#4522
Open
Islam-Imad wants to merge 2 commits intoRust-GCC:masterfrom
Open
Improve resolution and compilation of control flow loops and labels#4522Islam-Imad wants to merge 2 commits intoRust-GCC:masterfrom
Islam-Imad wants to merge 2 commits intoRust-GCC:masterfrom
Conversation
Contributor
Author
|
cc @powerboat9 |
powerboat9
reviewed
Apr 12, 2026
| res += i; | ||
| i += 1; | ||
| if res + i >= 99 { | ||
| break 'calculation; |
Collaborator
There was a problem hiding this comment.
Does continue 'calculation work?
Contributor
Author
There was a problem hiding this comment.
i don't think because the label now after the loop.
i will check it then ping u for review
Contributor
Author
There was a problem hiding this comment.
its impossible to create a single label for both continue and break. we have to create two labels one at the start and one at the end. right now i am hacking gcc/go to see how this problem is solved and yeah there is separation.
Contributor
Author
There was a problem hiding this comment.
this will require more work to be done since we need to modify [loop,while,continue,break] and a lot of testing also. once its ready i will make it open again.
the loop label was placed early in the context and its should be added after the end of the loop. gcc/rust/ChangeLog: * backend/rust-compile-expr.cc (CompileExpr::visit): Fix while label place. gcc/testsuite/ChangeLog: * rust/execute/while-label-break.rs: New test. Signed-off-by: Islam-Imad <islamimad404@gmail.com>
Islam-Imad
force-pushed
the
fix/while-loop-label-break
branch
from
dfc3c94 to
d6e32c3
Compare
Contributor
Author
|
@powerboat9 this is the core part of the patch, it still not ready. |
Islam-Imad
force-pushed
the
fix/while-loop-label-break
branch
3 times, most recently
from
9eb024d to
d3de692
Compare
This patch fixes and improves the handling of loop expressions, particularly focusing on `break` and `continue` statements within labeled and nested loops. gcc/rust/ChangeLog: * backend/rust-compile-context.h: Push, Pop, Peek different labels. * backend/rust-compile-expr.cc (CompileExpr::visit): Fix WhileLoopExpr, LoopExpr. (CompileExpr::construct_loop_labels): Construct begin and end labels for loop. * backend/rust-compile-expr.h (RUST_COMPILE_EXPR): Construct loop header. * resolve/rust-default-resolver.cc (DefaultResolver::visit): Fix labels. * resolve/rust-default-resolver.h: Fix labels. * resolve/rust-late-name-resolver-2.0.cc (Late::visit): Fix labels. * resolve/rust-name-resolution-context.cc (NameResolutionContext::insert): Fix labels. (NameResolutionContext::insert_shadowable): Fix labels. (NameResolutionContext::insert_globbed): Fix labels. (NameResolutionContext::scoped): Fix labels. gcc/testsuite/ChangeLog: * rust/execute/cf-break-continue.rs: New test. * rust/execute/cf-label-shadowing.rs: New test. * rust/execute/cf-labeled-break-nested.rs: New test. * rust/execute/cf-labeled-continue-nested.rs: New test. * rust/execute/cf-labeled-loops.rs: New test. * rust/execute/cf-loop-break-continue.rs: New test. * rust/execute/cf-mixed-labeled-unlabeled.rs: New test. * rust/execute/cf-nested-loops.rs: New test. * rust/execute/while-label-break.rs: Renamed. Signed-off-by: Islam-Imad <islamimad404@gmail.com>
Islam-Imad
force-pushed
the
fix/while-loop-label-break
branch
from
d3de692 to
75570ed
Compare
Islam-Imad
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This patch fixes and improves the handling of loop expressions, particularly
focusing on
breakandcontinuestatements within labeled and nested loops.closes #4521
closes #4530