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

Fixed PruneConnectors #1660

Merged

Conversation

philip-paul-mueller
Copy link
Collaborator

There was a bug in the PruneConnectors transformation, the apply function did not prune the sets correctly.
I also made some additional changes.

…ions.

The most important fix is that the `can_be_applied()` function checked the symbol usage while the `apply()` function did not do that.
Furthermore I made some small improvements here and there and also noted down a strange behaviour about the `used_symbols()` fucntion.
…` transformation.

This feature does not belong into it.
Further, the implementation is a bit strange, as itz just remove some containers with name.
I mean there must be no name identity between the container on the inside and the outside.
This transformation was nowhere used and it's description is just the same from `PruneSymbols`.
@philip-paul-mueller philip-paul-mueller marked this pull request as draft September 18, 2024 09:18
@philip-paul-mueller philip-paul-mueller marked this pull request as ready for review September 18, 2024 11:18
After a discussion with Alex Nik, I removed the check for symbols.
This is because it is impossible (validation of nested SDFGs) to pass them through connectors.
Instead symbol_mapping should be used, thus we do not have to check for them.
An SDFG that does this is invalid anyway.
…t is maintained and when not.

However, this has some consequences.
I added a test, that shows that this leads, depending on the memlet configuration to different outcome of the transformation.
Okay, it is only affects if the transformation can be applied or not, but still.
This is also in line with my [issue#1643](spcl#1643) that shows that this is a problem.
@philip-paul-mueller philip-paul-mueller added this pull request to the merge queue Sep 20, 2024
Merged via the queue into spcl:master with commit d0dcf1c Sep 20, 2024
10 checks passed
@philip-paul-mueller philip-paul-mueller deleted the fixed_prune_connectors branch September 20, 2024 11:18
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.

2 participants