isl_aff.c: pw_multi_aff_from_map_check_div: move div detection down
commit8dcf938d82624143cda57593f327614b3ecb6ae6
authorSven Verdoolaege <sven@cerebras.net>
Thu, 16 Feb 2023 10:10:58 +0000 (16 11:10 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 10 Mar 2024 14:37:39 +0000 (10 15:37 +0100)
tree2b93cff8b2e577a4f33f4b6ff7bcf7f0a0b83046
parent18b02e89c54d0e8053ac4d5c4c4107e6328140cc
isl_aff.c: pw_multi_aff_from_map_check_div: move div detection down

In particular, move the detection of a pair of constraints
that define an integer division into isl_basic_map_extract_output_div,
renaming it to isl_basic_map_try_find_output_div and letting it
return an optional isl_aff.
The resulting isl_basic_map_try_find_output_div behaves similarly
to the isl_basic_map_try_find_output_mod that will be introduced
in the next commit, making it easier to call them in succession.

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
Makefile.am
isl_aff.c
isl_maybe_aff.h [new file with mode: 0644]