| commit | 09bb29c8f95cc3f3ddb3acf1de645beff31ec647 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 27 Jun 2010 16:50:23 +0000 (27 18:50 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 27 Jun 2010 18:36:52 +0000 (27 20:36 +0200) | ||
| tree | 0291a821554a1a7d0f6bf9adb8f1d1337d27ccc2 | treesnapshot (tar.gz zip) |
| parent | 7c44f81ec955f061671b7f18480d627ac71f52bc | commitdiff |
isl_basic_map_from_constraint: only return copy of bmap on equality constraints
Commit b39d157 (isl_basic_map_from_constraint: return copy of bmap in
constraint if possible) changed isl_basic_map_from_constraint to return
a copy when this bmap consists of a single constraint in order to handle
the case where a new constraint is created with unknown existentially
quantified variables. However, if the divs _are_ known, then the div
definition is simply thrown away. If the single constraint is an equality,
then it may be possible to recover the definition, but if it is an inequality,
then this is not possible and in fact it does not make sense to have unknown divs.
Therefore, only return a copy on equality constraints.
Commit b39d157 (isl_basic_map_from_constraint: return copy of bmap in
constraint if possible) changed isl_basic_map_from_constraint to return
a copy when this bmap consists of a single constraint in order to handle
the case where a new constraint is created with unknown existentially
quantified variables. However, if the divs _are_ known, then the div
definition is simply thrown away. If the single constraint is an equality,
then it may be possible to recover the definition, but if it is an inequality,
then this is not possible and in fact it does not make sense to have unknown divs.
Therefore, only return a copy on equality constraints.
| isl_constraint.c | diffblobblamehistory |