projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 183e4b4) | patch
isl_basic_map_add_constraint: handle constraints obtained from basic maps
authorSven Verdoolaege <skimo@purples.(none)>
Sun, 13 Sep 2009 17:13:13 +0000 (19:13 +0200)
committerSven Verdoolaege <skimo@purples.(none)>
Sun, 13 Sep 2009 17:13:13 +0000 (19:13 +0200)
commitfa1cd4b1b93c95a2ee1ed4f17d56955220546b1b
treed09ac9e42fc9cc520831699b4155a14fb1d5f024tree | snapshot
parent183e4b46785147e7875a56d45e244243cb180d3acommit | diff
isl_basic_map_add_constraint: handle constraints obtained from basic maps

The bmap field of a constraint may contain a basic map that is bounded
by more than one constraint.  The constraint can therefore not be
added by simply taking the intersection with this bmap.
Instead, first create a basic map that exactly corresponds to the constraint
and then take the intersection with that basic map.
isl_constraint.c diff | blob | history
Domain: System / Uncategorized;