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 ; The remarks output file should be empty.
  38 ; RUN: test ! -s %t.threshold
  39
  40 ; Check the YAML file generated for inliner remarks for this program:
  41 ;
  42 ;   1  int foo();
  43 ;   2  int bar();
  44 ;   3
  45 ;   4  int baz() {
  46 ;   5    return foo() + bar();
  47 ;   6  }
  48
  49 ; CHECK:      remark: /tmp/s.c:5:10: foo will not be inlined into baz because its definition is unavailable (hotness: 30)
  50 ; CHECK-NEXT: remark: /tmp/s.c:5:18: bar will not be inlined into baz because its definition is unavailable (hotness: 30)
  51
  52 ; YAML:      --- !Missed
  53 ; YAML-NEXT: Pass:            inline
  54 ; YAML-NEXT: Name:            NoDefinition
  55 ; YAML-NEXT: DebugLoc:        { File: '/tmp/s.c', Line: 5, Column: 10 }
  56 ; YAML-NEXT: Function:        baz
  57 ; YAML-NEXT: Hotness:         30
  58 ; YAML-NEXT: Args:
  59 ; YAML-NEXT:   - Callee: foo
  60 ; YAML-NEXT:   - String: ' will not be inlined into '
  61 ; YAML-NEXT:   - Caller: baz
  62 ; YAML-NEXT:     DebugLoc:        { File: '/tmp/s.c', Line: 4, Column: 0 }
  63 ; YAML-NEXT:   - String: ' because its definition is unavailable'
  64 ; YAML-NEXT: ...
  65 ; YAML-NEXT: --- !Missed
  66 ; YAML-NEXT: Pass:            inline
  67 ; YAML-NEXT: Name:            NoDefinition
  68 ; YAML-NEXT: DebugLoc:        { File: '/tmp/s.c', Line: 5, Column: 18 }
  69 ; YAML-NEXT: Function:        baz
  70 ; YAML-NEXT: Hotness:         30
  71 ; YAML-NEXT: Args:
  72 ; YAML-NEXT:   - Callee: bar
  73 ; YAML-NEXT:   - String: ' will not be inlined into '
  74 ; YAML-NEXT:   - Caller: baz
  75 ; YAML-NEXT:     DebugLoc:        { File: '/tmp/s.c', Line: 4, Column: 0 }
  76 ; YAML-NEXT:   - String: ' because its definition is unavailable'
  77 ; YAML-NEXT: ...
  78
  79 ; No remarks should be output, since none meet the threshold.
  80 ; THRESHOLD-NOT: remark
  81
  82 ; ModuleID = '/tmp/s.c'
  83 source_filename = "/tmp/s.c"
  84 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
  85 target triple = "x86_64-apple-macosx10.11.0"
  86
  87 ; Function Attrs: nounwind ssp uwtable
  88 define i32 @"\01baz"() !dbg !7 !prof !14 {
  89 entry:
  90   %call = call i32 (...) @foo(), !dbg !9
  91   %call1 = call i32 (...) @"\01bar"(), !dbg !10
  92   %add = add nsw i32 %call, %call1, !dbg !12
  93   ret i32 %add, !dbg !13
  94 }
  95
  96 declare i32 @foo(...)
  97
  98 declare i32 @"\01bar"(...)
  99
 100 !llvm.dbg.cu = !{!0}
 101 !llvm.module.flags = !{!3, !4, !5}
 102 !llvm.ident = !{!6}
 103
 104 !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)
 105 !1 = !DIFile(filename: "/tmp/s.c", directory: "/tmp")
 106 !2 = !{}
 107 !3 = !{i32 2, !"Dwarf Version", i32 4}
 108 !4 = !{i32 2, !"Debug Info Version", i32 3}
 109 !5 = !{i32 1, !"PIC Level", i32 2}
 110 !6 = !{!"clang version 4.0.0 (trunk 281293) (llvm/trunk 281290)"}
 111 !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)
 112 !8 = !DISubroutineType(types: !2)
 113 !9 = !DILocation(line: 5, column: 10, scope: !7)
 114 !10 = !DILocation(line: 5, column: 18, scope: !11)
 115 !11 = !DILexicalBlockFile(scope: !7, file: !1, discriminator: 1)
 116 !12 = !DILocation(line: 5, column: 16, scope: !7)
 117 !13 = !DILocation(line: 5, column: 3, scope: !7)
 118 !14 = !{!"function_entry_count", i64 30}