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 7define 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} 14