diff options
| -rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 5 | ||||
| -rw-r--r-- | polly/test/ScopInfo/isl_trip_count_01.ll | 2 | ||||
| -rw-r--r-- | polly/test/ScopInfo/isl_trip_count_02.ll | 2 |
3 files changed, 2 insertions, 7 deletions
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index 353de5e7d01..e2fcaf09dcd 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -156,11 +156,6 @@ static cl::opt<bool> 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; diff --git a/polly/test/ScopInfo/isl_trip_count_01.ll b/polly/test/ScopInfo/isl_trip_count_01.ll index f180fb92a95..0b63975c08a 100644 --- a/polly/test/ScopInfo/isl_trip_count_01.ll +++ b/polly/test/ScopInfo/isl_trip_count_01.ll @@ -1,4 +1,4 @@ -; 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 } ; diff --git a/polly/test/ScopInfo/isl_trip_count_02.ll b/polly/test/ScopInfo/isl_trip_count_02.ll index b64bbb0f0f4..7fd1cbb25eb 100644 --- a/polly/test/ScopInfo/isl_trip_count_02.ll +++ b/polly/test/ScopInfo/isl_trip_count_02.ll @@ -1,4 +1,4 @@ -; 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. ; |
