llvm/test/ThinLTO/X86/import-constant.ll

   1 ; Check that we promote constant object in the source module and import it
   2 ; even when it is referenced in some other GV initializer and/or is used
   3 ; by store instructions.
   4 ; RUN: opt -thinlto-bc %s -o %t1.bc
   5 ; RUN: opt -thinlto-bc %p/Inputs/import-constant.ll -o %t2.bc
   6 ; RUN: llvm-lto2 run -save-temps %t1.bc %t2.bc -o %t-out \
   7 ; RUN:    -import-constants-with-refs \
   8 ; RUN:    -r=%t1.bc,main,plx \
   9 ; RUN:    -r=%t1.bc,_Z6getObjv,l \
  10 ; RUN:    -r=%t2.bc,_Z6getObjv,pl \
  11 ; RUN:    -r=%t2.bc,val,pl \
  12 ; RUN:    -r=%t2.bc,outer,pl
  13 ; RUN: llvm-dis %t-out.2.1.promote.bc -o - | FileCheck %s --check-prefix=PROMOTE
  14 ; RUN: llvm-dis %t-out.1.3.import.bc -o - | FileCheck %s --check-prefix=IMPORT
  15 ; RUN: llvm-dis %t-out.1.4.opt.bc -o - | FileCheck %s --check-prefix=OPT
  16
  17 ; Check when importing references is prohibited
  18 ; RUN: llvm-lto2 run -save-temps %t1.bc %t2.bc -o %t-out-norefs \
  19 ; RUN:    -import-constants-with-refs=false \
  20 ; RUN:    -r=%t1.bc,main,plx \
  21 ; RUN:    -r=%t1.bc,_Z6getObjv,l \
  22 ; RUN:    -r=%t2.bc,_Z6getObjv,pl \
  23 ; RUN:    -r=%t2.bc,val,pl \
  24 ; RUN:    -r=%t2.bc,outer,pl
  25 ; RUN: llvm-dis %t-out-norefs.1.3.import.bc -o - | FileCheck %s --check-prefix=NOREFS
  26
  27 ; Check that variable has been promoted in the source module
  28 ; PROMOTE: @_ZL3Obj.llvm.{{.*}} = hidden constant %struct.S { i32 4, i32 8, ptr @val }
  29
  30 ; @outer is a write-only variable, so it's been converted to zeroinitializer.
  31 ; IMPORT:      @val = available_externally global i32 42
  32 ; IMPORT-NEXT: @_ZL3Obj.llvm.{{.*}} = available_externally hidden constant %struct.S { i32 4, i32 8, ptr @val }
  33 ; IMPORT-NEXT: @outer = internal local_unnamed_addr global %struct.Q zeroinitializer
  34
  35 ; @outer is a write-only variable that's stored to once, so the store and the global can be removed.
  36 ; OPT-NOT: @outer
  37
  38 ; OPT:      define dso_local noundef i32 @main()
  39 ; OPT-NEXT: entry:
  40 ; OPT-NEXT:   ret i32 12
  41
  42 ; NOREFS:      @_ZL3Obj.llvm.{{.*}} = external hidden constant %struct.S
  43 ; NOREFS-NEXT: @outer = internal local_unnamed_addr global %struct.Q zeroinitializer
  44
  45 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  46 target triple = "x86_64-unknown-linux-gnu"
  47
  48 %struct.S = type { i32, i32, ptr }
  49
  50 define dso_local i32 @main() local_unnamed_addr {
  51 entry:
  52   %call = tail call ptr @_Z6getObjv()
  53   %0 = load i32, ptr %call, align 8
  54   %v = getelementptr inbounds %struct.S, ptr %call, i64 0, i32 1
  55   %1 = load i32, ptr %v, align 4
  56   %add = add nsw i32 %1, %0
  57   ret i32 %add
  58 }
  59
  60 declare dso_local ptr @_Z6getObjv() local_unnamed_addr