Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / CodeGen / default-address-space.c
blobecd2c25607d03f1f247fc01c300b86a6947aebc3
1 // RUN: %clang_cc1 -triple amdgcn---amdgiz -emit-llvm < %s | FileCheck -check-prefixes=CHECK %s
3 // CHECK-DAG: @foo ={{.*}} addrspace(1) global i32 0
4 int foo;
6 // CHECK-DAG: @ban ={{.*}} addrspace(1) global [10 x i32] zeroinitializer
7 int ban[10];
9 // CHECK-DAG: @A ={{.*}} addrspace(1) global ptr null
10 // CHECK-DAG: @B ={{.*}} addrspace(1) global ptr null
11 int *A;
12 int *B;
14 // CHECK-LABEL: define{{.*}} i32 @test1()
15 // CHECK: load i32, ptr addrspacecast{{[^@]+}} @foo
16 int test1(void) { return foo; }
18 // CHECK-LABEL: define{{.*}} i32 @test2(i32 noundef %i)
19 // CHECK: %[[addr:.*]] = getelementptr
20 // CHECK: load i32, ptr %[[addr]]
21 // CHECK-NEXT: ret i32
22 int test2(int i) { return ban[i]; }
24 // CHECK-LABEL: define{{.*}} void @test3()
25 // CHECK: load ptr, ptr addrspacecast{{.*}} @B
26 // CHECK: load i32, ptr
27 // CHECK: load ptr, ptr addrspacecast{{.*}} @A
28 // CHECK: store i32 {{.*}}, ptr
29 void test3(void) {
30 *A = *B;
33 // CHECK-LABEL: define{{.*}} void @test4(ptr noundef %a)
34 // CHECK: %[[alloca:.*]] = alloca ptr, align 8, addrspace(5)
35 // CHECK: %[[a_addr:.*]] ={{.*}} addrspacecast{{.*}} %[[alloca]] to ptr
36 // CHECK: store ptr %a, ptr %[[a_addr]]
37 // CHECK: %[[r0:.*]] = load ptr, ptr %[[a_addr]]
38 // CHECK: %[[arrayidx:.*]] = getelementptr inbounds i32, ptr %[[r0]]
39 // CHECK: store i32 0, ptr %[[arrayidx]]
40 void test4(int *a) {
41 a[0] = 0;