38 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -polly-invariant-load-hoisting=true -polly-parallel -polly-parallel-force -S < %s | FileCheck %s2;3; Test to verify that we hand down the preloaded A[0] to the OpenMP subfunction.4;5; void f(float *A) {6; for (int i = 1; i < 1000; i++)7; A[i] += /* split bb */ A[0];8; }9; A[0] tmp (unused) A10; CHECK: %polly.par.userContext = alloca { float, ptr, ptr }11;12; CHECK: %polly.subfn.storeaddr.polly.access.A.load = getelementptr inbounds13; CHECK: store float %polly.access.A.load, ptr %polly.subfn.storeaddr.polly.access.A.load14;15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"16 17define void @f(ptr nocapture %A) {18entry:19 br label %for.body20 21for.cond.cleanup: ; preds = %for.body22 ret void23 24for.body: ; preds = %for.body, %entry25 %indvars.iv = phi i64 [ 1, %entry ], [ %indvars.iv.next, %for.body.split ]26 %tmp = load float, ptr %A, align 427 br label %for.body.split28 29for.body.split:30 %arrayidx1 = getelementptr inbounds float, ptr %A, i64 %indvars.iv31 %tmp1 = load float, ptr %arrayidx1, align 432 %add = fadd float %tmp, %tmp133 store float %add, ptr %arrayidx1, align 434 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 135 %exitcond = icmp eq i64 %indvars.iv.next, 100036 br i1 %exitcond, label %for.cond.cleanup, label %for.body37}38