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
test0()12 int test0() {
13 extern __unknown_anytype test0_any;
14 // COMMON: load i32, ptr @test0_any
15 return (int) test0_any;
16 }
17
test1()18 int test1() {
19 extern __unknown_anytype test1_any();
20 // COMMON: call noundef i32 @_Z9test1_anyv()
21 return (int) test1_any();
22 }
23
24 extern "C" __unknown_anytype test2_any(...);
test2()25 float test2() {
26 // X86_64: call float (double, ...) @test2_any(double {{[^,]+}})
27 // I386: call float (double, ...) @test2_any(double {{[^,]+}})
28 return (float) test2_any(0.5f);
29 }
30
31 extern "C" __unknown_anytype test2a_any(...);
test2a()32 float test2a() {
33 // X86_64: call float (float, ...) @test2a_any(float {{[^,]+}})
34 // I386: call float (float, ...) @test2a_any(float {{[^,]+}})
35 return (float) test2a_any((float) 0.5f);
36 }
37
test3()38 float test3() {
39 extern __unknown_anytype test3_any;
40 // COMMON: [[FN:%.*]] = load ptr, ptr @test3_any,
41 // COMMON: call noundef float [[FN]](i32 noundef 5)
42 return ((float(*)(int)) test3_any)(5);
43 }
44
45 namespace test4 {
46 extern __unknown_anytype test4_any1;
47 extern __unknown_anytype test4_any2;
48
test()49 int test() {
50 // COMMON: load i32, ptr @_ZN5test410test4_any1E
51 // COMMON: load i8, ptr @_ZN5test410test4_any2E
52 return (int) test4_any1 + (char) test4_any2;
53 }
54 }
55
56 extern "C" __unknown_anytype test5_any();
test5()57 void test5() {
58 // COMMON: call void @test5_any()
59 return (void) test5_any();
60 }
61
62 extern "C" __unknown_anytype test6_any(float *);
test6()63 long test6() {
64 // COMMON: call i64 @test6_any(ptr noundef null)
65 return (long long) test6_any(0);
66 }
67
68 struct Test7 {
69 ~Test7();
70 };
71 extern "C" __unknown_anytype test7_any(int);
test7()72 Test7 test7() {
73 // COMMON: call void @test7_any(ptr dead_on_unwind writable sret({{%.*}}) align 1 {{%.*}}, i32 noundef 5)
74 return (Test7) test7_any(5);
75 }
76
77 struct Test8 {
78 __unknown_anytype foo();
79 __unknown_anytype foo(int);
80
81 void test();
82 };
test()83 void Test8::test() {
84 float f;
85 // COMMON: call noundef i32 @_ZN5Test83fooEv(
86 f = (int) foo();
87 // COMMON: call noundef i32 @_ZN5Test83fooEi(
88 f = (int) foo(5);
89 // COMMON: call noundef i32 @_ZN5Test83fooEv(
90 f = (float) this->foo();
91 // COMMON: call noundef i32 @_ZN5Test83fooEi(
92 f = (float) this->foo(5);
93 }
test8(Test8 * p)94 void test8(Test8 *p) {
95 double d;
96 // COMMON: call noundef i32 @_ZN5Test83fooEv(
97 d = (double) p->foo();
98 // COMMON: call noundef i32 @_ZN5Test83fooEi(
99 d = (double) p->foo(5);
100 // COMMON: call noundef i32 @_ZN5Test83fooEv(
101 d = (bool) (*p).foo();
102 // COMMON: call noundef i32 @_ZN5Test83fooEi(
103 d = (bool) (*p).foo(5);
104 }
105
106 extern "C" __unknown_anytype test9_foo;
test9()107 void *test9() {
108 // COMMON: ret ptr @test9_foo
109 return (int*) &test9_foo;
110 }
111
112 // Don't explode on this.
113 extern "C" __unknown_anytype test10_any(...);
test10()114 void test10() {
115 (void) test10_any(), (void) test10_any();
116 }
117
118 extern "C" __unknown_anytype malloc(...);
test11()119 void test11() {
120 void *s = (void*)malloc(12);
121 // COMMON: call ptr (i32, ...) @malloc(i32 noundef 12)
122 void *d = (void*)malloc(435);
123 // COMMON: call ptr (i32, ...) @malloc(i32 noundef 435)
124 }
125