if (S->isLive())
return;
- // We only keep live symbols that are known to be non-prevailing if any are
- // available_externally. Those symbols are discarded later in the
- // EliminateAvailableExternally pass and setting them to not-live breaks
- // downstreams users of liveness information (PR36483).
- if (isPrevailing(VI.getGUID()) == PrevailingType::No) {
- bool AvailableExternally = false;
- for (auto &S : VI.getSummaryList())
- if (S->linkage() == GlobalValue::AvailableExternallyLinkage)
- AvailableExternally = true;
-
- if (!AvailableExternally)
- return;
-
-#ifndef NDEBUG
- for (auto &S : VI.getSummaryList())
- assert(!GlobalValue::isInterposableLinkage(S->linkage()) &&
- "Symbol with interposable and available_externally linkages");
-#endif
- }
+ // We do not keep live symbols that are known to be non-prevailing.
+ if (isPrevailing(VI.getGUID()) == PrevailingType::No)
+ return;
for (auto &S : VI.getSummaryList())
S->setLive(true);
; RUN: -r %t1.bc,_dead_func,pl \
; RUN: -r %t1.bc,_baz,l \
; RUN: -r %t1.bc,_boo,l \
-; RUN: -r %t1.bc,_live_available_externally_func,l \
; RUN: -r %t2.bc,_baz,pl \
; RUN: -r %t2.bc,_boo,pl \
; RUN: -r %t2.bc,_dead_func,l \
; COMBINED-DAG: <COMBINED {{.*}} op2=119
; Live, dso_local, Internal
; COMBINED-DAG: <COMBINED {{.*}} op2=103
-; Live, Local, AvailableExternally
-; COMBINED-DAG: <COMBINED {{.*}} op2=97
; Live, Local, External
; COMBINED-DAG: <COMBINED {{.*}} op2=96
; COMBINED-DAG: <COMBINED {{.*}} op2=96
; RUN: -r %t1.bc,_dead_func,pl \
; RUN: -r %t1.bc,_baz,l \
; RUN: -r %t1.bc,_boo,l \
-; RUN: -r %t1.bc,_live_available_externally_func,l \
; RUN: -r %t3.bc,_baz,pl \
; RUN: -r %t3.bc,_boo,pl \
; RUN: -r %t3.bc,_dead_func,l \
ret void
}
-define available_externally void @live_available_externally_func() {
- ret void
-}
-
define void @main() {
call void @bar()
call void @bar_internal()
- call void @live_available_externally_func()
ret void
}
+++ /dev/null
-; REQUIRES: asserts
-; RUN: opt -module-summary %s -o %t1.bc
-; RUN: opt -module-summary -o %t2.bc %S/Inputs/not-prevailing.ll
-; RUN: not --crash llvm-lto2 run -o %t3.bc %t1.bc %t2.bc -r %t1.bc,bar,px \
-; RUN: -r %t1.bc,foo,x -r %t2.bc,foo,x -save-temps 2>&1 | FileCheck %s
-
-; CHECK: "Symbol with interposable and available_externally linkages"
-
-target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
-
-define available_externally i32 @foo() {
- ret i32 1
-}
-
-define i32 @bar() {
- %1 = call i32 @foo()
- ret i32 %1
-}