PetScan::extract_nested: insert outer filters in earlier positions
commit997487e627a6e7277ae26fea8ef72f9fb316fd9f
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Jan 2012 18:04:37 +0000 (5 19:04 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 22 May 2012 09:45:29 +0000 (22 11:45 +0200)
tree1185d07987b2e69ec812a8f2eda7758d59ebda1e
parent318213e2931ae9d2524af6f9402f31f6e3fb97fd
PetScan::extract_nested: insert outer filters in earlier positions

Like the iterators in an iteration domain, the filters should also
be ordered from outermost to innermost.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
tests/dynamic_bound.scop