1*67e74705SXin Li // RUN: %clang_cc1 -std=c++11 -triple x86_64-linux-gnu -emit-llvm %s -o - | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li struct S { S(); ~S(); S(const S &); void operator()(int); };
4*67e74705SXin Li using size_t = decltype(sizeof(int));
5*67e74705SXin Li S operator"" _x(const char *, size_t);
6*67e74705SXin Li S operator"" _y(wchar_t);
7*67e74705SXin Li S operator"" _z(unsigned long long);
8*67e74705SXin Li S operator"" _f(long double);
9*67e74705SXin Li S operator"" _r(const char *);
operator ""_t()10*67e74705SXin Li template<char...Cs> S operator"" _t() { return S(); }
11*67e74705SXin Li
12*67e74705SXin Li // CHECK: @[[s_foo:.*]] = {{.*}} constant [4 x i8] c"foo\00"
13*67e74705SXin Li // CHECK: @[[s_bar:.*]] = {{.*}} constant [4 x i8] c"bar\00"
14*67e74705SXin Li // CHECK: @[[s_123:.*]] = {{.*}} constant [4 x i8] c"123\00"
15*67e74705SXin Li // CHECK: @[[s_4_9:.*]] = {{.*}} constant [4 x i8] c"4.9\00"
16*67e74705SXin Li // CHECK: @[[s_0xffffeeee:.*]] = {{.*}} constant [11 x i8] c"0xffffeeee\00"
17*67e74705SXin Li
f()18*67e74705SXin Li void f() {
19*67e74705SXin Li // CHECK: call void @_Zli2_xPKcm({{.*}}, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @[[s_foo]], i32 0, i32 0), i64 3)
20*67e74705SXin Li // CHECK: call void @_Zli2_xPKcm({{.*}}, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @[[s_bar]], i32 0, i32 0), i64 3)
21*67e74705SXin Li // CHECK: call void @_Zli2_yw({{.*}} 97)
22*67e74705SXin Li // CHECK: call void @_Zli2_zy({{.*}} 42)
23*67e74705SXin Li // CHECK: call void @_Zli2_fe({{.*}} x86_fp80 0xK3FFF8000000000000000)
24*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
25*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
26*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
27*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
28*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
29*67e74705SXin Li "foo"_x, "bar"_x, L'a'_y, 42_z, 1.0_f;
30*67e74705SXin Li
31*67e74705SXin Li // CHECK: call void @_Zli2_rPKc({{.*}}, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @[[s_123]], i32 0, i32 0))
32*67e74705SXin Li // CHECK: call void @_Zli2_rPKc({{.*}}, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @[[s_4_9]], i32 0, i32 0))
33*67e74705SXin Li // CHECK: call void @_Zli2_rPKc({{.*}}, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @[[s_0xffffeeee]], i32 0, i32 0))
34*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
35*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
36*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
37*67e74705SXin Li 123_r, 4.9_r, 0xffff\
38*67e74705SXin Li eeee_r;
39*67e74705SXin Li
40*67e74705SXin Li // FIXME: This mangling is insane. Maybe we should have a special case for
41*67e74705SXin Li // char parameter packs?
42*67e74705SXin Li // CHECK: call void @_Zli2_tIJLc48ELc120ELc49ELc50ELc51ELc52ELc53ELc54ELc55ELc56EEE1Sv({{.*}})
43*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev({{.*}})
44*67e74705SXin Li 0x12345678_t;
45*67e74705SXin Li }
46*67e74705SXin Li
47*67e74705SXin Li // CHECK: define {{.*}} @_Zli2_tIJLc48ELc120ELc49ELc50ELc51ELc52ELc53ELc54ELc55ELc56EEE1Sv(
48*67e74705SXin Li
g(T t)49*67e74705SXin Li template<typename T> auto g(T t) -> decltype("foo"_x(t)) { return "foo"_x(t); }
i(T t)50*67e74705SXin Li template<typename T> auto i(T t) -> decltype(operator"" _x("foo", 3)(t)) { return operator"" _x("foo", 3)(t); }
51*67e74705SXin Li
h()52*67e74705SXin Li void h() {
53*67e74705SXin Li g(42);
54*67e74705SXin Li i(42);
55*67e74705SXin Li }
56*67e74705SXin Li
57*67e74705SXin Li // CHECK: define {{.*}} @_Z1hv()
58*67e74705SXin Li // CHECK: call void @_Z1gIiEDTclclL_Zli2_xPKcmELA4_S0_ELm3EEfp_EET_(i32 42)
59*67e74705SXin Li // CHECK: call void @_Z1iIiEDTclclL_Zli2_xPKcmELA4_S0_ELi3EEfp_EET_(i32 42)
60*67e74705SXin Li
61*67e74705SXin Li // CHECK: define {{.*}} @_Z1gIiEDTclclL_Zli2_xPKcmELA4_S0_ELm3EEfp_EET_(i32
62*67e74705SXin Li // CHECK: call void @_Zli2_xPKcm({{.*}}, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @{{.*}}, i32 0, i32 0), i64 3)
63*67e74705SXin Li // CHECK: call void @_ZN1SclEi
64*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev
65*67e74705SXin Li
66*67e74705SXin Li // CHECK: define {{.*}} @_Z1iIiEDTclclL_Zli2_xPKcmELA4_S0_ELi3EEfp_EET_(i32
67*67e74705SXin Li // CHECK: call void @_Zli2_xPKcm({{.*}}, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @{{.*}}, i32 0, i32 0), i64 3)
68*67e74705SXin Li // CHECK: call void @_ZN1SclEi
69*67e74705SXin Li // CHECK: call void @_ZN1SD1Ev
70