summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: 188f535)
rawpatchinlineside by side (parent: 188f535)
| author | Sven Verdoolaege <sven@cerebras.net> | |
| Thu, 18 Nov 2021 11:24:05 +0000 (18 12:24 +0100) | ||
| committer | Sven Verdoolaege <sven@cerebras.net> | |
| Sat, 10 Feb 2024 15:13:41 +0000 (10 16:13 +0100) |
In particular, if the constraints were sorted before
then they may no longer be sorted after normalizing some of them.
The removal of the corresponding flags is put inside scale_down_inequality.
The other caller of scale_down_inequality (eliminate_var_using_equality)
already modifies the same flags and continues to do so after this commit
to take into account the effect of the actual elimination.
This is needed in those cases where no scaling is being performed.
This is unlikely to have an effect in practice.
The normalization usually happens when the set is first created
(before the constraints are sorted) or after a call to Gaussian
elimination, which already results in the removal of the flags.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
then they may no longer be sorted after normalizing some of them.
The removal of the corresponding flags is put inside scale_down_inequality.
The other caller of scale_down_inequality (eliminate_var_using_equality)
already modifies the same flags and continues to do so after this commit
to take into account the effect of the actual elimination.
This is needed in those cases where no scaling is being performed.
This is unlikely to have an effect in practice.
The normalization usually happens when the set is first created
(before the constraints are sorted) or after a call to Gaussian
elimination, which already results in the removal of the flags.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
| isl_map_simplify.c | patchblobblamehistory |
diff --git a/isl_map_simplify.c b/isl_map_simplify.c
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
* are assumed to be multiples of "f".
*
* If the factor is 0 or 1, then no scaling needs to be performed.
+ *
+ * If scaling is performed then take into account that the constraint
+ * is modified.
*/
static __isl_give isl_basic_map *scale_down_inequality(
__isl_take isl_basic_map *bmap, int ineq, isl_int f, unsigned len)
isl_int_fdiv_q(bmap->ineq[ineq][0], bmap->ineq[ineq][0], f);
isl_seq_scale_down(bmap->ineq[ineq] + 1, bmap->ineq[ineq] + 1, f, len);
+ bmap = isl_basic_map_modify_inequality(bmap);
+
return bmap;
}