[PATCH] ScopDetection: Only detect scops that have at least one read and one write

[Tobias Grosser]

REPOSITORY
  rL LLVM

================
Comment at: lib/Analysis/ScopDetection.cpp:881
@@ +880,3 @@
+  // data.
+  if (!DetectUnprofitable && (!Context.hasStores || !Context.hasLoads))
+    invalid<ReportUnprofitable>(Context, /*Assert=*/true);
----------------
sebpop wrote:
> I always questioned the necessity of double negatives: "not unprofitable" = "profitable".
> I find "profitable" easier to read.
> 
Yes, the alternative would be to call this only-profitable, but then the option would need to be '-polly-detect-only-profitable=false', which seems rather long to me.

For now, I left it as it is. Please feel free to suggest a better option.

http://reviews.llvm.org/D7735

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/