|
@@ -127,15 +127,15 @@ struct B { int a; };
|
|
|
struct Bmemptr { int Bmemptr::* memptr; int a; };
|
|
|
|
|
|
void t11(int n) {
|
|
|
- // CHECK: call noalias i8* @_Znwm
|
|
|
+ // CHECK: call i8* @_Znwm
|
|
|
// CHECK: call void @llvm.memset.p0i8.i64(
|
|
|
B* b = new B();
|
|
|
|
|
|
- // CHECK: call noalias i8* @_Znam
|
|
|
+ // CHECK: call i8* @_Znam
|
|
|
// CHECK: {{call void.*llvm.memset.p0i8.i64.*i8 0, i64 %}}
|
|
|
B *b2 = new B[n]();
|
|
|
|
|
|
- // CHECK: call noalias i8* @_Znam
|
|
|
+ // CHECK: call i8* @_Znam
|
|
|
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
|
|
|
// CHECK: br
|
|
|
Bmemptr *b_memptr = new Bmemptr[n]();
|
|
@@ -148,11 +148,11 @@ struct Empty { };
|
|
|
// We don't need to initialize an empty class.
|
|
|
// CHECK-LABEL: define void @_Z3t12v
|
|
|
void t12() {
|
|
|
- // CHECK: call noalias i8* @_Znam
|
|
|
+ // CHECK: call i8* @_Znam
|
|
|
// CHECK-NOT: br
|
|
|
(void)new Empty[10];
|
|
|
|
|
|
- // CHECK: call noalias i8* @_Znam
|
|
|
+ // CHECK: call i8* @_Znam
|
|
|
// CHECK-NOT: br
|
|
|
(void)new Empty[10]();
|
|
|
|
|
@@ -162,11 +162,11 @@ void t12() {
|
|
|
// Zero-initialization
|
|
|
// CHECK-LABEL: define void @_Z3t13i
|
|
|
void t13(int n) {
|
|
|
- // CHECK: call noalias i8* @_Znwm
|
|
|
+ // CHECK: call i8* @_Znwm
|
|
|
// CHECK: store i32 0, i32*
|
|
|
(void)new int();
|
|
|
|
|
|
- // CHECK: call noalias i8* @_Znam
|
|
|
+ // CHECK: call i8* @_Znam
|
|
|
// CHECK: {{call void.*llvm.memset.p0i8.i64.*i8 0, i64 %}}
|
|
|
(void)new int[n]();
|
|
|
|
|
@@ -186,7 +186,7 @@ void f() {
|
|
|
// CHECK: call void @_ZN5AllocD1Ev(
|
|
|
// CHECK: call void @_ZN5AllocdaEPv(i8*
|
|
|
delete[] new Alloc[10][20];
|
|
|
- // CHECK: call noalias i8* @_Znwm
|
|
|
+ // CHECK: call i8* @_Znwm
|
|
|
// CHECK: call void @_ZdlPv(i8*
|
|
|
delete new bool;
|
|
|
// CHECK: ret void
|
|
@@ -274,7 +274,7 @@ namespace PR10197 {
|
|
|
// CHECK-LABEL: define weak_odr void @_ZN7PR101971fIiEEvv()
|
|
|
template<typename T>
|
|
|
void f() {
|
|
|
- // CHECK: [[CALL:%.*]] = call noalias i8* @_Znwm
|
|
|
+ // CHECK: [[CALL:%.*]] = call i8* @_Znwm
|
|
|
// CHECK-NEXT: [[CASTED:%.*]] = bitcast i8* [[CALL]] to
|
|
|
new T;
|
|
|
// CHECK-NEXT: ret void
|
|
@@ -296,7 +296,7 @@ namespace PR11757 {
|
|
|
struct X { X(); X(const X&); };
|
|
|
X* a(X* x) { return new X(X()); }
|
|
|
// CHECK: define {{.*}} @_ZN7PR117571aEPNS_1XE
|
|
|
- // CHECK: [[CALL:%.*]] = call noalias i8* @_Znwm
|
|
|
+ // CHECK: [[CALL:%.*]] = call i8* @_Znwm
|
|
|
// CHECK-NEXT: [[CASTED:%.*]] = bitcast i8* [[CALL]] to
|
|
|
// CHECK-NEXT: call void @_ZN7PR117571XC1Ev({{.*}}* [[CASTED]])
|
|
|
// CHECK-NEXT: ret {{.*}} [[CASTED]]
|
|
@@ -306,7 +306,7 @@ namespace PR13380 {
|
|
|
struct A { A() {} };
|
|
|
struct B : public A { int x; };
|
|
|
// CHECK-LABEL: define i8* @_ZN7PR133801fEv
|
|
|
- // CHECK: call noalias i8* @_Znam(
|
|
|
+ // CHECK: call i8* @_Znam(
|
|
|
// CHECK: call void @llvm.memset.p0i8
|
|
|
// CHECK-NEXT: call void @_ZN7PR133801BC1Ev
|
|
|
void* f() { return new B[2](); }
|
|
@@ -320,12 +320,12 @@ namespace N3664 {
|
|
|
|
|
|
// CHECK-LABEL: define void @_ZN5N36641fEv
|
|
|
void f() {
|
|
|
- // CHECK: call noalias i8* @_Znwm(i64 4) [[ATTR_BUILTIN_NEW:#[^ ]*]]
|
|
|
+ // CHECK: call i8* @_Znwm(i64 4) [[ATTR_BUILTIN_NEW:#[^ ]*]]
|
|
|
int *p = new int; // expected-note {{allocated with 'new' here}}
|
|
|
// CHECK: call void @_ZdlPv({{.*}}) [[ATTR_BUILTIN_DELETE:#[^ ]*]]
|
|
|
delete p;
|
|
|
|
|
|
- // CHECK: call noalias i8* @_Znam(i64 12) [[ATTR_BUILTIN_NEW]]
|
|
|
+ // CHECK: call i8* @_Znam(i64 12) [[ATTR_BUILTIN_NEW]]
|
|
|
int *q = new int[3];
|
|
|
// CHECK: call void @_ZdaPv({{.*}}) [[ATTR_BUILTIN_DELETE]]
|
|
|
delete[] p; // expected-warning {{'delete[]' applied to a pointer that was allocated with 'new'; did you mean 'delete'?}}
|
|
@@ -337,19 +337,18 @@ namespace N3664 {
|
|
|
(void) new (mpt) int;
|
|
|
}
|
|
|
|
|
|
- // FIXME: Can we mark this noalias?
|
|
|
- // CHECK: declare i8* @_ZnamRKSt9nothrow_t(i64, {{.*}}) [[ATTR_NOBUILTIN_NOUNWIND]]
|
|
|
+ // CHECK: declare noalias i8* @_ZnamRKSt9nothrow_t(i64, {{.*}}) [[ATTR_NOBUILTIN_NOUNWIND]]
|
|
|
|
|
|
// CHECK-LABEL: define void @_ZN5N36641gEv
|
|
|
void g() {
|
|
|
// It's OK for there to be attributes here, so long as we don't have a
|
|
|
// 'builtin' attribute.
|
|
|
- // CHECK: call noalias i8* @_Znwm(i64 4){{$}}
|
|
|
+ // CHECK: call i8* @_Znwm(i64 4){{$}}
|
|
|
int *p = (int*)operator new(4);
|
|
|
// CHECK: call void @_ZdlPv({{.*}}) [[ATTR_NOUNWIND:#[^ ]*]]
|
|
|
operator delete(p);
|
|
|
|
|
|
- // CHECK: call noalias i8* @_Znam(i64 12){{$}}
|
|
|
+ // CHECK: call i8* @_Znam(i64 12){{$}}
|
|
|
int *q = (int*)operator new[](12);
|
|
|
// CHECK: call void @_ZdaPv({{.*}}) [[ATTR_NOUNWIND]]
|
|
|
operator delete [](p);
|
|
@@ -362,7 +361,7 @@ namespace N3664 {
|
|
|
namespace builtins {
|
|
|
// CHECK-LABEL: define void @_ZN8builtins1fEv
|
|
|
void f() {
|
|
|
- // CHECK: call noalias i8* @_Znwm(i64 4) [[ATTR_BUILTIN_NEW]]
|
|
|
+ // CHECK: call i8* @_Znwm(i64 4) [[ATTR_BUILTIN_NEW]]
|
|
|
// CHECK: call void @_ZdlPv({{.*}}) [[ATTR_BUILTIN_DELETE]]
|
|
|
__builtin_operator_delete(__builtin_operator_new(4));
|
|
|
}
|