|  | // RUN: %clang_cc1 -triple amdgcn---amdgiz -emit-llvm < %s | FileCheck -check-prefixes=CHECK %s | 
|  |  | 
|  | // CHECK-DAG: @foo ={{.*}} addrspace(1) global i32 0 | 
|  | int foo; | 
|  |  | 
|  | // CHECK-DAG: @ban ={{.*}} addrspace(1) global [10 x i32] zeroinitializer | 
|  | int ban[10]; | 
|  |  | 
|  | // CHECK-DAG: @A ={{.*}} addrspace(1) global ptr null | 
|  | // CHECK-DAG: @B ={{.*}} addrspace(1) global ptr null | 
|  | int *A; | 
|  | int *B; | 
|  |  | 
|  | // CHECK-LABEL: define{{.*}} i32 @test1() | 
|  | // CHECK: load i32, ptr addrspacecast{{[^@]+}} @foo | 
|  | int test1(void) { return foo; } | 
|  |  | 
|  | // CHECK-LABEL: define{{.*}} i32 @test2(i32 noundef %i) | 
|  | // CHECK: %[[addr:.*]] = getelementptr | 
|  | // CHECK: load i32, ptr %[[addr]] | 
|  | // CHECK-NEXT: ret i32 | 
|  | int test2(int i) { return ban[i]; } | 
|  |  | 
|  | // CHECK-LABEL: define{{.*}} void @test3() | 
|  | // CHECK: load ptr, ptr addrspacecast{{.*}} @B | 
|  | // CHECK: load i32, ptr | 
|  | // CHECK: load ptr, ptr addrspacecast{{.*}} @A | 
|  | // CHECK: store i32 {{.*}}, ptr | 
|  | void test3(void) { | 
|  | *A = *B; | 
|  | } | 
|  |  | 
|  | // CHECK-LABEL: define{{.*}} void @test4(ptr noundef %a) | 
|  | // CHECK: %[[alloca:.*]] = alloca ptr, align 8, addrspace(5) | 
|  | // CHECK: %[[a_addr:.*]] ={{.*}} addrspacecast{{.*}} %[[alloca]] to ptr | 
|  | // CHECK: store ptr %a, ptr %[[a_addr]] | 
|  | // CHECK: %[[r0:.*]] = load ptr, ptr %[[a_addr]] | 
|  | // CHECK: %[[arrayidx:.*]] = getelementptr inbounds i32, ptr %[[r0]] | 
|  | // CHECK: store i32 0, ptr %[[arrayidx]] | 
|  | void test4(int *a) { | 
|  | a[0] = 0; | 
|  | } |