clang/test/CodeGenCXX/unknown-anytype.cpp

   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 noundef 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 noundef float [[FN]](i32 noundef 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* noundef 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({{%.*}}) align 1 {{%.*}}, i32 noundef 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 noundef i32 @_ZN5Test83fooEv(
  87   f = (int) foo();
  88   // COMMON: call noundef i32 @_ZN5Test83fooEi(
  89   f = (int) foo(5);
  90   // COMMON: call noundef i32 @_ZN5Test83fooEv(
  91   f = (float) this->foo();
  92   // COMMON: call noundef i32 @_ZN5Test83fooEi(
  93   f = (float) this->foo(5);
  94 }
  95 void test8(Test8 *p) {
  96   double d;
  97   // COMMON: call noundef i32 @_ZN5Test83fooEv(
  98   d = (double) p->foo();
  99   // COMMON: call noundef i32 @_ZN5Test83fooEi(
 100   d = (double) p->foo(5);
 101   // COMMON: call noundef i32 @_ZN5Test83fooEv(
 102   d = (bool) (*p).foo();
 103   // COMMON: call noundef 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 noundef 12)
 123   void *d = (void*)malloc(435);
 124   // COMMON: call i8* (i32, ...) @malloc(i32 noundef 435)
 125 }