Xinliang David Li | db8d09b | 2017-04-23 23:39:04 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -partial-inliner -pass-remarks=partial-inlining -disable-output < %s 2>&1 | FileCheck %s |
| 2 | ; RUN: opt -S -passes=partial-inliner -pass-remarks=partial-inlining -disable-output < %s 2>&1 | FileCheck %s |
| 3 | ; RUN: opt -S -partial-inliner -pass-remarks=partial-inlining -disable-output -max-partial-inlining=1 < %s 2>&1 | FileCheck %s |
| 4 | ; RUN: opt -S -passes=partial-inliner -pass-remarks=partial-inlining -disable-output -max-partial-inlining=1 < %s 2>&1 | FileCheck %s |
| 5 | |
| 6 | ; RUN: opt -S -partial-inliner -pass-remarks=partial-inlining -disable-partial-inlining < %s 2>&1 | FileCheck --check-prefix=LIMIT %s |
| 7 | ; RUN: opt -S -passes=partial-inliner -pass-remarks=partial-inlining --disable-partial-inlining < %s 2>&1 | FileCheck --check-prefix=LIMIT %s |
| 8 | ; RUN: opt -S -partial-inliner -pass-remarks=partial-inlining -max-partial-inlining=0 < %s 2>&1 | FileCheck --check-prefix=LIMIT %s |
| 9 | ; RUN: opt -S -passes=partial-inliner -pass-remarks=partial-inlining -max-partial-inlining=0 < %s 2>&1 | FileCheck --check-prefix=LIMIT %s |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 10 | ; RUN: opt -S -partial-inliner -pass-remarks=partial-inlining -inline-threshold=0 < %s 2>&1 | FileCheck --check-prefix=LIMIT %s |
| 11 | ; RUN: opt -S -passes=partial-inliner -pass-remarks=partial-inlining -inline-threshold=0 < %s 2>&1 | FileCheck --check-prefix=LIMIT %s |
Xinliang David Li | db8d09b | 2017-04-23 23:39:04 +0000 | [diff] [blame] | 12 | |
| 13 | define i32 @bar(i32 %arg) local_unnamed_addr #0 !dbg !5 { |
| 14 | bb: |
| 15 | %tmp = icmp slt i32 %arg, 0, !dbg !7 |
| 16 | br i1 %tmp, label %bb1, label %bb2, !dbg !8 |
| 17 | |
| 18 | bb1: ; preds = %bb |
| 19 | tail call void (...) @foo() #0, !dbg !9 |
| 20 | tail call void (...) @foo() #0, !dbg !10 |
| 21 | tail call void (...) @foo() #0, !dbg !11 |
| 22 | tail call void (...) @foo() #0, !dbg !12 |
| 23 | tail call void (...) @foo() #0, !dbg !13 |
| 24 | tail call void (...) @foo() #0, !dbg !14 |
| 25 | tail call void (...) @foo() #0, !dbg !15 |
| 26 | tail call void (...) @foo() #0, !dbg !16 |
| 27 | tail call void (...) @foo() #0, !dbg !17 |
| 28 | br label %bb2, !dbg !18 |
| 29 | |
| 30 | bb2: ; preds = %bb1, %bb |
| 31 | %tmp3 = phi i32 [ 0, %bb1 ], [ 1, %bb ] |
| 32 | ret i32 %tmp3, !dbg !19 |
| 33 | } |
| 34 | |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 35 | define i32 @bar_noinline(i32 %arg) local_unnamed_addr #1 !dbg !23 { |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 36 | bb: |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 37 | %tmp = icmp slt i32 %arg, 0, !dbg !24 |
| 38 | br i1 %tmp, label %bb1, label %bb2, !dbg !24 |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 39 | |
| 40 | bb1: ; preds = %bb |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 41 | tail call void (...) @foo() #0, !dbg !24 |
| 42 | tail call void (...) @foo() #0, !dbg !24 |
| 43 | tail call void (...) @foo() #0, !dbg !24 |
| 44 | br label %bb2, !dbg !24 |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 45 | |
| 46 | bb2: ; preds = %bb1, %bb |
| 47 | %tmp3 = phi i32 [ 0, %bb1 ], [ 1, %bb ] |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 48 | ret i32 %tmp3, !dbg !24 |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 49 | } |
| 50 | |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 51 | define i32 @bar_alwaysinline(i32 %arg) local_unnamed_addr #2 !dbg !25 { |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 52 | bb: |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 53 | %tmp = icmp slt i32 %arg, 0, !dbg !26 |
| 54 | br i1 %tmp, label %bb1, label %bb2, !dbg !26 |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 55 | |
| 56 | bb1: ; preds = %bb |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 57 | tail call void (...) @foo() #0, !dbg !26 |
| 58 | tail call void (...) @foo() #0, !dbg !26 |
| 59 | tail call void (...) @foo() #0, !dbg !26 |
| 60 | br label %bb2, !dbg !26 |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 61 | |
| 62 | bb2: ; preds = %bb1, %bb |
| 63 | %tmp3 = phi i32 [ 0, %bb1 ], [ 1, %bb ] |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 64 | ret i32 %tmp3, !dbg !26 |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 65 | } |
| 66 | |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 67 | define i32 @bar_cold(i32 %arg) local_unnamed_addr #3 !dbg !27 { |
Xinliang David Li | ab8722f | 2017-05-02 18:43:21 +0000 | [diff] [blame] | 68 | bb: |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 69 | %tmp = icmp slt i32 %arg, 0, !dbg !28 |
| 70 | br i1 %tmp, label %bb1, label %bb2, !dbg !28 |
Xinliang David Li | ab8722f | 2017-05-02 18:43:21 +0000 | [diff] [blame] | 71 | |
| 72 | bb1: ; preds = %bb |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 73 | tail call void (...) @foo() #0, !dbg !28 |
| 74 | tail call void (...) @foo() #0, !dbg !28 |
| 75 | tail call void (...) @foo() #0, !dbg !28 |
| 76 | br label %bb2, !dbg !28 |
Xinliang David Li | ab8722f | 2017-05-02 18:43:21 +0000 | [diff] [blame] | 77 | |
| 78 | bb2: ; preds = %bb1, %bb |
| 79 | %tmp3 = phi i32 [ 0, %bb1 ], [ 1, %bb ] |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 80 | ret i32 %tmp3, !dbg !28 |
Xinliang David Li | ab8722f | 2017-05-02 18:43:21 +0000 | [diff] [blame] | 81 | } |
| 82 | |
Xinliang David Li | db8d09b | 2017-04-23 23:39:04 +0000 | [diff] [blame] | 83 | ; Function Attrs: nounwind |
| 84 | declare void @foo(...) local_unnamed_addr #0 |
| 85 | |
| 86 | ; Function Attrs: nounwind |
| 87 | define i32 @dummy_caller(i32 %arg) local_unnamed_addr #0 !dbg !20 { |
| 88 | bb: |
| 89 | ; CHECK:remark{{.*}}bar partially inlined into dummy_caller |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 90 | ; CHECK-NOT:remark{{.*}}bar_noinline partially inlined into dummy_caller |
| 91 | ; CHECK-NOT:remark{{.*}}bar_alwaysinline partially inlined into dummy_caller |
Xinliang David Li | ab8722f | 2017-05-02 18:43:21 +0000 | [diff] [blame] | 92 | ; CHECK-NOT:remark{{.*}}bar_cold partially inlined into dummy_caller |
Xinliang David Li | db8d09b | 2017-04-23 23:39:04 +0000 | [diff] [blame] | 93 | ; LIMIT-NOT:remark{{.*}}bar partially inlined into dummy_caller |
| 94 | %tmp = tail call i32 @bar(i32 %arg), !dbg !21 |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 95 | %tmp2 = tail call i32 @bar_noinline(i32 %arg), !dbg !21 |
| 96 | %tmp3 = tail call i32 @bar_alwaysinline(i32 %arg), !dbg !21 |
Xinliang David Li | ab8722f | 2017-05-02 18:43:21 +0000 | [diff] [blame] | 97 | %tmp4 = tail call i32 @bar_cold(i32 %arg), !dbg !21 |
Xinliang David Li | db8d09b | 2017-04-23 23:39:04 +0000 | [diff] [blame] | 98 | ret i32 %tmp, !dbg !22 |
| 99 | } |
| 100 | |
| 101 | attributes #0 = { nounwind } |
Xinliang David Li | 6133846 | 2017-05-02 02:44:14 +0000 | [diff] [blame] | 102 | attributes #1 = { noinline nounwind } |
| 103 | attributes #2 = { alwaysinline nounwind } |
Xinliang David Li | ab8722f | 2017-05-02 18:43:21 +0000 | [diff] [blame] | 104 | attributes #3 = { cold nounwind } |
Xinliang David Li | db8d09b | 2017-04-23 23:39:04 +0000 | [diff] [blame] | 105 | |
| 106 | !llvm.dbg.cu = !{!0} |
| 107 | !llvm.module.flags = !{!3} |
| 108 | !llvm.ident = !{!4} |
| 109 | |
| 110 | !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: NoDebug, enums: !2) |
| 111 | !1 = !DIFile(filename: "t.c", directory: "/tmp") |
| 112 | !2 = !{} |
| 113 | !3 = !{i32 2, !"Debug Info Version", i32 3} |
| 114 | !4 = !{!"clang "} |
| 115 | !5 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 3, type: !6, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !0, variables: !2) |
| 116 | !6 = !DISubroutineType(types: !2) |
| 117 | !7 = !DILocation(line: 4, column: 14, scope: !5) |
| 118 | !8 = !DILocation(line: 4, column: 6, scope: !5) |
| 119 | !9 = !DILocation(line: 5, column: 5, scope: !5) |
| 120 | !10 = !DILocation(line: 6, column: 5, scope: !5) |
| 121 | !11 = !DILocation(line: 7, column: 5, scope: !5) |
| 122 | !12 = !DILocation(line: 8, column: 5, scope: !5) |
| 123 | !13 = !DILocation(line: 9, column: 5, scope: !5) |
| 124 | !14 = !DILocation(line: 10, column: 5, scope: !5) |
| 125 | !15 = !DILocation(line: 11, column: 5, scope: !5) |
| 126 | !16 = !DILocation(line: 12, column: 5, scope: !5) |
| 127 | !17 = !DILocation(line: 13, column: 5, scope: !5) |
| 128 | !18 = !DILocation(line: 14, column: 5, scope: !5) |
| 129 | !19 = !DILocation(line: 17, column: 1, scope: !5) |
| 130 | !20 = distinct !DISubprogram(name: "dummy_caller", scope: !1, file: !1, line: 19, type: !6, isLocal: false, isDefinition: true, scopeLine: 19, flags: DIFlagPrototyped, isOptimized: true, unit: !0, variables: !2) |
| 131 | !21 = !DILocation(line: 21, column: 11, scope: !20) |
| 132 | !22 = !DILocation(line: 21, column: 4, scope: !20) |
Adrian Prantl | defc99a | 2017-05-04 16:24:31 +0000 | [diff] [blame] | 133 | !23 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 3, type: !6, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !0, variables: !2) |
| 134 | !24 = !DILocation(line: 4, column: 6, scope: !23) |
| 135 | !25 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 3, type: !6, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !0, variables: !2) |
| 136 | !26 = !DILocation(line: 4, column: 6, scope: !25) |
| 137 | !27 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 3, type: !6, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !0, variables: !2) |
| 138 | !28 = !DILocation(line: 4, column: 6, scope: !27) |