1 | // RUN: %clang_cc1 -triple=x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s | FileCheck %s |
2 | |
3 | class B { |
4 | public: |
5 | [[clang::disable_tail_calls]] virtual int m1() { return 1; } |
6 | virtual int m2() { return 2; } |
7 | int m3() { return 3; } |
8 | [[clang::disable_tail_calls]] int m4(); |
9 | }; |
10 | |
11 | class D : public B { |
12 | public: |
13 | int m1() override { return 11; } |
14 | [[clang::disable_tail_calls]] int m2() override { return 22; } |
15 | }; |
16 | |
17 | int foo1() { |
18 | B *b = new B; |
19 | D *d = new D; |
20 | int t = 0; |
21 | t += b->m1() + b->m2() + b->m3() + b->m4(); |
22 | t += d->m1() + d->m2(); |
23 | return t; |
24 | } |
25 | |
26 | // CHECK: define linkonce_odr i32 @_ZN1B2m3Ev(%class.B* %this) [[ATTRFALSE:#[0-9]+]] |
27 | // CHECK: declare i32 @_ZN1B2m4Ev(%class.B*) [[ATTRTRUE0:#[0-9]+]] |
28 | // CHECK: define linkonce_odr i32 @_ZN1B2m1Ev(%class.B* %this) unnamed_addr [[ATTRTRUE1:#[0-9]+]] |
29 | // CHECK: define linkonce_odr i32 @_ZN1B2m2Ev(%class.B* %this) unnamed_addr [[ATTRFALSE:#[0-9]+]] |
30 | // CHECK: define linkonce_odr i32 @_ZN1D2m1Ev(%class.D* %this) unnamed_addr [[ATTRFALSE:#[0-9]+]] |
31 | // CHECK: define linkonce_odr i32 @_ZN1D2m2Ev(%class.D* %this) unnamed_addr [[ATTRTRUE1:#[0-9]+]] |
32 | |
33 | // CHECK: attributes [[ATTRFALSE]] = { {{.*}}"disable-tail-calls"="false"{{.*}} } |
34 | // CHECK: attributes [[ATTRTRUE0]] = { {{.*}}"disable-tail-calls"="true"{{.*}} } |
35 | // CHECK: attributes [[ATTRTRUE1]] = { {{.*}}"disable-tail-calls"="true"{{.*}} } |
36 | |