41 lines · plain
1; RUN: opt %loadNPMPolly -polly-import-jscop-postfix=transformed '-passes=polly-custom<import-jscop;simplify>' -polly-print-import-jscop -polly-print-simplify -disable-output < %s | FileCheck %s -match-full-lines2;3; Remove a redundant store, if its partial domain is a subset of the4; read's domain.5;6define void @redundant_partialwrite(i32 %n, ptr noalias nonnull %A) {7entry:8 br label %for9 10for:11 %j = phi i32 [0, %entry], [%j.inc, %inc]12 %j.cmp = icmp slt i32 %j, %n13 br i1 %j.cmp, label %body, label %exit14 15 body:16 %val = load double, ptr %A17 store double %val, ptr %A18 br label %inc19 20inc:21 %j.inc = add nuw nsw i32 %j, 122 br label %for23 24exit:25 br label %return26 27return:28 ret void29}30 31 32; Check successful import.33; CHECK: new: [n] -> { Stmt_body[i0] -> MemRef_A[0] : i0 <= 15 };34 35; CHECK: Statistics {36; CHECK: Redundant writes removed: 137; CHECK: }38 39; CHECK: After accesses {40; CHECK-NEXT: }41