1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -funknown-anytype -emit-llvm -o %t %s
2 // RUN: FileCheck -check-prefix COMMON %s < %t
3 // RUN: FileCheck -check-prefix X86_64 %s < %t
4 // RUN: %clang_cc1 -triple i386-apple-darwin10 -funknown-anytype -emit-llvm -o %t %s
5 // RUN: FileCheck -check-prefix COMMON %s < %t
6 // RUN: FileCheck -check-prefix I386 %s < %t
7
8 // x86-64 is the special case here because of its variadic convention.
9 // We want to ensure that it always uses a variadic convention even if
10 // other platforms do not.
11 // rdar://13731520
12
test0()13 int test0() {
14 extern __unknown_anytype test0_any;
15 // COMMON: load i32* @test0_any
16 return (int) test0_any;
17 }
18
test1()19 int test1() {
20 extern __unknown_anytype test1_any();
21 // COMMON: call i32 @_Z9test1_anyv()
22 return (int) test1_any();
23 }
24
25 extern "C" __unknown_anytype test2_any(...);
test2()26 float test2() {
27 // X86_64: call float (double, ...)* @test2_any(double {{[^,]+}})
28 // I386: call float (double, ...)* @test2_any(double {{[^,]+}})
29 return (float) test2_any(0.5f);
30 }
31
32 extern "C" __unknown_anytype test2a_any(...);
test2a()33 float test2a() {
34 // X86_64: call float (float, ...)* @test2a_any(float {{[^,]+}})
35 // I386: call float (float, ...)* @test2a_any(float {{[^,]+}})
36 return (float) test2a_any((float) 0.5f);
37 }
38
test3()39 float test3() {
40 extern __unknown_anytype test3_any;
41 // COMMON: [[FN:%.*]] = load float (i32)** @test3_any,
42 // COMMON: call float [[FN]](i32 5)
43 return ((float(*)(int)) test3_any)(5);
44 }
45
46 namespace test4 {
47 extern __unknown_anytype test4_any1;
48 extern __unknown_anytype test4_any2;
49
test()50 int test() {
51 // COMMON: load i32* @_ZN5test410test4_any1E
52 // COMMON: load i8* @_ZN5test410test4_any2E
53 return (int) test4_any1 + (char) test4_any2;
54 }
55 }
56
57 extern "C" __unknown_anytype test5_any();
test5()58 void test5() {
59 // COMMON: call void @test5_any()
60 return (void) test5_any();
61 }
62
63 extern "C" __unknown_anytype test6_any(float *);
test6()64 long test6() {
65 // COMMON: call i64 @test6_any(float* null)
66 return (long long) test6_any(0);
67 }
68
69 struct Test7 {
70 ~Test7();
71 };
72 extern "C" __unknown_anytype test7_any(int);
test7()73 Test7 test7() {
74 // COMMON: call void @test7_any({{%.*}}* sret {{%.*}}, i32 5)
75 return (Test7) test7_any(5);
76 }
77
78 struct Test8 {
79 __unknown_anytype foo();
80 __unknown_anytype foo(int);
81
82 void test();
83 };
test()84 void Test8::test() {
85 float f;
86 // COMMON: call i32 @_ZN5Test83fooEv(
87 f = (int) foo();
88 // COMMON: call i32 @_ZN5Test83fooEi(
89 f = (int) foo(5);
90 // COMMON: call i32 @_ZN5Test83fooEv(
91 f = (float) this->foo();
92 // COMMON: call i32 @_ZN5Test83fooEi(
93 f = (float) this->foo(5);
94 }
test8(Test8 * p)95 void test8(Test8 *p) {
96 double d;
97 // COMMON: call i32 @_ZN5Test83fooEv(
98 d = (double) p->foo();
99 // COMMON: call i32 @_ZN5Test83fooEi(
100 d = (double) p->foo(5);
101 // COMMON: call i32 @_ZN5Test83fooEv(
102 d = (bool) (*p).foo();
103 // COMMON: call i32 @_ZN5Test83fooEi(
104 d = (bool) (*p).foo(5);
105 }
106
107 extern "C" __unknown_anytype test9_foo;
test9()108 void *test9() {
109 // COMMON: ret i8* bitcast (i32* @test9_foo to i8*)
110 return (int*) &test9_foo;
111 }
112
113 // Don't explode on this.
114 extern "C" __unknown_anytype test10_any(...);
test10()115 void test10() {
116 (void) test10_any(), (void) test10_any();
117 }
118