Remove unused flag polly-allow-non-scev-backedge-taken-count

[chrisj]

Summary

Drop an unused flag polly-allow-non-scev-backedge-taken-count and also its occurences from the tests.

[grosser]

Hi Chris,

this one looks good. Please feel free to commit (or let me know if this needs to be committed for you).

Best,
Tobias

polly/trunk/lib/Analysis/ScopDetection.cpp

PollyDelinearizeX("polly-delinearize",
                       cl::ZeroOrMore, cl::init(true), cl::cat(PollyCategory));
 
 static cl::opt<bool>
     VerifyScops("polly-detect-verify",
                 cl::desc("Verify the detected SCoPs after each transformation"),
                 cl::Hidden, cl::init(false), cl::ZeroOrMore,
                 cl::cat(PollyCategory));
 
-static cl::opt<bool> AllowNonSCEVBackedgeTakenCount(
-    "polly-allow-non-scev-backedge-taken-count",
-    cl::desc("Allow loops even if SCEV cannot provide a trip count"),
-    cl::Hidden, cl::init(true), cl::ZeroOrMore, cl::cat(PollyCategory));
-
 /// @brief The minimal trip count under which loops are considered unprofitable.
 static const unsigned MIN_LOOP_TRIP_COUNT = 8;
 
 bool polly::PollyTrackFailures = false;
 bool polly::PollyDelinearize = false;
 StringRef polly::PollySkipFnAttr = "polly.skip.fn";
 
 //===----------------------------------------------------------------------===//

polly/trunk/test/ScopInfo/isl_trip_count_01.ll

-; RUN: opt %loadPolly -polly-allow-non-scev-backedge-taken-count -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
 ;
 ; CHECK: [M, N] -> { Stmt_while_body[i0] : i0 >= 0 and 4i0 <= -M + N; Stmt_while_body[0] : N <= -1 + M }
 ;
 ;   void f(int *A, int N, int M) {
 ;     int i = 0;
 ;     while (M <= N) {
 ;       A[i++] = 1;
 ;       M += 4;

polly/trunk/test/ScopInfo/isl_trip_count_02.ll

-; RUN: opt %loadPolly -polly-allow-non-scev-backedge-taken-count -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
 ;
 ; TODO: We do not allow unbounded loops at the moment.
 ;
 ; CHECK-NOT: Stmt_for_body
 ;
 ;   void f(int *A, int N, int M) {
 ;     for (int i = M; i > N; i++)
 ;       A[i] = i;