clang/test/CodeGenCXX/cxx1y-sized-deallocation.cpp

   1 // Check that delete exprs call the sized deallocation function if
   2 // -fsized-deallocation is passed in both C++11 and C++14.
   3 // RUN: %clang_cc1 -std=c++11 -fsized-deallocation %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s
   4 // RUN: %clang_cc1 -std=c++14 -fsized-deallocation %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s
   5
   6 // Check that we don't used sized deallocation without -fsized-deallocation and
   7 // C++14.
   8 // RUN: %clang_cc1 -std=c++11 %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s --check-prefix=CHECK-UNSIZED
   9 // RUN: %clang_cc1 -std=c++14 %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s --check-prefix=CHECK-UNSIZED
  10
  11 // CHECK-UNSIZED-NOT: _ZdlPvm
  12 // CHECK-UNSIZED-NOT: _ZdaPvm
  13
  14 typedef decltype(sizeof(0)) size_t;
  15
  16 typedef int A;
  17 struct B { int n; };
  18 struct C { ~C() {} };
  19 struct D { D(); virtual ~D() {} };
  20 struct E {
  21   void *operator new(size_t);
  22   void *operator new[](size_t);
  23   void operator delete(void *) noexcept;
  24   void operator delete[](void *) noexcept;
  25 };
  26 struct F {
  27   void *operator new(size_t);
  28   void *operator new[](size_t);
  29   void operator delete(void *, size_t) noexcept;
  30   void operator delete[](void *, size_t) noexcept;
  31 };
  32
  33 template<typename T> T get();
  34
  35 template<typename T>
  36 void del() {
  37   ::delete get<T*>();
  38   ::delete[] get<T*>();
  39   delete get<T*>();
  40   delete[] get<T*>();
  41 }
  42
  43 template void del<A>();
  44 template void del<B>();
  45 template void del<C>();
  46 template void del<D>();
  47 template void del<E>();
  48 template void del<F>();
  49
  50 D::D() {}
  51
  52 // CHECK-LABEL: define weak_odr void @_Z3delIiEvv()
  53 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 4)
  54 // CHECK: call void @_ZdaPv(ptr noundef %{{[^ ]*}})
  55 //
  56 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 4)
  57 // CHECK: call void @_ZdaPv(ptr noundef %{{[^ ]*}})
  58
  59 // CHECK-LABEL: declare void @_ZdlPvm(ptr
  60
  61 // CHECK-LABEL: define weak_odr void @_Z3delI1BEvv()
  62 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 4)
  63 // CHECK: call void @_ZdaPv(ptr noundef %{{[^ ]*}})
  64 //
  65 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 4)
  66 // CHECK: call void @_ZdaPv(ptr noundef %{{[^ ]*}})
  67
  68 // CHECK-LABEL: define weak_odr void @_Z3delI1CEvv()
  69 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 1)
  70 // CHECK: mul i64 1, %{{[^ ]*}}
  71 // CHECK: add i64 %{{[^ ]*}}, 8
  72 // CHECK: call void @_ZdaPvm(ptr noundef %{{[^ ]*}}, i64 noundef %{{[^ ]*}})
  73 //
  74 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 1)
  75 // CHECK: mul i64 1, %{{[^ ]*}}
  76 // CHECK: add i64 %{{[^ ]*}}, 8
  77 // CHECK: call void @_ZdaPvm(ptr noundef %{{[^ ]*}}, i64 noundef %{{[^ ]*}})
  78
  79 // CHECK-LABEL: declare void @_ZdaPvm(ptr
  80
  81 // CHECK-LABEL: define weak_odr void @_Z3delI1DEvv()
  82 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 8)
  83 // CHECK: mul i64 8, %{{[^ ]*}}
  84 // CHECK: add i64 %{{[^ ]*}}, 8
  85 // CHECK: call void @_ZdaPvm(ptr noundef %{{[^ ]*}}, i64 noundef %{{[^ ]*}})
  86 //
  87 // CHECK-NOT: Zdl
  88 // CHECK: call void %{{.*}}
  89 // CHECK-NOT: Zdl
  90 // CHECK: mul i64 8, %{{[^ ]*}}
  91 // CHECK: add i64 %{{[^ ]*}}, 8
  92 // CHECK: call void @_ZdaPvm(ptr noundef %{{[^ ]*}}, i64 noundef %{{[^ ]*}})
  93
  94 // CHECK-LABEL: define weak_odr void @_Z3delI1EEvv()
  95 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 1)
  96 // CHECK: call void @_ZdaPv(ptr noundef %{{[^ ]*}})
  97 //
  98 // CHECK: call void @_ZN1EdlEPv(ptr noundef %{{[^ ]*}})
  99 // CHECK: call void @_ZN1EdaEPv(ptr noundef %{{[^ ]*}})
 100
 101 // CHECK-LABEL: define weak_odr void @_Z3delI1FEvv()
 102 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 1)
 103 // CHECK: mul i64 1, %{{[^ ]*}}
 104 // CHECK: add i64 %{{[^ ]*}}, 8
 105 // CHECK: call void @_ZdaPvm(ptr noundef %{{[^ ]*}}, i64 noundef %{{[^ ]*}})
 106 //
 107 // CHECK: call void @_ZN1FdlEPvm(ptr noundef %{{[^ ]*}}, i64 noundef 1)
 108 // CHECK: mul i64 1, %{{[^ ]*}}
 109 // CHECK: add i64 %{{[^ ]*}}, 8
 110 // CHECK: call void @_ZN1FdaEPvm(ptr noundef %{{[^ ]*}}, i64 noundef %{{[^ ]*}})
 111
 112
 113 // CHECK-LABEL: define linkonce_odr void @_ZN1DD0Ev(ptr {{[^,]*}} %this)
 114 // CHECK: call void @_ZdlPvm(ptr noundef %{{[^ ]*}}, i64 noundef 8)