spcl / spcl/dace

MapFission transformation cannot handle strided or symbolic maps

Open
#2,334 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
593
Forks
163
Avg merge
2d 23h
Merged PRs (30d)
60

Description

**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](https://github.com/user-attachments/files/26720381/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

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.