6b7d1a494b
A single-valued set/map is not necessarily single-valued anymore after applying after gisting a context. In particular, the set/map might not be single-valued outside the context. Convert the result of MemoryAccess::getAddressFunction() directly to pw_aff. Since it is the result of lexmin(), it is single-valued by definition. Gist the context only after te conversion. We should consider using `isl_basic_map_partial_lexmin_pw_multi_aff` in `getAddressFunction()` directly to avoid the intermediate step. Fixes #190459
The libraries in this directory are mirrored from external projects. Patches to them should first be contributed upstream and then return to Polly as normal (re)imports of these updated libraries. We currently have the following external libraries. # isl License: MIT-STYLE Details: isl/LICENSE # imath License: MIT-STYLE Details: isl/imath/LICENSE To update these libraries run 'autoreconf -i && ./configure && make dist' in the isl git directory and move the resulting files into lib/External/isl. Alternatively, run the update-isl.sh script.