1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
// RUN: %clang_cc1 %s -triple arm64-apple-macosx -emit-llvm -fcxx-exceptions -fexceptions -std=c++23 -o - | FileCheck %s
class TestClass {
public:
TestClass();
int field = 0;
friend class Foo;
static void * operator new(unsigned long size);
private:
static void operator delete(void *p);
};
class Foo {
public:
int test_method();
};
int Foo::test_method() {
TestClass *obj = new TestClass() ;
return obj->field;
}
// CHECK-LABEL: define noundef i32 @_ZN3Foo11test_methodEv
// CHECK: [[THIS_ADDR:%.*]] = alloca ptr, align 8
// CHECK: [[OBJ:%.*]] = alloca ptr, align 8
// CHECK: store ptr %this, ptr [[THIS_ADDR]], align 8
// CHECK: [[THIS1:%.*]] = load ptr, ptr [[THIS_ADDR]], align 8
// CHECK: [[ALLOCATION:%.*]] = call noundef ptr @_ZN9TestClassnwEm(i64 noundef 4)
// CHECK: [[INITIALIZEDOBJ:%.*]] = invoke noundef ptr @_ZN9TestClassC1Ev(ptr noundef nonnull align 4 dereferenceable(4) [[ALLOCATION]])
// CHECK-NEXT: to label %[[INVOKE_CONT:.*]] unwind label %[[LPAD:.*]]
// CHECK: [[INVOKE_CONT]]:
// CHECK: store ptr [[ALLOCATION]], ptr [[OBJ]], align 8
// CHECK: [[OBJPTR:%.*]] = load ptr, ptr [[OBJ]], align 8
// CHECK: [[FIELDPTR:%.*]] = getelementptr inbounds nuw %class.TestClass, ptr [[OBJPTR]], i32 0, i32 0
// CHECK: [[FIELD:%.*]] = load i32, ptr [[FIELDPTR]], align 4
// CHECK: ret i32 [[FIELD]]
// CHECK: [[LPAD]]:
// CHECK: call void @_ZN9TestClassdlEPv(ptr noundef [[ALLOCATION]]) #3
|
