1;; Test to ensure we properly resolve weak symbols and internalize them when 2;; appropriate. 3 4; RUN: opt -module-summary %s -o %t.bc 5; RUN: opt -module-summary %p/Inputs/weak_resolution.ll -o %t2.bc 6 7;; First try this with the legacy LTO API 8; RUN: llvm-lto -thinlto-action=thinlink -o %t3.bc %t.bc %t2.bc 9;; Verify that prevailing weak for linker symbol is selected across modules, 10;; non-prevailing ODR are not kept when possible, but non-ODR non-prevailing 11;; are not affected. 12; RUN: llvm-lto -thinlto-action=promote %t.bc -thinlto-index=%t3.bc -o - | llvm-dis -o - | FileCheck %s --check-prefix=MOD1 13; RUN: llvm-lto -thinlto-action=internalize %t.bc -thinlto-index=%t3.bc -exported-symbol=_linkoncefunc -o - | llvm-dis -o - | FileCheck %s --check-prefix=MOD1-INT 14; RUN: llvm-lto -thinlto-action=promote %t2.bc -thinlto-index=%t3.bc -o - | llvm-dis -o - | FileCheck %s --check-prefix=MOD2 15; When exported, we always preserve a linkonce 16; RUN: llvm-lto -thinlto-action=promote %t.bc -thinlto-index=%t3.bc -o - --exported-symbol=_linkonceodrfuncInSingleModule --exported-symbol=_weakfuncInSingleModule | llvm-dis -o - | FileCheck %s --check-prefix=EXPORTED 17 18;; Now try this with the new LTO API 19; RUN: llvm-lto2 run %t.bc %t2.bc -o %t3.out -save-temps \ 20; RUN: -r %t.bc,_linkonceodralias,pl \ 21; RUN: -r %t.bc,_linkoncealias,pl \ 22; RUN: -r %t.bc,_linkonceodrvarInSingleModule,pl \ 23; RUN: -r %t.bc,_weakodrvarInSingleModule,pl \ 24; RUN: -r %t.bc,_weakvarInSingleModule,pl \ 25; RUN: -r %t.bc,_linkonceodrfuncwithalias,pl \ 26; RUN: -r %t.bc,_linkoncefuncwithalias,pl \ 27; RUN: -r %t.bc,_linkonceodrfunc,pl \ 28; RUN: -r %t.bc,_linkoncefunc,pl \ 29; RUN: -r %t.bc,_weakodrfunc,pl \ 30; RUN: -r %t.bc,_weakfunc,pl \ 31; RUN: -r %t.bc,_linkonceodrfuncInSingleModule,pl \ 32; RUN: -r %t.bc,_weakfuncInSingleModule,pl \ 33; RUN: -r %t2.bc,_linkonceodrfuncwithalias,l \ 34; RUN: -r %t2.bc,_linkoncefuncwithalias,l \ 35; RUN: -r %t2.bc,_linkonceodrfunc,l \ 36; RUN: -r %t2.bc,_linkoncefunc,l \ 37; RUN: -r %t2.bc,_weakodrfunc,l \ 38; RUN: -r %t2.bc,_weakfunc,l \ 39; RUN: -r %t2.bc,_linkonceodralias,l \ 40; RUN: -r %t2.bc,_linkoncealias,l 41; RUN: llvm-dis %t3.out.1.2.internalize.bc -o - | FileCheck %s --check-prefix=MOD1-INT 42 43target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 44target triple = "x86_64-apple-macosx10.11.0" 45 46;; Alias are resolved, but can't be turned into "available_externally" 47; MOD1: @linkonceodralias = weak_odr alias void (), ptr @linkonceodrfuncwithalias 48; MOD2: @linkonceodralias = linkonce_odr alias void (), ptr @linkonceodrfuncwithalias 49@linkonceodralias = linkonce_odr alias void (), ptr @linkonceodrfuncwithalias 50 51;; Alias are resolved, but can't be turned into "available_externally" 52; MOD1: @linkoncealias = weak alias void (), ptr @linkoncefuncwithalias 53; MOD2: @linkoncealias = linkonce alias void (), ptr @linkoncefuncwithalias 54@linkoncealias = linkonce alias void (), ptr @linkoncefuncwithalias 55 56;; Non-exported linkonce/weak variables can always be internalized, regardless 57;; of whether they are const or *unnamed_addr. 58; MOD1-INT: @linkonceodrvarInSingleModule = internal global 59; MOD1-INT: @weakodrvarInSingleModule = internal global 60; MOD1-INT: @weakvarInSingleModule = internal global 61@linkonceodrvarInSingleModule = linkonce_odr dso_local global ptr null, align 8 62@weakodrvarInSingleModule = weak_odr dso_local global ptr null, align 8 63@weakvarInSingleModule = weak dso_local global ptr null, align 8 64 65;; Function with an alias are resolved to weak_odr in prevailing module, but 66;; not optimized in non-prevailing module (illegal to have an 67;; available_externally aliasee). 68; MOD1: define weak_odr void @linkonceodrfuncwithalias() 69; MOD2: define linkonce_odr void @linkonceodrfuncwithalias() 70define linkonce_odr void @linkonceodrfuncwithalias() #0 { 71entry: 72 ret void 73} 74 75;; Function with an alias are resolved to weak in prevailing module, but 76;; not optimized in non-prevailing module (illegal to have an 77;; available_externally aliasee). 78; MOD1: define weak void @linkoncefuncwithalias() 79; MOD2: define linkonce void @linkoncefuncwithalias() 80define linkonce void @linkoncefuncwithalias() #0 { 81entry: 82 ret void 83} 84 85; MOD1: define weak_odr void @linkonceodrfunc() 86; MOD2: define available_externally void @linkonceodrfunc() 87define linkonce_odr void @linkonceodrfunc() #0 { 88entry: 89 ret void 90} 91; MOD1: define weak void @linkoncefunc() 92;; New LTO API will use dso_local 93; MOD1-INT: define weak{{.*}} void @linkoncefunc() 94; MOD2: declare void @linkoncefunc() 95define linkonce void @linkoncefunc() #0 { 96entry: 97 ret void 98} 99; MOD1: define weak_odr void @weakodrfunc() 100; MOD2: define available_externally void @weakodrfunc() 101define weak_odr void @weakodrfunc() #0 { 102entry: 103 ret void 104} 105; MOD1: define weak void @weakfunc() 106; MOD2: declare void @weakfunc() 107define weak void @weakfunc() #0 { 108entry: 109 ret void 110} 111 112;; A linkonce_odr with a single, non-exported, def can be safely 113;; internalized without increasing code size or being concerned 114;; about affecting function pointer equality. 115; MOD1: define weak_odr void @linkonceodrfuncInSingleModule() 116; MOD1-INT: define internal void @linkonceodrfuncInSingleModule() 117; EXPORTED: define weak_odr void @linkonceodrfuncInSingleModule() 118define linkonce_odr void @linkonceodrfuncInSingleModule() #0 { 119entry: 120 ret void 121} 122 123; MOD1: define weak void @weakfuncInSingleModule() 124; MOD1-INT: define internal void @weakfuncInSingleModule() 125; EXPORTED: define weak void @weakfuncInSingleModule() 126define weak void @weakfuncInSingleModule() { 127entry: 128 ret void 129} 130