Volodymyr Sapsai | 8887214 | 2017-11-10 00:47:47 +0000 | [diff] [blame] | 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 |
| 5 | |
| 6 | ; CHECK: <GLOBALVAL_SUMMARY_BLOCK |
| 7 | ; CHECK-NEXT: <VERSION |
Teresa Johnson | e393775 | 2019-01-11 18:31:57 +0000 | [diff] [blame] | 8 | ; CHECK-NEXT: <FLAGS |
Volodymyr Sapsai | 3c60df7 | 2017-11-17 18:28:05 +0000 | [diff] [blame] | 9 | ; "op7" is a call to "callee" function. |
Eugene Leviant | a3f1de9 | 2018-11-16 07:08:00 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: <PERMODULE {{.*}} op8=3 op9=[[ALIASID:[0-9]+]]/> |
Volodymyr Sapsai | 3c60df7 | 2017-11-17 18:28:05 +0000 | [diff] [blame] | 11 | ; "another_caller" has only references but no calls. |
Eugene Leviant | a3f1de9 | 2018-11-16 07:08:00 +0000 | [diff] [blame] | 12 | ; CHECK-NEXT: <PERMODULE {{.*}} op4=3 {{.*}} op8={{[0-9]+}}/> |
Volodymyr Sapsai | 8887214 | 2017-11-10 00:47:47 +0000 | [diff] [blame] | 13 | ; CHECK-NEXT: <PERMODULE {{.*}} op0=[[ALIASEEID:[0-9]+]] |
| 14 | ; CHECK-NEXT: <ALIAS {{.*}} op0=[[ALIASID]] {{.*}} op2=[[ALIASEEID]]/> |
| 15 | ; CHECK-NEXT: </GLOBALVAL_SUMMARY_BLOCK> |
| 16 | |
| 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" |
| 20 | |
| 21 | define void @caller() { |
| 22 | call void bitcast (void (...)* @callee to void ()*)() |
| 23 | call void bitcast (void (...)* @analias to void ()*)() |
| 24 | ret void |
| 25 | } |
| 26 | |
Volodymyr Sapsai | 3c60df7 | 2017-11-17 18:28:05 +0000 | [diff] [blame] | 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 |
| 31 | } |
| 32 | |
Volodymyr Sapsai | 8887214 | 2017-11-10 00:47:47 +0000 | [diff] [blame] | 33 | declare void @callee(...) |
| 34 | |
| 35 | @analias = alias void (...), bitcast (void ()* @aliasee to void (...)*) |
| 36 | |
| 37 | define void @aliasee() { |
| 38 | entry: |
| 39 | ret void |
| 40 | } |
Volodymyr Sapsai | 3c60df7 | 2017-11-17 18:28:05 +0000 | [diff] [blame] | 41 | |
| 42 | declare void @f() |
| 43 | declare void @g() |
| 44 | @global = extern_weak global i32 |