Skip to content

MapFission transformation cannot handle strided or symbolic maps #2334

Description

@Spielopoly

Describe the bug
The MapFission transformation produces InvalidSDFGEdgeError: Memlet subset out-of-bounds on strided maps.

Additionally it raises StopIteration if the sdfg uses symbols.

To Reproduce
Run reproduce.py
The testcases will print FAIL

Expected behavior
Testcases print PASS
which means that:

  1. MapFission is applied
  2. It validates without errors
  3. It produces the same numeric result

Desktop (please complete the following information):

  • OS: Ubuntu 24.04.3 LTS

Metadata

Metadata

Assignees

No one assigned

    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