[polly] r308830 - [Simplify] Remove partial write accesses with empty domain.
Michael Kruse via llvm-commits
llvm-commits at lists.llvm.org
Sat Jul 22 13:33:09 PDT 2017
Author: meinersbur
Date: Sat Jul 22 13:33:09 2017
New Revision: 308830
URL: http://llvm.org/viewvc/llvm-project?rev=308830&view=rev
Log:
[Simplify] Remove partial write accesses with empty domain.
If the access relation's domain is empty, the access will never be
executed. We can just remove it.
We only remove write accesses. Partial read accesses are not yet
supported and instructions in the statement might require the
llvm::Value holding the read's result to be defined.
Added:
polly/trunk/test/Simplify/emptyaccessdomain.ll
polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop
polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop.transformed
Modified:
polly/trunk/lib/Transform/Simplify.cpp
Modified: polly/trunk/lib/Transform/Simplify.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Transform/Simplify.cpp?rev=308830&r1=308829&r2=308830&view=diff
==============================================================================
--- polly/trunk/lib/Transform/Simplify.cpp (original)
+++ polly/trunk/lib/Transform/Simplify.cpp Sat Jul 22 13:33:09 2017
@@ -36,6 +36,8 @@ STATISTIC(InBetweenStore, "Number of Loa
STATISTIC(TotalOverwritesRemoved, "Number of removed overwritten writes");
STATISTIC(TotalRedundantWritesRemoved,
"Number of writes of same value removed in any SCoP");
+STATISTIC(TotalEmptyPartialAccessesRemoved,
+ "Number of empty partial accesses removed");
STATISTIC(TotalDeadAccessesRemoved, "Number of dead accesses removed");
STATISTIC(TotalDeadInstructionsRemoved,
"Number of unused instructions removed");
@@ -97,6 +99,9 @@ private:
/// Number of redundant writes removed from this SCoP.
int RedundantWritesRemoved = 0;
+ /// Number of writes with empty access domain removed.
+ int EmptyPartialAccessesRemoved = 0;
+
/// Number of unused accesses removed from this SCoP.
int DeadAccessesRemoved = 0;
@@ -109,8 +114,8 @@ private:
/// Return whether at least one simplification has been applied.
bool isModified() const {
return OverwritesRemoved > 0 || RedundantWritesRemoved > 0 ||
- DeadAccessesRemoved > 0 || DeadInstructionsRemoved > 0 ||
- StmtsRemoved > 0;
+ EmptyPartialAccessesRemoved > 0 || DeadAccessesRemoved > 0 ||
+ DeadInstructionsRemoved > 0 || StmtsRemoved > 0;
}
MemoryAccess *getReadAccessForValue(ScopStmt *Stmt, llvm::Value *Val) {
@@ -319,6 +324,33 @@ private:
TotalStmtsRemoved += StmtsRemoved;
}
+ /// Remove accesses that have an empty domain.
+ void removeEmptyPartialAccesses() {
+ for (ScopStmt &Stmt : *S) {
+ // Defer the actual removal to not invalidate iterators.
+ SmallVector<MemoryAccess *, 8> DeferredRemove;
+
+ for (MemoryAccess *MA : Stmt) {
+ if (!MA->isWrite())
+ continue;
+
+ isl::map AccRel = give(MA->getAccessRelation());
+ if (!AccRel.is_empty().is_true())
+ continue;
+
+ DEBUG(dbgs() << "Removing " << MA
+ << " because it's a partial access that never occurs\n");
+ DeferredRemove.push_back(MA);
+ }
+
+ for (MemoryAccess *MA : DeferredRemove) {
+ Stmt.removeSingleMemoryAccess(MA);
+ EmptyPartialAccessesRemoved++;
+ TotalEmptyPartialAccessesRemoved++;
+ }
+ }
+ }
+
/// Mark all reachable instructions and access, and sweep those that are not
/// reachable.
void markAndSweep(LoopInfo *LI) {
@@ -380,6 +412,8 @@ private:
<< '\n';
OS.indent(Indent + 4) << "Redundant writes removed: "
<< RedundantWritesRemoved << "\n";
+ OS.indent(Indent + 4) << "Access with empty domains removed: "
+ << EmptyPartialAccessesRemoved << "\n";
OS.indent(Indent + 4) << "Dead accesses removed: " << DeadAccessesRemoved
<< '\n';
OS.indent(Indent + 4) << "Dead instructions removed: "
@@ -424,6 +458,9 @@ public:
DEBUG(dbgs() << "Removing redundant writes...\n");
removeRedundantWrites();
+ DEBUG(dbgs() << "Removing partial writes that never happen...\n");
+ removeEmptyPartialAccesses();
+
DEBUG(dbgs() << "Cleanup unused accesses...\n");
LoopInfo *LI = &getAnalysis<LoopInfoWrapperPass>().getLoopInfo();
markAndSweep(LI);
@@ -456,6 +493,7 @@ public:
OverwritesRemoved = 0;
RedundantWritesRemoved = 0;
+ EmptyPartialAccessesRemoved = 0;
DeadAccessesRemoved = 0;
DeadInstructionsRemoved = 0;
StmtsRemoved = 0;
Added: polly/trunk/test/Simplify/emptyaccessdomain.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Simplify/emptyaccessdomain.ll?rev=308830&view=auto
==============================================================================
--- polly/trunk/test/Simplify/emptyaccessdomain.ll (added)
+++ polly/trunk/test/Simplify/emptyaccessdomain.ll Sat Jul 22 13:33:09 2017
@@ -0,0 +1,38 @@
+; RUN: opt %loadPolly -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-simplify -analyze < %s | FileCheck %s -match-full-lines
+;
+; for (int j = 0; j < n; j += 1) {
+; A[0] = 42.0;
+; }
+;
+define void @emptyaccessdomain(i32 %n, double* noalias nonnull %A) {
+entry:
+ br label %for
+
+for:
+ %j = phi i32 [0, %entry], [%j.inc, %inc]
+ %j.cmp = icmp slt i32 %j, %n
+ br i1 %j.cmp, label %body, label %exit
+
+ body:
+ store double 42.0, double* %A
+ br label %inc
+
+inc:
+ %j.inc = add nuw nsw i32 %j, 1
+ br label %for
+
+exit:
+ br label %return
+
+return:
+ ret void
+}
+
+
+; CHECK: Statistics {
+; CHECK: Overwrites removed: 1
+; CHECK: Stmts removed: 1
+; CHECK: }
+
+; CHECK: After accesses {
+; CHECK-NEXT: }
Added: polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Simplify/emptyaccessdomain___%25for---%25return.jscop?rev=308830&view=auto
==============================================================================
--- polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop (added)
+++ polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop Sat Jul 22 13:33:09 2017
@@ -0,0 +1,24 @@
+{
+ "arrays" : [
+ {
+ "name" : "MemRef_A",
+ "sizes" : [ "*" ],
+ "type" : "double"
+ }
+ ],
+ "context" : "[n] -> { : -2147483648 <= n <= 2147483647 }",
+ "name" : "%for---%return",
+ "statements" : [
+ {
+ "accesses" : [
+ {
+ "kind" : "write",
+ "relation" : "[n] -> { Stmt_body[i0] -> MemRef_A[0] }"
+ }
+ ],
+ "domain" : "[n] -> { Stmt_body[i0] : 0 <= i0 < n }",
+ "name" : "Stmt_body",
+ "schedule" : "[n] -> { Stmt_body[i0] -> [i0] }"
+ }
+ ]
+}
Added: polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop.transformed
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Simplify/emptyaccessdomain___%25for---%25return.jscop.transformed?rev=308830&view=auto
==============================================================================
--- polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop.transformed (added)
+++ polly/trunk/test/Simplify/emptyaccessdomain___%for---%return.jscop.transformed Sat Jul 22 13:33:09 2017
@@ -0,0 +1,24 @@
+{
+ "arrays" : [
+ {
+ "name" : "MemRef_A",
+ "sizes" : [ "*" ],
+ "type" : "double"
+ }
+ ],
+ "context" : "[n] -> { : -2147483648 <= n <= 2147483647 }",
+ "name" : "%for---%return",
+ "statements" : [
+ {
+ "accesses" : [
+ {
+ "kind" : "write",
+ "relation" : "[n] -> { Stmt_body[i0] -> MemRef_A[0] : 1 = 0 }"
+ }
+ ],
+ "domain" : "[n] -> { Stmt_body[i0] : 0 <= i0 < n }",
+ "name" : "Stmt_body",
+ "schedule" : "[n] -> { Stmt_body[i0] -> [i0] }"
+ }
+ ]
+}
More information about the llvm-commits
mailing list