1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-import-jscop,print<polly-simplify>' -polly-import-jscop-postfix=transformed -disable-output < %s | FileCheck -match-full-lines %s 2; 3; Do not combine stores that write different values. 4; 5; for (int j = 0; j < n; j += 1) { 6; A[0] = 21.0; 7; A[0] = 42.0; 8; } 9; 10define void @nocoalesce_differentvalues(i32 %n, ptr noalias nonnull %A) { 11entry: 12 br label %for 13 14for: 15 %j = phi i32 [0, %entry], [%j.inc, %inc] 16 %j.cmp = icmp slt i32 %j, %n 17 br i1 %j.cmp, label %body, label %exit 18 19 body: 20 store double 21.0, ptr %A 21 store double 42.0, ptr %A 22 br label %inc 23 24inc: 25 %j.inc = add nuw nsw i32 %j, 1 26 br label %for 27 28exit: 29 br label %return 30 31return: 32 ret void 33} 34 35 36; CHECK: Statistics { 37; CHECK: Overwrites removed: 0 38; CHECK: Partial writes coalesced: 0 39; CHECK: } 40 41; CHECK: SCoP could not be simplified 42