[polly] r249411 - test: sdiv in loop bounds is supported since a while

Tobias Grosser via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 6 07:59:31 PDT 2015


Author: grosser
Date: Tue Oct  6 09:59:31 2015
New Revision: 249411

URL: http://llvm.org/viewvc/llvm-project?rev=249411&view=rev
Log:
test: sdiv in loop bounds is supported since a while

By disabling our scop-profitability heuristics this becomes also visible in some
older test cases.

Modified:
    polly/trunk/test/Isl/CodeGen/inner_scev_sdiv_in_lb.ll

Modified: polly/trunk/test/Isl/CodeGen/inner_scev_sdiv_in_lb.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/inner_scev_sdiv_in_lb.ll?rev=249411&r1=249410&r2=249411&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/inner_scev_sdiv_in_lb.ll (original)
+++ polly/trunk/test/Isl/CodeGen/inner_scev_sdiv_in_lb.ll Tue Oct  6 09:59:31 2015
@@ -1,13 +1,10 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -S -polly-codegen < %s | FileCheck %s --check-prefix=CODEGEN
+; RUN: opt %loadPolly -polly-detect-unprofitable \
+; RUN:     -polly-scops -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-detect-unprofitable -polly-no-early-exit \
+; RUN:      -S -polly-codegen < %s | FileCheck %s --check-prefix=CODEGEN
 ;
-; TODO: This is a negative test.
-;
-;       Once we use isl to come up with loop bounds this should work
-;       and hopefully not break 
-;
-; CHECK-NOT: Valid Region
-; CODEGEN-NOT: polly
+; CHECK: [N] -> { Stmt_bb11[i0, i1] : i0 <= -1 + N and i1 >= 0 and 3i1 <= -3 + i0 };
+; CODEGEN: polly
 ;
 ;    void f(int *A, int N) {
 ;      for (int i = 0; i < N; i++)




More information about the llvm-commits mailing list