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