| // RUN: %clang_cc1 -O0 -cl-std=CL1.2 -triple amdgcn---amdgizcl -emit-llvm %s -o - | FileCheck -check-prefixes=CHECK,CL12 %s | 
 | // RUN: %clang_cc1 -O0 -cl-std=CL2.0 -triple amdgcn---amdgizcl -emit-llvm %s -o - | FileCheck -check-prefixes=CHECK,CL20 %s | 
 |  | 
 | // CL12-LABEL: define{{.*}} void @func1(ptr addrspace(5) noundef %x) | 
 | // CL20-LABEL: define{{.*}} void @func1(ptr noundef %x) | 
 | void func1(int *x) { | 
 |   // CL12: %[[x_addr:.*]] = alloca ptr addrspace(5){{.*}}addrspace(5) | 
 |   // CL12: store ptr addrspace(5) %x, ptr addrspace(5) %[[x_addr]] | 
 |   // CL12: %[[r0:.*]] = load ptr addrspace(5), ptr addrspace(5) %[[x_addr]] | 
 |   // CL12: store i32 1, ptr addrspace(5) %[[r0]] | 
 |   // CL20: %[[x_addr:.*]] = alloca ptr{{.*}}addrspace(5) | 
 |   // CL20: store ptr %x, ptr addrspace(5) %[[x_addr]] | 
 |   // CL20: %[[r0:.*]] = load ptr, ptr addrspace(5) %[[x_addr]] | 
 |   // CL20: store i32 1, ptr %[[r0]] | 
 |   *x = 1; | 
 | } | 
 |  | 
 | // CHECK-LABEL: define{{.*}} void @func2() | 
 | void func2(void) { | 
 |   // CHECK: %lv1 = alloca i32, align 4, addrspace(5) | 
 |   // CHECK: %lv2 = alloca i32, align 4, addrspace(5) | 
 |   // CHECK: %la = alloca [100 x i32], align 4, addrspace(5) | 
 |   // CL12: %lp1 = alloca ptr addrspace(5), align 4, addrspace(5) | 
 |   // CL12: %lp2 = alloca ptr addrspace(5), align 4, addrspace(5) | 
 |   // CL20: %lp1 = alloca ptr, align 8, addrspace(5) | 
 |   // CL20: %lp2 = alloca ptr, align 8, addrspace(5) | 
 |   // CHECK: %lvc = alloca i32, align 4, addrspace(5) | 
 |  | 
 |   // CHECK: store i32 1, ptr addrspace(5) %lv1 | 
 |   int lv1; | 
 |   lv1 = 1; | 
 |   // CHECK: store i32 2, ptr addrspace(5) %lv2 | 
 |   int lv2 = 2; | 
 |  | 
 |   // CHECK: %[[arrayidx:.*]] = getelementptr inbounds [100 x i32], ptr addrspace(5) %la, i64 0, i64 0 | 
 |   // CHECK: store i32 3, ptr addrspace(5) %[[arrayidx]], align 4 | 
 |   int la[100]; | 
 |   la[0] = 3; | 
 |  | 
 |   // CL12: store ptr addrspace(5) %lv1, ptr addrspace(5) %lp1, align 4 | 
 |   // CL20: %[[r0:.*]] = addrspacecast ptr addrspace(5) %lv1 to ptr | 
 |   // CL20: store ptr %[[r0]], ptr addrspace(5) %lp1, align 8 | 
 |   int *lp1 = &lv1; | 
 |  | 
 |   // CHECK: %[[arraydecay:.*]] = getelementptr inbounds [100 x i32], ptr addrspace(5) %la, i64 0, i64 0 | 
 |   // CL12: store ptr addrspace(5) %[[arraydecay]], ptr addrspace(5) %lp2, align 4 | 
 |   // CL20: %[[r1:.*]] = addrspacecast ptr addrspace(5) %[[arraydecay]] to ptr | 
 |   // CL20: store ptr %[[r1]], ptr addrspace(5) %lp2, align 8 | 
 |   int *lp2 = la; | 
 |  | 
 |   // CL12: call void @func1(ptr addrspace(5) noundef %lv1) | 
 |   // CL20: %[[r2:.*]] = addrspacecast ptr addrspace(5) %lv1 to ptr | 
 |   // CL20: call void @func1(ptr noundef %[[r2]]) | 
 |   func1(&lv1); | 
 |  | 
 |   // CHECK: store i32 4, ptr addrspace(5) %lvc | 
 |   // CHECK: store i32 4, ptr addrspace(5) %lv1 | 
 |   const int lvc = 4; | 
 |   lv1 = lvc; | 
 | } | 
 |  | 
 | // CHECK-LABEL: define{{.*}} void @func3() | 
 | // CHECK: %a = alloca [16 x [1 x float]], align 4, addrspace(5) | 
 | // CHECK: call void @llvm.memset.p5.i64(ptr addrspace(5) align 4 %a, i8 0, i64 64, i1 false) | 
 | void func3(void) { | 
 |   float a[16][1] = {{0.}}; | 
 | } |