Skip to content

Yul: implement continue, break and return in for loop #4576

Closed
@axic

Description

@axic

Add "break" and "continue" with the usual semantics to Yul. This needs some changes (and further tests) in the following optimizer steps (might not be exhaustive):

Trivial:

  • ASTCopier (et al.)
  • ASTWalker (et al.)
  • DataFlowAnalyzer
  • RedundantAssignEliminator

The structural simplifier could need some additional rules (remove dead code after unconditional "continue" or "break"), but these might be added later.

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions