diff options
Diffstat (limited to 'polly/lib')
| -rw-r--r-- | polly/lib/CodeGen/BlockGenerators.cpp | 3 | ||||
| -rw-r--r-- | polly/lib/Exchange/JSONExporter.cpp | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/polly/lib/CodeGen/BlockGenerators.cpp b/polly/lib/CodeGen/BlockGenerators.cpp index 1fe15e4fb28..9bff9d2a1b9 100644 --- a/polly/lib/CodeGen/BlockGenerators.cpp +++ b/polly/lib/CodeGen/BlockGenerators.cpp @@ -558,7 +558,8 @@ void BlockGenerator::generateScalarLoads( continue; #ifndef NDEBUG - auto StmtDom = Stmt.getDomain(); + auto StmtDom = + Stmt.getDomain().intersect_params(Stmt.getParent()->getContext()); auto AccDom = MA->getAccessRelation().domain(); assert(!StmtDom.is_subset(AccDom).is_false() && "Scalar must be loaded in all statement instances"); diff --git a/polly/lib/Exchange/JSONExporter.cpp b/polly/lib/Exchange/JSONExporter.cpp index 512c51558c6..943d1b2d983 100644 --- a/polly/lib/Exchange/JSONExporter.cpp +++ b/polly/lib/Exchange/JSONExporter.cpp @@ -512,6 +512,8 @@ importAccesses(Scop &S, Json::Value &JScop, const DataLayout &DL, isl_set_intersect_params(NewAccessDomain, S.getContext().release()); CurrentAccessDomain = isl_set_intersect_params(CurrentAccessDomain, S.getContext().release()); + CurrentAccessDomain = + isl_set_intersect(CurrentAccessDomain, Stmt.getDomain().release()); if (MA->isRead() && isl_set_is_subset(CurrentAccessDomain, NewAccessDomain) == |
