| 1 | // RUN: %clang_cc1 %s -triple=x86_64-pc-linux -emit-llvm -o - | FileCheck --check-prefix=X86 %s |
|---|
| 2 | // RUN: %clang_cc1 %s -triple=wasm32 -emit-llvm -o - | FileCheck --check-prefix=WASM %s |
|---|
| 3 | // RUN: %clang_cc1 %s -triple=armv7-apple-darwin9 -emit-llvm -o - | FileCheck --check-prefix=ARM %s |
|---|
| 4 | |
|---|
| 5 | // Test that destructors are not passed directly to __cxa_atexit when their |
|---|
| 6 | // signatures do not match the type of its first argument. |
|---|
| 7 | // e.g. ARM and WebAssembly have destructors that return this instead of void. |
|---|
| 8 | |
|---|
| 9 | |
|---|
| 10 | class Foo { |
|---|
| 11 | public: |
|---|
| 12 | ~Foo() { |
|---|
| 13 | } |
|---|
| 14 | }; |
|---|
| 15 | |
|---|
| 16 | Foo global; |
|---|
| 17 | |
|---|
| 18 | // X86 destructors have void return, and are registered directly with __cxa_atexit. |
|---|
| 19 | // X86: define internal void @__cxx_global_var_init() |
|---|
| 20 | // X86: call i32 @__cxa_atexit(void (i8*)* bitcast (void (%class.Foo*)* @_ZN3FooD1Ev to void (i8*)*), i8* getelementptr inbounds (%class.Foo, %class.Foo* @global, i32 0, i32 0), i8* @__dso_handle) |
|---|
| 21 | |
|---|
| 22 | // ARM destructors return this, but can be registered directly with __cxa_atexit |
|---|
| 23 | // because the calling conventions tolerate the mismatch. |
|---|
| 24 | // ARM: define internal void @__cxx_global_var_init() |
|---|
| 25 | // ARM: call i32 @__cxa_atexit(void (i8*)* bitcast (%class.Foo* (%class.Foo*)* @_ZN3FooD1Ev to void (i8*)*), i8* getelementptr inbounds (%class.Foo, %class.Foo* @global, i32 0, i32 0), i8* @__dso_handle) |
|---|
| 26 | |
|---|
| 27 | // Wasm destructors return this, and use a wrapper function, which is registered |
|---|
| 28 | // with __cxa_atexit. |
|---|
| 29 | // WASM: define internal void @__cxx_global_var_init() |
|---|
| 30 | // WASM: call i32 @__cxa_atexit(void (i8*)* @__cxx_global_array_dtor, i8* null, i8* @__dso_handle) |
|---|
| 31 | |
|---|
| 32 | // WASM: define internal void @__cxx_global_array_dtor(i8*) |
|---|
| 33 | // WASM: %call = call %class.Foo* @_ZN3FooD1Ev(%class.Foo* @global) |
|---|
| 34 | |
|---|