add isl_map_get_range_simple_fixed_box_hull
commitad05b8d23ba51ad9c4135548368382c4cc4eb5f8
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 15 May 2018 13:06:05 +0000 (15 15:06 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 4 Jun 2018 13:28:33 +0000 (4 15:28 +0200)
treef882fdb9a4dc45ef30eed90a75a796bb90023fd6
parent77fe253808fcd3a35ae6b94992744726a4375534
add isl_map_get_range_simple_fixed_box_hull

This code is essentially copied from PPCG.
It computes an overapproximation of the range of a map
in the form of a fixed-size rectangular box.
It may be a bit PPCG specific, but there is at least one other
potential user (which is arguably closely related to PPCG).
The exact position and size of the box may depend on the internal
representation of the map and is therefore not defined exactly.
This is similar to some of the other hull operations.

Reviewed-by: Oleksandr Zinenko <ftynse@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Makefile.am
doc/user.pod
include/isl/fixed_box.h [new file with mode: 0644]
include/isl/map.h
isl_box.c [new file with mode: 0644]