test/CodeGen/X86/cxx_tlscc64.ll

   1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
   2 ; TLS function were wrongly model and after fixing that, shrink-wrapping
   3 ; cannot help here. To achieve the expected lowering, we need to playing
   4 ; tricks similar to AArch64 fast TLS calling convention (r255821).
   5 ; Applying tricks on x86-64 similar to r255821.
   6 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -enable-shrink-wrap=true | FileCheck %s
   7 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -O0 | FileCheck %s --check-prefix=CHECK-O0
   8 %struct.S = type { i8 }
   9
  10 @sg = internal thread_local global %struct.S zeroinitializer, align 1
  11 @__dso_handle = external global i8
  12 @__tls_guard = internal thread_local unnamed_addr global i1 false
  13 @sum1 = internal thread_local global i32 0, align 4
  14
  15 declare void @_ZN1SC1Ev(%struct.S*)
  16 declare void @_ZN1SD1Ev(%struct.S*)
  17 declare i32 @_tlv_atexit(void (i8*)*, i8*, i8*)
  18
  19 ; Every GPR should be saved - except rdi, rax, and rsp
  20 ; CHECK-LABEL: _ZTW2sg
  21 ; CHECK-NOT: pushq %r11
  22 ; CHECK-NOT: pushq %r10
  23 ; CHECK-NOT: pushq %r9
  24 ; CHECK-NOT: pushq %r8
  25 ; CHECK-NOT: pushq %rsi
  26 ; CHECK-NOT: pushq %rdx
  27 ; CHECK-NOT: pushq %rcx
  28 ; CHECK-NOT: pushq %rbx
  29 ; CHECK: callq
  30 ; CHECK: jne
  31 ; CHECK: callq
  32 ; CHECK: tlv_atexit
  33 ; CHECK: callq
  34 ; CHECK-NOT: popq %rbx
  35 ; CHECK-NOT: popq %rcx
  36 ; CHECK-NOT: popq %rdx
  37 ; CHECK-NOT: popq %rsi
  38 ; CHECK-NOT: popq %r8
  39 ; CHECK-NOT: popq %r9
  40 ; CHECK-NOT: popq %r10
  41 ; CHECK-NOT: popq %r11
  42 define cxx_fast_tlscc nonnull %struct.S* @_ZTW2sg() nounwind {
  43   %.b.i = load i1, i1* @__tls_guard, align 1
  44   br i1 %.b.i, label %__tls_init.exit, label %init.i
  45
  46 init.i:
  47   store i1 true, i1* @__tls_guard, align 1
  48   tail call void @_ZN1SC1Ev(%struct.S* nonnull @sg) #2
  49   %1 = tail call i32 @_tlv_atexit(void (i8*)* nonnull bitcast (void (%struct.S*)* @_ZN1SD1Ev to void (i8*)*), i8* nonnull getelementptr inbounds (%struct.S, %struct.S* @sg, i64 0, i32 0), i8* nonnull @__dso_handle) #2
  50   br label %__tls_init.exit
  51
  52 __tls_init.exit:
  53   ret %struct.S* @sg
  54 }
  55
  56 ; CHECK-LABEL: _ZTW4sum1
  57 ; CHECK-NOT: pushq %r11
  58 ; CHECK-NOT: pushq %r10
  59 ; CHECK-NOT: pushq %r9
  60 ; CHECK-NOT: pushq %r8
  61 ; CHECK-NOT: pushq %rsi
  62 ; CHECK-NOT: pushq %rdx
  63 ; CHECK-NOT: pushq %rcx
  64 ; CHECK-NOT: pushq %rbx
  65 ; CHECK: callq
  66 define cxx_fast_tlscc nonnull i32* @_ZTW4sum1() nounwind {
  67   ret i32* @sum1
  68 }
  69
  70 ; Make sure at O0 we don't overwrite RBP.
  71 ; CHECK-O0-LABEL: _ZTW4sum2
  72 ; CHECK-O0: pushq %rbp
  73 ; CHECK-O0: movq %rsp, %rbp
  74 ; CHECK-O0-NOT: movq %r{{.*}}, (%rbp)
  75 define cxx_fast_tlscc i32* @_ZTW4sum2() #0 {
  76   ret i32* @sum1
  77 }
  78
  79 attributes #0 = { nounwind "no-frame-pointer-elim"="true" }