blob: ce2af502e4829b63739e07309587f3e26557ad0c [file] [log] [blame]
Richard Smith762bb9d2011-10-13 22:29:44 +00001// RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s
Douglas Gregor0a9a6d62011-01-26 17:36:28 +00002struct X {
3 int f() &;
4 int g() &&;
5 int h() const &&;
6};
7
8// CHECK: define i32 @_ZNR1X1fEv
9int X::f() & { return 0; }
10// CHECK: define i32 @_ZNO1X1gEv
11int X::g() && { return 0; }
12// CHECK: define i32 @_ZNKO1X1hEv
13int X::h() const && { return 0; }
14
John McCall4b502632012-05-15 02:01:59 +000015// CHECK: define void @_Z1fM1XFivREMS_FivOEMS_KFivOE
Douglas Gregor0a9a6d62011-01-26 17:36:28 +000016void f(int (X::*)() &, int (X::*)() &&, int (X::*)() const&&) { }
John McCall4b502632012-05-15 02:01:59 +000017
18// CHECK: define void @_Z1g1AIFivEES_IFivREES_IFivOEES_IKFivEES_IKFivREES_IKFivOEES_IVKFivEES_IVKFivREES_IVKFivOEE()
19template <class T> struct A {};
20void g(A<int()>, A<int()&>, A<int()&&>,
21 A<int() const>, A<int() const &>, A<int() const &&>,
22 A<int() const volatile>, A<int() const volatile &>, A<int() const volatile &&>) {}