[polly] r307401 - [NFC] [PPCGCodeGeneration] Extend `invariant-load-hoisting-with-variable-upper-bound` test case.

[Siddharth Bhat via llvm-commits]

Author: bollu
Date: Fri Jul  7 07:02:27 2017
New Revision: 307401

URL: http://llvm.org/viewvc/llvm-project?rev=307401&view=rev
Log:
[NFC] [PPCGCodeGeneration] Extend `invariant-load-hoisting-with-variable-upper-bound` test case.

- Check that we have invariant accesses.
- Use `-polly-use-llvm-names` for better names in the test.
- Rename test function to `f` for brevity.

Modified:
    polly/trunk/test/GPGPU/invariant-load-hoisting-with-variable-upper-bound.ll

Modified: polly/trunk/test/GPGPU/invariant-load-hoisting-with-variable-upper-bound.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/GPGPU/invariant-load-hoisting-with-variable-upper-bound.ll?rev=307401&r1=307400&r2=307401&view=diff
==============================================================================
--- polly/trunk/test/GPGPU/invariant-load-hoisting-with-variable-upper-bound.ll (original)
+++ polly/trunk/test/GPGPU/invariant-load-hoisting-with-variable-upper-bound.ll Fri Jul  7 07:02:27 2017
@@ -1,12 +1,17 @@
-; RUN: opt %loadPolly -analyze  -polly-scops  -polly-invariant-load-hoisting < %s | FileCheck %s -check-prefix=SCOP
-; RUN: opt %loadPolly -S  -polly-codegen-ppcg -polly-invariant-load-hoisting < %s | FileCheck %s -check-prefix=HOST-IR
+; RUN: opt %loadPolly -analyze -polly-use-llvm-names -polly-scops -polly-invariant-load-hoisting < %s | FileCheck %s -check-prefix=SCOP
+; RUN: opt %loadPolly -S -polly-use-llvm-names -polly-codegen-ppcg -polly-invariant-load-hoisting < %s | FileCheck %s -check-prefix=HOST-IR
 
 ; REQUIRES: pollyacc
 
-; Check that we detect a scop.
-; SCOP:      Function: breakInvaritantLoadHoisting
+; Check that we detect a scop with invariant accesses.
+; SCOP:      Function: f
 ; SCOP-NEXT: Region: %entry.split---%for.end
 ; SCOP-NEXT: Max Loop Depth:  1
+; SCOP-NEXT: Invariant Accesses: {
+; SCOP-NEXT:         ReadAccess :=	[Reduction Type: NONE] [Scalar: 0]
+; SCOP-NEXT:             [tmp2] -> { Stmt_for_body[i0] -> MemRef_idx[0] };
+; SCOP-NEXT:         Execution Context: [tmp2] -> {  :  }
+; SCOP-NEXT: }
 
 ; Check that kernel launch is generated in host IR.
 ; the declare would not be generated unless a call to a kernel exists.
@@ -14,7 +19,7 @@
 
 ; Check if we generate GPU code for simple loop with variable upper bound.
 ; This always worked, but have this test to prevent regressions.
-;    void breakInvaritantLoadHoisting(int *idx, int *arr) {
+;    void f(int *idx, int *arr) {
 ;      for (int i = 0; i < *idx; i++) {
 ;        arr[i] = 0;
 ;      }
@@ -22,7 +27,7 @@
 ;
 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
 
-define void @breakInvaritantLoadHoisting(i32* %idx, i32* %arr) {
+define void @f(i32* %idx, i32* %arr) {
 entry:
   br label %entry.split