39 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S < %s | FileCheck %s2;3; The entry of this scop's simple region (entry.split => for.end) has an trivial4; PHI node that is used in a different of the scop region. LCSSA may create such5; PHI nodes. This is a breakdown of this case in the function 'mp_unexp_sub' of6; pifft from LLVM's test-suite.7;8target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"9 10define void @test(i64 %n, ptr noalias nonnull %A, float %a) {11entry:12 br label %entry.split13 14; CHECK-LABEL: polly.start:15; CHECK: store float %a, ptr %b.phiops16 17entry.split:18 %b = phi float [ %a, %entry ]19 %cmp2 = icmp slt i64 %n, 520 br i1 %cmp2, label %for.cond, label %for.end21 22for.cond: ; preds = %for.inc, %entry23 %i.0 = phi i64 [ 0, %entry.split ], [ %add, %for.inc ]24 %cmp = icmp slt i64 %i.0, %n25 br i1 %cmp, label %for.body, label %for.end26 27for.body: ; preds = %for.cond28 %arrayidx = getelementptr inbounds float, ptr %A, i64 %i.029 store float %b, ptr %arrayidx, align 430 br label %for.inc31 32for.inc: ; preds = %for.body33 %add = add nuw nsw i64 %i.0, 134 br label %for.cond35 36for.end: ; preds = %for.cond37 ret void38}39