[polly] r248669 - Add test case from llvm.org/PR17187

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Sat Sep 26 09:27:54 2015
New Revision: 248669

URL: http://llvm.org/viewvc/llvm-project?rev=248669&view=rev
Log:
Add test case from llvm.org/PR17187

The new domain construction algorithm now correctly models this test case (and
derives an empty run-time condition). Add this test case to ensure we do not
regress.

Added:
    polly/trunk/test/ScopInfo/infeasible-rtc.ll

Added: polly/trunk/test/ScopInfo/infeasible-rtc.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/infeasible-rtc.ll?rev=248669&view=auto
==============================================================================
--- polly/trunk/test/ScopInfo/infeasible-rtc.ll (added)
+++ polly/trunk/test/ScopInfo/infeasible-rtc.ll Sat Sep 26 09:27:54 2015
@@ -0,0 +1,35 @@
+; RUN: opt %loadPolly -polly-detect -analyze -polly-detect-unprofitable < %s \
+; RUN:  | FileCheck %s -check-prefix=DETECT
+
+; RUN: opt %loadPolly -polly-scops -analyze -polly-detect-unprofitable < %s \
+; RUN:  | FileCheck %s -check-prefix=SCOPS
+
+; DETECT: Valid Region for Scop: header => exit
+; SCOPS-NOT: Region: %header---%exit
+
+; Verify that we detect this scop, but that, due to an infeasible run-time
+; check, we refuse to model it.
+
+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-S128"
+
+ at A = common global [128 x i32] zeroinitializer, align 16
+
+define void @test() nounwind uwtable {
+preheader:
+  br label %header
+
+header:
+  %i = phi i7 [ 0, %preheader ], [ %i.1, %header ]
+  %tmp = zext i7 %i to i64
+  %A.addr = getelementptr [128 x i32], [128 x i32]* @A, i64 0, i64 %tmp
+  %A.load = load i32, i32* %A.addr, align 4
+  %A.inc = zext i7 %i to i32
+  %A.val = add nsw i32 %A.load, %A.inc
+  store i32 %A.val, i32* %A.addr, align 4
+  %i.1 = add i7 %i, 1
+  %exitcond = icmp eq i7 %i.1, 0
+  br i1 %exitcond, label %exit, label %header
+
+exit:
+  ret void
+}