1; REQUIRES: asserts 2; RUN: opt < %s -passes="loop(loop-interchange,loop-interchange)" -cache-line-size=8 -verify-dom-info -verify-loop-info \ 3; RUN: -debug-only=loop-interchange 2>&1 | FileCheck %s 4 5target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 6 7@g_75 = external global i32, align 1 8@g_78 = external global [6 x ptr], align 1 9 10; Loop interchange as a loopnest pass should always construct the loop nest from 11; the outermost loop. This test case runs loop interchange twice. In the loop pass 12; manager, it might occur that after the first loop interchange transformation 13; the original outermost loop becomes a inner loop hence the loop nest constructed 14; afterwards for the second loop interchange pass turns out to be a loop list of size 15; 2 and is not valid. This causes functional issues. 16; 17; Make sure we always construct the valid and correct loop nest at the beginning 18; of execution of a loopnest pass. 19 20; CHECK: Processing LoopList of size = 3 21; CHECK: Processing LoopList of size = 3 22define void @loopnest_01() { 23entry: 24 br label %for.cond5.preheader.i.i.i 25 26for.cond5.preheader.i.i.i: ; preds = %for.end16.i.i.i, %entry 27 %storemerge11.i.i.i = phi i32 [ 4, %entry ], [ %sub18.i.i.i, %for.end16.i.i.i ] 28 br label %for.cond8.preheader.i.i.i 29 30for.cond8.preheader.i.i.i: ; preds = %for.inc14.i.i.i, %for.cond5.preheader.i.i.i 31 %l_105.18.i.i.i = phi i16 [ 0, %for.cond5.preheader.i.i.i ], [ %add15.i.i.i, %for.inc14.i.i.i ] 32 br label %for.body10.i.i.i 33 34for.body10.i.i.i: ; preds = %for.body10.i.i.i, %for.cond8.preheader.i.i.i 35 %storemerge56.i.i.i = phi i16 [ 5, %for.cond8.preheader.i.i.i ], [ %sub.i.i.i, %for.body10.i.i.i ] 36 %arrayidx.i.i.i = getelementptr [6 x ptr], ptr @g_78, i16 0, i16 %storemerge56.i.i.i 37 store ptr @g_75, ptr %arrayidx.i.i.i, align 1 38 %sub.i.i.i = add nsw i16 %storemerge56.i.i.i, -1 39 br i1 true, label %for.inc14.i.i.i, label %for.body10.i.i.i 40 41for.inc14.i.i.i: ; preds = %for.body10.i.i.i 42 %add15.i.i.i = add nuw nsw i16 %l_105.18.i.i.i, 1 43 %exitcond.not.i.i.i = icmp eq i16 %add15.i.i.i, 6 44 br i1 %exitcond.not.i.i.i, label %for.end16.i.i.i, label %for.cond8.preheader.i.i.i 45 46for.end16.i.i.i: ; preds = %for.inc14.i.i.i 47 %sub18.i.i.i = add nsw i32 %storemerge11.i.i.i, -1 48 %cmp.i10.not.i.i = icmp eq i32 %storemerge11.i.i.i, 0 49 br i1 %cmp.i10.not.i.i, label %func_4.exit.i, label %for.cond5.preheader.i.i.i 50 51func_4.exit.i: ; preds = %for.end16.i.i.i 52 unreachable 53} 54