1; REQUIRES: asserts
2; RUN: opt < %s -basic-aa -loop-interchange -cache-line-size=64 -verify-dom-info -verify-loop-info \
3; RUN:     -S -debug 2>&1 | FileCheck %s
4
5target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
6
7@A = common global [100 x [100 x i32]] zeroinitializer
8@B = common global [100 x i32] zeroinitializer
9
10;; Loops should not be interchanged in this case as it is not legal due to dependency.
11;;  for(int j=0;j<99;j++)
12;;   for(int i=0;i<99;i++)
13;;       A[j][i+1] = A[j+1][i]+k;
14
15; CHECK: Not interchanging loops. Cannot prove legality.
16
17define void @interchange_04(i32 %k){
18entry:
19  br label %for.cond1.preheader
20
21for.cond1.preheader:
22  %indvars.iv23 = phi i64 [ 0, %entry ], [ %indvars.iv.next24, %for.inc12 ]
23  %indvars.iv.next24 = add nuw nsw i64 %indvars.iv23, 1
24  br label %for.body3
25
26for.body3:
27  %indvars.iv = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next, %for.body3 ]
28  %arrayidx5 = getelementptr inbounds [100 x [100 x i32]], [100 x [100 x i32]]* @A, i64 0, i64 %indvars.iv.next24, i64 %indvars.iv
29  %0 = load i32, i32* %arrayidx5
30  %add6 = add nsw i32 %0, %k
31  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
32  %arrayidx11 = getelementptr inbounds [100 x [100 x i32]], [100 x [100 x i32]]* @A, i64 0, i64 %indvars.iv23, i64 %indvars.iv.next
33  store i32 %add6, i32* %arrayidx11
34  %exitcond = icmp eq i64 %indvars.iv.next, 99
35  br i1 %exitcond, label %for.inc12, label %for.body3
36
37for.inc12:
38  %exitcond25 = icmp eq i64 %indvars.iv.next24, 99
39  br i1 %exitcond25, label %for.end14, label %for.cond1.preheader
40
41for.end14:
42  ret void
43}
44