77 lines · plain
1; RUN: opt -S -passes=instcombine -o - %s | FileCheck %s2target 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 readonly5declare i32 @llvm.objectsize.i32.p1(ptr addrspace(1), i1) nounwind readonly6declare i32 @llvm.objectsize.i32.p2(ptr addrspace(2), i1) nounwind readonly7declare i32 @llvm.objectsize.i32.p3(ptr addrspace(3), i1) nounwind readonly8declare i16 @llvm.objectsize.i16.p3(ptr addrspace(3), i1) nounwind readonly9 10@array_as2 = private addrspace(2) global [60 x i8] zeroinitializer, align 411 12@array_as1_pointers = private global [10 x ptr addrspace(1)] zeroinitializer, align 413@array_as2_pointers = private global [24 x ptr addrspace(2)] zeroinitializer, align 414@array_as3_pointers = private global [42 x ptr addrspace(3)] zeroinitializer, align 415 16@array_as2_as1_pointer_pointers = private global [16 x ptr addrspace(1)] zeroinitializer, align 417 18 19@a_as3 = private addrspace(3) global [60 x i8] zeroinitializer, align 120 21define i32 @foo_as3() nounwind {22; CHECK-LABEL: @foo_as3(23; CHECK-NEXT: ret i32 6024 %1 = call i32 @llvm.objectsize.i32.p3(ptr addrspace(3) @a_as3, i1 false)25 ret i32 %126}27 28define i16 @foo_as3_i16() nounwind {29; CHECK-LABEL: @foo_as3_i16(30; CHECK-NEXT: ret i16 6031 %1 = call i16 @llvm.objectsize.i16.p3(ptr addrspace(3) @a_as3, i1 false)32 ret i16 %133}34 35@a_alias = weak alias [60 x i8], ptr addrspace(3) @a_as336define i32 @foo_alias() nounwind {37 %1 = call i32 @llvm.objectsize.i32.p3(ptr addrspace(3) @a_alias, i1 false)38 ret i32 %139}40 41define i32 @array_as2_size() {42; CHECK-LABEL: @array_as2_size(43; CHECK-NEXT: ret i32 6044 %1 = call i32 @llvm.objectsize.i32.p2(ptr addrspace(2) @array_as2, i1 false)45 ret i32 %146}47 48define i32 @pointer_array_as1() {49; CHECK-LABEL: @pointer_array_as1(50; CHECK-NEXT: ret i32 8051 %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 %154}55 56define i32 @pointer_array_as2() {57; CHECK-LABEL: @pointer_array_as2(58; CHECK-NEXT: ret i32 2459 %1 = call i32 @llvm.objectsize.i32.p0(ptr @array_as2_pointers, i1 false)60 ret i32 %161}62 63define i32 @pointer_array_as3() {64; CHECK-LABEL: @pointer_array_as3(65; CHECK-NEXT: ret i32 8466 %1 = call i32 @llvm.objectsize.i32.p0(ptr @array_as3_pointers, i1 false)67 ret i32 %168}69 70define i32 @pointer_pointer_array_as2_as1() {71; CHECK-LABEL: @pointer_pointer_array_as2_as1(72; CHECK-NEXT: ret i32 12873 %1 = call i32 @llvm.objectsize.i32.p0(ptr @array_as2_as1_pointer_pointers, i1 false)74 ret i32 %175}76 77