1; RUN: opt -S -loop-rotate < %s | FileCheck %s
2
3declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
4declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
5
6define i32 @tak(i32 %x, i32 %y, i32 %z) nounwind ssp {
7; CHECK-LABEL: define i32 @tak(
8; CHECK: entry
9; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 %x
10
11entry:
12  br label %tailrecurse
13
14tailrecurse:                                      ; preds = %if.then, %entry
15  %x.tr = phi i32 [ %x, %entry ], [ %call, %if.then ]
16  %y.tr = phi i32 [ %y, %entry ], [ %call9, %if.then ]
17  %z.tr = phi i32 [ %z, %entry ], [ %call14, %if.then ]
18  tail call void @llvm.dbg.value(metadata i32 %x.tr, i64 0, metadata !6, metadata !{}), !dbg !7
19  tail call void @llvm.dbg.value(metadata i32 %y.tr, i64 0, metadata !8, metadata !{}), !dbg !9
20  tail call void @llvm.dbg.value(metadata i32 %z.tr, i64 0, metadata !10, metadata !{}), !dbg !11
21  %cmp = icmp slt i32 %y.tr, %x.tr, !dbg !12
22  br i1 %cmp, label %if.then, label %if.end, !dbg !12
23
24if.then:                                          ; preds = %tailrecurse
25  %sub = sub nsw i32 %x.tr, 1, !dbg !14
26  %call = tail call i32 @tak(i32 %sub, i32 %y.tr, i32 %z.tr), !dbg !14
27  %sub6 = sub nsw i32 %y.tr, 1, !dbg !14
28  %call9 = tail call i32 @tak(i32 %sub6, i32 %z.tr, i32 %x.tr), !dbg !14
29  %sub11 = sub nsw i32 %z.tr, 1, !dbg !14
30  %call14 = tail call i32 @tak(i32 %sub11, i32 %x.tr, i32 %y.tr), !dbg !14
31  br label %tailrecurse
32
33if.end:                                           ; preds = %tailrecurse
34  br label %return, !dbg !16
35
36return:                                           ; preds = %if.end
37  ret i32 %z.tr, !dbg !17
38}
39
40@channelColumns = external global i64
41@horzPlane = external global i8*, align 8
42
43define void @FindFreeHorzSeg(i64 %startCol, i64 %row, i64* %rowStart) {
44; Ensure that the loop increment basic block is rotated into the tail of the
45; body, even though it contains a debug intrinsic call.
46; CHECK-LABEL: define void @FindFreeHorzSeg(
47; CHECK: %dec = add
48; CHECK-NEXT: tail call void @llvm.dbg.value
49; CHECK: %cmp = icmp
50; CHECK: br i1 %cmp
51; CHECK: phi i64 [ %{{[^,]*}}, %{{[^,]*}} ]
52; CHECK-NEXT: br label %for.end
53
54
55entry:
56  br label %for.cond
57
58for.cond:
59  %i.0 = phi i64 [ %startCol, %entry ], [ %dec, %for.inc ]
60  %cmp = icmp eq i64 %i.0, 0
61  br i1 %cmp, label %for.end, label %for.body
62
63for.body:
64  %0 = load i64* @channelColumns, align 8
65  %mul = mul i64 %0, %row
66  %add = add i64 %mul, %i.0
67  %1 = load i8** @horzPlane, align 8
68  %arrayidx = getelementptr inbounds i8* %1, i64 %add
69  %2 = load i8* %arrayidx, align 1
70  %tobool = icmp eq i8 %2, 0
71  br i1 %tobool, label %for.inc, label %for.end
72
73for.inc:
74  %dec = add i64 %i.0, -1
75  tail call void @llvm.dbg.value(metadata i64 %dec, i64 0, metadata !{!"undef"}, metadata !{})
76  br label %for.cond
77
78for.end:
79  %add1 = add i64 %i.0, 1
80  store i64 %add1, i64* %rowStart, align 8
81  ret void
82}
83
84!llvm.module.flags = !{!20}
85!llvm.dbg.sp = !{!0}
86
87!0 = !{!"0x2e\00tak\00tak\00\0032\000\001\000\006\00256\000\000", !18, !1, !3, null, i32 (i32, i32, i32)* @tak, null, null, null} ; [ DW_TAG_subprogram ] [line 32] [def] [scope 0] [tak]
88!1 = !{!"0x29", !18} ; [ DW_TAG_file_type ]
89!2 = !{!"0x11\0012\00clang version 2.9 (trunk 125492)\001\00\000\00\000", !18, !19, !19, null, null, null} ; [ DW_TAG_compile_unit ]
90!3 = !{!"0x15\00\000\000\000\000\000\000", !18, !1, null, !4, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
91!4 = !{!5}
92!5 = !{!"0x24\00int\000\0032\0032\000\000\005", null, !2} ; [ DW_TAG_base_type ]
93!6 = !{!"0x101\00x\0032\000", !0, !1, !5} ; [ DW_TAG_arg_variable ]
94!7 = !MDLocation(line: 32, column: 13, scope: !0)
95!8 = !{!"0x101\00y\0032\000", !0, !1, !5} ; [ DW_TAG_arg_variable ]
96!9 = !MDLocation(line: 32, column: 20, scope: !0)
97!10 = !{!"0x101\00z\0032\000", !0, !1, !5} ; [ DW_TAG_arg_variable ]
98!11 = !MDLocation(line: 32, column: 27, scope: !0)
99!12 = !MDLocation(line: 33, column: 3, scope: !13)
100!13 = !{!"0xb\0032\0030\006", !18, !0} ; [ DW_TAG_lexical_block ]
101!14 = !MDLocation(line: 34, column: 5, scope: !15)
102!15 = !{!"0xb\0033\0014\007", !18, !13} ; [ DW_TAG_lexical_block ]
103!16 = !MDLocation(line: 36, column: 3, scope: !13)
104!17 = !MDLocation(line: 37, column: 1, scope: !13)
105!18 = !{!"/Volumes/Lalgate/cj/llvm/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame/recursive.c", !"/Volumes/Lalgate/cj/D/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame"}
106!19 = !{i32 0}
107!20 = !{i32 1, !"Debug Info Version", i32 2}
108