1*35f70200SMichael Kruse; RUN: opt %loadPolly -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-codegen -S < %s | FileCheck %s 2*35f70200SMichael Kruse; 3*35f70200SMichael Kruse; Partial write of an array access. 4*35f70200SMichael Kruse; 5*35f70200SMichael Kruse; for (int j = 0; j < n; j += 1) 6*35f70200SMichael Kruse; A[0] = 42.0 7*35f70200SMichael Kruse; 8*35f70200SMichael Kruse 9*35f70200SMichael Krusedefine void @partial_write_array(i32 %n, double* noalias nonnull %A) { 10*35f70200SMichael Kruseentry: 11*35f70200SMichael Kruse br label %for 12*35f70200SMichael Kruse 13*35f70200SMichael Krusefor: 14*35f70200SMichael Kruse %j = phi i32 [0, %entry], [%j.inc, %inc] 15*35f70200SMichael Kruse %j.cmp = icmp slt i32 %j, %n 16*35f70200SMichael Kruse br i1 %j.cmp, label %body, label %exit 17*35f70200SMichael Kruse 18*35f70200SMichael Kruse body: 19*35f70200SMichael Kruse store double 42.0, double* %A 20*35f70200SMichael Kruse br label %inc 21*35f70200SMichael Kruse 22*35f70200SMichael Kruseinc: 23*35f70200SMichael Kruse %j.inc = add nuw nsw i32 %j, 1 24*35f70200SMichael Kruse br label %for 25*35f70200SMichael Kruse 26*35f70200SMichael Kruseexit: 27*35f70200SMichael Kruse br label %return 28*35f70200SMichael Kruse 29*35f70200SMichael Krusereturn: 30*35f70200SMichael Kruse ret void 31*35f70200SMichael Kruse} 32*35f70200SMichael Kruse 33*35f70200SMichael Kruse 34*35f70200SMichael Kruse; CHECK: polly.stmt.body: 35*35f70200SMichael Kruse; CHECK-NEXT: %1 = icmp sge i64 %polly.indvar, 5 36*35f70200SMichael Kruse; CHECK-NEXT: %polly.Stmt_body_Write0.cond = icmp ne i1 %1, false 37*35f70200SMichael Kruse; CHECK-NEXT: br i1 %polly.Stmt_body_Write0.cond, label %polly.stmt.body.Stmt_body_Write0.partial, label %polly.stmt.body.cont 38*35f70200SMichael Kruse 39*35f70200SMichael Kruse; CHECK: polly.stmt.body.Stmt_body_Write0.partial: 40*35f70200SMichael Kruse; CHECK-NEXT: %polly.access.A = getelementptr double, double* %A, i64 0 41*35f70200SMichael Kruse; CHECK-NEXT: store double 4.200000e+01, double* %polly.access.A, align 8, !alias.scope !0, !noalias !3 42*35f70200SMichael Kruse; CHECK-NEXT: br label %polly.stmt.body.cont 43*35f70200SMichael Kruse 44*35f70200SMichael Kruse; CHECK: polly.stmt.body.cont: 45