| commit | bc8a848f8ce19439510005fe7eee8165d89f6b73 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 3 Nov 2011 13:33:51 +0000 (3 14:33 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 6 Nov 2011 08:56:28 +0000 (6 09:56 +0100) | ||
| tree | b0866f1853351f7021c487342c9627c77b8173e9 | treesnapshot (tar.gz zip) |
| parent | 8cc7f267c23c1a2f9d4f0c7253d997722ca4c7d3 | commitdiff |
extract_affine: a variable that has been assigned an unknown value is not affine
An affine expression can only involve iterators and parameters.
During the analysis of a loop body, iterators are treated as parameters,
so we only need to consider parameters.
If a given variable has been assigned a value inside the scop,
then it cannot be a parameter.
If the value assigned is known, then we may still be able to recover
some affine expression, but if it is not, then we should consider
the expression to be non-affine.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
An affine expression can only involve iterators and parameters.
During the analysis of a loop body, iterators are treated as parameters,
so we only need to consider parameters.
If a given variable has been assigned a value inside the scop,
then it cannot be a parameter.
If the value assigned is known, then we may still be able to recover
some affine expression, but if it is not, then we should consider
the expression to be non-affine.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/data_dependent2.c | [new file with mode: 0644] | blob |
| tests/data_dependent2.scop | [new file with mode: 0644] | blob |