isl_aff.c: extract out isl_basic_map_inequality_extract_output_upper_bound
commit066be70106fbc2a78e6058e4c674f53bf03564a1
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Nov 2015 09:54:22 +0000 (5 10:54 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 12 Mar 2023 19:29:20 +0000 (12 20:29 +0100)
treeceef65acbfc0ac8a54aba2e4dacc1c517eb87d58
parent82eb5c86d1ed82bbcff7b619155d0605e4ed9d9d
isl_aff.c: extract out isl_basic_map_inequality_extract_output_upper_bound

This isolates the inspection of the inequality constraint and
makes it easier to generalize the extraction to also allow
the presence of integer divisions in an upcoming commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_aff.c
isl_map.c
isl_map_private.h