<project.out>.tispc
The <project.out>.tispc-file contains the description of
the transformed index space after applying the space-time mapping,
considering constraints due to piecewise space-time mappings
(which are also stored in the .trc-file).
- Read:
- Directory targout, File targoutinit.cc, Function
hijackIndexSpaces
Write: Directory targgen, File
save_targout.cc, Function save_tispcs
Format:
# of statements in main program
- (1. statement :)
- target statement number
- original statement number
- # of index variables surrounding the statement in the input programm
- # of all parameters
- # of rows
- denominator
- matrix (to be read as row>=0)
- (2. statement:)
- ...
Consistency conditions/problems:
- the width of the matrix describing the target index space is equal to the height
(and, thus, the width) of the corresponding trafo matrix. Yes, this is stupid,
but it's the actual state :-( Consequence: even in synchronous programs with
one-dimensional time, the first target loop index might be a space dimension,
namely, if the schedule of the actual statement is the constant 0.
Peter Faber, 9.2.2000