search

BoiseState-AdaptLab / spf-ie

Sparse polyhedral framework optimizing compiler frontend
4 stars 2 forks source link

Enforce loop invariants #4

Open riftEmber opened 4 years ago

riftEmber commented 4 years ago

If a data space is accessed in the condition of a for stmt, it cannot be written to inside that compound statement.

riftEmber commented 4 years ago

Closed by 1f60fbe41681dce4e6e97e8609d6d271da8a544e

riftEmber commented 4 years ago

Is this the only restriction we need, or are there more invariance requirements? Update: Data spaces accessed in initializer must also be made invariant -- what about increment?