blob: 66d3f41589d1b7d31008cf123ec1cea2a708162c [file] [log] [blame]
John McCallbd7370a2013-02-28 19:01:20 +00001// 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
15namespace test0 {
16 struct A {
17 double d;
18 A();
19 ~A();
20 };
21
22 A global;
23// CHECK: define internal arm_aapcscc void @__cxx_global_var_init()
24// CHECK: call arm_aapcscc [[A]]* @_ZN5test01AC1Ev([[A]]* @_ZN5test06globalE)
25// CHECK-NEXT: call arm_aapcscc 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 arm_aapcscc i32 @__cxa_atexit(void (i8*)*, i8*, i8*) [[NOUNWIND]]
30
31namespace test1 {
32 void test() {
33 throw 0;
34 }
35
36// CHECK: define arm_aapcscc void @_ZN5test14testEv()
37// CHECK: [[T0:%.*]] = call arm_aapcscc 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 arm_aapcscc 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 arm_aapcscc i8* @__cxa_allocate_exception(i32)
45
46// CHECK: declare arm_aapcscc void @__cxa_throw(i8*, i8*, i8*)
47
48// CHECK: define internal arm_aapcscc void @_GLOBAL__I_a()
49// CHECK: call arm_aapcscc void @__cxx_global_var_init()
50
51
52// CHECK: attributes [[NOUNWIND]] = { nounwind }
53// CHECK: attributes [[NORETURN]] = { noreturn }