|  | ; RUN: llvm-as < %s | llvm-dis | FileCheck %s | 
|  |  | 
|  | @var = global i32 0 | 
|  |  | 
|  | ; CHECK: @basic = global ptr ptrauth (ptr @var, i32 0) | 
|  | @basic = global ptr ptrauth (ptr @var, i32 0) | 
|  |  | 
|  | ; CHECK: @keyed = global ptr ptrauth (ptr @var, i32 3) | 
|  | @keyed = global ptr ptrauth (ptr @var, i32 3) | 
|  |  | 
|  | ; CHECK: @intdisc = global ptr ptrauth (ptr @var, i32 0, i64 -1) | 
|  | @intdisc = global ptr ptrauth (ptr @var, i32 0, i64 -1) | 
|  |  | 
|  | ; CHECK: @addrdisc = global ptr ptrauth (ptr @var, i32 2, i64 1234, ptr @addrdisc) | 
|  | @addrdisc = global ptr ptrauth (ptr @var, i32 2, i64 1234, ptr @addrdisc) | 
|  |  | 
|  |  | 
|  | @var1 = addrspace(1) global i32 0 | 
|  |  | 
|  | ; CHECK: @addrspace = global ptr addrspace(1) ptrauth (ptr addrspace(1) @var1, i32 0) | 
|  | @addrspace = global ptr addrspace(1) ptrauth (ptr addrspace(1) @var1, i32 0) | 
|  |  | 
|  | ; CHECK: @addrspace_addrdisc = addrspace(2) global ptr addrspace(1) ptrauth (ptr addrspace(1) @var1, i32 2, i64 1234, ptr addrspace(2) @addrspace_addrdisc) | 
|  | @addrspace_addrdisc = addrspace(2) global ptr addrspace(1) ptrauth (ptr addrspace(1) @var1, i32 2, i64 1234, ptr addrspace(2) @addrspace_addrdisc) |