test/ThinLTO/X86/linkonce_odr_unnamed_addr.ll

   1 ; This test ensures that when linkonce_odr + unnamed_addr symbols promoted to
   2 ; weak symbols, it preserves the auto hide property when possible.
   3
   4 ; RUN: opt -module-summary %s -o %t.bc
   5 ; RUN: opt -module-summary %p/Inputs/linkonce_odr_unnamed_addr.ll -o %t2.bc
   6 ; Check old LTO API
   7 ; RUN: llvm-lto -thinlto-action=thinlink -o %t3.bc %t.bc %t2.bc
   8 ; RUN: llvm-lto -thinlto-action=promote %t.bc -thinlto-index=%t3.bc -o - | llvm-dis -o - | FileCheck %s
   9 ; Check new LTO API
  10 ; RUN: llvm-lto2 run -save-temps -o %t6.bc %t.bc %t2.bc -r=%t.bc,linkonceodrunnamed,p -r=%t.bc,odrunnamed,p -r=%t2.bc,linkonceodrunnamed, -r=%t2.bc,odrunnamed,
  11 ; RUN: llvm-dis %t6.bc.1.1.promote.bc -o - | FileCheck %s
  12
  13 ; Now test when one module does not have a summary. In that case we must be
  14 ; conservative and not auto hide.
  15 ; RUN: opt %p/Inputs/linkonce_odr_unnamed_addr.ll -o %t4.bc
  16 ; Check new LTO API (old LTO API does not detect this case).
  17 ; RUN: llvm-lto2 run -save-temps -o %t6.bc %t.bc %t4.bc -r=%t.bc,linkonceodrunnamed,p -r=%t.bc,odrunnamed,p -r=%t4.bc,linkonceodrunnamed, -r=%t4.bc,odrunnamed,
  18 ; RUN: llvm-dis %t6.bc.1.1.promote.bc -o - | FileCheck %s --check-prefix=NOSUMMARY
  19
  20 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  21 target triple = "x86_64-grtev4-linux-gnu"
  22
  23 ; In this case all copies are linkonce_odr, so it may be hidden.
  24 ; CHECK: @linkonceodrunnamed = weak_odr hidden unnamed_addr constant i32 0
  25 ; NOSUMMARY: @linkonceodrunnamed = weak_odr unnamed_addr constant i32 0
  26 @linkonceodrunnamed = linkonce_odr unnamed_addr constant i32 0
  27
  28 ; In this case, the other copy was weak_odr, so it may not be hidden.
  29 ; CHECK: @odrunnamed = weak_odr unnamed_addr constant i32 0
  30 ; NOSUMMARY: @odrunnamed = weak_odr unnamed_addr constant i32 0
  31 @odrunnamed = linkonce_odr unnamed_addr constant i32 0