[polly] r249414 - test: Disable profitability heuristics to unfail LICM test case
Tobias Grosser via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 6 08:10:19 PDT 2015
Author: grosser
Date: Tue Oct 6 10:10:19 2015
New Revision: 249414
URL: http://llvm.org/viewvc/llvm-project?rev=249414&view=rev
Log:
test: Disable profitability heuristics to unfail LICM test case
This test case was XFAILed under the assumption Polly is unable to detect the
scop. However, disabling Polly's profitability heuristics is sufficient to
detect this scop.
Modified:
polly/trunk/test/ScopInfo/licm_potential_store.ll
Modified: polly/trunk/test/ScopInfo/licm_potential_store.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/licm_potential_store.ll?rev=249414&r1=249413&r2=249414&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/licm_potential_store.ll (original)
+++ polly/trunk/test/ScopInfo/licm_potential_store.ll Tue Oct 6 10:10:19 2015
@@ -1,11 +1,15 @@
-; RUN: opt %loadPolly -basicaa -sroa -instcombine -simplifycfg -tailcallopt -simplifycfg -reassociate -loop-rotate -instcombine -indvars -polly-prepare -print-function -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -basicaa -sroa -instcombine -simplifycfg -tailcallopt -simplifycfg -reassociate -loop-rotate -instcombine -indvars -licm -polly-prepare -print-function -polly-scops -analyze < %s | FileCheck %s
-;
-; XFAIL: *
-;
-; This one doesn't even detext scops without LICM. Interestingly clang with
-; --polly-position=early does.
-;
+; RUN: opt %loadPolly -basicaa -sroa -instcombine -simplifycfg -tailcallopt \
+; RUN: -simplifycfg -reassociate -loop-rotate -instcombine -indvars \
+; RUN: -polly-prepare -polly-scops -analyze < %s \
+; RUN: -polly-detect-unprofitable \
+; RUN: | FileCheck %s --check-prefix=NOLICM
+
+; RUN: opt %loadPolly -basicaa -sroa -instcombine -simplifycfg -tailcallopt \
+; RUN: -simplifycfg -reassociate -loop-rotate -instcombine -indvars -licm \
+; RUN: -polly-prepare -polly-scops -analyze < %s \
+; RUN: -polly-detect-unprofitable \
+; RUN: | FileCheck %s --check-prefix=LICM
+
; void foo(int n, float A[static const restrict n], float x) {
; // (0)
; for (int i = 0; i < 5; i += 1) {
@@ -16,7 +20,10 @@
; }
; // (4)
; }
-;
+
+; LICM: Statements
+; NOLICM: Statements
+
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @foo(i32 %n, float* noalias nonnull %A, float %x) {
More information about the llvm-commits
mailing list