71 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-unknown %s \2// RUN: -faligned-allocation -fsized-deallocation -emit-llvm -o - \3// RUN: | FileCheck %s4 5typedef __SIZE_TYPE__ size_t;6 7// Declare an 'operator new' template to tickle a bug in __builtin_operator_new.8template<typename T> void *operator new(size_t, int (*)(T));9 10// Ensure that this declaration doesn't cause operator new to lose its11// 'noalias' attribute.12void *operator new(size_t);13 14namespace std {15 struct nothrow_t {};16 enum class align_val_t : size_t { __zero = 0,17 __max = (size_t)-1 };18}19std::nothrow_t nothrow;20 21// Declare the reserved placement operators.22void *operator new(size_t, void*) throw();23void operator delete(void*, void*) throw();24void *operator new[](size_t, void*) throw();25void operator delete[](void*, void*) throw();26 27// Declare the replaceable global allocation operators.28void *operator new(size_t, const std::nothrow_t &) throw();29void *operator new[](size_t, const std::nothrow_t &) throw();30void operator delete(void *, const std::nothrow_t &) throw();31void operator delete[](void *, const std::nothrow_t &) throw();32 33// Declare some other placement operators.34void *operator new(size_t, void*, bool) throw();35void *operator new[](size_t, void*, bool) throw();36 37 38// CHECK-LABEL: define{{.*}} void @test_basic(39extern "C" void test_basic() {40 // CHECK: call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) [[ATTR_BUILTIN_NEW:#[^ ]*]]41 // CHECK: call void @_ZdlPv({{.*}}) [[ATTR_BUILTIN_DELETE:#[^ ]*]]42 // CHECK: ret void43 __builtin_operator_delete(__builtin_operator_new(4));44}45// CHECK: declare noundef nonnull ptr @_Znwm(i64 noundef) [[ATTR_NOBUILTIN:#[^ ]*]]46// CHECK: declare void @_ZdlPv(ptr noundef) [[ATTR_NOBUILTIN_NOUNWIND:#[^ ]*]]47 48// CHECK-LABEL: define{{.*}} void @test_aligned_alloc(49extern "C" void test_aligned_alloc() {50 // CHECK: call noalias noundef nonnull align 4 ptr @_ZnwmSt11align_val_t(i64 noundef 4, i64 noundef 4) [[ATTR_BUILTIN_NEW:#[^ ]*]]51 // CHECK: call void @_ZdlPvSt11align_val_t({{.*}}, i64 noundef 4) [[ATTR_BUILTIN_DELETE:#[^ ]*]]52 __builtin_operator_delete(__builtin_operator_new(4, std::align_val_t(4)), std::align_val_t(4));53}54// CHECK: declare noundef nonnull ptr @_ZnwmSt11align_val_t(i64 noundef, i64 noundef) [[ATTR_NOBUILTIN:#[^ ]*]]55// CHECK: declare void @_ZdlPvSt11align_val_t(ptr noundef, i64 noundef) [[ATTR_NOBUILTIN_NOUNWIND:#[^ ]*]]56 57// CHECK-LABEL: define{{.*}} void @test_sized_delete(58extern "C" void test_sized_delete() {59 // CHECK: call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) [[ATTR_BUILTIN_NEW:#[^ ]*]]60 // CHECK: call void @_ZdlPvm({{.*}}, i64 noundef 4) [[ATTR_BUILTIN_DELETE:#[^ ]*]]61 __builtin_operator_delete(__builtin_operator_new(4), 4);62}63// CHECK: declare void @_ZdlPvm(ptr noundef, i64 noundef) [[ATTR_NOBUILTIN_UNWIND:#[^ ]*]]64 65 66// CHECK-DAG: attributes [[ATTR_NOBUILTIN]] = {{[{].*}} nobuiltin {{.*[}]}}67// CHECK-DAG: attributes [[ATTR_NOBUILTIN_NOUNWIND]] = {{[{].*}} nobuiltin nounwind {{.*[}]}}68 69// CHECK-DAG: attributes [[ATTR_BUILTIN_NEW]] = {{[{].*}} builtin {{.*[}]}}70// CHECK-DAG: attributes [[ATTR_BUILTIN_DELETE]] = {{[{].*}} builtin {{.*[}]}}71