[polly] r286338 - ScopInfo: only run code needed for ASSERT in DEBUG mode
Tobias Grosser via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 8 20:24:49 PST 2016
Author: grosser
Date: Tue Nov 8 22:24:49 2016
New Revision: 286338
URL: http://llvm.org/viewvc/llvm-project?rev=286338&view=rev
Log:
ScopInfo: only run code needed for ASSERT in DEBUG mode
Suggested-by: Johannes Doerfert
Modified:
polly/trunk/lib/Analysis/ScopInfo.cpp
Modified: polly/trunk/lib/Analysis/ScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopInfo.cpp?rev=286338&r1=286337&r2=286338&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Tue Nov 8 22:24:49 2016
@@ -4153,6 +4153,7 @@ void Scop::addScopStmt(BasicBlock *BB, R
ScopStmt *Scop::addScopStmt(__isl_take isl_map *SourceRel,
__isl_take isl_map *TargetRel,
__isl_take isl_set *Domain) {
+#ifndef NDEBUG
isl_set *SourceDomain = isl_map_domain(isl_map_copy(SourceRel));
isl_set *TargetDomain = isl_map_domain(isl_map_copy(TargetRel));
assert(isl_set_is_subset(Domain, TargetDomain) &&
@@ -4161,6 +4162,7 @@ ScopStmt *Scop::addScopStmt(__isl_take i
"Source access not defined for complete statement domain");
isl_set_free(SourceDomain);
isl_set_free(TargetDomain);
+#endif
Stmts.emplace_back(*this, SourceRel, TargetRel, Domain);
CopyStmtsNum++;
return &(Stmts.back());
More information about the llvm-commits
mailing list