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.

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

OTFMapFusion: Minor bug fixes #1448

Merged
merged 2 commits into from Nov 26, 2023
Merged

OTFMapFusion: Minor bug fixes #1448

merged 2 commits into from Nov 26, 2023

Conversation

lukastruemper
Copy link
Contributor

This PR fixes the problem that data containers were removed from an SDFG, although they might be used in another state. Furthermore, it fixes the problem that self.second_map_entry may not point to the correct node after adding/removing nodes

@lukastruemper
Copy link
Contributor Author

Just pushed an additional fix

if graph.out_degree(self.first_map_exit) > 1:
return False
if graph.in_degree(self.array) > 1:
return False

# Check if array is overwritten afterwards
subset = next(graph.out_edges(self.first_map_exit).__iter__()).data.subset
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would be happy to use helper functions for this. It could be less conservative.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe something like is_shadowed for an access node

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The more I think about this, the more I am convinced that the transformation should be simple and we need to write a „ShadowedAccessNode“ Pass

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reverted the changes; We need a strategy for MapFusion, OTFMapFusion and TakletFusion. The transformations should be simple and be used with certain analysis passes

@lukastruemper lukastruemper enabled auto-merge (squash) November 26, 2023 08:02
@lukastruemper lukastruemper merged commit 8f229bc into master Nov 26, 2023
11 checks passed
@lukastruemper lukastruemper deleted the otf-fix branch November 26, 2023 09:59
lukastruemper added a commit that referenced this pull request Dec 2, 2023
This PR fixes the problem that data containers were removed from an
SDFG, although they might be used in another state. Furthermore, it
fixes the problem that self.second_map_entry may not point to the
correct node after adding/removing nodes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants