lld/test/ELF/lto/devirt_vcall_vis_localize.ll

   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
  18 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  19 target 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(
  31 define i32 @_start(ptr %obj, i32 %a) {
  32 entry:
  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
  48 declare i1 @llvm.type.test(ptr, metadata)
  49 declare void @llvm.assume(i1)
  50
  51 define available_externally i32 @_ZN1A1fEi(ptr %this, i32 %a) #0 {
  52    ret i32 0
  53 }
  54
  55 define available_externally i32 @_ZN1A1nEi(ptr %this, i32 %a) #0 {
  56    ret i32 0
  57 }
  58
  59 define 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.
  64 attributes #0 = { noinline optnone }
  65
  66 !0 = !{i64 16, !"_ZTS1A"}
  67 !1 = !{i64 16, !"_ZTS1B"}
  68 !2 = !{i64 0}