[LLVMdev] [POLLY] fix Bug 15817
Sebastian Pop
spop at codeaurora.org
Fri May 31 09:46:24 PDT 2013
Jack Howarth wrote:
> The attached patch eliminates http://llvm.org/bugs/show_bug.cgi?id=15817 by removing the remaining
> "; XFAIL:*" added in http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130415/171812.html.
> The Isl/CodeGen/scevcodegen-1.ll testcase in polly appears as an XPASS in current llvm/polly 3.3
> and trunk svn for both x86_64-apple-darwin* and x86_64 Fedora 15 when built against isl 0.11.1/2 and
> cloog 0.18.0. The attached patch eliminates this unexpected XPASS seen with newer isl/cloog.
> Jack
> Index: test/Isl/CodeGen/scevcodegen-1.ll
> ===================================================================
> --- test/Isl/CodeGen/scevcodegen-1.ll (revision 182998)
> +++ test/Isl/CodeGen/scevcodegen-1.ll (working copy)
> @@ -1,7 +1,6 @@
> ; RUN: opt %loadPolly -polly-codegen-isl -polly-codegen-scev %s
> ; -polly-independent causes: Cannot generate independent blocks
> ;
> -; XFAIL:*
> target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
> target triple = "x86_64-unknown-linux-gnu"
>
If I remove that XFAIL the testcase is ICEing on my ARM laptop with:
opt: ../tools/polly/lib/Analysis/ScopDetection.cpp:353: bool polly::ScopDetection::isValidInstruction(llvm::Instruction&, polly::ScopDetection::DetectionContext&) const: Assertion `!Context.Verifying && "IndVar"' failed.
Sebastian
--
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum,
hosted by The Linux Foundation
More information about the llvm-dev
mailing list