53 lines · plain
1; RUN: opt < %s -passes=loop-interchange -cache-line-size=64 -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \2; RUN: -verify-dom-info -verify-loop-info -verify-loop-lcssa 2>&1 | FileCheck -check-prefix=IR %s3; RUN: FileCheck --input-file=%t %s4 5; Outer loop only reductions are not supported currently.6 7@A = common global [500 x [500 x i32]] zeroinitializer8 9;; global X10 11;; for( int i=1;i<N;i++) {12;; for( int j=1;j<N;j++)13;; ;14;; X+=A[j][i];15;; }16 17; CHECK: --- !Missed18; CHECK-NEXT: Pass: loop-interchange19; CHECK-NEXT: Name: UnsupportedPHI20; CHECK-NEXT: Function: reduction_0121 22; IR-LABEL: @reduction_01(23; IR-NOT: split24 25define i32 @reduction_01(i32 %N) {26entry:27 br label %outer.header28 29outer.header: ; preds = %for.cond1.for.inc6_crit_edge, %entry30 %indvars.iv18 = phi i64 [ %indvars.iv.next19, %outer.inc ], [ 1, %entry ]31 %add15 = phi i32 [ 0, %entry ], [ %add, %outer.inc ]32 br label %for.body333 34for.body3: ; preds = %for.body3, %for.body3.lr.ph35 %indvars.iv = phi i64 [ 1, %outer.header ], [ %indvars.iv.next, %for.body3 ]36 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 137 %lftr.wideiv = trunc i64 %indvars.iv.next to i3238 %exitcond = icmp eq i32 %lftr.wideiv, %N39 br i1 %exitcond, label %outer.inc, label %for.body340 41outer.inc: ; preds = %for.body342 %arrayidx5 = getelementptr inbounds [500 x [500 x i32]], ptr @A, i64 0, i64 %indvars.iv, i64 %indvars.iv1843 %0 = load i32, ptr %arrayidx544 %add = add nsw i32 %add15, %045 %indvars.iv.next19 = add nuw nsw i64 %indvars.iv18, 146 %lftr.wideiv20 = trunc i64 %indvars.iv.next19 to i3247 %exitcond21 = icmp eq i32 %lftr.wideiv20, %N48 br i1 %exitcond21, label %for.end8, label %outer.header49 50for.end8: ; preds = %for.cond1.for.inc6_crit_edge, %entry51 ret i32 %add52}53