isl_local_space_substitute_seq: honor argument for the number of divs to modify
commitbb4d183e345c3c688defbc9bc6a5bf5cf43a88f2
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 21 Feb 2015 18:33:47 +0000 (21 19:33 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 21 Feb 2015 18:37:32 +0000 (21 19:37 +0100)
tree44711d67a54e09200278721da30e4383356eaba3
parente9e8dd93f057587e295fb9fb75721ae38076c722
isl_local_space_substitute_seq: honor argument for the number of divs to modify

An argument for specifying the number of divs to modify was
introduced in 4a107ab (isl_local_space_substitute_seq: take argument for
the number of divs to modify, Sat Sep 29 19:45:57 2012 +0200),
but it was not actually taken into account, resulting in breakage
as soon as this argument was effectively used in ad90fe4
(isl_aff_normalize: plug in divs with unit coefficient in other divs,
Sat Sep 29 20:11:32 2012 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_local_space.c
isl_test.c