1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -loop-interchange -verify-dom-info -verify-loop-info -S 2>&1 | FileCheck %s 3;; Checks the order of the inner phi nodes does not cause havoc. 4;; The inner loop has a reduction into c. The IV is not the first phi. 5 6target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 7target triple = "armv8--linux-gnueabihf" 8 9 10 11; Function Attrs: norecurse nounwind 12define void @test(i32 %T, [90 x i32]* noalias nocapture %C, i16* noalias nocapture readonly %A, i16* noalias nocapture readonly %B) local_unnamed_addr #0 { 13; CHECK-LABEL: @test( 14; CHECK-NEXT: entry: 15; CHECK-NEXT: br label [[FOR3_PREHEADER:%.*]] 16; CHECK: for1.header.preheader: 17; CHECK-NEXT: br label [[FOR1_HEADER:%.*]] 18; CHECK: for1.header: 19; CHECK-NEXT: [[I:%.*]] = phi i32 [ [[INC20:%.*]], [[FOR1_INC19:%.*]] ], [ 0, [[FOR1_HEADER_PREHEADER:%.*]] ] 20; CHECK-NEXT: [[MUL:%.*]] = mul nsw i32 [[I]], 90 21; CHECK-NEXT: br label [[FOR2_HEADER_PREHEADER:%.*]] 22; CHECK: for2.header.preheader: 23; CHECK-NEXT: br label [[FOR2_HEADER:%.*]] 24; CHECK: for2.header: 25; CHECK-NEXT: [[J:%.*]] = phi i32 [ [[INC17:%.*]], [[FOR2_INC16:%.*]] ], [ 0, [[FOR2_HEADER_PREHEADER]] ] 26; CHECK-NEXT: [[ARRAYIDX14:%.*]] = getelementptr inbounds [90 x i32], [90 x i32]* [[C:%.*]], i32 [[I]], i32 [[J]] 27; CHECK-NEXT: [[ARRAYIDX14_PROMOTED:%.*]] = load i32, i32* [[ARRAYIDX14]], align 4 28; CHECK-NEXT: br label [[FOR3_SPLIT1:%.*]] 29; CHECK: for3.preheader: 30; CHECK-NEXT: br label [[FOR3:%.*]] 31; CHECK: for3: 32; CHECK-NEXT: [[K:%.*]] = phi i32 [ [[INC:%.*]], [[FOR3_SPLIT:%.*]] ], [ 1, [[FOR3_PREHEADER]] ] 33; CHECK-NEXT: br label [[FOR1_HEADER_PREHEADER]] 34; CHECK: for3.split1: 35; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[K]], [[MUL]] 36; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i16, i16* [[A:%.*]], i32 [[ADD]] 37; CHECK-NEXT: [[TMP0:%.*]] = load i16, i16* [[ARRAYIDX]], align 2 38; CHECK-NEXT: [[CONV:%.*]] = sext i16 [[TMP0]] to i32 39; CHECK-NEXT: [[ADD15:%.*]] = add nsw i32 [[CONV]], [[ARRAYIDX14_PROMOTED]] 40; CHECK-NEXT: br label [[FOR2_INC16]] 41; CHECK: for3.split: 42; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[K]], 1 43; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq i32 [[INC]], 90 44; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR1_LOOPEXIT:%.*]], label [[FOR3]] 45; CHECK: for2.inc16: 46; CHECK-NEXT: store i32 [[ADD15]], i32* [[ARRAYIDX14]], align 4 47; CHECK-NEXT: [[INC17]] = add nuw nsw i32 [[J]], 1 48; CHECK-NEXT: [[EXITCOND47:%.*]] = icmp eq i32 [[INC17]], 90 49; CHECK-NEXT: br i1 [[EXITCOND47]], label [[FOR1_INC19]], label [[FOR2_HEADER]] 50; CHECK: for1.inc19: 51; CHECK-NEXT: [[INC20]] = add nuw nsw i32 [[I]], 1 52; CHECK-NEXT: [[EXITCOND48:%.*]] = icmp eq i32 [[INC20]], 90 53; CHECK-NEXT: br i1 [[EXITCOND48]], label [[FOR3_SPLIT]], label [[FOR1_HEADER]] 54; CHECK: for1.loopexit: 55; CHECK-NEXT: br label [[EXIT:%.*]] 56; CHECK: exit: 57; CHECK-NEXT: ret void 58; 59entry: 60 br label %for1.header 61 62for1.header: ; preds = %entry 63 %i = phi i32 [ %inc20, %for1.inc19 ], [ 0, %entry ] 64 %mul = mul nsw i32 %i, 90 65 br label %for2.header 66 67for2.header: ; preds = %for2.inc16, %for1.header 68 %j = phi i32 [ 0, %for1.header ], [ %inc17, %for2.inc16 ] 69 %arrayidx14 = getelementptr inbounds [90 x i32], [90 x i32]* %C, i32 %i, i32 %j 70 %arrayidx14.promoted = load i32, i32* %arrayidx14, align 4 71 br label %for3 72 73for3: ; preds = %for3, %for2.header 74 %add1541 = phi i32 [ %arrayidx14.promoted, %for2.header ], [ %add15, %for3 ] 75 %k = phi i32 [ 1, %for2.header ], [ %inc, %for3 ] 76 %add = add nsw i32 %k, %mul 77 %arrayidx = getelementptr inbounds i16, i16* %A, i32 %add 78 %0 = load i16, i16* %arrayidx, align 2 79 %conv = sext i16 %0 to i32 80 %add15 = add nsw i32 %conv, %add1541 81 %inc = add nuw nsw i32 %k, 1 82 %exitcond = icmp eq i32 %inc, 90 83 br i1 %exitcond, label %for2.inc16, label %for3 84 85for2.inc16: ; preds = %for.body6 86 %add15.lcssa = phi i32 [ %add15, %for3 ] 87 store i32 %add15.lcssa, i32* %arrayidx14, align 4 88 %inc17 = add nuw nsw i32 %j, 1 89 %exitcond47 = icmp eq i32 %inc17, 90 90 br i1 %exitcond47, label %for1.inc19, label %for2.header 91 92for1.inc19: ; preds = %for2.inc16 93 %inc20 = add nuw nsw i32 %i, 1 94 %exitcond48 = icmp eq i32 %inc20, 90 95 br i1 %exitcond48, label %for1.loopexit, label %for1.header 96 97for1.loopexit: ; preds = %for1.inc19 98 br label %exit 99 100exit: ; preds = %for1.loopexit 101 ret void 102} 103