Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Implement conditional region #1617

Open
wants to merge 28 commits into
base: master
Choose a base branch
from
Open

Implement conditional region #1617

wants to merge 28 commits into from

Conversation

luca-patrignani
Copy link
Contributor

This PR is part of my GSoC project.
This implement ConditionalRegion, a block (not a ControlFlowRegion) which has a property branches which is a list of tuple (condition, control flow region).

Needs confirmation

  • ConditionalRegion is not a ControlFlowRegion because it does not have a start block.
  • The else branch is expressed as a empty region.

luca-patrignani and others added 28 commits June 30, 2024 15:41
@luca-patrignani
Create ConditionalRegion and implement its serialization
9e01539
@luca-patrignani
Inline conditional regions and add test for serialization
4430c10
@luca-patrignani
Clean up test
c6f8cc8
@luca-patrignani
Test if else
e49beac
@luca-patrignani
Fix typo
e258d64
@luca-patrignani
Inline conditional regions
281a620
@luca-patrignani
Parse complex tests region before adding the conditional region
c310a82
@luca-patrignani
Allow break and continue states inside cfgs nested in loops and remov…
58451fa 
…e end state if not used in inline
@luca-patrignani
Call start_block before removing the current start block
ebb69be
@luca-patrignani
Avoid double additions of return blocks
7f429ea
@luca-patrignani
Do not invalidate start_block cache everytime a new node is added
9fe2532
@luca-patrignani
Fix typo
d91ef62
@luca-patrignani
Inline all cfg for each nested sdfg and remove dead states after all …
c8b1bee 
…the inlining
@luca-patrignani
Set did_break_symbol to 1 in loop region inline method
ad5e574
@luca-patrignani
Merge branch 'master' into if-2
8b4a116
@luca-patrignani
Use codegen generation for loop regions
25e52bb
@luca-patrignani
Raise exception when creating a break or continue block outside a loo…
e5aa40a 
…p region
@luca-patrignani
Fix _used_symbols_internal in conditional region and remove dead bloc…
e4d9a85 
…ks when encountering breaks and contiunes
@luca-patrignani
Fix use of start_block in state fusion transformation
e8deac1
@luca-patrignani
Fix symbols internal for conditional region
9c506bd
@luca-patrignani
Connect arrays to views in all states for each cfg
c614bcb
@luca-patrignani
Merge branch 'master' into if-2
f4a0298
@luca-patrignani
Fix from_json
7a4584e
@luca-patrignani
Fix _used_symbols_internal in ControlFlowRegion for handling correctl…
feed8aa 
…y ConditionalRegions
@luca-patrignani
Remove unused file
faad41d
@luca-patrignani
Revert ControlFlowRegion add_node change
39a183e
@luca-patrignani
Fix test
cbc51cd
@luca-patrignani
Represent else branch as tuple (else condition, None)
575f351
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@luca-patrignani