69 lines · plain
1; REQUIRES: x862;; If the vtable symbols are localized by a version script, devirtualization3;; can still happen.4 5; RUN: opt --thinlto-bc -o %t1.o %s6; RUN: opt --thinlto-bc -o %t2.o %S/Inputs/devirt_vcall_vis_shared_def.ll7; RUN: echo '{ global: _start; local: *; };' > %t.ver8 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 011 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=REMARK14; RUN: llvm-dis < %t1.o.4.opt.bc | FileCheck %s --check-prefix=CHECK-IR15 16; REMARK: single-impl: devirtualized a call to _ZN1A1nEi17 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 !225@_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 !226 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 %obj34 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"_ZTS1A")35 call void @llvm.assume(i1 %p)36 %fptrptr = getelementptr ptr, ptr %vtable, i32 137 %fptr1 = load ptr, ptr %fptrptr, align 838 39 ;; Check that the call was devirtualized.40 ; CHECK-IR: %call = tail call i32 @_ZN1A1nEi41 %call = tail call i32 %fptr1(ptr nonnull %obj, i32 %a)42 43 ret i32 %call44}45; CHECK-IR-LABEL: ret i3246; 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 053}54 55define available_externally i32 @_ZN1A1nEi(ptr %this, i32 %a) #0 {56 ret i32 057}58 59define linkonce_odr i32 @_ZN1B1fEi(ptr %this, i32 %a) #0 {60 ret i32 061}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