xref: /llvm-project/llvm/test/Transforms/InstCombine/objsize-address-space.ll (revision 4ab40eca080965c65802710e39adbb78c4ce7bde)
1; RUN: opt -S -passes=instcombine -o - %s | FileCheck %s
2target datalayout = "e-p:32:32:32-p1:64:64:64-p2:8:8:8-p3:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32"
3
4declare i32 @llvm.objectsize.i32.p0(ptr, i1) nounwind readonly
5declare i32 @llvm.objectsize.i32.p1(ptr addrspace(1), i1) nounwind readonly
6declare i32 @llvm.objectsize.i32.p2(ptr addrspace(2), i1) nounwind readonly
7declare i32 @llvm.objectsize.i32.p3(ptr addrspace(3), i1) nounwind readonly
8declare i16 @llvm.objectsize.i16.p3(ptr addrspace(3), i1) nounwind readonly
9
10@array_as2 = private addrspace(2) global [60 x i8] zeroinitializer, align 4
11
12@array_as1_pointers = private global [10 x ptr addrspace(1)] zeroinitializer, align 4
13@array_as2_pointers = private global [24 x ptr addrspace(2)] zeroinitializer, align 4
14@array_as3_pointers = private global [42 x ptr addrspace(3)] zeroinitializer, align 4
15
16@array_as2_as1_pointer_pointers = private global [16 x ptr addrspace(1)] zeroinitializer, align 4
17
18
19@a_as3 = private addrspace(3) global [60 x i8] zeroinitializer, align 1
20
21define i32 @foo_as3() nounwind {
22; CHECK-LABEL: @foo_as3(
23; CHECK-NEXT: ret i32 60
24  %1 = call i32 @llvm.objectsize.i32.p3(ptr addrspace(3) @a_as3, i1 false)
25  ret i32 %1
26}
27
28define i16 @foo_as3_i16() nounwind {
29; CHECK-LABEL: @foo_as3_i16(
30; CHECK-NEXT: ret i16 60
31  %1 = call i16 @llvm.objectsize.i16.p3(ptr addrspace(3) @a_as3, i1 false)
32  ret i16 %1
33}
34
35@a_alias = weak alias [60 x i8], ptr addrspace(3) @a_as3
36define i32 @foo_alias() nounwind {
37  %1 = call i32 @llvm.objectsize.i32.p3(ptr addrspace(3) @a_alias, i1 false)
38  ret i32 %1
39}
40
41define i32 @array_as2_size() {
42; CHECK-LABEL: @array_as2_size(
43; CHECK-NEXT: ret i32 60
44  %1 = call i32 @llvm.objectsize.i32.p2(ptr addrspace(2) @array_as2, i1 false)
45  ret i32 %1
46}
47
48define i32 @pointer_array_as1() {
49; CHECK-LABEL: @pointer_array_as1(
50; CHECK-NEXT: ret i32 80
51  %bc = addrspacecast ptr @array_as1_pointers to ptr addrspace(1)
52  %1 = call i32 @llvm.objectsize.i32.p1(ptr addrspace(1) %bc, i1 false)
53  ret i32 %1
54}
55
56define i32 @pointer_array_as2() {
57; CHECK-LABEL: @pointer_array_as2(
58; CHECK-NEXT: ret i32 24
59  %1 = call i32 @llvm.objectsize.i32.p0(ptr @array_as2_pointers, i1 false)
60  ret i32 %1
61}
62
63define i32 @pointer_array_as3() {
64; CHECK-LABEL: @pointer_array_as3(
65; CHECK-NEXT: ret i32 84
66  %1 = call i32 @llvm.objectsize.i32.p0(ptr @array_as3_pointers, i1 false)
67  ret i32 %1
68}
69
70define i32 @pointer_pointer_array_as2_as1() {
71; CHECK-LABEL: @pointer_pointer_array_as2_as1(
72; CHECK-NEXT: ret i32 128
73  %1 = call i32 @llvm.objectsize.i32.p0(ptr @array_as2_as1_pointer_pointers, i1 false)
74  ret i32 %1
75}
76
77