Input

 

Index spaces:

One index space for each statement is required.
They are read from .ispc.

Dependences:

A list of all dependences in the program.
They are read from .dep.

Both input files are written by the dependence module.