diff options
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
| -rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index 2e1caf51b10..4ee92fcfa93 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -149,11 +149,6 @@ static cl::opt<bool> cl::Hidden, cl::init(false), cl::ZeroOrMore, cl::cat(PollyCategory)); -static cl::opt<bool> AllowUnsigned("polly-allow-unsigned", - cl::desc("Allow unsigned expressions"), - cl::Hidden, cl::init(false), cl::ZeroOrMore, - cl::cat(PollyCategory)); - static cl::opt<bool, true> TrackFailures("polly-detect-track-failures", cl::desc("Track failure strings in detecting scop regions"), @@ -385,13 +380,6 @@ bool ScopDetection::isValidBranch(BasicBlock &BB, BranchInst *BI, } ICmpInst *ICmp = cast<ICmpInst>(Condition); - // Unsigned comparisons are not allowed. They trigger overflow problems - // in the code generation. - // - // TODO: This is not sufficient and just hides bugs. However it does pretty - // well. - if (ICmp->isUnsigned() && !AllowUnsigned) - return invalid<ReportUnsignedCond>(Context, /*Assert=*/true, BI, &BB); // Are both operands of the ICmp affine? if (isa<UndefValue>(ICmp->getOperand(0)) || |
