summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawcombined (merge: b9e7334 88faef5)
rawcombined (merge: b9e7334 88faef5)
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 24 Apr 2017 11:35:24 +0000 (24 13:35 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 24 Apr 2017 11:38:01 +0000 (24 13:38 +0200) |
| 1 | 2 | |||
|---|---|---|---|---|
| isl_map.c | patch | diff1 | diff2 | blobhistory |
| isl_map_private.h | patch | diff1 | diff2 | blobhistory |
| isl_map_simplify.c | patch | diff1 | diff2 | blobhistory |
| test_inputs/codegen/cholesky.c | patch | diff2 | blobhistory |
diff --cc isl_map.c
+++ b/isl_map.c
if (!bmap)
return NULL;
- if (n == 0)
+ if (n == 0) {
+ bmap = isl_basic_map_reset(bmap, src_type);
+ bmap = isl_basic_map_reset(bmap, dst_type);
return bmap;
+ }
- isl_assert(bmap->ctx, src_pos + n <= isl_basic_map_dim(bmap, src_type),
- goto error);
+ if (isl_basic_map_check_range(bmap, src_type, src_pos, n) < 0)
+ return isl_basic_map_free(bmap);
if (dst_type == src_type && dst_pos == src_pos)
return bmap;
diff --cc isl_map_private.h
Simple merge
diff --cc isl_map_simplify.c
Simple merge
diff --cc test_inputs/codegen/cholesky.c
--- /dev/null
- if (1997 * ((5987 * c0 + 5989) / 5990) >= 1996 * c0 + 1986 && 3993 * ((5987 * c0 + 5989) / 5990) >= 3991 * c0 + 3993) {
- int c3 = min(c0 - (5987 * c0 + 5989) / 5990 + 1, c0 - (5987 * c0 + 5989) / 5990 - 32 * ((c0 + 59921) / 61907) + 33);
- for (int c4 = 1996 * c0 - 1997 * ((5987 * c0 + 5989) / 5990) + 1998; c4 <= 12; c4 += 1)
- S_3(c4, 1996 * c0 - 1997 * ((5987 * c0 + 5989) / 5990) + 1997, -3991 * c0 + 3993 * ((5987 * c0 + 5989) / 5990) - 3993);
- }
+ for (int c0 = 3993; c0 <= 63893; c0 += 1)
++ if (2 * c0 - 3993 * ((3 * c0 + 5990) / 5990) >= 0)
++ for (int c4 = -c0 + 1997 * ((3 * c0 + 5990) / 5990) + 1; c4 <= 12; c4 += 1)
++ S_3(c4, -c0 + 1997 * ((3 * c0 + 5990) / 5990), 2 * c0 - 3993 * ((3 * c0 + 5990) / 5990));