test/Bitcode/thinlto-function-summary-callgraph-relbf.ll

   1 ; Test to check the callgraph in summary
   2 ; RUN: opt -write-relbf-to-summary -module-summary %s -o %t.o
   3 ; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s
   4 ; RUN: llvm-dis -o - %t.o | FileCheck %s --check-prefix=DIS
   5 ; Round trip it through llvm-as
   6 ; RUN: llvm-dis -o - %t.o | llvm-as -write-relbf-to-summary -o - | llvm-dis -o - | FileCheck %s --check-prefix=DIS
   7
   8 ; CHECK: <SOURCE_FILENAME
   9 ; CHECK-NEXT: <GLOBALVAR
  10 ; CHECK-NEXT: <FUNCTION
  11 ; "func"
  12 ; CHECK-NEXT: <FUNCTION op0=17 op1=4
  13 ; CHECK:       <GLOBALVAL_SUMMARY_BLOCK
  14 ; CHECK-NEXT:    <VERSION
  15 ; CHECK-NEXT:    <FLAGS
  16 ; See if the call to func is registered.
  17 ; CHECK-NEXT:    <PERMODULE_RELBF {{.*}} op4=1 {{.*}} op9=256
  18 ; CHECK-NEXT:  </GLOBALVAL_SUMMARY_BLOCK>
  19 ; CHECK: <STRTAB_BLOCK
  20 ; CHECK-NEXT: blob data = 'undefinedglobmainfunc{{.*}}'
  21
  22
  23 ; ModuleID = 'thinlto-function-summary-callgraph.ll'
  24 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  25 target triple = "x86_64-unknown-linux-gnu"
  26
  27 ; Function Attrs: nounwind uwtable
  28 define i32 @main() #0 {
  29 entry:
  30     call void (...) @func()
  31     %u = load i32, i32* @undefinedglob
  32     ret i32 %u
  33 }
  34
  35 declare void @func(...) #1
  36 @undefinedglob = external global i32
  37
  38 ; OLD: Index {{.*}} contains 1 nodes (1 functions, 0 alias, 0 globals) and 1 edges (0 refs and 1 calls)
  39
  40 ; DIS: ^0 = module: (path: "{{.*}}", hash: (0, 0, 0, 0, 0))
  41 ; DIS: ^1 = gv: (name: "func") ; guid = 7289175272376759421
  42 ; DIS: ^2 = gv: (name: "main", summaries: (function: (module: ^0, flags: (linkage: external, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 3, calls: ((callee: ^1, relbf: 256)), refs: (readonly ^3)))) ; guid = 15822663052811949562
  43 ; DIS: ^3 = gv: (name: "undefinedglob") ; guid = 18036901804029949403