Traditionally we only allowed schedules and memory access relations to be imported which do not change the data dependences. However, with DeLICM it now becomes possible to perform transformations that enable more freedom in the data dependences. We should probably teach the jscop import to only check for RAW dependences and to also take the possibly updated memory accesses into account.
Extended Description
Traditionally we only allowed schedules and memory access relations to be imported which do not change the data dependences. However, with DeLICM it now becomes possible to perform transformations that enable more freedom in the data dependences. We should probably teach the jscop import to only check for RAW dependences and to also take the possibly updated memory accesses into account.