; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s

@var = global i32 0
@tlsvar = thread_local addrspace(1) global i32 0

define void @fail0(ptr %arg) {
; CHECK: llvm.threadlocal.address first argument must be a GlobalValue
  %p0 = call ptr @llvm.threadlocal.address(ptr %arg)
  store i32 42, ptr %p0, align 4
  ret void
}

define void @fail1() {
; CHECK: llvm.threadlocal.address first argument must be a GlobalValue
  %p0 = call ptr @llvm.threadlocal.address.p0(ptr addrspacecast (ptr addrspace(1) @tlsvar to ptr addrspace(0)))
  store i32 42, ptr %p0, align 4
  ret void
}


define void @fail2() {
; CHECK: llvm.threadlocal.address operand isThreadLocal() must be true
  %p0 = call ptr @llvm.threadlocal.address(ptr @var)
  store i32 42, ptr %p0, align 4
  ret void
}

define void @fail3() {
; CHECK: llvm.threadlocal.address operand isThreadLocal() must be true
  %p0 = call ptr @llvm.threadlocal.address(ptr @fail2)
  store i32 42, ptr %p0, align 4
  ret void
}