1 ; Test to check both the callgraph and refgraph in summary 2 ; RUN: opt -module-summary %s -o %t.o 3 ; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s 4 5 ; See if the calls and other references are recorded properly using the 6 ; expected value id and other information as appropriate (callsite cout 7 ; for calls). Use different linkage types for the various test cases to 8 ; distinguish the test cases here (op1 contains the linkage type). 9 ; Note that op3 contains the # non-call references. 10 ; This also ensures that we didn't include a call or reference to intrinsic 11 ; llvm.ctpop.i8. 12 ; CHECK: <GLOBALVAL_SUMMARY_BLOCK 13 ; Function main contains call to func, as well as address reference to func: 14 ; CHECK-DAG: <PERMODULE {{.*}} op0=[[MAINID:[0-9]+]] op1=0 {{.*}} op3=1 op4=[[FUNCID:[0-9]+]] op5=[[FUNCID]] op6=1/> 15 ; Function W contains a call to func3 as well as a reference to globalvar: 16 ; CHECK-DAG: <PERMODULE {{.*}} op0=[[WID:[0-9]+]] op1=5 {{.*}} op3=1 op4=[[GLOBALVARID:[0-9]+]] op5=[[FUNC3ID:[0-9]+]] op6=1/> 17 ; Function X contains call to foo, as well as address reference to foo 18 ; which is in the same instruction as the call: 19 ; CHECK-DAG: <PERMODULE {{.*}} op0=[[XID:[0-9]+]] op1=1 {{.*}} op3=1 op4=[[FOOID:[0-9]+]] op5=[[FOOID]] op6=1/> 20 ; Function Y contains call to func2, and ensures we don't incorrectly add 21 ; a reference to it when reached while earlier analyzing the phi using its 22 ; return value: 23 ; CHECK-DAG: <PERMODULE {{.*}} op0=[[YID:[0-9]+]] op1=8 {{.*}} op3=0 op4=[[FUNC2ID:[0-9]+]] op5=1/> 24 ; Function Z contains call to func2, and ensures we don't incorrectly add 25 ; a reference to it when reached while analyzing subsequent use of its return 26 ; value: 27 ; CHECK-DAG: <PERMODULE {{.*}} op0=[[ZID:[0-9]+]] op1=3 {{.*}} op3=0 op4=[[FUNC2ID:[0-9]+]] op5=1/> 28 ; Variable bar initialization contains address reference to func: 29 ; CHECK-DAG: <PERMODULE_GLOBALVAR_INIT_REFS {{.*}} op0=[[BARID:[0-9]+]] op1=0 op2=[[FUNCID]]/> 30 ; CHECK: </GLOBALVAL_SUMMARY_BLOCK> 31 32 ; CHECK-NEXT: <VALUE_SYMTAB 33 ; CHECK-DAG: <ENTRY {{.*}} op0=[[BARID]] {{.*}} record string = 'bar' 34 ; CHECK-DAG: <ENTRY {{.*}} op0=[[FUNCID]] {{.*}} record string = 'func' 35 ; CHECK-DAG: <ENTRY {{.*}} op0=[[FOOID]] {{.*}} record string = 'foo' 36 ; CHECK-DAG: <FNENTRY {{.*}} op0=[[MAINID]] {{.*}} record string = 'main' 37 ; CHECK-DAG: <FNENTRY {{.*}} op0=[[WID]] {{.*}} record string = 'W' 38 ; CHECK-DAG: <FNENTRY {{.*}} op0=[[XID]] {{.*}} record string = 'X' 39 ; CHECK-DAG: <FNENTRY {{.*}} op0=[[YID]] {{.*}} record string = 'Y' 40 ; CHECK-DAG: <FNENTRY {{.*}} op0=[[ZID]] {{.*}} record string = 'Z' 41 ; CHECK-DAG: <ENTRY {{.*}} op0=[[FUNC2ID]] {{.*}} record string = 'func2' 42 ; CHECK-DAG: <ENTRY {{.*}} op0=[[FUNC3ID]] {{.*}} record string = 'func3' 43 ; CHECK-DAG: <ENTRY {{.*}} op0=[[GLOBALVARID]] {{.*}} record string = 'globalvar' 44 ; CHECK: </VALUE_SYMTAB> 45 46 ; ModuleID = 'thinlto-function-summary-refgraph.ll' 47 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 48 target triple = "x86_64-unknown-linux-gnu" 49 50 @bar = global void (...)* bitcast (void ()* @func to void (...)*), align 8 51 52 @globalvar = global i32 0, align 4 53 54 declare void @func() #0 55 declare i32 @func2(...) #1 56 declare void @foo(i8* %F) #0 57 declare i32 @func3(i32* dereferenceable(4)) #2 58 59 ; Function Attrs: nounwind uwtable 60 define weak_odr void @W() #0 { 61 entry: 62 %call = tail call i32 @func3(i32* nonnull dereferenceable(4) @globalvar) 63 ret void 64 } 65 66 ; Function Attrs: nounwind uwtable 67 define available_externally void @X() #0 { 68 entry: 69 call void @foo(i8* bitcast (void (i8*)* @foo to i8*)) 70 ret void 71 } 72 73 ; Function Attrs: nounwind uwtable 74 define private i32 @Y(i32 %i) #0 { 75 entry: 76 %cmp3 = icmp slt i32 %i, 10 77 br i1 %cmp3, label %while.body.preheader, label %while.end 78 79 while.body.preheader: ; preds = %entry 80 br label %while.body 81 82 while.body: ; preds = %while.body.preheader, %while.body 83 %j.05 = phi i32 [ %add, %while.body ], [ 0, %while.body.preheader ] 84 %i.addr.04 = phi i32 [ %inc, %while.body ], [ %i, %while.body.preheader ] 85 %inc = add nsw i32 %i.addr.04, 1 86 %call = tail call i32 (...) @func2() #2 87 %add = add nsw i32 %call, %j.05 88 %exitcond = icmp eq i32 %inc, 10 89 br i1 %exitcond, label %while.end.loopexit, label %while.body 90 91 while.end.loopexit: ; preds = %while.body 92 %add.lcssa = phi i32 [ %add, %while.body ] 93 br label %while.end 94 95 while.end: ; preds = %while.end.loopexit, %entry 96 %j.0.lcssa = phi i32 [ 0, %entry ], [ %add.lcssa, %while.end.loopexit ] 97 ret i32 %j.0.lcssa 98 } 99 100 ; Function Attrs: nounwind uwtable 101 define linkonce_odr i32 @Z() #0 { 102 entry: 103 %call = tail call i32 (...) @func2() #2 104 ret i32 %call 105 } 106 107 declare i8 @llvm.ctpop.i8(i8) 108 109 ; Function Attrs: nounwind uwtable 110 define i32 @main() #0 { 111 entry: 112 %retval = alloca i32, align 4 113 %foo = alloca void (...)*, align 8 114 store i32 0, i32* %retval, align 4 115 store void (...)* bitcast (void ()* @func to void (...)*), void (...)** %foo, align 8 116 %0 = load void (...)*, void (...)** %foo, align 8 117 call void (...) %0() 118 call void @func() 119 call i8 @llvm.ctpop.i8( i8 10 ) 120 ret i32 0 121 } 122
