llvm/test/Bitcode/thinlto-function-summary.ll

   1 ; RUN: opt -name-anon-globals -module-summary < %s | llvm-bcanalyzer -dump | FileCheck %s -check-prefix=BC
   2 ; RUN: opt -passes=name-anon-globals -module-summary < %s | llvm-bcanalyzer -dump | FileCheck %s -check-prefix=BC
   3 ; Check for summary block/records.
   4
   5 ; BC: <SOURCE_FILENAME
   6 ; "h"
   7 ; BC-NEXT: <GLOBALVAR {{.*}} op0=0 op1=1
   8 ; "foo"
   9 ; BC-NEXT: <FUNCTION op0=1 op1=3
  10 ; "bar"
  11 ; BC-NEXT: <FUNCTION op0=4 op1=3
  12 ; "anon.[32 chars].0"
  13 ; BC-NEXT: <FUNCTION op0=7 op1=39
  14 ; "variadic"
  15 ; BC-NEXT: <FUNCTION op0=46 op1=8
  16 ; "llvm.va_start"
  17 ; BC-NEXT: <FUNCTION op0=54 op1=13
  18 ; "f"
  19 ; BC-NEXT: <ALIAS op0=67 op1=1
  20 ; BC: <GLOBALVAL_SUMMARY_BLOCK
  21 ; BC-NEXT: <VERSION
  22 ; BC-NEXT: <FLAGS
  23 ; BC-NEXT: <PERMODULE {{.*}} op0=1 op1=0
  24 ; BC-NEXT: <PERMODULE {{.*}} op0=2 op1=0
  25 ; BC-NEXT: <PERMODULE {{.*}} op0=3 op1=7
  26 ; BC-NEXT: <PERMODULE {{.*}} op0=4 op1=0 op2=4 op3=0
  27 ; BC-NEXT: <ALIAS {{.*}} op0=6 op1=0 op2=3
  28 ; BC-NEXT: <BLOCK_COUNT op0=5/>
  29 ; BC-NEXT: </GLOBALVAL_SUMMARY_BLOCK
  30 ; BC: <STRTAB_BLOCK
  31 ; BC-NEXT: blob data = 'hfoobaranon.{{................................}}.0variadicllvm.va_startf{{.*}}'
  32
  33
  34 ; RUN: opt -name-anon-globals -module-summary < %s | llvm-dis | FileCheck %s
  35 ; Check that this round-trips correctly.
  36
  37 ; ModuleID = '<stdin>'
  38 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  39 target triple = "x86_64-unknown-linux-gnu"
  40
  41 ; CHECK: define i32 @foo()
  42
  43 ; Function Attrs: nounwind uwtable
  44 define i32 @foo() #0 {
  45 entry:
  46   ret i32 1
  47 }
  48
  49 ; CHECK: define i32 @bar(i32 %x)
  50
  51 ; Function Attrs: nounwind uwtable
  52 define i32 @bar(i32 %x) #0 {
  53 entry:
  54   ret i32 %x
  55 }
  56
  57 ; FIXME: Anonymous function and alias not currently in summary until
  58 ; follow on fixes to rename anonymous globals and emit alias summary
  59 ; entries are committed.
  60 ; Check an anonymous function as well, since in that case only the alias
  61 ; ends up in the value symbol table and having a summary.
  62 @f = alias void (), void ()* @0   ; <void ()*> [#uses=0]
  63 @h = external global void ()*     ; <void ()*> [#uses=0]
  64
  65 define internal void @0() nounwind {
  66 entry:
  67   store void()* @0, void()** @h
  68         br label %return
  69
  70 return:         ; preds = %entry
  71         ret void
  72 }
  73
  74 define i32 @variadic(...) {
  75     %ap = alloca i8*, align 8
  76     %ap.0 = bitcast i8** %ap to i8*
  77     call void @llvm.va_start(i8* %ap.0)
  78     ret i32 42
  79 }
  80
  81 declare void @llvm.va_start(i8*) nounwind