1; RUN: opt < %s -analyze -basicaa -da 2;; Check this doesn't crash. 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4target triple = "x86_64-unknown-linux-gnu" 5 6;; struct s { 7;; int A[10][10]; 8;; int C[10][10][10]; 9;; } S; 10 11;; void dep_constraint_crash_test(int k,int N) { 12;; for( int i=0;i<N;i++) 13;; for( int j=0;j<N;j++) 14;; S.A[0][0] = S.C[0][0][k]; 15;; } 16 17 18%struct.s = type { [10 x [10 x i32]], [10 x [10 x [10 x i32]]] } 19 20@S = common global %struct.s zeroinitializer 21 22define void @dep_constraint_crash_test(i32 %k, i32 %N) { 23entry: 24 %cmp12 = icmp sgt i32 %N, 0 25 br i1 %cmp12, label %for.cond1.preheader.lr.ph, label %for.end6 26 27for.cond1.preheader.lr.ph: 28 %idxprom = sext i32 %k to i64 29 %arrayidx = getelementptr inbounds %struct.s, %struct.s* @S, i64 0, i32 1, i64 0, i64 0, i64 %idxprom 30 br label %for.body3.preheader 31 32for.body3.preheader: 33 %i.013 = phi i32 [ 0, %for.cond1.preheader.lr.ph ], [ %inc5, %for.inc4 ] 34 br label %for.body3 35 36for.body3: 37 %j.011 = phi i32 [ %inc, %for.body3 ], [ 0, %for.body3.preheader ] 38 %0 = load i32, i32* %arrayidx 39 store i32 %0, i32* getelementptr inbounds (%struct.s, %struct.s* @S, i64 0, i32 0, i64 0, i64 0) 40 %inc = add nuw nsw i32 %j.011, 1 41 %exitcond = icmp eq i32 %inc, %N 42 br i1 %exitcond, label %for.inc4, label %for.body3 43 44for.inc4: 45 %inc5 = add nuw nsw i32 %i.013, 1 46 %exitcond14 = icmp eq i32 %inc5, %N 47 br i1 %exitcond14, label %for.end6, label %for.body3.preheader 48 49for.end6: 50 ret void 51} 52