69 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; Check that we do no introduce a parameter here that is actually not needed.4;5; CHECK: Region: %for.body58---%land.lhs.true6; CHECK-NEXT: Max Loop Depth: 07; CHECK-NEXT: Invariant Accesses: {8; CHECK-NEXT: }9; CHECK-NEXT: Context:10; CHECK-NEXT: { : }11; CHECK-NEXT: Assumed Context:12; CHECK-NEXT: { : }13; CHECK-NEXT: Invalid Context:14; CHECK-NEXT: { : false }15; CHECK: Arrays {16; CHECK-NEXT: ptr MemRef_team2_0_in; // Element size 817; CHECK-NEXT: }18; CHECK-NEXT: Arrays (Bounds as pw_affs) {19; CHECK-NEXT: ptr MemRef_team2_0_in; // Element size 820; CHECK-NEXT: }21; CHECK-NEXT: Alias Groups (0):22; CHECK-NEXT: n/a23; CHECK-NEXT: Statements {24; CHECK-NEXT: Stmt_if_then6025; CHECK-NEXT: Domain :=26; CHECK-NEXT: { Stmt_if_then60[] };27; CHECK-NEXT: Schedule :=28; CHECK-NEXT: { Stmt_if_then60[] -> [] };29; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]30; CHECK-NEXT: { Stmt_if_then60[] -> MemRef_team2_0_in[] };31; CHECK-NEXT: }32target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"33 34@sched = external global [18 x [15 x [3 x i32]]], align 1635 36; Function Attrs: nounwind uwtable37define void @common() #0 {38entry:39 br label %for.body3640 41for.body36: ; preds = %entry42 br label %for.cond56.preheader43 44for.cond56.preheader: ; preds = %for.inc158, %for.body3645 %indvars.iv78 = phi i64 [ 0, %for.inc158 ], [ 1, %for.body36 ]46 br label %for.body5847 48for.body58: ; preds = %for.cond56.preheader49 %cmp59 = icmp eq i32 1, 150 br i1 %cmp59, label %if.then60, label %if.else7151 52if.then60: ; preds = %for.body5853 %arrayidx70 = getelementptr inbounds [18 x [15 x [3 x i32]]], ptr @sched, i64 0, i64 1, i64 %indvars.iv78, i64 154 br label %land.lhs.true55 56if.else71: ; preds = %for.body5857 br label %land.lhs.true58 59land.lhs.true: ; preds = %if.else71, %if.then6060 %team2.0.in = phi ptr [ %arrayidx70, %if.then60 ], [ undef, %if.else71 ]61 br i1 undef, label %for.inc158, label %if.then8662 63if.then86: ; preds = %land.lhs.true64 unreachable65 66for.inc158: ; preds = %land.lhs.true67 br label %for.cond56.preheader68}69