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 13 int test0() { 14 extern __unknown_anytype test0_any; 15 // COMMON: load i32, i32* @test0_any 16 return (int) test0_any; 17 } 18 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(...); 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(...); 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 39 float test3() { 40 extern __unknown_anytype test3_any; 41 // COMMON: [[FN:%.*]] = load float (i32)*, 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 50 int test() { 51 // COMMON: load i32, i32* @_ZN5test410test4_any1E 52 // COMMON: load i8, i8* @_ZN5test410test4_any2E 53 return (int) test4_any1 + (char) test4_any2; 54 } 55 } 56 57 extern "C" __unknown_anytype test5_any(); 58 void test5() { 59 // COMMON: call void @test5_any() 60 return (void) test5_any(); 61 } 62 63 extern "C" __unknown_anytype test6_any(float *); 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); 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 }; 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 } 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; 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(...); 115 void test10() { 116 (void) test10_any(), (void) test10_any(); 117 } 118 119 extern "C" __unknown_anytype malloc(...); 120 void test11() { 121 void *s = (void*)malloc(12); 122 // COMMON: call i8* (i32, ...) @malloc(i32 12) 123 void *d = (void*)malloc(435); 124 // COMMON: call i8* (i32, ...) @malloc(i32 435) 125 } 126
