[PATCH] D34369: [Polly][ScopBuilder] Pass ScopStmts around instead of BasicBlocks. NFC.

Michael Kruse via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sat Jun 24 03:14:48 PDT 2017


Meinersbur added inline comments.


================
Comment at: lib/Analysis/ScopBuilder.cpp:668
+  assert(
+      !Stmt == IsExitBlock &&
+      "The exit BB is the only one that cannot be represented by a statement");
----------------
nandini12396 wrote:
> Can you please explain this to me?
The exit block is the one executed after the SCoP. It formally does not belong to the SCoP, but can have PHI nodes in it that need to be handled (MemoryAccesses to be added).

Because it does not belong to the SCoP, there is not ScopStmt for it, i.e. `Stmt` is nullptr. It is the only reason why `Stmt` could be nullptr, everything else in the SCoP should have a ScopStmt representing it.


Repository:
  rL LLVM

https://reviews.llvm.org/D34369





More information about the llvm-commits mailing list