llvm/test/Transforms/Inline/optimization-remarks-yaml.ll

   1 ; RUN: opt < %s -S -inline -pass-remarks-missed=inline \
   2 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 15 \
   3 ; RUN:     -pass-remarks-output=%t 2>&1 | FileCheck %s
   4 ; RUN: cat %t | FileCheck -check-prefix=YAML %s
   5 ; RUN: opt < %s -S -inline -pass-remarks-with-hotness -pass-remarks-output=%t
   6 ; RUN: cat %t | FileCheck -check-prefix=YAML %s
   7 ;
   8 ; Verify that remarks that don't meet the hotness threshold are not output.
   9 ; RUN: opt < %s -S -inline -pass-remarks-missed=inline \
  10 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 100 \
  11 ; RUN:     -pass-remarks-output=%t.threshold 2>&1 | \
  12 ; RUN:     FileCheck -check-prefix=THRESHOLD %s
  13 ; RUN: test ! -s %t.threshold
  14 ; RUN: opt < %s -S -inline \
  15 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 100 \
  16 ; RUN:     -pass-remarks-output=%t.threshold
  17 ; The remarks output file should be empty.
  18 ; RUN: test ! -s %t.threshold
  19
  20 ; NewPM:
  21 ; RUN: opt < %s -S -passes=inline -pass-remarks-missed=inline \
  22 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 15 \
  23 ; RUN:     -pass-remarks-output=%t 2>&1 | FileCheck %s
  24 ; RUN: cat %t | FileCheck -check-prefix=YAML %s
  25 ; RUN: opt < %s -S -passes=inline -pass-remarks-with-hotness -pass-remarks-output=%t
  26 ; RUN: cat %t | FileCheck -check-prefix=YAML %s
  27 ;
  28 ; Verify that remarks that don't meet the hotness threshold are not output.
  29 ; RUN: opt < %s -S -passes=inline -pass-remarks-missed=inline \
  30 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 100 \
  31 ; RUN:     -pass-remarks-output=%t.threshold 2>&1 | \
  32 ; RUN:     FileCheck -check-prefix=THRESHOLD %s
  33 ; RUN: test ! -s %t.threshold
  34 ; RUN: opt < %s -S -passes=inline \
  35 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 100 \
  36 ; RUN:     -pass-remarks-output=%t.threshold
  37
  38 ; Inliner - Module Wrapper
  39 ; RUN: opt < %s -S -passes=inliner-wrapper -pass-remarks-missed=inline \
  40 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 15 \
  41 ; RUN:     -pass-remarks-output=%t 2>&1 | FileCheck %s
  42 ; RUN: cat %t | FileCheck -check-prefix=YAML %s
  43 ; RUN: opt < %s -S -passes=inliner-wrapper -pass-remarks-with-hotness -pass-remarks-output=%t
  44 ; RUN: cat %t | FileCheck -check-prefix=YAML %s
  45 ;
  46 ; Verify that remarks that don't meet the hotness threshold are not output.
  47 ; RUN: opt < %s -S -passes=inliner-wrapper -pass-remarks-missed=inline \
  48 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 100 \
  49 ; RUN:     -pass-remarks-output=%t.threshold 2>&1 | \
  50 ; RUN:     FileCheck -check-prefix=THRESHOLD %s
  51 ; RUN: test ! -s %t.threshold
  52 ; RUN: opt < %s -S -passes=inliner-wrapper \
  53 ; RUN:     -pass-remarks-with-hotness -pass-remarks-hotness-threshold 100 \
  54 ; RUN:     -pass-remarks-output=%t.threshold
  55
  56 ; The remarks output file should be empty.
  57 ; RUN: test ! -s %t.threshold
  58
  59 ; Check the YAML file generated for inliner remarks for this program:
  60 ;
  61 ;   1  int foo();
  62 ;   2  int bar();
  63 ;   3
  64 ;   4  int baz() {
  65 ;   5    return foo() + bar();
  66 ;   6  }
  67
  68 ; CHECK:      remark: /tmp/s.c:5:10: foo will not be inlined into baz because its definition is unavailable (hotness: 30)
  69 ; CHECK-NEXT: remark: /tmp/s.c:5:18: bar will not be inlined into baz because its definition is unavailable (hotness: 30)
  70
  71 ; YAML:      --- !Missed
  72 ; YAML-NEXT: Pass:            inline
  73 ; YAML-NEXT: Name:            NoDefinition
  74 ; YAML-NEXT: DebugLoc:        { File: '/tmp/s.c', Line: 5, Column: 10 }
  75 ; YAML-NEXT: Function:        baz
  76 ; YAML-NEXT: Hotness:         30
  77 ; YAML-NEXT: Args:
  78 ; YAML-NEXT:   - Callee: foo
  79 ; YAML-NEXT:   - String: ' will not be inlined into '
  80 ; YAML-NEXT:   - Caller: baz
  81 ; YAML-NEXT:     DebugLoc:        { File: '/tmp/s.c', Line: 4, Column: 0 }
  82 ; YAML-NEXT:   - String: ' because its definition is unavailable'
  83 ; YAML-NEXT: ...
  84 ; YAML-NEXT: --- !Missed
  85 ; YAML-NEXT: Pass:            inline
  86 ; YAML-NEXT: Name:            NoDefinition
  87 ; YAML-NEXT: DebugLoc:        { File: '/tmp/s.c', Line: 5, Column: 18 }
  88 ; YAML-NEXT: Function:        baz
  89 ; YAML-NEXT: Hotness:         30
  90 ; YAML-NEXT: Args:
  91 ; YAML-NEXT:   - Callee: bar
  92 ; YAML-NEXT:   - String: ' will not be inlined into '
  93 ; YAML-NEXT:   - Caller: baz
  94 ; YAML-NEXT:     DebugLoc:        { File: '/tmp/s.c', Line: 4, Column: 0 }
  95 ; YAML-NEXT:   - String: ' because its definition is unavailable'
  96 ; YAML-NEXT: ...
  97
  98 ; No remarks should be output, since none meet the threshold.
  99 ; THRESHOLD-NOT: remark
 100
 101 ; ModuleID = '/tmp/s.c'
 102 source_filename = "/tmp/s.c"
 103 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
 104 target triple = "x86_64-apple-macosx10.11.0"
 105
 106 ; Function Attrs: nounwind ssp uwtable
 107 define i32 @"\01baz"() !dbg !7 !prof !14 {
 108 entry:
 109   %call = call i32 (...) @foo(), !dbg !9
 110   %call1 = call i32 (...) @"\01bar"(), !dbg !10
 111   %add = add nsw i32 %call, %call1, !dbg !12
 112   ret i32 %add, !dbg !13
 113 }
 114
 115 declare i32 @foo(...)
 116
 117 declare i32 @"\01bar"(...)
 118
 119 !llvm.dbg.cu = !{!0}
 120 !llvm.module.flags = !{!3, !4, !5}
 121 !llvm.ident = !{!6}
 122
 123 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 4.0.0 (trunk 281293) (llvm/trunk 281290)", isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, enums: !2)
 124 !1 = !DIFile(filename: "/tmp/s.c", directory: "/tmp")
 125 !2 = !{}
 126 !3 = !{i32 2, !"Dwarf Version", i32 4}
 127 !4 = !{i32 2, !"Debug Info Version", i32 3}
 128 !5 = !{i32 1, !"PIC Level", i32 2}
 129 !6 = !{!"clang version 4.0.0 (trunk 281293) (llvm/trunk 281290)"}
 130 !7 = distinct !DISubprogram(name: "baz", scope: !1, file: !1, line: 4, type: !8, isLocal: false, isDefinition: true, scopeLine: 4, isOptimized: true, unit: !0, retainedNodes: !2)
 131 !8 = !DISubroutineType(types: !2)
 132 !9 = !DILocation(line: 5, column: 10, scope: !7)
 133 !10 = !DILocation(line: 5, column: 18, scope: !11)
 134 !11 = !DILexicalBlockFile(scope: !7, file: !1, discriminator: 1)
 135 !12 = !DILocation(line: 5, column: 16, scope: !7)
 136 !13 = !DILocation(line: 5, column: 3, scope: !7)
 137 !14 = !{!"function_entry_count", i64 30}