shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity

[Polly][DeLICM] Check for error state (#178281)

Browse Source 
When the ISL max-operations is exceeded, `is_wrapping` will return an
error state. Propagate the error state to the caller.

Fixes #175953
This commit is contained in:
Michael Kruse 2026-01-27 20:37:41 +01:00 committed by GitHub
parent 4239e858fe
commit 85812fde9e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
polly/lib/Transform/ZoneAlgo.cpp
View File

@ -855,7 +855,10 @@ static isl::union_map normalizeValInst(isl::union_map Input,
// Instructions within the SCoP are always wrapped. Non-wrapped tuples
// are therefore invariant in the SCoP and don't need normalization.
if (!RangeSpace.is_wrapping()) {
auto IsWrapping = RangeSpace.is_wrapping();
if (IsWrapping.is_error())
return {};
if (!IsWrapping) {
Result = Result.unite(Map);
continue;
}