38 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<import-jscop;codegen>' -polly-import-jscop-postfix=transformed -S < %s | FileCheck %s2;3; Partial write, where "partial" is the empty set.4; The store is never executed in this case and we do generate it in the5; first place.6;7; for (int j = 0; j < n; j += 1)8; A[0] = 42.09;10 11define void @partial_write_emptyset(i32 %n, ptr noalias nonnull %A) {12entry:13 br label %for14 15for:16 %j = phi i32 [0, %entry], [%j.inc, %inc]17 %j.cmp = icmp slt i32 %j, %n18 br i1 %j.cmp, label %body, label %exit19 20 body:21 store double 42.0, ptr %A22 br label %inc23 24inc:25 %j.inc = add nuw nsw i32 %j, 126 br label %for27 28exit:29 br label %return30 31return:32 ret void33}34 35 36; CHECK-LABEL: polly.stmt.body:37; CHECK-NOT: store38