1; REQUIRES: x86 2;; If the vtable symbols are localized by a version script, devirtualization 3;; can still happen. 4 5; RUN: opt --thinlto-bc -o %t1.o %s 6; RUN: opt --thinlto-bc -o %t2.o %S/Inputs/devirt_vcall_vis_shared_def.ll 7; RUN: echo '{ global: _start; local: *; };' > %t.ver 8 9; RUN: ld.lld %t1.o %t2.o -o %t.out --save-temps --lto-whole-program-visibility -shared \ 10; RUN: -mllvm -pass-remarks=. 2>&1 | count 0 11 12; RUN: ld.lld %t1.o %t2.o -o %t.out --save-temps --lto-whole-program-visibility -shared \ 13; RUN: --version-script=%t.ver -mllvm -pass-remarks=. 2>&1 | FileCheck %s --check-prefix=REMARK 14; RUN: llvm-dis < %t1.o.4.opt.bc | FileCheck %s --check-prefix=CHECK-IR 15 16; REMARK: single-impl: devirtualized a call to _ZN1A1nEi 17 18target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 19target triple = "x86_64-grtev4-linux-gnu" 20 21%struct.A = type { ptr } 22%struct.B = type { %struct.A } 23 24@_ZTV1A = available_externally unnamed_addr constant { [4 x ptr] } { [4 x ptr] [ptr null, ptr undef, ptr @_ZN1A1fEi, ptr @_ZN1A1nEi] }, !type !0, !vcall_visibility !2 25@_ZTV1B = linkonce_odr unnamed_addr constant { [4 x ptr] } { [4 x ptr] [ptr null, ptr undef, ptr @_ZN1B1fEi, ptr @_ZN1A1nEi] }, !type !0, !type !1, !vcall_visibility !2 26 27;; Prevent the vtables from being dead code eliminated. 28@llvm.used = appending global [2 x ptr] [ ptr @_ZTV1A, ptr @_ZTV1B] 29 30; CHECK-IR-LABEL: @_start( 31define i32 @_start(ptr %obj, i32 %a) { 32entry: 33 %vtable = load ptr, ptr %obj 34 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"_ZTS1A") 35 call void @llvm.assume(i1 %p) 36 %fptrptr = getelementptr ptr, ptr %vtable, i32 1 37 %fptr1 = load ptr, ptr %fptrptr, align 8 38 39 ;; Check that the call was devirtualized. 40 ; CHECK-IR: %call = tail call i32 @_ZN1A1nEi 41 %call = tail call i32 %fptr1(ptr nonnull %obj, i32 %a) 42 43 ret i32 %call 44} 45; CHECK-IR-LABEL: ret i32 46; CHECK-IR-LABEL: } 47 48declare i1 @llvm.type.test(ptr, metadata) 49declare void @llvm.assume(i1) 50 51define available_externally i32 @_ZN1A1fEi(ptr %this, i32 %a) #0 { 52 ret i32 0 53} 54 55define available_externally i32 @_ZN1A1nEi(ptr %this, i32 %a) #0 { 56 ret i32 0 57} 58 59define linkonce_odr i32 @_ZN1B1fEi(ptr %this, i32 %a) #0 { 60 ret i32 0 61} 62 63;; Make sure we don't inline or otherwise optimize out the direct calls. 64attributes #0 = { noinline optnone } 65 66!0 = !{i64 16, !"_ZTS1A"} 67!1 = !{i64 16, !"_ZTS1B"} 68!2 = !{i64 0} 69