39 lines · plain
1; RUN: opt %loadNPMPolly -polly-analyze-read-only-scalars=false '-passes=polly<no-default-opts>' -S < %s | FileCheck %s2; RUN: opt %loadNPMPolly -polly-analyze-read-only-scalars=true '-passes=polly<no-default-opts>' -S < %s | FileCheck %s -check-prefix=SCALAR3 4; CHECK-NOT: alloca5 6; SCALAR-LABEL: entry:7; SCALAR-NEXT: %scalar.s2a = alloca float8 9; SCALAR-LABEL: polly.start:10; SCALAR-NEXT: store float %scalar, ptr %scalar.s2a11 12; SCALAR-LABEL: polly.stmt.stmt1:13; SCALAR-NEXT: %scalar.s2a.reload = load float, ptr %scalar.s2a14; SCALAR-NEXT: %val_p_scalar_ = load float, ptr %A,15; SCALAR-NEXT: %p_sum = fadd float %val_p_scalar_, %scalar.s2a.reload16 17define void @foo(ptr noalias %A, float %scalar) {18entry:19 br label %loop20 21loop:22 %indvar = phi i64 [0, %entry], [%indvar.next, %loop.backedge]23 br label %stmt124 25stmt1:26 %val = load float, ptr %A27 %sum = fadd float %val, %scalar28 store float %sum, ptr %A29 br label %loop.backedge30 31loop.backedge:32 %indvar.next = add i64 %indvar, 133 %cond = icmp sle i64 %indvar, 10034 br i1 %cond, label %loop, label %exit35 36exit:37 ret void38}39