llvm/test/Transforms/GlobalOpt/externally-initialized-global-ctr.ll

   1 ; RUN: opt < %s -globalopt -S | FileCheck %s
   2 ; rdar://12580965.
   3 ; ObjC++ test case.
   4
   5 ; Make it easier to verify that alignment is correct/optimal:
   6 ; 16-bit pointers with 32-bit ABI alignment and 128-bit preferred alignment
   7
   8 target datalayout = "p:16:32:128"
   9
  10 %struct.ButtonInitData = type { i8* }
  11
  12 @_ZL14buttonInitData = internal global [1 x %struct.ButtonInitData] zeroinitializer, align 4
  13
  14 @"\01L_OBJC_METH_VAR_NAME_40" = internal global [7 x i8] c"print:\00", section "__TEXT,__objc_methname,cstring_literals", align 1
  15 @"\01L_OBJC_SELECTOR_REFERENCES_41" = internal externally_initialized  global i8* getelementptr inbounds ([7 x i8], [7 x i8]* @"\01L_OBJC_METH_VAR_NAME_40", i32 0, i32 0), section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
  16
  17 @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__I_a, i8* null }]
  18 @llvm.used = appending global [2 x i8*] [i8* getelementptr inbounds ([7 x i8], [7 x i8]* @"\01L_OBJC_METH_VAR_NAME_40", i32 0, i32 0),  i8* bitcast (i8** @"\01L_OBJC_SELECTOR_REFERENCES_41" to i8*)]
  19
  20 ; Choose the preferred alignment.
  21
  22 ; CHECK: @[[_ZL14BUTTONINITDATA_0_0:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i8* null, align 16
  23 ;.
  24 define internal void @__cxx_global_var_init() section "__TEXT,__StaticInit,regular,pure_instructions" {
  25   %1 = load i8*, i8** @"\01L_OBJC_SELECTOR_REFERENCES_41", !invariant.load !2009
  26   store i8* %1, i8** getelementptr inbounds ([1 x %struct.ButtonInitData], [1 x %struct.ButtonInitData]* @_ZL14buttonInitData, i32 0, i32 0, i32 0), align 4
  27   ret void
  28 }
  29
  30 define internal void @_GLOBAL__I_a() section "__TEXT,__StaticInit,regular,pure_instructions" {
  31   call void @__cxx_global_var_init()
  32   ret void
  33 }
  34
  35 declare void @test(i8*)
  36
  37 ; The preferred alignment is available.
  38
  39 define void @print() {
  40 ; CHECK-LABEL: @print(
  41 ; CHECK-NEXT:    [[TMP1:%.*]] = load i8*, i8** @_ZL14buttonInitData.0.0, align 16
  42 ; CHECK-NEXT:    call void @test(i8* [[TMP1]])
  43 ; CHECK-NEXT:    ret void
  44 ;
  45   %1 = load i8*, i8** getelementptr inbounds ([1 x %struct.ButtonInitData], [1 x %struct.ButtonInitData]* @_ZL14buttonInitData, i32 0, i32 0, i32 0), align 4
  46   call void @test(i8* %1)
  47   ret void
  48 }
  49
  50 !2009 = !{}