1; RUN: opt < %s -S -indvars -loop-deletion -simplifycfg | FileCheck %s
2; PR5794
3
4; Indvars and loop deletion should be able to eliminate all looping
5; in this testcase.
6
7; CHECK:      define i32 @pmat(i32 %m, i32 %n, double* %y) #0 {
8; CHECK-NEXT: entry:
9; CHECK-NEXT:   ret i32 0
10; CHECK-NEXT: }
11
12target datalayout = "e-p:64:64:64"
13
14define i32 @pmat(i32 %m, i32 %n, double* %y) nounwind {
15entry:
16  %cmp4 = icmp sgt i32 %m, 0
17  br i1 %cmp4, label %bb.n10, label %w.e12
18
19w.c:
20  %cmp = icmp slt i32 %inc11, %m
21  br i1 %cmp, label %w.c2.p, label %w.c.w.e12c
22
23w.c.w.e12c:
24  br label %w.c.w.e12c.s
25
26w.c.w.e12c.s:
27  br label %w.e12
28
29bb.n10:
30  %cmp51 = icmp sgt i32 %n, 0
31  br i1 %cmp51, label %bb.n10.w.c.w.e12c.sc, label %bb.n10.bb.n10.sc
32
33bb.n10.bb.n10.sc:
34  br label %bb.n10.s
35
36bb.n10.w.c.w.e12c.sc:
37  br label %w.c.w.e12c.s
38
39bb.n10.s:
40  br label %w.c2.p
41
42w.c2.p:
43  %i.05 = phi i32 [ 0, %bb.n10.s ], [ %inc11, %w.c ]
44  br i1 false, label %bb.n, label %w.e
45
46w.c2:
47  br i1 undef, label %w.b6, label %w.c2.w.ec
48
49w.c2.w.ec:
50  br label %w.e
51
52bb.n:
53  br label %w.b6
54
55w.b6:
56  br label %w.c2
57
58w.e:
59  %i.08 = phi i32 [ undef, %w.c2.w.ec ], [ %i.05, %w.c2.p ]
60  %inc11 = add nsw i32 %i.08, 1
61  br label %w.c
62
63w.e12:
64  ret i32 0
65}
66
67; CHECK: attributes #0 = { nounwind }
68