51 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -disable-output < %s 2>&1 | FileCheck %s2;3; CHECK: Region: %entry.split---%if.end4; CHECK: Invariant Accesses: {5; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]6; CHECK: [y, p_1_loaded_from_j] -> { Stmt_for_body[i0] -> MemRef_j[0] };7; CHECK: Execution Context: [y, p_1_loaded_from_j] -> { : }8; CHECK: }9 10; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]11; CHECK: [y, p_1_loaded_from_j] -> { Stmt_for_body5[i0] -> MemRef_p[p_1_loaded_from_j + i0] };12; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]13; CHECK: [y, p_1_loaded_from_j] -> { Stmt_for_body[i0] -> MemRef_p[p_1_loaded_from_j + i0] };14 15 16define void @a(i32 %y, ptr nocapture %p, ptr nocapture readonly %j) local_unnamed_addr #0 {17entry:18 br label %entry.split19 20entry.split:21 %tobool = icmp eq i32 %y, 022 br i1 %tobool, label %for.body5, label %for.body23 24for.body:25 %i.024 = phi i32 [ %inc, %for.body ], [ 0, %entry.split ]26 %0 = load i32, ptr %j, align 427 %add = add nsw i32 %0, %i.02428 %idxprom = sext i32 %add to i6429 %arrayidx = getelementptr inbounds i32, ptr %p, i64 %idxprom30 store i32 %i.024, ptr %arrayidx, align 431 %inc = add nuw nsw i32 %i.024, 132 %exitcond26 = icmp eq i32 %inc, 1000033 br i1 %exitcond26, label %if.end, label %for.body34 35for.body5:36 %i1.023 = phi i32 [ %inc10, %for.body5 ], [ 0, %entry.split ]37 %mul = shl nsw i32 %i1.023, 138 %1 = load i32, ptr %j, align 439 %add6 = add nsw i32 %1, %i1.02340 %idxprom7 = sext i32 %add6 to i6441 %arrayidx8 = getelementptr inbounds i32, ptr %p, i64 %idxprom742 store i32 %mul, ptr %arrayidx8, align 443 %inc10 = add nuw nsw i32 %i1.023, 144 %exitcond = icmp eq i32 %inc10, 1000045 br i1 %exitcond, label %if.end, label %for.body546 47if.end:48 ret void49}50 51