From 9715b7c592e8f41b65fde7364296b473640303be Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Thu, 19 Mar 2015 07:39:34 +0000
Subject: [PATCH] Add forgotten 'FileCheck' to tiling test cases

These test cases did not verify the CHECK lines at all. We add the FileCheck
and also fix some broken CHECK lines. Being here, we extend the checks to
cover the whole loop structure.

llvm-svn: 232710
---
 polly/test/ScheduleOptimizer/line-tiling-2.ll      | 12 +++++++-----
 polly/test/ScheduleOptimizer/line-tiling.ll        | 12 +++++++-----
 polly/test/ScheduleOptimizer/rectangular-tiling.ll | 14 ++++++++------
 3 files changed, 22 insertions(+), 16 deletions(-)

diff --git a/polly/test/ScheduleOptimizer/line-tiling-2.ll b/polly/test/ScheduleOptimizer/line-tiling-2.ll
index d7584bdd296b..9c1ebadd966c 100644
--- a/polly/test/ScheduleOptimizer/line-tiling-2.ll
+++ b/polly/test/ScheduleOptimizer/line-tiling-2.ll
@@ -1,8 +1,10 @@
-; RUN: opt %loadPolly -polly-detect-unprofitable -polly-opt-isl -analyze -polly-no-tiling=0 -polly-ast -polly-tile-sizes=1,64 < %s
-; CHECK: c0 += 1
-; CHECK: c1 += 64
-; CHECK: c1 <= c1 + 63
-; ModuleID = 'line-tiling-2.ll'
+; RUN: opt %loadPolly -polly-detect-unprofitable -polly-opt-isl -analyze -polly-no-tiling=0 -polly-ast -polly-tile-sizes=1,64 < %s | FileCheck %s
+
+; CHECK: for (int c0 = 0; c0 <= 1023; c0 += 1)
+; CHECK:   for (int c1 = 0; c1 <= 511; c1 += 64)
+; CHECK:     for (int c3 = c1; c3 <= c1 + 63; c3 += 1)
+; CHECK:       Stmt_for_body3(c0, c3);
+
 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
 
 ; Function Attrs: nounwind
diff --git a/polly/test/ScheduleOptimizer/line-tiling.ll b/polly/test/ScheduleOptimizer/line-tiling.ll
index fcdeae1ab28a..348a606ed78b 100644
--- a/polly/test/ScheduleOptimizer/line-tiling.ll
+++ b/polly/test/ScheduleOptimizer/line-tiling.ll
@@ -1,8 +1,10 @@
-; RUN: opt %loadPolly -polly-detect-unprofitable -polly-opt-isl -analyze -polly-no-tiling=0 -polly-ast -polly-tile-sizes=64,1 < %s
-; CHECK: c0 += 64
-; CHECK: c1 += 1
-; CHECK: c0 <= c0 + 63
-; ModuleID = 'line-tiling.ll'
+; RUN: opt %loadPolly -polly-detect-unprofitable -polly-opt-isl -analyze -polly-no-tiling=0 -polly-ast -polly-tile-sizes=64,1 < %s | FileCheck %s
+
+; CHECK: for (int c0 = 0; c0 <= 1023; c0 += 64)
+; CHECK:   for (int c1 = 0; c1 <= 511; c1 += 1)
+; CHECK:     for (int c2 = c0; c2 <= c0 + 63; c2 += 1)
+; CHECK:       Stmt_for_body3(c2, c1);
+
 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
 
 ; Function Attrs: nounwind
diff --git a/polly/test/ScheduleOptimizer/rectangular-tiling.ll b/polly/test/ScheduleOptimizer/rectangular-tiling.ll
index 29298bdd97ff..52390a8935c7 100644
--- a/polly/test/ScheduleOptimizer/rectangular-tiling.ll
+++ b/polly/test/ScheduleOptimizer/rectangular-tiling.ll
@@ -1,9 +1,11 @@
-; RUN: opt %loadPolly -polly-detect-unprofitable -polly-opt-isl -analyze -polly-no-tiling=0 -polly-ast -polly-tile-sizes=256,16 < %s
-; CHECK: c0 += 256
-; CHECK: c1 += 16
-; CHECK: c0 <= c0 + 255
-; CHECK: c1 <= c1 + 15
-; ModuleID = 'rectangular-tiling.ll'
+; RUN: opt %loadPolly -polly-detect-unprofitable -polly-opt-isl -analyze -polly-no-tiling=0 -polly-ast -polly-tile-sizes=256,16 < %s | FileCheck %s
+
+; CHECK: for (int c0 = 0; c0 <= 1023; c0 += 256)
+; CHECK:   for (int c1 = 0; c1 <= 511; c1 += 16)
+; CHECK:     for (int c2 = c0; c2 <= c0 + 255; c2 += 1)
+; CHECK:       for (int c3 = c1; c3 <= c1 + 15; c3 += 1)
+; CHECK:         Stmt_for_body3(c2, c3);
+
 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
 
 ; Function Attrs: nounwind