1 ; RUN: opt < %s -analyze -delinearize | FileCheck %s
3 ; extern void bar(long n, long m, double A[n][m]);
5 ; void foo(long a, long b) {
6 ; for (long n = 1; n < a; ++n)
7 ; for (long m = 1; m < b; ++m) {
9 ; for (long i = 0; i < n; i++)
10 ; for (long j = 0; j < m; j++)
16 ; AddRec: {{%vla.us,+,{8,+,8}<%for.cond7.preheader.lr.ph.split.us.us>}<%for.body9.lr.ph.us.us>,+,8}<%for.body9.us.us>
17 ; CHECK: Base offset: %vla.us
18 ; CHECK: ArrayDecl[UnknownSize][{1,+,1}<%for.cond7.preheader.lr.ph.split.us.us>] with elements of sizeof(double) bytes.
19 ; CHECK: ArrayRef[{0,+,1}<nuw><nsw><%for.body9.lr.ph.us.us>][{0,+,1}<nuw><nsw><%for.body9.us.us>]
21 define void @foo(i64 %a, i64 %b) nounwind uwtable {
23 %cmp43 = icmp sgt i64 %a, 1
24 br i1 %cmp43, label %for.cond1.preheader.lr.ph, label %for.end19
26 for.cond1.preheader.lr.ph: ; preds = %entry
27 %cmp224 = icmp sgt i64 %b, 1
28 br label %for.cond1.preheader
30 for.cond1.preheader: ; preds = %for.inc17, %for.cond1.preheader.lr.ph
31 %indvars.iv51 = phi i64 [ 1, %for.cond1.preheader.lr.ph ], [ %indvars.iv.next52, %for.inc17 ]
32 br i1 %cmp224, label %for.cond7.preheader.lr.ph.split.us.us, label %for.inc17
34 for.end13.us: ; preds = %for.inc11.us.us
35 call void @bar(i64 %indvars.iv51, i64 %indvars.iv48, double* %vla.us) nounwind
36 call void @llvm.stackrestore(i8* %1)
37 %indvars.iv.next49 = add i64 %indvars.iv48, 1
38 %exitcond54 = icmp eq i64 %indvars.iv.next49, %b
39 br i1 %exitcond54, label %for.inc17, label %for.cond7.preheader.lr.ph.split.us.us
41 for.inc11.us.us: ; preds = %for.body9.us.us
42 %inc12.us.us = add nsw i64 %i.023.us.us, 1
43 %exitcond53 = icmp eq i64 %inc12.us.us, %indvars.iv51
44 br i1 %exitcond53, label %for.end13.us, label %for.body9.lr.ph.us.us
46 for.body9.lr.ph.us.us: ; preds = %for.cond7.preheader.lr.ph.split.us.us, %for.inc11.us.us
47 %i.023.us.us = phi i64 [ 0, %for.cond7.preheader.lr.ph.split.us.us ], [ %inc12.us.us, %for.inc11.us.us ]
48 %0 = mul nsw i64 %i.023.us.us, %indvars.iv48
49 br label %for.body9.us.us
51 for.body9.us.us: ; preds = %for.body9.us.us, %for.body9.lr.ph.us.us
52 %j.021.us.us = phi i64 [ 0, %for.body9.lr.ph.us.us ], [ %inc.us.us, %for.body9.us.us ]
53 %arrayidx.sum.us.us = add i64 %j.021.us.us, %0
54 %arrayidx10.us.us = getelementptr inbounds double* %vla.us, i64 %arrayidx.sum.us.us
55 store double 1.000000e+00, double* %arrayidx10.us.us, align 8
56 %inc.us.us = add nsw i64 %j.021.us.us, 1
57 %exitcond50 = icmp eq i64 %inc.us.us, %indvars.iv48
58 br i1 %exitcond50, label %for.inc11.us.us, label %for.body9.us.us
60 for.cond7.preheader.lr.ph.split.us.us: ; preds = %for.cond1.preheader, %for.end13.us
61 %indvars.iv48 = phi i64 [ %indvars.iv.next49, %for.end13.us ], [ 1, %for.cond1.preheader ]
62 %1 = call i8* @llvm.stacksave()
63 %2 = mul nuw i64 %indvars.iv48, %indvars.iv51
64 %vla.us = alloca double, i64 %2, align 16
65 br label %for.body9.lr.ph.us.us
67 for.inc17: ; preds = %for.end13.us, %for.cond1.preheader
68 %indvars.iv.next52 = add i64 %indvars.iv51, 1
69 %exitcond55 = icmp eq i64 %indvars.iv.next52, %a
70 br i1 %exitcond55, label %for.end19, label %for.cond1.preheader
72 for.end19: ; preds = %for.inc17, %entry
76 declare i8* @llvm.stacksave() nounwind
77 declare void @bar(i64, i64, double*)
78 declare void @llvm.stackrestore(i8*) nounwind