68 lines · cpp
1// RUN: %clang_cc1 -triple i686-pc-linux-gnu %s -o - -emit-llvm -verify | FileCheck %s2// expected-no-diagnostics3 4typedef __typeof(sizeof(int)) size_t;5 6namespace test1 {7 struct A { void operator delete(void*,size_t); int x; };8 9 // CHECK-LABEL: define{{.*}} void @_ZN5test11aEPNS_1AE(10 void a(A *x) {11 // CHECK: load12 // CHECK-NEXT: icmp eq {{.*}}, null13 // CHECK-NEXT: br i114 // CHECK: call void @_ZN5test11AdlEPvj(ptr noundef %{{.*}}, i32 noundef 4)15 delete x;16 }17}18 19// Check that we make cookies for the two-arg delete even when using20// the global allocator and deallocator.21namespace test2 {22 struct A {23 int x;24 void *operator new[](size_t);25 void operator delete[](void *, size_t);26 };27 28 // CHECK: define{{.*}} ptr @_ZN5test24testEv()29 A *test() {30 // CHECK: [[NEW:%.*]] = call noalias noundef nonnull ptr @_Znaj(i32 noundef 44)31 // CHECK-NEXT: store i32 10, ptr [[NEW]]32 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, ptr [[NEW]], i32 433 // CHECK-NEXT: ret ptr [[T1]]34 return ::new A[10];35 }36 37 // CHECK-LABEL: define{{.*}} void @_ZN5test24testEPNS_1AE(38 void test(A *p) {39 // CHECK: [[P:%.*]] = alloca ptr, align 440 // CHECK-NEXT: store ptr {{%.*}}, ptr [[P]], align 441 // CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[P]], align 442 // CHECK-NEXT: [[T1:%.*]] = icmp eq ptr [[T0]], null43 // CHECK-NEXT: br i1 [[T1]],44 // CHECK: [[T3:%.*]] = getelementptr inbounds i8, ptr [[T0]], i32 -445 // CHECK-NEXT: [[T5:%.*]] = load i32, ptr [[T3]]46 // CHECK-NEXT: [[T6:%.*]] = mul i32 4, [[T5]]47 // CHECK-NEXT: [[T7:%.*]] = add i32 [[T6]], 448 // CHECK-NEXT: call void @_ZdaPvj(ptr noundef [[T3]], i32 noundef [[T7]])49 // CHECK-NEXT: br label50 ::delete[] p;51 }52}53 54namespace test3 {55 struct A {56 int x;57 void operator delete[](void *, size_t);58 };59 struct B : A {};60 61 // CHECK-LABEL: define{{.*}} void @_ZN5test34testEv()62 void test() {63 // CHECK: [[CALL:%.*]] = call noalias noundef nonnull ptr @_Znaj(i32 noundef 24)64 // CHECK-NEXT: store i32 565 (void) new B[5];66 }67}68