Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-unknown-unknown %s -emit-llvm -o - | FileCheck %s |
Daniel Dunbar | 010c3f5 | 2009-11-12 00:41:41 +0000 | [diff] [blame] | 2 | #include <stddef.h> |
Anders Carlsson | ed4e367 | 2009-05-31 20:21:44 +0000 | [diff] [blame] | 3 | |
| 4 | void t1() { |
| 5 | int* a = new int; |
| 6 | } |
Anders Carlsson | d958389 | 2009-05-31 20:26:12 +0000 | [diff] [blame] | 7 | |
| 8 | // Placement. |
Daniel Dunbar | 010c3f5 | 2009-11-12 00:41:41 +0000 | [diff] [blame] | 9 | void* operator new(size_t, void*) throw(); |
Anders Carlsson | d958389 | 2009-05-31 20:26:12 +0000 | [diff] [blame] | 10 | |
| 11 | void t2(int* a) { |
| 12 | int* b = new (a) int; |
| 13 | } |
Anders Carlsson | 6d0ffad | 2009-05-31 20:56:36 +0000 | [diff] [blame] | 14 | |
Anders Carlsson | 627a3e5 | 2009-05-31 21:12:26 +0000 | [diff] [blame] | 15 | struct S { |
| 16 | int a; |
| 17 | }; |
| 18 | |
Anders Carlsson | d3fd6ba | 2009-05-31 21:53:59 +0000 | [diff] [blame] | 19 | // POD types. |
Anders Carlsson | 6d0ffad | 2009-05-31 20:56:36 +0000 | [diff] [blame] | 20 | void t3() { |
| 21 | int *a = new int(10); |
Anders Carlsson | 3923e95 | 2009-05-31 21:07:58 +0000 | [diff] [blame] | 22 | _Complex int* b = new _Complex int(10i); |
| 23 | |
Anders Carlsson | 627a3e5 | 2009-05-31 21:12:26 +0000 | [diff] [blame] | 24 | S s; |
| 25 | s.a = 10; |
| 26 | S *sp = new S(s); |
Anders Carlsson | 6d0ffad | 2009-05-31 20:56:36 +0000 | [diff] [blame] | 27 | } |
Anders Carlsson | d3fd6ba | 2009-05-31 21:53:59 +0000 | [diff] [blame] | 28 | |
| 29 | // Non-POD |
| 30 | struct T { |
| 31 | T(); |
| 32 | int a; |
| 33 | }; |
| 34 | |
| 35 | void t4() { |
Anders Carlsson | a4d4c01 | 2009-09-23 16:07:23 +0000 | [diff] [blame] | 36 | // CHECK: call void @_ZN1TC1Ev |
Anders Carlsson | d3fd6ba | 2009-05-31 21:53:59 +0000 | [diff] [blame] | 37 | T *t = new T; |
| 38 | } |
| 39 | |
| 40 | struct T2 { |
| 41 | int a; |
| 42 | T2(int, int); |
| 43 | }; |
| 44 | |
| 45 | void t5() { |
Anders Carlsson | a4d4c01 | 2009-09-23 16:07:23 +0000 | [diff] [blame] | 46 | // CHECK: call void @_ZN2T2C1Eii |
Anders Carlsson | d3fd6ba | 2009-05-31 21:53:59 +0000 | [diff] [blame] | 47 | T2 *t2 = new T2(10, 10); |
| 48 | } |
Anders Carlsson | f110853 | 2009-06-01 00:05:16 +0000 | [diff] [blame] | 49 | |
| 50 | int *t6() { |
| 51 | // Null check. |
| 52 | return new (0) int(10); |
| 53 | } |
Anders Carlsson | 215bd20 | 2009-06-01 00:26:14 +0000 | [diff] [blame] | 54 | |
| 55 | void t7() { |
| 56 | new int(); |
| 57 | } |
Anders Carlsson | a4d4c01 | 2009-09-23 16:07:23 +0000 | [diff] [blame] | 58 | |
Anders Carlsson | 6ac5fc4 | 2009-09-23 18:59:48 +0000 | [diff] [blame] | 59 | struct U { |
| 60 | ~U(); |
| 61 | }; |
| 62 | |
Anders Carlsson | a4d4c01 | 2009-09-23 16:07:23 +0000 | [diff] [blame] | 63 | void t8(int n) { |
| 64 | new int[10]; |
| 65 | new int[n]; |
| 66 | |
| 67 | // Non-POD |
| 68 | new T[10]; |
| 69 | new T[n]; |
Anders Carlsson | 6ac5fc4 | 2009-09-23 18:59:48 +0000 | [diff] [blame] | 70 | |
| 71 | // Cookie required |
| 72 | new U[10]; |
| 73 | new U[n]; |
Anders Carlsson | a4d4c01 | 2009-09-23 16:07:23 +0000 | [diff] [blame] | 74 | } |
Anders Carlsson | 09edb9c | 2009-11-22 19:25:33 +0000 | [diff] [blame] | 75 | |
Douglas Gregor | 7b86862 | 2010-08-18 15:06:25 +0000 | [diff] [blame] | 76 | // noalias |
| 77 | // CHECK: declare noalias i8* @_Znam |
| 78 | void *operator new[](size_t); |
| 79 | |
Anders Carlsson | 09edb9c | 2009-11-22 19:25:33 +0000 | [diff] [blame] | 80 | void t9() { |
| 81 | bool b; |
| 82 | |
| 83 | new bool(true); |
| 84 | new (&b) bool(true); |
| 85 | } |
Fariborz Jahanian | 048f52a | 2009-11-24 18:29:37 +0000 | [diff] [blame] | 86 | |
| 87 | struct A { |
| 88 | void* operator new(__typeof(sizeof(int)), int, float, ...); |
| 89 | A(); |
| 90 | }; |
| 91 | |
| 92 | A* t10() { |
| 93 | // CHECK: @_ZN1AnwEmifz |
| 94 | return new(1, 2, 3.45, 100) A; |
| 95 | } |
| 96 | |
Douglas Gregor | 59174c0 | 2010-07-21 01:10:17 +0000 | [diff] [blame] | 97 | // CHECK: define void @_Z3t11i |
Anders Carlsson | 0d7c583 | 2010-05-03 01:20:20 +0000 | [diff] [blame] | 98 | struct B { int a; }; |
Douglas Gregor | 59174c0 | 2010-07-21 01:10:17 +0000 | [diff] [blame] | 99 | struct Bmemptr { int Bmemptr::* memptr; int a; }; |
| 100 | |
| 101 | void t11(int n) { |
Nuno Lopes | fc28448 | 2009-12-16 16:59:22 +0000 | [diff] [blame] | 102 | // CHECK: call noalias i8* @_Znwm |
Mon P Wang | 3ecd785 | 2010-04-04 03:10:52 +0000 | [diff] [blame] | 103 | // CHECK: call void @llvm.memset.p0i8.i64( |
Anders Carlsson | 30311fa | 2009-12-16 06:57:54 +0000 | [diff] [blame] | 104 | B* b = new B(); |
Douglas Gregor | 59174c0 | 2010-07-21 01:10:17 +0000 | [diff] [blame] | 105 | |
| 106 | // CHECK: call noalias i8* @_Znam |
| 107 | // CHECK: {{call void.*llvm.memset.p0i8.i64.*i8 0, i64 %}} |
| 108 | B *b2 = new B[n](); |
| 109 | |
| 110 | // CHECK: call noalias i8* @_Znam |
| 111 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 |
| 112 | // CHECK: br |
| 113 | Bmemptr *b_memptr = new Bmemptr[n](); |
| 114 | |
| 115 | // CHECK: ret void |
Anders Carlsson | 30311fa | 2009-12-16 06:57:54 +0000 | [diff] [blame] | 116 | } |
Anders Carlsson | e99bdb6 | 2010-05-03 15:09:17 +0000 | [diff] [blame] | 117 | |
| 118 | struct Empty { }; |
| 119 | |
| 120 | // We don't need to initialize an empty class. |
Douglas Gregor | 59174c0 | 2010-07-21 01:10:17 +0000 | [diff] [blame] | 121 | // CHECK: define void @_Z3t12v |
Anders Carlsson | e99bdb6 | 2010-05-03 15:09:17 +0000 | [diff] [blame] | 122 | void t12() { |
Douglas Gregor | 59174c0 | 2010-07-21 01:10:17 +0000 | [diff] [blame] | 123 | // CHECK: call noalias i8* @_Znam |
| 124 | // CHECK-NOT: br |
Anders Carlsson | e99bdb6 | 2010-05-03 15:09:17 +0000 | [diff] [blame] | 125 | (void)new Empty[10]; |
Douglas Gregor | 59174c0 | 2010-07-21 01:10:17 +0000 | [diff] [blame] | 126 | |
| 127 | // CHECK: call noalias i8* @_Znam |
| 128 | // CHECK-NOT: br |
| 129 | (void)new Empty[10](); |
| 130 | |
| 131 | // CHECK: ret void |
| 132 | } |
| 133 | |
| 134 | // Zero-initialization |
| 135 | // CHECK: define void @_Z3t13i |
| 136 | void t13(int n) { |
| 137 | // CHECK: call noalias i8* @_Znwm |
| 138 | // CHECK: store i32 0, i32* |
| 139 | (void)new int(); |
| 140 | |
| 141 | // CHECK: call noalias i8* @_Znam |
| 142 | // CHECK: {{call void.*llvm.memset.p0i8.i64.*i8 0, i64 %}} |
| 143 | (void)new int[n](); |
| 144 | |
| 145 | // CHECK-NEXT: ret void |
Anders Carlsson | e99bdb6 | 2010-05-03 15:09:17 +0000 | [diff] [blame] | 146 | } |
Argyrios Kyrtzidis | d293298 | 2010-08-25 23:14:56 +0000 | [diff] [blame] | 147 | |
| 148 | struct Alloc{ |
Argyrios Kyrtzidis | e7ab92e | 2010-08-26 15:23:38 +0000 | [diff] [blame] | 149 | int x; |
Argyrios Kyrtzidis | d293298 | 2010-08-25 23:14:56 +0000 | [diff] [blame] | 150 | void* operator new[](size_t size); |
| 151 | void operator delete[](void* p); |
Argyrios Kyrtzidis | e7ab92e | 2010-08-26 15:23:38 +0000 | [diff] [blame] | 152 | ~Alloc(); |
Argyrios Kyrtzidis | d293298 | 2010-08-25 23:14:56 +0000 | [diff] [blame] | 153 | }; |
| 154 | |
| 155 | void f() { |
Argyrios Kyrtzidis | e7ab92e | 2010-08-26 15:23:38 +0000 | [diff] [blame] | 156 | // CHECK: call i8* @_ZN5AllocnaEm(i64 808) |
| 157 | // CHECK: store i64 200 |
John McCall | 1e7fe75 | 2010-09-02 09:58:18 +0000 | [diff] [blame] | 158 | // CHECK: call void @_ZN5AllocD1Ev( |
Argyrios Kyrtzidis | d293298 | 2010-08-25 23:14:56 +0000 | [diff] [blame] | 159 | // CHECK: call void @_ZN5AllocdaEPv(i8* |
| 160 | delete[] new Alloc[10][20]; |
Douglas Gregor | cc09c02 | 2010-09-02 23:24:14 +0000 | [diff] [blame] | 161 | // CHECK: call noalias i8* @_Znwm |
| 162 | // CHECK: call void @_ZdlPv(i8* |
| 163 | delete new bool; |
| 164 | // CHECK: ret void |
Argyrios Kyrtzidis | d293298 | 2010-08-25 23:14:56 +0000 | [diff] [blame] | 165 | } |