[polly] r310980 - [Polly] XFAIL ReportLoopHasNoExit tests after r310940

[Jakub Kuderski via llvm-commits]

Author: kuhar
Date: Tue Aug 15 17:18:39 2017
New Revision: 310980

URL: http://llvm.org/viewvc/llvm-project?rev=310980&view=rev
Log:
[Polly] XFAIL ReportLoopHasNoExit tests after r310940

ReportLoopHasNoExit started failing after r310940 that added
infinite loops to postdominators. The change made regions not
contain infinite loops anymore.

This patch unbreaks the polly tree by XFAILING the
ReportLoopHasNoExit test. Full fix is under review in D36776.

Modified:
    polly/trunk/test/ScopDetectionDiagnostics/ReportLoopHasNoExit.ll

Modified: polly/trunk/test/ScopDetectionDiagnostics/ReportLoopHasNoExit.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopDetectionDiagnostics/ReportLoopHasNoExit.ll?rev=310980&r1=310979&r2=310980&view=diff
==============================================================================
--- polly/trunk/test/ScopDetectionDiagnostics/ReportLoopHasNoExit.ll (original)
+++ polly/trunk/test/ScopDetectionDiagnostics/ReportLoopHasNoExit.ll Tue Aug 15 17:18:39 2017
@@ -1,3 +1,9 @@
+; XFAIL: *
+
+; The test case stopped making sense after r310940 that added infinite loops to
+; the PostDominatorTree. Infinite loops are postdominated ony by the virtual
+; root, which causes them not to appear in regions in ScopDetection anymore.
+
 ; RUN: opt %loadPolly -pass-remarks-missed="polly-detect" -polly-allow-nonaffine-loops -analyze  -polly-detect < %s 2>&1 | FileCheck %s
 ; RUN: opt %loadPolly -pass-remarks-missed="polly-detect" -polly-allow-nonaffine-loops=false -analyze  -polly-detect < %s 2>&1 | FileCheck %s