1; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -polly-parallel \
2; RUN: -polly-parallel-force -S < %s | FileCheck %s
3;
4; Test to verify that we hand down the preloaded A[0] to the OpenMP subfunction.
5;
6;    void f(float *A) {
7;      for (int i = 1; i < 1000; i++)
8;        A[i] += /* split bb */ A[0];
9;    }
10;                                           A[0]  tmp (unused)      A
11; CHECK: %polly.par.userContext = alloca { float,    float*,     float* }
12;
13; CHECK:  %polly.subfn.storeaddr.polly.access.A.load = getelementptr inbounds
14; CHECK:  store float %polly.access.A.load, float* %polly.subfn.storeaddr.polly.access.A.load
15;
16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
17
18define void @f(float* nocapture %A) {
19entry:
20  br label %for.body
21
22for.cond.cleanup:                                 ; preds = %for.body
23  ret void
24
25for.body:                                         ; preds = %for.body, %entry
26  %indvars.iv = phi i64 [ 1, %entry ], [ %indvars.iv.next, %for.body.split ]
27  %tmp = load float, float* %A, align 4
28  br label %for.body.split
29
30for.body.split:
31  %arrayidx1 = getelementptr inbounds float, float* %A, i64 %indvars.iv
32  %tmp1 = load float, float* %arrayidx1, align 4
33  %add = fadd float %tmp, %tmp1
34  store float %add, float* %arrayidx1, align 4
35  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
36  %exitcond = icmp eq i64 %indvars.iv.next, 1000
37  br i1 %exitcond, label %for.cond.cleanup, label %for.body
38}
39