[polly] r275189 - Add CHECK line to test case. NFC.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Tue Jul 12 11:37:50 2016
New Revision: 275189

URL: http://llvm.org/viewvc/llvm-project?rev=275189&view=rev
Log:
Add CHECK line to test case. NFC.

Check not only that the compiler is not crashing, but also whether the
probablematic part (The sequence of instructions simplified to '4') is reflected
in the output.

Thanks to Tobias for the hint.

Modified:
    polly/trunk/test/ScopInfo/scev-div-with-evaluatable-divisor.ll

Modified: polly/trunk/test/ScopInfo/scev-div-with-evaluatable-divisor.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/scev-div-with-evaluatable-divisor.ll?rev=275189&r1=275188&r2=275189&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/scev-div-with-evaluatable-divisor.ll (original)
+++ polly/trunk/test/ScopInfo/scev-div-with-evaluatable-divisor.ll Tue Jul 12 11:37:50 2016
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-scops -analyze < %s
+; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
 
 ; Derived from test-suite/SingleSource/UnitTests/Vector/SSE/sse.stepfft.c
 
@@ -9,7 +9,7 @@ target datalayout = "e-m:e-i64:64-f80:12
 target triple = "x86_64-unknown-linux-gnu"
 
 ; Function Attrs: nounwind uwtable
-define void @cfft2(i32 %n) local_unnamed_addr #0 {
+define void @cfft2(i32 %n, double* %A) local_unnamed_addr #0 {
 entry:
   br i1 undef, label %for.body.lr.ph, label %for.end
 
@@ -38,6 +38,7 @@ for.body.i58.us:
   br i1 undef, label %for.inc, label %for.body.i58.us
 
 for.body.i58:                                     ; preds = %for.body.i58, %for.body.i58.preheader
+  store double 0.0, double* %A
   %exitcond42 = icmp eq i32 0, %div.i45
   br i1 %exitcond42, label %for.inc, label %for.body.i58
 
@@ -53,3 +54,7 @@ attributes #0 = { nounwind uwtable "disa
 !llvm.ident = !{!0}
 
 !0 = !{!"clang version 3.9.0 (trunk 273249) (llvm/trunk 273255)"}
+
+; CHECK-LABEL: Stmt_for_body_i58
+; CHECK-NEXT:      Domain :=
+; CHECK-NEXT:          [n] -> { Stmt_for_body_i58[0] : -3 <= n <= 3 };