[LLVMdev] [POLLY] fix Bug 15817

Sebastian Pop
Fri, 31 May 2013 16:46:24 -0000

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