-; 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.
; 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;
; }
;
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