llvm/test/Verifier/threadlocal-pass.ll

   1 ; RUN: opt -passes=verify -S < %s | FileCheck %s
   2
   3 @var = thread_local global i32 0
   4 @alias = thread_local alias i32, ptr @var
   5
   6 ; CHECK-LABEL: @should_pass
   7 define void @should_pass() {
   8   %p0 = call ptr @llvm.threadlocal.address(ptr @var)
   9   store i32 42, ptr %p0, align 4
  10   %p1 = call ptr @llvm.threadlocal.address(ptr @alias)
  11   store i32 13, ptr %p1, align 4
  12   ret void
  13 }