<project.out>.trdep

The <project.out>.trdep-file holds the transformed dependences as generated by the trdep-tool.

All source and destination inequality systems of all original and user-defined dependences are transformed, using the space-time mapping function as created by the targgen-tool. Linear combinations of linear dependened lines are inserted as described in the <project.out>.trafo file. This may lead to problems for non-invertible transformation matrices.

WARNING:

• Not tested!
• Known bugs!
• May be incorrect for not-invertible transformation functions.

?? Read: [ Directory general, File dependen.cc, Function Dependence::read ]
Write: Directory targout, File trdep.cc, Function main (trdep binary, uses same options as targout binary)

Format: (most likely)

(dependence 1:)

number of dependence

type of dependence (see below)

source description (rows, denominator, matrix)

destination description (rows, denominator, matrix)

number of source statement

number of target statement

h-fransformation (rows, denominator, matrix)

context

(dependence 2:)

...

Dependence Type