1 ; RUN: opt -S -loop-rotate < %s | FileCheck %s
3 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
4 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
6 define i32 @tak(i32 %x, i32 %y, i32 %z) nounwind ssp {
7 ; CHECK-LABEL: define i32 @tak(
9 ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 %x
14 tailrecurse: ; 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 !DIExpression()), !dbg !7
19 tail call void @llvm.dbg.value(metadata i32 %y.tr, i64 0, metadata !8, metadata !DIExpression()), !dbg !9
20 tail call void @llvm.dbg.value(metadata i32 %z.tr, i64 0, metadata !10, metadata !DIExpression()), !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
24 if.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
33 if.end: ; preds = %tailrecurse
34 br label %return, !dbg !16
36 return: ; preds = %if.end
37 ret i32 %z.tr, !dbg !17
40 @channelColumns = external global i64
41 @horzPlane = external global i8*, align 8
43 define 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(
48 ; CHECK-NEXT: tail call void @llvm.dbg.value
51 ; CHECK: phi i64 [ %{{[^,]*}}, %{{[^,]*}} ]
52 ; CHECK-NEXT: br label %for.end
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
64 %0 = load i64, i64* @channelColumns, align 8
65 %mul = mul i64 %0, %row
66 %add = add i64 %mul, %i.0
67 %1 = load i8*, i8** @horzPlane, align 8
68 %arrayidx = getelementptr inbounds i8, i8* %1, i64 %add
69 %2 = load i8, i8* %arrayidx, align 1
70 %tobool = icmp eq i8 %2, 0
71 br i1 %tobool, label %for.inc, label %for.end
74 %dec = add i64 %i.0, -1
75 tail call void @llvm.dbg.value(metadata i64 %dec, i64 0, metadata !DILocalVariable(scope: !0), metadata !DIExpression()), !dbg !DILocation(scope: !0)
79 %add1 = add i64 %i.0, 1
80 store i64 %add1, i64* %rowStart, align 8
84 !llvm.module.flags = !{!20}
87 !0 = !DISubprogram(name: "tak", line: 32, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !18, scope: !1, type: !3, function: i32 (i32, i32, i32)* @tak)
88 !1 = !DIFile(filename: "/Volumes/Lalgate/cj/llvm/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame/recursive.c", directory: "/Volumes/Lalgate/cj/D/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame")
89 !2 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 2.9 (trunk 125492)", isOptimized: true, emissionKind: 0, file: !18, enums: !19, retainedTypes: !19)
90 !3 = !DISubroutineType(types: !4)
92 !5 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
93 !6 = !DILocalVariable(name: "x", line: 32, arg: 1, scope: !0, file: !1, type: !5)
94 !7 = !DILocation(line: 32, column: 13, scope: !0)
95 !8 = !DILocalVariable(name: "y", line: 32, arg: 2, scope: !0, file: !1, type: !5)
96 !9 = !DILocation(line: 32, column: 20, scope: !0)
97 !10 = !DILocalVariable(name: "z", line: 32, arg: 3, scope: !0, file: !1, type: !5)
98 !11 = !DILocation(line: 32, column: 27, scope: !0)
99 !12 = !DILocation(line: 33, column: 3, scope: !13)
100 !13 = distinct !DILexicalBlock(line: 32, column: 30, file: !18, scope: !0)
101 !14 = !DILocation(line: 34, column: 5, scope: !15)
102 !15 = distinct !DILexicalBlock(line: 33, column: 14, file: !18, scope: !13)
103 !16 = !DILocation(line: 36, column: 3, scope: !13)
104 !17 = !DILocation(line: 37, column: 1, scope: !13)
105 !18 = !DIFile(filename: "/Volumes/Lalgate/cj/llvm/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame/recursive.c", directory: "/Volumes/Lalgate/cj/D/projects/llvm-test/SingleSource/Benchmarks/BenchmarkGame")
107 !20 = !{i32 1, !"Debug Info Version", i32 3}