| commit | 98b900c8cbeda2a9afab413a61a27e9ec7ec54d5 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 5 Nov 2011 15:27:17 +0000 (5 16:27 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 5 Nov 2011 15:35:10 +0000 (5 16:35 +0100) | ||
| tree | ffff2a6835d4a21880b18baa95ab9e9e1de49f6c | treesnapshot (tar.gz zip) |
| parent | 08812c2c9aa557a1e9210eab99ef85105a8ca380 | commitdiff |
compute_array_dim_size: recompute explicit representations for divs
Explicit representations are already computed in can_tile_for_shared_memory,
but check_stride may apply a shift, which in turn may result in new
unknown existentially quantified variables.
These are not allowed because we will convert the constraints into isl_affs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Explicit representations are already computed in can_tile_for_shared_memory,
but check_stride may apply a shift, which in turn may result in new
unknown existentially quantified variables.
These are not allowed because we will convert the constraints into isl_affs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| cuda.c | diffblobblamehistory |