; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
; RUN: llc -o - %s | FileCheck %s --check-prefix=NOPIC
; RUN: llc -o - %s -relocation-model=pic | FileCheck %s --check-prefix=PIC
; RUN: llc -o - %s -relocation-model=pic -enable-tlsdesc | FileCheck %s --check-prefix=TLSDESC

target triple = "x86_64--linux-gnu"

declare void @effect()
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull)

@foo_local = dso_local thread_local(localexec) global i32 0, align 4

define i32 @func_local_tls(i32 %arg0, i64 %arg1) nounwind {
; NOPIC-LABEL: func_local_tls:
; NOPIC:       # %bb.0: # %entry
; NOPIC-NEXT:    pushq %rbp
; NOPIC-NEXT:    pushq %rbx
; NOPIC-NEXT:    pushq %rax
; NOPIC-NEXT:    movl %fs:foo_local@TPOFF, %ebp
; NOPIC-NEXT:    testl %edi, %edi
; NOPIC-NEXT:    movl %ebp, %eax
; NOPIC-NEXT:    jne .LBB0_2
; NOPIC-NEXT:  # %bb.1: # %if.then
; NOPIC-NEXT:    movq %rsi, %rbx
; NOPIC-NEXT:    callq effect@PLT
; NOPIC-NEXT:    movl %fs:foo_local@TPOFF+168(,%rbx,4), %eax
; NOPIC-NEXT:  .LBB0_2: # %if.end
; NOPIC-NEXT:    addl %ebp, %eax
; NOPIC-NEXT:    addq $8, %rsp
; NOPIC-NEXT:    popq %rbx
; NOPIC-NEXT:    popq %rbp
; NOPIC-NEXT:    retq
;
; PIC-LABEL: func_local_tls:
; PIC:       # %bb.0: # %entry
; PIC-NEXT:    pushq %rbp
; PIC-NEXT:    pushq %r14
; PIC-NEXT:    pushq %rbx
; PIC-NEXT:    movl %fs:.Lfoo_local$local@TPOFF, %ebp
; PIC-NEXT:    testl %edi, %edi
; PIC-NEXT:    movl %ebp, %eax
; PIC-NEXT:    jne .LBB0_2
; PIC-NEXT:  # %bb.1: # %if.then
; PIC-NEXT:    movq %rsi, %rbx
; PIC-NEXT:    movq %fs:0, %rax
; PIC-NEXT:    leaq .Lfoo_local$local@TPOFF(%rax), %r14
; PIC-NEXT:    callq effect@PLT
; PIC-NEXT:    movl 168(%r14,%rbx,4), %eax
; PIC-NEXT:  .LBB0_2: # %if.end
; PIC-NEXT:    addl %ebp, %eax
; PIC-NEXT:    popq %rbx
; PIC-NEXT:    popq %r14
; PIC-NEXT:    popq %rbp
; PIC-NEXT:    retq
;
; TLSDESC-LABEL: func_local_tls:
; TLSDESC:       # %bb.0: # %entry
; TLSDESC-NEXT:    pushq %rbp
; TLSDESC-NEXT:    pushq %r14
; TLSDESC-NEXT:    pushq %rbx
; TLSDESC-NEXT:    movl %fs:.Lfoo_local$local@TPOFF, %ebp
; TLSDESC-NEXT:    testl %edi, %edi
; TLSDESC-NEXT:    movl %ebp, %eax
; TLSDESC-NEXT:    jne .LBB0_2
; TLSDESC-NEXT:  # %bb.1: # %if.then
; TLSDESC-NEXT:    movq %rsi, %rbx
; TLSDESC-NEXT:    movq %fs:0, %rax
; TLSDESC-NEXT:    leaq .Lfoo_local$local@TPOFF(%rax), %r14
; TLSDESC-NEXT:    callq effect@PLT
; TLSDESC-NEXT:    movl 168(%r14,%rbx,4), %eax
; TLSDESC-NEXT:  .LBB0_2: # %if.end
; TLSDESC-NEXT:    addl %ebp, %eax
; TLSDESC-NEXT:    popq %rbx
; TLSDESC-NEXT:    popq %r14
; TLSDESC-NEXT:    popq %rbp
; TLSDESC-NEXT:    retq
entry:
  %addr = tail call ptr @llvm.threadlocal.address.p0(ptr @foo_local)
  %load0 = load i32, ptr %addr, align 4
  %cond = icmp eq i32 %arg0, 0
  br i1 %cond, label %if.then, label %if.end

if.then:
  tail call void @effect()
  %x = add i64 %arg1, 42
  %addr1 = getelementptr inbounds i32, ptr %addr, i64 %x
  %load1 = load i32, ptr %addr1, align 4
  br label %if.end

if.end:
  %phi = phi i32 [ %load1, %if.then ], [ %load0, %entry ]
  %ret = add i32 %phi, %load0
  ret i32 %ret
}

@foo_nonlocal = thread_local global i32 0, align 4

define i32 @func_nonlocal_tls(i32 %arg0, i64 %arg1) nounwind {
; NOPIC-LABEL: func_nonlocal_tls:
; NOPIC:       # %bb.0: # %entry
; NOPIC-NEXT:    pushq %rbp
; NOPIC-NEXT:    pushq %r14
; NOPIC-NEXT:    pushq %rbx
; NOPIC-NEXT:    movq foo_nonlocal@GOTTPOFF(%rip), %r14
; NOPIC-NEXT:    movl %fs:(%r14), %ebp
; NOPIC-NEXT:    testl %edi, %edi
; NOPIC-NEXT:    movl %ebp, %eax
; NOPIC-NEXT:    jne .LBB1_2
; NOPIC-NEXT:  # %bb.1: # %if.then
; NOPIC-NEXT:    movq %rsi, %rbx
; NOPIC-NEXT:    callq effect@PLT
; NOPIC-NEXT:    movl %fs:168(%r14,%rbx,4), %eax
; NOPIC-NEXT:  .LBB1_2: # %if.end
; NOPIC-NEXT:    addl %ebp, %eax
; NOPIC-NEXT:    popq %rbx
; NOPIC-NEXT:    popq %r14
; NOPIC-NEXT:    popq %rbp
; NOPIC-NEXT:    retq
;
; PIC-LABEL: func_nonlocal_tls:
; PIC:       # %bb.0: # %entry
; PIC-NEXT:    pushq %rbp
; PIC-NEXT:    pushq %r15
; PIC-NEXT:    pushq %r14
; PIC-NEXT:    pushq %rbx
; PIC-NEXT:    pushq %rax
; PIC-NEXT:    movq %rsi, %rbx
; PIC-NEXT:    movl %edi, %ebp
; PIC-NEXT:    data16
; PIC-NEXT:    leaq foo_nonlocal@TLSGD(%rip), %rdi
; PIC-NEXT:    data16
; PIC-NEXT:    data16
; PIC-NEXT:    rex64
; PIC-NEXT:    callq __tls_get_addr@PLT
; PIC-NEXT:    movq %rax, %r14
; PIC-NEXT:    movl (%rax), %r15d
; PIC-NEXT:    testl %ebp, %ebp
; PIC-NEXT:    movl %r15d, %eax
; PIC-NEXT:    jne .LBB1_2
; PIC-NEXT:  # %bb.1: # %if.then
; PIC-NEXT:    callq effect@PLT
; PIC-NEXT:    movl 168(%r14,%rbx,4), %eax
; PIC-NEXT:  .LBB1_2: # %if.end
; PIC-NEXT:    addl %r15d, %eax
; PIC-NEXT:    addq $8, %rsp
; PIC-NEXT:    popq %rbx
; PIC-NEXT:    popq %r14
; PIC-NEXT:    popq %r15
; PIC-NEXT:    popq %rbp
; PIC-NEXT:    retq
;
; TLSDESC-LABEL: func_nonlocal_tls:
; TLSDESC:       # %bb.0: # %entry
; TLSDESC-NEXT:    pushq %rbp
; TLSDESC-NEXT:    pushq %r14
; TLSDESC-NEXT:    pushq %rbx
; TLSDESC-NEXT:    leaq foo_nonlocal@tlsdesc(%rip), %rax
; TLSDESC-NEXT:    callq *foo_nonlocal@tlscall(%rax)
; TLSDESC-NEXT:    movl %fs:(%rax), %ebp
; TLSDESC-NEXT:    testl %edi, %edi
; TLSDESC-NEXT:    movl %ebp, %ecx
; TLSDESC-NEXT:    jne .LBB1_2
; TLSDESC-NEXT:  # %bb.1: # %if.then
; TLSDESC-NEXT:    movq %rsi, %rbx
; TLSDESC-NEXT:    addq %fs:0, %rax
; TLSDESC-NEXT:    movq %rax, %r14
; TLSDESC-NEXT:    callq effect@PLT
; TLSDESC-NEXT:    movl 168(%r14,%rbx,4), %ecx
; TLSDESC-NEXT:  .LBB1_2: # %if.end
; TLSDESC-NEXT:    addl %ebp, %ecx
; TLSDESC-NEXT:    movl %ecx, %eax
; TLSDESC-NEXT:    popq %rbx
; TLSDESC-NEXT:    popq %r14
; TLSDESC-NEXT:    popq %rbp
; TLSDESC-NEXT:    retq
entry:
  %addr = tail call ptr @llvm.threadlocal.address.p0(ptr @foo_nonlocal)
  %load0 = load i32, ptr %addr, align 4
  %cond = icmp eq i32 %arg0, 0
  br i1 %cond, label %if.then, label %if.end

if.then:
  tail call void @effect()
  %x = add i64 %arg1, 42
  %addr1 = getelementptr inbounds i32, ptr %addr, i64 %x
  %load1 = load i32, ptr %addr1, align 4
  br label %if.end

if.end:
  %phi = phi i32 [ %load1, %if.then ], [ %load0, %entry ]
  %ret = add i32 %phi, %load0
  ret i32 %ret
}