1 | // RUN: %clang_cc1 %s -triple=armv7-apple-darwin10 -emit-llvm -o - -fexceptions -fcxx-exceptions | FileCheck %s |
2 | |
3 | // Check that we annotate all compiler-synthesized runtime calls and |
4 | // functions with the actual ABI-determined CC. This usually doesn't |
5 | // matter as long as we're internally consistent (and the LLVM-default |
6 | // CC is consistent with the real one), but it's possible for user |
7 | // translation units to define these runtime functions (or, equivalently, |
8 | // for us to get LTO'ed with such a translation unit), and then the |
9 | // mismatch will kill us. |
10 | // |
11 | // rdar://12818655 |
12 | |
13 | // CHECK: [[A:%.*]] = type { double } |
14 | |
15 | namespace test0 { |
16 | struct A { |
17 | double d; |
18 | A(); |
19 | ~A(); |
20 | }; |
21 | |
22 | A global; |
23 | // CHECK-LABEL: define internal void @__cxx_global_var_init() |
24 | // CHECK: call [[A]]* @_ZN5test01AC1Ev([[A]]* @_ZN5test06globalE) |
25 | // CHECK-NEXT: call i32 @__cxa_atexit(void (i8*)* bitcast ([[A]]* ([[A]]*)* @_ZN5test01AD1Ev to void (i8*)*), i8* bitcast ([[A]]* @_ZN5test06globalE to i8*), i8* @__dso_handle) [[NOUNWIND:#[0-9]+]] |
26 | // CHECK-NEXT: ret void |
27 | } |
28 | |
29 | // CHECK: declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*) [[NOUNWIND]] |
30 | |
31 | namespace test1 { |
32 | void test() { |
33 | throw 0; |
34 | } |
35 | |
36 | // CHECK-LABEL: define void @_ZN5test14testEv() |
37 | // CHECK: [[T0:%.*]] = call i8* @__cxa_allocate_exception(i32 4) [[NOUNWIND]] |
38 | // CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to i32* |
39 | // CHECK-NEXT: store i32 0, i32* [[T1]] |
40 | // CHECK-NEXT: call void @__cxa_throw(i8* [[T0]], i8* bitcast (i8** @_ZTIi to i8*), i8* null) [[NORETURN:#[0-9]+]] |
41 | // CHECK-NEXT: unreachable |
42 | } |
43 | |
44 | // CHECK: declare i8* @__cxa_allocate_exception(i32) |
45 | |
46 | // CHECK: declare void @__cxa_throw(i8*, i8*, i8*) |
47 | |
48 | // CHECK-LABEL: define internal void @_GLOBAL__sub_I_runtimecc.cpp() |
49 | // CHECK: call void @__cxx_global_var_init() |
50 | |
51 | |
52 | // CHECK: attributes [[NOUNWIND]] = { nounwind } |
53 | // CHECK: attributes [[NORETURN]] = { noreturn } |
54 | |