diff options
| author | Teresa Johnson <tejohnson@google.com> | 2016-10-08 16:11:42 +0000 |
|---|---|---|
| committer | Teresa Johnson <tejohnson@google.com> | 2016-10-08 16:11:42 +0000 |
| commit | fd33922422877ac85a2ab6a4b8b0c71ea91ae147 (patch) | |
| tree | 2182263a00cac7ea7426db0153e9aa1bbb4ace82 /test/Bitcode | |
| parent | a3cf93ab26035a878fa4d2f4ac7621fc10c6f5ed (diff) | |
[ThinLTO] Record calls to aliases
Summary:
When there is a call to an alias in the same module, we were not
adding a call edge. So we could incorrectly think that the alias
was dead if it was inlined in that function, despite having a
reference imported elsewhere. This resulted in unsats at link time.
Add a call edge when the call is to an alias.
Reviewers: davide, mehdi_amini
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D25384
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@283664 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Bitcode')
| -rw-r--r-- | test/Bitcode/thinlto-alias2.ll | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/Bitcode/thinlto-alias2.ll b/test/Bitcode/thinlto-alias2.ll new file mode 100644 index 00000000000..d2b7f723fa4 --- /dev/null +++ b/test/Bitcode/thinlto-alias2.ll @@ -0,0 +1,28 @@ +; Test to check the callgraph for call to alias in module. +; RUN: opt -module-summary %s -o %t.o +; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s + +; CHECK: <GLOBALVAL_SUMMARY_BLOCK +; CHECK-NEXT: <VERSION +; CHECK-NEXT: <PERMODULE {{.*}} op3=0 op4=[[ALIASID:[0-9]+]]/> +; CHECK-NEXT: <PERMODULE {{.*}} op0=[[ALIASEEID:[0-9]+]] +; CHECK-NEXT: <ALIAS {{.*}} op0=[[ALIASID]] {{.*}} op2=[[ALIASEEID]]/> +; CHECK-NEXT: </GLOBALVAL_SUMMARY_BLOCK> + +; ModuleID = 'thinlto-alias2.ll' +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define i32 @main() { +entry: + call void (...) @analias() + ret i32 0 +} + +@analias = alias void (...), bitcast (void ()* @aliasee to void (...)*) + +define void @aliasee() #0 { +entry: + ret void +} + |