Rename iteration space/execution schedule when renaming statement reads

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.

BSD 2-Clause "Simplified" License

2 stars 4 forks source link

Rename iteration space/execution schedule when renaming statement reads #145

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

Iteration spaces/execution schedules sometimes rely on data spaces. Those data spaces need to be renamed as well as read/writes/source code. This should not happen due to SSA because data spaces in iteration spaces should be constants or iterators. However this is necessary when replacing a pass-by-reference parameter with an argument in appendComputation().

Functions to change:

[x] Stmt::replaceDataSpaceName()
[ ] Stmt::replaceDataSpaceReads()