add isl_local_space_{take,restore}_space
commitc9b235ccb405ab866303b9babd49f64ccde74ba6
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 12 Aug 2016 15:17:24 +0000 (12 17:17 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 26 Dec 2017 14:47:00 +0000 (26 15:47 +0100)
tree9f965f480d507db3760fd2491b8a700102518cfb
parent1078685e5e11cab13910ed4b417e58b4ffd6b694
add isl_local_space_{take,restore}_space

These make it easier to write functions that only change
the space of a local space, such as the one in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_local_space.c