[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Bitcode / thinlto-function-summary-callgraph-cast.ll
blobe6fc9392745b2817c245de49886d58893e1e39f6
1 ; Test to check the callgraph for calls to casts.
2 ; RUN: opt -module-summary %s -o %t.o
3 ; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s
4 ; PR34966
6 ; CHECK:       <GLOBALVAL_SUMMARY_BLOCK
7 ; CHECK-NEXT:    <VERSION
8 ; CHECK-NEXT:    <FLAGS
9 ; "op7" is a call to "callee" function.
10 ; CHECK-NEXT:    <PERMODULE {{.*}} op9=3 op10=[[ALIASID:[0-9]+]]/>
11 ; "another_caller" has only references but no calls.
12 ; CHECK-NEXT:    <PERMODULE {{.*}} op4=3 {{.*}} op9={{[0-9]+}}/>
13 ; CHECK-NEXT:    <PERMODULE {{.*}} op0=[[ALIASEEID:[0-9]+]]
14 ; CHECK-NEXT:    <ALIAS {{.*}} op0=[[ALIASID]] {{.*}} op2=[[ALIASEEID]]/>
15 ; CHECK-NEXT:  </GLOBALVAL_SUMMARY_BLOCK>
17 ; ModuleID = 'thinlto-function-summary-callgraph-cast.ll'
18 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
19 target triple = "x86_64-unknown-linux-gnu"
21 define void @caller() {
22     call void bitcast (void (...)* @callee to void ()*)()
23     call void bitcast (void (...)* @analias to void ()*)()
24     ret void
27 define void @another_caller() {
28     ; Test calls that aren't handled either as direct or indirect.
29     call void select (i1 icmp eq (i32* @global, i32* null), void ()* @f, void ()* @g)()
30     ret void
33 declare void @callee(...)
35 @analias = alias void (...), bitcast (void ()* @aliasee to void (...)*)
37 define void @aliasee() {
38 entry:
39     ret void
42 declare void @f()
43 declare void @g()
44 @global = extern_weak global i32